История изменений
Исправление QsUPt7S, (текущая версия) :
На практике доля ошибок, когда используется несовместимый тип параметра функции ничтожна. Причём такая ситуация всё равно приводит к ошибке и т.о. выявляется ещё в процессе разработки
Система типов, это не только ценный мех параметры функций. Тип определяет набор операций разрешённых над объектом, а системой типов определяются правила преобразования типов, их интерпретации и взаимодействия.
Кроме того, стоит заметить, что хотя, как Вы вполне справедливо заметили, большинство ошибок в слабой системе типов будет выявлено ещё в процессе разработки, в сильной системе типов большая часть этого большинства, не пережила бы даже первую попытку компиляции, не говоря уже о других этапах разработки.
Наконец стоит заметить, что большую часть бюджета пожирает поддержка программной системы, а не начальная разработка. И именно на этом этапе жизни системы, сильная система типов позволяет намного быстрее сформировать приблизительное представление о том, что происходит в недрах недокументированного legacy.
Без сомнения всё это можно осуществить и на языках со слабой системой типов. Но усилий это потребует больше.
Даже на Brainfuck, теоретически, можно писать и поддерживать программные системы для Ынтырпрайза, но на Java это делать просто удобнее.
Исправление QsUPt7S, :
На практике доля ошибок, когда используется несовместимый тип параметра функции ничтожна. Причём такая ситуация всё равно приводит к ошибке и т.о. выявляется ещё в процессе разработки
Система типов, это не только ценный мех параметры функций. Тип определяет набор операций разрешённых над объектом, а системой типов определяются правила преобразования типов, их интерпретации и взаимодействия.
Кроме того, стоит заметить, что хотя, как Вы вполне справедливо заметили, большинство ошибок в слабой системе типов будет выявлено ещё в процессе разработки, в сильной системе типов большая часть этого большинства, не пережила бы даже первую попытку компиляции, не говоря уже о других этапах разработки.
Наконец стоит заметить, что большую часть бюджета пожирает поддержка программной системы, а не начальная разработка. И именно на этом этапе жизни системы, сильная система типов позволяет намного быстрее сформировать приблизительное представление о том, что происходит в недрах недокументированного legacy.
Без сомнения всё это можно осуществить и на языках со слабой системой типов. Но усилий это потребует больше.
Даже на BrainFack, теоретически, можно писать и поддерживать программные системы для Ынтырпрайза, но на Java это делать просто удобнее.
Исправление QsUPt7S, :
На практике доля ошибок, когда используется несовместимый тип параметра функции ничтожна. Причём такая ситуация всё равно приводит к ошибке и т.о. выявляется ещё в процессе разработки
Система типов, это не только ценный мех параметры функций. Тип определяет набор операций разрешённых над объектом, а системой типов определяются правила преобразования типов, их интерпретации и взаимодействия.
Кроме того, стоит заметить, что хотя, как Вы вполне заметили, большинство ошибок в слабой системе типов будет выявлено ещё в процессе разработки, в сильной системе типов большая часть этого большинства, не пережила бы даже первую попытку компиляции, не говоря уже о других этапах разработки.
Наконец стоит заметить, что большую часть бюджета пожирает поддержка программной системы, а не начальная разработка. И именно на этом этапе жизни системы, сильная система типов позволяет намного быстрее сформировать приблизительное представление о том, что происходит в недрах недокументированного legacy.
Без сомнения всё это можно осуществить и на языках со слабой системой типов. Но усилий это потребует больше.
Даже на BrainFack, теоретически, можно писать и поддерживать программные системы для Ынтырпрайза, но на Java это делать просто удобнее.
Исходная версия QsUPt7S, :
На практике доля ошибок, когда используется несовместимый тип параметра функции ничтожна. Причём такая ситуация всё равно приводит к ошибке и т.о. выявляется ещё в процессе разработки
Система типов, это не только –ценный мех– параметры функций. Тип определяет набор операций разрешённых над объектом, а системой типов определяются правила преобразования типов, их интерпретации и взаимодействия.
Кроме того, стоит заметить, что хотя, как Вы вполне заметили, большинство ошибок в слабой системе типов будет выявлено ещё в процессе разработки, в сильной системе типов большая часть этого большинства, не пережила бы даже первую попытку компиляции, не говоря уже о других этапах разработки.
Наконец стоит заметить, что большую часть бюджета пожирает поддержка программной системы, а не начальная разработка. И именно на этом этапе жизни системы, сильная система типов позволяет намного быстрее сформировать приблизительное представление о том, что происходит в недрах недокументированного legacy.
Без сомнения всё это можно осуществить и на языках со слабой системой типов. Но усилий это потребует больше.
Даже на Brainfuck, теоретически, можно писать и поддерживать программные системы для Ынтырпрайза, но на Java это делать просто удобнее.