|
You are here |
www.chriswarbo.net | ||
| | | | |
afnan.io
|
|
| | | | | [AI summary] The author explains the basics of lambda calculus, a theoretical model of computation invented by Alonzo Church that serves as the foundation for functional programming languages. | |
| | | | |
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? | |
| | | | |
deniskyashif.com
|
|
| | | | | How to define a recursive function in a language which doesn't support recursion using the Y combinator. | |
| | | | |
tech.preferred.jp
|
|
| | | Pattern matching on algebraic data types is a powerful technique to process a given input and many programming languages have adopted it in one way or | ||