Типизация появится и в Эрланге в избранное  новое всё   подписка   модер. 
От: Курилкаhttp://kirya.narod.ru/
Дата: 05.09.07 07:02
Оценка:60 (4)
Вчера Костис Сагонас (для тех, кто не знает — он один из основных людей, стоящих за HiPE/DIALYZER) написал в erlang questions о том, что скоро можно будет указывать типы для функций в Эрланге аля:

-spec(foo/2 :: ((integer(), float()) -> atom())).

И эти спецификации будут проверяться на соотвествие коду функций.
Через месяц это дело будет представлено на Erlang Workshop и по планам будет написан EEP, и, скорее всего, эта фича появится уже в R12B (обещаемый где-то в районе Нового Года).