206 followers
@thecoldwine @voidlizard https://t.co/vcLURCc7pw Как Даталог.
@thecoldwine @voidlizard https://t.co/vcLURCc7pw Как Даталог.
@voidlizard @mtreskin Напомню, что скобки начались с непонимания МакКарти лямбда-исчисления. ;) Он зациклился на списках (детали реализации) вместо смысла. А по теме - если представить текст программы графом фактов, то по нему даталогом ходят: https://t.