#Exercitium: Selección hasta el primero que falla inclusive. https://jaalonso.github.io/exercitium/posts/2014/06/18-seleccion_con_fallo/ #Haskell #ProgramaciónFuncional #Matemáticas
#haskell
3 Beiträge3 Beteiligte0 Beiträge heute
I can’t believe this is possible with a browser app now 
very cyberpunk
Who else is doing Haskell professionally and who employs you?
when using I'm writing a series of blog posts, in which I write a #bytecode #compiler and a #virtualMachine for arithmetic in #Haskell. We explore the following topics in the series:
- Parsing arithmetic expressions to ASTs.
- Compiling ASTs to bytecode.
- Interpreting ASTs.
- Efficiently executing bytecode in a VM.
- Disassembling bytecode and decompiling opcodes for debugging and testing.
- Unit testing and property-based testing for our compiler and VM.
- Benchmarking our code to see how the different passes perform.
- All the while keeping an eye on performance.
The second post of the series that focuses on writing the #compiler is now out: https://abhinavsarkar.net/posts/arithmetic-bytecode-vm-compiler
abhinavsarkar.net · A Fast Bytecode VM for Arithmetic: The Compiler
Mehr von 
Abhinav 
The Baby paradox in Haskell. ~ Justin Le. https://blog.jle.im/entry/the-baby-paradox-in-haskell.html #Haskell #FunctionalProgramming #Logic
in CodeThe Baby Paradox in HaskellEverybody Loves My Baby is a Jazz Standard from 1924 with the famous lyric: Everybody loves my baby, but my baby don’t love nobody but me. Which is often formalized as:
\begin{align}
\text{Axiom}_1 . & \forall x. \text{Loves}(x, \text{Baby}) \\
\text{Axiom}_2 . \forall x. & \text{Loves}(\text{Baby}, x) \implies x = me
\end{align}
Let’s prove in Haskell (in one line) that these two statements, taken together, imply that I am my own baby.
Granite: A library for producing terminal plots. It depends only on Haskell's base package so it should be easy to use and install. ~ Michael Chavinda. https://github.com/mchav/granite #Haskell #FunctionalProgramming
Fortgeführter Thread
Have you noticed him?
Antwortete im Thread
@matt There is something really elegant about #Haskell, and its isolation of "pure" functions (which can't perform I/O) from impure functions, as well as general data immutability, make for nice designs that are easy to reason about, and excellent recursion handling also feeds into that.
That said, memory usage in Haskell can be hard to reason about, and Rust gives some of those guarantees with its "mut" keyword.
I do a lot of systems programming, so would mostly go for Rust these days.
The source code of the WhyLambda challenge are now available here:) https://codeberg.org/TristanCacqueray/why-lambda
It's a little computer program I created at #why2025 to explain lambda calculus and introduce #haskell from the ground up. To my knowledge it's the first of its kind, and it remains unsolved, so please contact me if you crack it!
Codeberg.orgwhy-lambdaA programming challenge based on a pure lambda calculus
Truly functional solutions to the longest uptrend problem (Functional pearl). ~ Alexander Dinges, Ralf Hinze. https://dl.acm.org/doi/pdf/10.1145/3747520 #Haskell #FunctionalProgramming
Teaching introductory functional programming using Haskelite. ~ Pedro Vasconcelos. https://arxiv.org/abs/2508.03640 #Haskell #FunctionalProgramming
arXiv.orgTeaching Introductory Functional Programming Using HaskeliteLearning functional programming requires learning a substitution-based computational model. While substitution should be a familiar concept from high-school algebra, students often have difficulty applying it to new settings, such as recursive definitions, algebraic data types and higher-order functions. Step-by-step interpreters have been shown to help beginners by clarifying misconceptions and improving understanding.
This paper reports on the experience of using a step-by-step tracing interpreter for a subset of Haskell while teaching an introductory functional programming course at the University of Porto. We describe the use of the interpreter, present some feedback obtained from students, reflect on the lessons learned and point directions for further work.
take a look at `ghc-pkg list` for a plain unadorned installation of ghc... there are a lot of nice packages in the default set (haskell platform?) these days... i was surprised to see several of them [1/4]
Antwortete im Thread
I have on occasion lamented that #Haskell isn't used more in scientific computing.
It's puzzling, because you would think that it's more important to a mathematician to understand their programs, than for them to run fast.
#Haskell fans, I think it's fun that haskel (השׂכּל) means intelligence in hebrew.