AG
пиентка в субботу рассказывала про свой новый язык мёбиус, где они пилят крипке-стайл систем ф
Size: a a a
2020 July 07
AG
в рабоче-крестьянских терминах это значит что ты можешь городить quote и unquote произвольной глубины
AD
Как в дотти мете?
AG
наверное, не смотрел чо там в дотти
AG
но тут еще добавляется патмат по квотам
AG
суть в логической здравости, т.к. квот-анквот суть ни что иное как карри-говард для крипке-стайл интуиционистской модальной логики
AG
программа де Пайвы евпочя
AG
точнее пиентка берет за основу контекстуальную модальную логику, но это уже ньюансы
AD
Ну в дотти без этих загонов
AG
дык суть именно в загонах
AD
Есть просто фичи
AD
Если сделаны по законам то ок
AG
реальное промышленное вэлью
w
реальное промышленное вэлью
А может ты еще и в цирке выступаешь?
AG
меня прямо ужас какой-то охватывает, как я задумываюсь об использовании жаваскрипта
пюрскрипт бери чо
a
пюрскрипт бери чо
мне не поможет. у меня практическая задача - нарисовать графиков красивых.
a
рисовал бы в питоне - вариант один, надо юзать
matplotliba
а в жаваскрипте 50 либ и все говно
a
точнее они может и ничего, но мне чтобы это понять, придется просеять кучу говнолиб