В реальных проектах на сложных задачах я ещё никогда не видел "правильную структуру типов", которую бы реальным программистам, решающим реальные задачи, не приходилось бы объезжать на кривой козе.
Реальная задача приносит деньги. Компилятор или ось - это просто среда, в которой живут реальные задачи.
Выразительность системы типов тут не причём. Проблема в том, что ограничения, накладываемые ограниченными людьми, потом приходится с болью и слезами обходить. Не по тому, что они не выразительны, а потому, что они не правильны.
![[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: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)Выразительность системы типов тут не причём. Проблема в том, что ограничения, накладываемые ограниченными людьми, потом приходится с болью и слезами обходить. Не по тому, что они не выразительны, а потому, что они не правильны.