KC
Oh shi here we go again
Size: a a a
2020 August 07
KC
он вышел
Кривда что ты наделал
AD
Ну пачиму нельзя написать оперделение на 5 строчек английского языка надо писать нечитаемую кодяру на парсултанге по которой это надо восстановить.
KC
Ну пачиму нельзя написать оперделение на 5 строчек английского языка надо писать нечитаемую кодяру на парсултанге по которой это надо восстановить.
Это жаваскрипт
AD
Это жаваскрипт
жаваскрипт это разве не парсултанг?
KC
жаваскрипт это разве не парсултанг?
Это питон парсултанг
KC
Змеиный язык
KC
А жс это понятный тебе язык, язык боли
AG
Вообще мне любопытно что это такое С++. То есть вот с одной стороны его делают умные люди, и вот книжка Степанов Elements of Programming содержит всякие леммы теоремы и оперирует алгебраическими структурами, как так произошло что теоркат и теория типов прошла мимо них. Типа это у них идеология такая не лезть в эти области, непонятно.
ну оно по моему написано целиком с точки зрения теории А
AG
т.е. для них все эти леммы и структуры это просто способ более компактно записать структуры данных и соответствующие алгоритмы
λ
да, тоже + к объяснению
AG
Теоркат в 80х не оч модным был
книжка то 2009 года
Oℕ
книжка то 2009 года
я ж не читал
Oℕ
книжку по стл
AG
Но больше инфы не было
ну это артефакт довольно специфической ветви теории доказательств, грубо говоря "глубокого вывода"
AG
где люди сочиняют обобщения секвенций
AG
это в основном по моему используется для всяких экзотических логик