Вчера Костис Сагонас (для тех, кто не знает — он один из основных людей, стоящих за HiPE/DIALYZER) написал в erlang questions о том, что скоро можно будет указывать типы для функций в Эрланге аля:

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

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