G
Смысл тот же
Size: a a a
2020 May 19
CD
Inductive judgements называется по-моему
да не важно, как
CD
отношения метаклассов к предметной области, описываемой именами, вроде бы ошибка дизайна
G
Когда пишут
Some statement1
———————————
Some statement2
Some statement1
———————————
Some statement2
CD
а перегрузка это брат этой модели
CD
потому что кирпичи полиморфизма ты должен выражать перегруженными методами
CD
как operator +
CD
и если сделать язык, в котором можно будет определять нормально операции (скажем как в хаскеле) и при этом определять локально предметную область модуля (и при этом не завязываться на нее при импорте), вроде бы будет пушка
CD
я собственно не изобретаю ничего нового, а пишу математическую статью)
C
C
AZ
а кто у нас эталон литературного украинского
"Энеида" Котляревского.
C
/¯
/¯
Киберунижение
G
G
Там никаких гарантий))))
C
Нет ты свой
/¯
Нет ты свой
Так он и так безработный