Реальная задача приносит деньги. Компилятор или ось - это просто среда, в которой живут реальные задачи.
Выразительность системы типов тут не причём. Проблема в том, что ограничения, накладываемые ограниченными людьми, потом приходится с болью и слезами обходить. Не по тому, что они не выразительны, а потому, что они не правильны.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
juan_gandhi) wrote2014-03-11 12:33 pm
no subject
Выразительность системы типов тут не причём. Проблема в том, что ограничения, накладываемые ограниченными людьми, потом приходится с болью и слезами обходить. Не по тому, что они не выразительны, а потому, что они не правильны.