/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

www.chriswarbo.net
| | text.marvinborner.de

The bruijn programming language is pure lambda calculus with some syntactic improvements. It doesn't have any primitive functions - how is that possible?
3.2 parsecs

Travel
| |
| | tromp.github.io


3.1 parsecs

Travel
| |
| | azdavis.net

Various varieties of function in programming languages.
3.5 parsecs

Travel
| |
| | noelwelsh.com

[AI summary] The post explains functional programming as a hypothesis about software quality centered on local reasoning and composition rather than just language features like immutability, using examples from Scala, TypeScript, and Haskell.
19.2 parsecs

Travel
|