トップページ > プログラム > 2014年12月18日 > CMXXyuKT

書き込み順位＆時間帯一覧

23 位/204 ID中時間01234567891011121314151617181920212223Total
書き込み数0000000100000000000001002



使用した名前一覧書き込んだスレッド一覧
デフォルトの名無しさん
関数型プログラミング言語Haskell Part26

書き込みレス一覧

関数型プログラミング言語Haskell Part26
720 ：デフォルトの名無しさん[sage]：2014/12/18(木) 07:16:51.01 ID:CMXXyuKT
Conal Elliottさんのブログを楽しく読めるくらいに表示的意味論を知っておきたい
学べるサイトか本かないかな？
関数型プログラミング言語Haskell Part26
727 ：デフォルトの名無しさん[sage]：2014/12/18(木) 21:39:10.52 ID:CMXXyuKT
>>721
紹介ありがとう

意味近似オーダーの辺りから急にムズくなった・・・

a [= b が、「b が a より更に定義されているか、同じだけ定義されている」ならば、
なんで 1 [= 2 や 2 [= 1 が成立しないのか分からん。


※このページは、『２ちゃんねる』の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合はメールをしてください。対応します。