Влияние побочных эффектов.

[thesz]

Как побочные эффекты мешают выводу типов, а точнее, почему в OCaml/F# взаимно рекурсивные определения надо помещать в группы let ... and ... and ....

Comments

[thedeemon]

Что-то неубедительно.
1. Для определения рекурсивных частей reordering делать совершенно незачем. А значит, побочные эффекты никак тут не мешают.
2. Generalization step после определения рекурсии - что это и зачем? Насколько я помню, Хиндли-Милнер и без этого вполне справляется, сразу давая самый общий тип (он начинает с общих, конкретизируя по мере появления ограничений).

[lionet]

3. Побочные эффекты в ocaml не вылезают на уровень type system. Такшта...

[thesz]

Там есть ссылка на stackoverflow. Там можно повторить вопросы. ;)

[thedeemon]

Посту почти два года. И вопросы уже задавали (про reordering в частности), ответов не последовало.

[thesz]

Там есть ссылка на stackoverflow. Там можно повторить вопросы. ;)