soutaroのHaskellにっき

2006-06-11

↑はウソだな ↑はウソだな - soutaroのHaskellにっき を含むブックマーク はてなブックマーク - ↑はウソだな - soutaroのHaskellにっき

型とランタイムの振る舞いは関係がないな。多分。したがって上のはウソ普通に式の型だけ計算すればよい。

syd_sydsyd_syd2006/06/13 14:00お久しぶりです。
>call-by-needのsemanticsを採用すると、型システムにも制限が加わる
コレも本当でしょうか?どっちかというとHaskellには値多相がないので「より自由」な気がしてたんですが…(レコード多相をよく知らないので何とも言えない) Haskellの「制限」といえばmonomorphism restrictionかなとは思うんですが。もうちょっとOCaml勉強します。

soutarosoutaro2006/06/13 14:58ウソだと思いますorz(本当かもしれませんが、積極的に主張するつもりはありません。)