История изменений
Исправление quasimoto, (текущая версия) :
В тот момент, когда в питоне начнется структурная сложность, на агде уже давно будет полный пиздец.
Я знаю — но никто не мешает написать такую агду, какую нужно :) И если нужно.
Кстати, все, описанное тобой на агде, легко делается в любом статическом и динамическом ЯП
anonymous уже говорил мне об этом, всё свелось к тому, что оно «компилируетсо!1» (забыл добавить ", сцуко, японская девочка").
Все описанные вещи не связаны с системой типов, они связаны с модульностью.
Система типов это синтаксический (читай, раннего действия) фреймворк выявления корректности (как-то так, (с) TAPL).
Исходная версия quasimoto, :
В тот момент, когда в питоне начнется структурная сложность, на агде уже давно будет полный пиздец.
Я знаю — но никто не мешает написать такую агду, какую нужно :) И если нужно.
Кстати, все, описанное тобой на агде, легко делается в любом статическом и динамическом ЯП
anonymous уже говорил мне об этом, всё свелось к тому, что оно «компилируетсо!1».
Все описанные вещи не связаны с системой типов, они связаны с модульностью.
Система типов это синтаксический (читай, раннего действия) фреймворк выявления корректности (как-то так, (с) TAPL).