- Явная статическая типизация:
- Программы многословные
- Быстрые
- Ранняя диагностика некоторых ошибок
- Трудности проектирования из-за ограничений системы типов
- Динамическая типизация:
- Программы лаконичные
- Медленные
- Более простое проектирование
- Опциональная статическая типизация
- Позволяет выбирать между быстротой и сочетанием (лаконичность + гибкость)
- Ответственность за верность этого выбора лежит на разработчике
- Статическая типизация с выведением типов
- ????
Насколько я понимаю, самый мощный язык по выведению типов - это Хаскель (правда ли это?) Но computer benchmark game показывает, что программы на Хаскеле в среднем не лаконичнее программ на С++. По производительности они уступают, но это понятно - те типы, которые Хаскель выводит, можно было и явно написать.
Желательно, чтобы ваше мнение на что-то опиралось. Например, вот пруфлинк на лаконичность питона и его медленность по сравнению с С++.
.png)
