AT
Ну, справедливости ради, не на OCaml (а на Gallina). 😊
Size: a a a
2021 May 07
ВМ
ну да, но в итоге сгенерили код на окамле вроде бы)
卜
у нас потеряна преемственность советской школы программирования (математического обеспечения)
AT
Это постольку-поскольку. Для "полного счастья" нужно через верифицированный тулчейн компилировать, типа CakeML. 😊
AT
Да, поэтому ныть по этому поводу давно уже бесполезно. 🤷♀️
VS
Пора делать новую школу:)
AT
Идея сама по себе хорошая и дельная, но я не видел чтобы кто-то у нас предлагал что-то принципиально отличающееся от общемирового в лучшую сторону.
K
Программирования под Катунь?
kO
На котлине!
K
Да там рантайм в ферритовую решётку не влезет
卜
у нас штуки четыре транслятора Ады были своих советских
VM
Мне недавно сказали примерно следующее:
"Там же всё на Modula-2.
Я ничего не пойму..."
"Там же всё на Modula-2.
Я ничего не пойму..."
VM
Эльбрус-2
卜
в языке Ада многое можно сделать иначе
например, классы с метаклассами и множественным наследованием, как в PMtW
но кто выкатывает новые системные языки программирования, они настолько хуже в бытовых вопросах, что какие там классы, там: а поди-ка ты домой, лицо грязное умой
посмотришь на это и возвращаешься на Аду
например, классы с метаклассами и множественным наследованием, как в PMtW
но кто выкатывает новые системные языки программирования, они настолько хуже в бытовых вопросах, что какие там классы, там: а поди-ка ты домой, лицо грязное умой
посмотришь на это и возвращаешься на Аду
AT
Помню, в Союзе любили меряться количеством выплавленных за год тонн чугуна — меряться количеством реализаций Ада явно преемственность Советской школы программирования! 💪
VM
Его тоже нет под TUW ReactOs?
( я искал для какого-то знаменитого ЯП и обнаружил, что нет)
( я искал для какого-то знаменитого ЯП и обнаружил, что нет)
卜
единственность реализации снижает статус, да
K
А вот думаю, что лямбда исчисления, в качестве базы для языка достаточно. А классы всякие - излишество
ВМ
Давайте не будем обижать Союз, мне он на самом деле тоже нравится. Но я за то чтобы жить будущим а не прошлым, чего похоже не разделяет наш товарищ с ником который интернеты перевели мне как "корень"
AT
Полностью согласен! 👍