サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
iPhone 16
www.site.uottawa.ca/~fbinard
While System F may be hard to understand at first, and while I've been told that there are other systems even more powerful out there, this one blows me away. Maybe I'm being naive, but if you know and love the lambda calculus for being willing to accept terms such as: (λx.xx), you have to be a bit disappointed when you find out that this ability is lost in the simply-typed version. (λx.xx) can't
このページを最初にブックマークしてみませんか?
『www.site.uottawa.ca』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く