Так, для справки. Система типов = логика. В большинстве используемых сейчас языков со статической типизацией, эта логика довольно примитивна и не очень выразительна. Даже в том же хацкёле, и то, с этим туговато — научиться им выражать свою задачу довольно непросто. Не стану спорить, стоит ли этому учиться для того же хацкеля, но факт такой — говорить о заведомой полной ненужности типов, это показывать свою невежественность... Есличо, я даже и не говорю так, как будто в этой невежественности есть что-то плохое — мне лично почти пофигу.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2013-01-10 06:06 pm (UTC)В большинстве используемых сейчас языков со статической типизацией, эта логика довольно примитивна и не очень выразительна.
Даже в том же хацкёле, и то, с этим туговато — научиться им выражать свою задачу довольно непросто.
Не стану спорить, стоит ли этому учиться для того же хацкеля, но факт такой —
говорить о заведомой полной ненужности типов, это показывать свою невежественность...
Есличо, я даже и не говорю так, как будто в этой невежественности есть что-то плохое — мне лично почти пофигу.