型とランタイムの振る舞いは関係がないな。多分。したがって上のはウソ。普通に式の型だけ計算すればよい。
syd_syd2006/06/13 14:00お久しぶりです。>call-by-needのsemanticsを採用すると、型システムにも制限が加わるコレも本当でしょうか？どっちかというとHaskellには値多相がないので「より自由」な気がしてたんですが…(レコード多相をよく知らないので何とも言えない) Haskellの「制限」といえばmonomorphism restrictionかなとは思うんですが。もうちょっとOCaml勉強します。
soutaro2006/06/13 14:58ウソだと思いますorz(本当かもしれませんが、積極的に主張するつもりはありません。)
>call-by-needのsemanticsを採用すると、型システムにも制限が加わる
コレも本当でしょうか？どっちかというとHaskellには値多相がないので「より自由」な気がしてたんですが…(レコード多相をよく知らないので何とも言えない) Haskellの「制限」といえばmonomorphism restrictionかなとは思うんですが。もうちょっとOCaml勉強します。