Erlang конечно прикольный язык...

Ты ничего кроме системы типов первого порядка судя по всему не знаешь.

Да. Я ничего не понимаю в функциональном програмировании. И мне это просто о.ь как мешает жить. Нет аппетита, трудно дышать и совсем невозможно спать.

>Я ничего не понимаю в функциональном програмировании.

Милай, а причем тут собственно ФП? ФП оно и в любом языке есть.

Примерчик изучил? Жизненно? И даже если ни черта не понял, то там написано, что система типов не дает ломать абстракции. Вот собственно за этим и нужна «статическая» типизация.

По ссылке не ходил/ничего там не понял.

Извини, день такой просто.