Loading...
「ツール」は右上に移動しました。
利用したサーバー: natural-voltaic-titanium
1151いいね 22705回再生

How to loop in a loopless language (Y Combinator)

In lambda calculus, you need recursion to do looping, and this is done using the Y Combinator formula.
Lambda Calculus Video:    • Why functions are turing complete (Lambda ...  

For those unaware, lambda calculus is a turing complete programming language invented before computers ever existed. It is extremely simple and has an esoteric feel while having been invented as a serious mathematical model.

コメント