8 months of OCaml after 8 years of Haskell in production ( dev.to )
![](https://mbin.grits.dev/media/cache/resolve/entry_thumb/09/30/0930a6074b810a865fcea9bd59e7733fd2b7895cd518b9ce8db8c3fc1b21f4d0.png)
If "category" has a better name....
cross-posted from: https://sopuli.xyz/post/10354955...
Lambda Calculus vs. Turing Machines (Theory of Computation) ( youtu.be )
Advait Shinde discusses the history of the theory of computation, delving into axiomatic thinking, Peano axioms, Turing Machines, Lambda Calculus, the Y Comb...
![](https://mbin.grits.dev/media/cache/resolve/entry_thumb/0f/54/0f544697925dcb39be523c6eaa4ab2a583478bf4c6f1d13a3e7ad4900a42e542.jpg)
Concepts of Functional Programming ( priver.dev )
![](https://mbin.grits.dev/media/cache/resolve/entry_thumb/15/5d/155d953dd60b7663812481280272ad5057218a1612c0fe25375845c12739a39b.png)