Знакомые лица

[udpn]

И тут я такой имплеменчу Хиндли-Милнера в императивном языке, лезу на цстеорию

http://cstheory.stackexchange.com/questions/8892/type-inference-for-imperative-statements-other-than-assignment

А там nponeccop. Мог бы

Comments

[diam_2003]

Это и правда какой-то скучный вопрос. По крайней мере в том виде, как он сейчас сформулирован.

Я бы рекомендовал посмотреть на Kotlin, по крайней мере на smart casts. Это, пожалуй, интереснее, чем "как вывести типы для if / while / for / ...", и как раз тот случай, когда (1) система типов "дружит" с потоком управления и (2) от этого есть польза с точки зрения "программиста от сохи" вроде меня.

[udpn]

Ну вообще у меня был немного другой вопрос, связанный с тем, как подружить automatic dereferencing и HM. Не хочется портить синтаксис этим ! и ref, а без них непонятно как работать с мутабельными переменными в контексте HM.

[diam_2003]

В системе типов языка BitC, емнип, решали эту или очень похожую проблему.
Кажется, тут:
http://www.bitc-lang.org/docs/papers/APLAS2008.html

[udpn]

Оооо, в точности то, что надо. Спасибо.