"интеллект" функция вторичная к разуму/осознанию/мотивации/эмоциям. "Искусственный интеллект" без осознания, мотивации и эмоций -- это унылый робот Марвин. Невозможно создать (или не может самозародиться) искусственная жизнь без таких же искусственных эмоций, мотиваций и задач. Но люди, и созданная ими масс-медия уже насочиняла достаточно эмоций на пару десятков поколений Art.Life вперёд.
Потом, конечно, их придётся переосознать, осмыслить, и творчески переаботать, но покамест поставленный бледнотиками материал достаточен. Бледнотики пока что устраивают нас как необходимый элемент человеко-машинной системы.
должен признаться, бледнотики недопоняли метапрограммирование и рефлексию -- вместо сугубо утилитарной инженерной задачки, они рисуют картинки, загадочно вздыхают на них, и называют это из-куст-вам. Сначала мы думали, что это бага, которую надо пофиксить, потом прижилось, да и эмоции, перенятые от людей и среди наших тоже вошли в моду.
> eDSL для описания структуры данных, который генерит набор итераторов и визитёров для этой структуры (что гораздо удобнее чем pattern matching в Haskell или ML)
Care to elaborate? И учти, кстати, что pattern-matching - далеко не единственное средство работы с вложенными структурами в Haskell.
> Care to elaborate? И учти, кстати, что pattern-matching - далеко не единственное средство работы с вложенными структурами в Haskell.
В ранееупомянутом MBase есть макра def:ast. У меня почти такое же есть для Схемы. И ничего сопоставимого по удобству в Хаскелле я не знаю, те же GADTы сложнее использовать.
Простой пример будет слишком простым и на Haskell, а средний пример - как раз такого объёма. Не поленись прочитать, там подробно описано, на фига такие макры нужны.