МБ
Справедливости ради, зав. типы – это higher-order logic, а Ada – first order. 🙂
Вот это самое ilc - как раз first order (и этим особо гордятся), но там тоже forall - это не цикл, а спец комбинатор
Size: a a a
2021 March 26
M
что он говорит diargs stuff nargs stuff?
M
DIArgList?
M
4 раза переслушал, чувак просто сьел слово
PM
4 раза переслушал, чувак просто сьел слово
там можно включить субтитры, иногда может помочь
M
Не я понял что он говорит m-args stuff
M
А буквально это можно понять как metadata argumets
M
Вот мог бы для плохослышаших уж 2 слова и сказать
МР
Лучше б они foldMap и ленивое исполнение завезли. Или, хотя бы,
all/any как HOF, а не как конструктык
Странно, а я читал просты что после унивалетных основ математики многие наоборот сменили свое мнение, ну я не математик
многие = штук сто и десятков тысяч наверное
к
Связи между областями важнее.
кому важнее, что это за бред
как тут связь между абстракцими упростит "пробежаться по списку юзеров и проверить что они все верифицрованы"? Слово из матлогики тут никак не поможет. Если человек знает что это, он и без слова поймет, а если не знает, ему бы слово попроще, чем слово из матлогики
как тут связь между абстракцими упростит "пробежаться по списку юзеров и проверить что они все верифицрованы"? Слово из матлогики тут никак не поможет. Если человек знает что это, он и без слова поймет, а если не знает, ему бы слово попроще, чем слово из матлогики
2021 March 27
IJ
коллеги, давайте тут про компиляторы.
AT
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-511.pdf
Software Visualization in Prolog.
Software Visualization in Prolog.
2021 March 28
M
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-511.pdf
Software Visualization in Prolog.
Software Visualization in Prolog.
Красиво модули изобразили в виде пузырей. Угоню идею
IR
Красиво модули изобразили в виде пузырей. Угоню идею
Пузыри это которые? Fish-eye?
I
Здравствуйте, я тут с очень интересным вопросом. В 10 классе меня очень сильно зацепил спецкурс по компиляторам. Решил, что это тот продукт, который я хочу разрабатывать. Можете подсказать как становятся компиляторщиками? На кого надо учиться? Что надо знать?
P. S. Извиняюсь если не по теме. Не знаю кого ещё можно спросить.
P. S. Извиняюсь если не по теме. Не знаю кого ещё можно спросить.
Cʕ
Здравствуйте, я тут с очень интересным вопросом. В 10 классе меня очень сильно зацепил спецкурс по компиляторам. Решил, что это тот продукт, который я хочу разрабатывать. Можете подсказать как становятся компиляторщиками? На кого надо учиться? Что надо знать?
P. S. Извиняюсь если не по теме. Не знаю кого ещё можно спросить.
P. S. Извиняюсь если не по теме. Не знаю кого ещё можно спросить.
В 10 классе
Интересно, что за спецкурс такой🤔
Ну вот можно тут начать https://github.com/true-grue/Compiler-Development
s
поступи лучше в нормальный вуз для начала
I
поступи лучше в нормальный вуз для начала
Какой? На кого?