Grass【ちょっと草植えときますね型言語】
at TECH
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このｽﾚｯﾄﾞの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
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック！
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
5378日前に更新/7345 Bytes
担当:undef