Я, конечно, извиняюсь за вырванность из контекста, но, насколько я понимаю, это имеет отношение только к инструментам типа dialyzer, а не к Эрлангу как языку, и то только на сложных выражениях типа кучи навороченных if и раздутых монструозных модулей (что и так есть bad practice). А отсутствие нормальных типов еще ни один мейнстримный язык не привело к Песцу, скорее наоборот, к бессмысленному и беспощадному успеху.
Развитие структуры типов приводит к возникновению рефлекшен-библиотек и прочим приёмам залезания в кишки в обход "правильного пути". После чего этот ужас заполняет всё и вся.
В реальных проектах на сложных задачах я ещё никогда не видел "правильную структуру типов", которую бы реальным программистам, решающим реальные задачи, не приходилось бы объезжать на кривой козе.
Реальная задача приносит деньги. Компилятор или ось - это просто среда, в которой живут реальные задачи.
Выразительность системы типов тут не причём. Проблема в том, что ограничения, накладываемые ограниченными людьми, потом приходится с болью и слезами обходить. Не по тому, что они не выразительны, а потому, что они не правильны.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2014-03-12 08:26 am (UTC)no subject
Date: 2014-03-12 08:33 am (UTC)no subject
Date: 2014-03-12 08:40 am (UTC)no subject
Date: 2014-03-12 11:43 am (UTC)no subject
Date: 2014-03-12 11:52 am (UTC)no subject
Date: 2014-03-12 11:54 am (UTC)no subject
Date: 2014-03-12 12:06 pm (UTC)Какой критерий «реальности» задач? Считается ли написание компилятора, операционной системы или драйвера реальной задачей?
no subject
Date: 2014-03-12 12:09 pm (UTC)Выразительность системы типов тут не причём. Проблема в том, что ограничения, накладываемые ограниченными людьми, потом приходится с болью и слезами обходить. Не по тому, что они не выразительны, а потому, что они не правильны.