What have you found for these years?

2009-12-07

Alligator Eggs!

Alligator Eggs!
這還真有趣,尤其裡面的描述,雖然有點莫名其妙,但還滿生動的。
我看了半天,才忽然發覺,其實這可以真的拿來教小孩 lambda calculus.
因為其實這並不是很困難的東西,如果有個具體的概念與規則可以類比,
我想確實是可以這樣試試的。(雖然我不知道學這有啥用?邏輯訓練之類的?)

原本都是把他當搞笑在看,所以就沒想到這層

ptt PLT 板 stopcrying 貼了影片,有人寫了程式輔助玩這東西...
(是說,還是印出來玩「建構式」lambda calculus 比較有趣吧? :p)
Alligator Eggs revisited

0 retries:

Post a Comment

All texts are licensed under CC Attribution 3.0