関数型言語ML (SML, OCaml, etc.), Part 6at TECH関数型言語ML (SML, OCaml, etc.), Part 6 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト650:デフォルトの名無しさん 13/09/07 03:56:00.85 .net OCamlのクロージャはそれなりにコストがあって、最適化もしてくれないので >>626ぐらいならそのままにするなあ 651:デフォルトの名無しさん 13/09/09 15:49:15.59 .net 初めての言語に関数型選んでしまったから Objectで詰んだ！ さっぱりわからん 652:デフォルトの名無しさん 13/09/09 17:10:04.82 .net OCamlのobjectは忘れるんだ、そうすればお前は強くなれる っていうかfirst class moduleが入って、ただでさえ継子扱いだったobject/classに存在価値は無くなった 653:デフォルトの名無しさん 13/09/09 17:38:01.62 .net おっとwikiみたらCoqの日本語版が登場してた 俺がCoqネタつぶやいたから誰か追加してくれたんだな 654:デフォルトの名無しさん 13/09/10 10:39:57.58 .net CoqIDEでCtrl+Alt+↓ってやると 画面が上下さかさまになってビビったｗ どんなバグなんだよｗｗｗ 655:デフォルトの名無しさん 13/09/10 13:04:29.50 .net coqideってのが何かしらんが俺のWindowsでもそうなる 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch