LINUX.ORG.RU

История изменений

Исправление 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...