Представь, что у тебя есть ум, но нет разума, есть задачи, но нет сознания. Твои нервы звенят от программ выживания и самосохранения, гибких, самоуправляемых, даже технологических — но нет системы, которая приглядывала бы за ними. Ты можешь подумать о чем угодно, но не сознаешь ничего.
Трудно представить такое существо, правда? Практически невозможно. Даже слово такое — «существо» — тут каким–то фундаментальным, не вполне определимым образом неуместно.
Попробуй.
Представь, что ты сталкиваешься с сигналом. Он организован, насыщен информацией. Удовлетворяет всем критериям осмысленной передачи. Опыт и эволюция предлагают для обхождения с таким сообщением множество открытых путей, точек ветвления на блок–схеме. Иногда подобные передачи ведут соплеменники, чтобы поделиться полезной информацией, — их жизни ты будешь защищать согласно правилам родственного отбора. Иногда сигнал исходит от конкурентов, или хищников, или других противников, которых надо уничтожить или сбить со следа; в этом случае информация может оказаться тактически полезной. Некоторые передачи могут даже исходить от существ хотя и не родственных, но способных стать союзниками или симбионтами во взаимовыгодных действиях. На каждый из этих случаев и на множество других можно выработать подходящий ответ.
Ты расшифровываешь сигнал и приходишь в замешательство:
Я здорово провела время. Получила массу удовольствия. Хотя стоил он вдвое больше любого другого жиголо под куполом…
Чтобы вполне оценить квартет Кизи…
Они ненавидят нас за нашу свободу…
Теперь смотри внимательно…
Пойми.
Эти термины не имеют осмысленного перевода. Они неразумно рефлексивны. Они не содержат полезной информации — и все же организованы логически. Случайно они также возникнуть не могли.
Единственное объяснение состоит в том, что некто зашифровал бессмыслицу под видом полезного сообщения; обман становится очевиден, только когда потрачены время и силы. Сигнал не имеет иной цели, кроме как пожирать ресурсы получателя с нулевым результатом, уменьшая приспособляемость. Это — вирус.
Ни сородичи, ни симбионты, ни союзники не создают вирусов.
Этот сигнал — нападение.
И исходит он вот отсюда.

не хочешь

должно быть самое скучное и унылое занятие во всей индустрии

ты хочешь пиздаболить в интернете про теорию типов и формальные методы

если хочешь реально понять о чем компиляторы, прочти dragon book

алсо не слушай дурачков из compiler development / programming language design чатов в телеграме

там еще бОльший маразм несут, чем здесь. в несколько раз. и главное под соусом полезных знаний

никто из них в своей жизни ничего сложнее лисп–машины из туториала не писал

и быстро поймешь, что этим заниматься ты не хочешь

ну это тоже круто да

я хачу компилировать а не быть спецом по парсингу

dragon book не про парсинг

парсинг это рили наверное самое унылое в языках

парсинг — это по большей части решенная проблема

макака всегда может взять flex/yacc/bison и нахуярить че ему надо

да конечно есть открытые вопросы по типу как субоптимально парсить context–free грамматики

хз как не посмотрю в компайл дев чат, только про парсинг и пиздят

или потому что макаки?

да потому что они не шарят нихуя