関数型言語ML (SML, OCaml, etc.), Part 6

関数型言語ML (SML, OCaml, etc.), Part 6at TECH

関数型言語ML (SML, OCaml, etc.), Part 6 - 暇つぶし2ch850:デフォルトの名無しさん
14/04/23 22:41:15.05 OJl2bhdr.net
基本的に、変数は（もし多相性を持っていても）初期化された時点で単相型になる
関数は呼び出されると引数が初期化されるのでその時点で単相型になる
関数自身を変数に入れると、呼び出してなくても変数を初期化しただけで単相型になる

>>835のhoge型の変数は基本とは違って、初期化しただけでは単相型にならないっぽい

次ページ

続きを表示

1を表示