関数型言語ML (SML, OCaml, etc.), Part 6at TECH関数型言語ML (SML, OCaml, etc.), Part 6 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト850:デフォルトの名無しさん 14/04/23 22:41:15.05 OJl2bhdr.net 基本的に、変数は（もし多相性を持っていても）初期化された時点で単相型になる 関数は呼び出されると引数が初期化されるのでその時点で単相型になる 関数自身を変数に入れると、呼び出してなくても変数を初期化しただけで単相型になる >>835のhoge型の変数は基本とは違って、初期化しただけでは単相型にならないっぽい 851:デフォルトの名無しさん 14/04/23 23:18:57.87 ddVBuvib.net ためになるわー。 852:835 14/04/24 21:17:13.51 4Y8KSBKa.net 回答ありがとうございます。与えられたチャーチ数の定義がこれだったのですが、周りに聞いてもあまり良い回答を得られなかったので、とても助かりました。 確かにチャーチ数であれば、多相性が維持されなければ駄目ですね。 853:デフォルトの名無しさん 14/05/09 06:41:29.78 gmFOA17u.net 最近JITが高速と聞くのですが MLtonよりもJITが高速になる場合も あったりするのでしょうか 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch