Grass【ちょっと草植えときますね型言語】at TECHGrass【ちょっと草植えときますね型言語】 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト19:デフォルトの名無しさん 08/09/19 09:07:45 どこがおかしい？ 少なくともSML版とJava版は間違ってないように見えるけど 20:デフォルトの名無しさん 08/09/20 10:49:10 churchTrueはλx.λy.xなら Abs(1, [Abs(1, [Abs(1, nil), App(1, 3)])]) curchFalseは Abs(1, [Abs(1, [Abs(1, nil), App(1, 3)])]) となるのが自然と思ったんだけど、なにか勘違いしてる？ 21:デフォルトの名無しさん 08/09/20 11:44:41 >>20 まずchurchFalseは Abs(1, [Abs(1, [Abs(1, nil), App(1, 2)])]) の間違いだよな それから、churchTrueとchurchFalseはinsnじゃなくてvalueだから、一番外側のAbsを FNに直さないといけない で、定義はそれで正しいんだけど、正しい書き方は一つじゃない 元ソースは別の、等価な書き方をしてるだけだと思う 具体的には、trueは (λx.λy.λz.xy)id と書けるし、falseは λx.id と書ける idはλx.xのことね 22:sage 09/01/29 08:53:14 Grass 言語のニコニコ動画 つ ttp://www.nicovideo.jp/watch/sm4505298 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch