Кажется, Вадлер и Марлоу пробовали сделать систему типов для Эрланга. Не получилось.
Вообще, по-моему, в инфраструктуре Эрланга многое сделано плохо. То же let it crash, например — да, кривой код, написанный джуниором, вряд ли приведёт к проблемам... немедленным. Их придётся фиксить потом, через годы.
no subject
Date: 2016-02-01 01:34 pm (UTC)Вообще, по-моему, в инфраструктуре Эрланга многое сделано плохо. То же let it crash, например — да, кривой код, написанный джуниором, вряд ли приведёт к проблемам... немедленным. Их придётся фиксить потом, через годы.