Исправление buddhist, 05.03.15 18:53 (текущая версия) :
Статика без зависимых типов — та же дырявая петушня
Исходная версия buddhist, 05.03.15 18:53:
Статика без зависимых типов — та же динамическая петушня