История изменений
Исправление AndreyKl, (текущая версия) :
«умение пользоваться головным мозгом» - это весьма неформальный инструмент.
А языки с зависимыми типами - это формальный инструмент, который даст заведомо гарантированный результат любому кто умеет его использовать. Это как пневмомолоток: можно конечно научиться витруозно забивать гвозди камнем. Но у того кто умеет пользоваться пневмомолотком результат заведомо лучше на порядок, а то и пару.
Исходная версия AndreyKl, :
«умение пользоваться головным мозгом» - это весьма неформальный инструмент.
А языки с зависимыми типами - это формальный инструмент, который даст заведомо гарантированный результат любому кто умеет его использовать. Это как пневмомолоток: можно конечно научиться витруозно забивать гвозди камнем. Но у того кто умеет пользоваться пневмомолотком результат заведомо лучше на несколько порядком.