wadler

[juan_gandhi]

Practical Subtyping for Erlang

Comments

[vit-r.livejournal.com]

We have found performance of the type inference engine to be adequate in most cases, although due to the quadratic complexity of constraint reduction it can blow up on large constraint sets.

Это называется Писец Эрлангу. Хотя, нет ни одной теории, которую нельзя было бы продемонстрировать на тривиальных примерах.

[zyxman.livejournal.com]

Спасибо, любопытно.

[maxim.livejournal.com]

Так это очень древняя статья Марлоу.
Костис Сагонас уже давно это все реализовал и это включено в Эрланг, называется dialyzer.
Типизировать сообщения можно при определенной организации кода.
В Эрланге как простой лямбде — это не система типов, а просто аннотации типов с типовыводом, как кложуровский core.typed.
Мой проект Erlang Om заключался в добавлении исчисления над этим аннотационным языком для функций на типах /\.
Думаю, если бы хотел сильно PhD, продолжил бы это.