wadler

[juan_gandhi]

Practical Subtyping for Erlang

Comments

[migmit.livejournal.com]

Не, настоящий писец не в этом. Он в том, что стипизировать обмен сообщениями они так и не осилили. Трудно их винить, ибо я сильно подозреваю, что без зависимых типов это ни фига не сделаешь. Но факт остаётся фактом. А эрланг без обмена сообщениями не интересен вообще никому.