「コンパイラ・スクリプトエンジン」相談室5
at TECH
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト
150:デフォルトの名無しさん 05/01/21 00:23:43 Rubyの人が言うように仕様書で自由に決めたとき 意味関数に落とすと矛盾が発生することはないの？ 151:デフォルトの名無しさん 05/01/21 00:24:41 >>150 あるに決まってるだろ。その場合はもちろん無効だよ。 そういうバグが無いことを前提にみんな議論してるんだろ。 152:デフォルトの名無しさん 05/01/21 00:25:27 >>150 矛盾が発生しないように意味関数を定義していくんじゃないかな。 ひょっとして意味関数を「日本語->意味」みたいな関数だと思ってる？ 153:デフォルトの名無しさん 05/01/21 00:26:22 Schemeの意味関数とRubyを形式意味論を用いて意味関数に落としたものは 互いに矛盾するってことはある？ 154:デフォルトの名無しさん 05/01/21 00:27:01 >>153 意味がわからない。矛盾するもなにも、別の言語の別の定義だからなんの関係もない。 155:デフォルトの名無しさん 05/01/21 00:27:53 http://swissnet.ai.mit.edu/~jaffer/r5rs-formal.pdf の7.2節の形式の意味関数を念頭においてますよ。
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック！
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
5384日前に更新/188 KB
担当:undef