/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

azdavis.net
| | degoes.net

Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts
1.7 parsecs

Travel
| |
| | afnan.io

In 1936, Alonzo Church invented a universal model of computation called "lambda calculus." This system expresses computation as reductions on lambda expressions, which are basically just functions and variables. The system is simple but incredibly expressive, and serves as the foundation for programming languages such as Haskell and Idris. The significance of having a universal model of computation is that it provides a way of solving any problem that can be expressed in the system, and changes the problem from "how can I calculate this" to "can I express this properly?" Lambda calculus is also Turing complete, and even more impressively, was invented in the 1930s independently of Turing.
1.1 parsecs

Travel
| |
| | deniskyashif.com

How to define a recursive function in a language which doesn't support recursion using the Y combinator.
1.4 parsecs

Travel
| |
| | blog.8thlight.com

[AI summary] The blog post discusses the limitations of Test-Driven Development (TDD) in scenarios involving physical interactions, user interface elements, and test support code, emphasizing the need for manual testing and separation of concerns.
16.7 parsecs

Travel
|