Исправление qnikst, (текущая версия) :
Так о чем речь и идет. Затраты на борьбу с системой типов есть, а профита она не дает,
не знаю что такое «борьба с системой типов», при понимании инструмента это помощь от компилятора :) более того это серьезная помощь.
т.к. программу потом все равно надо будет отлаживать и столько же времени, сколько и без типов.
очевидно, что это утверждение неверно.
В лиспе - тоже, прикинь!
Так о чем речь и идет, необходимость предусматривать есть, а лежит она на человеке, а не на компиляторе, и гарантий нет.
и вообще, наткнулся тут на пост хороший, очень советую к прочтению:
http://lukepalmer.wordpress.com/2011/09/15/my-paradigm-is-better-than-your-pa...
Исходная версия qnikst, :
Так о чем речь и идет. Затраты на борьбу с системой типов есть, а профита она не дает,
не знаю, что такое борьба с системой типов, при понимании инструмента это помощь от компилятора :) более того это серьезная помощь.
т.к. программу потом все равно надо будет отлаживать и столько же времени, сколько и без типов.
очевидно, что это утверждение неверно.
В лиспе - тоже, прикинь!
Так о чем речь и идет, необходимость предусматривать есть, а лежит она на человеке, а не на компиляторе, и гарантий нет.
и вообще, наткнулся тут на пост хороший, очень советую к прочтению:
http://lukepalmer.wordpress.com/2011/09/15/my-paradigm-is-better-than-your-pa...