Oℕ
И просто добавляя те или другие операции к таким штукам можно делать язык ленивым или ретивым, линейным или интуиционистским и даже совмещать концепты в рамках одного языка
Size: a a a
2020 February 12
Oℕ
Эффективнее анализировать выражения при инлайнинге удаляя ненужные операции и т.п.
Oℕ
В итоге можно написать хороший расширяемый компилятор
Oℕ
Oℕ
Но у этого компилятора будет проблема
Oℕ
Доменная модель будет не рич
Oℕ
надо будет сикуэрэс внедрять
Oℕ
классно, хочу такой курс
Oℕ
ты на хохляндии учился?
Oℕ
а в том же пейпере
w
есть
Эх, сча бы есть
Oℕ
там формализуют ленивую лямбду, а потом ленивую семантику для мюмютильда
ᛒ
только если ты не будешь больше меня с кривдой в овощной кидать
DM
он только собак с балкона кидал и снимал на видео
