関数型言語Part3
レス数が950を超えています。1000を超えると書き込みができなくなります。
0996まとめ
NGNG・Stoyの結構有名な本持ってるけど、表示的意味論の説明もできないヘタレの居るスレに乾杯！
・公理的意味論と、Test First を関連付けて理解する事は重要。
未解決な問題
>>940 そういえばStoyの本ではdomainとしてcpoでなくcomplete latticeを使ってると 聞いたんだけど、T(top element)にはどういう意味を持たせてるの?
レス数が950を超えています。1000を超えると書き込みができなくなります。