Без заголовка

Фактор -- это функциональный язык без лямбды, но это не единственное его достоинство. Он представляет весьма специфичный способ создания на его основе разных синтаксисов ("сам себе парсер"), это высокорефлексивный язык-для-разработки-языков. Он настолько языкоориентирован, что состоит из "слов" :) Ну, и там встроенная в язык IDE, как в Smalltalk. Мне point-free с явным обозначением того, где именно находится обрабатываемый объект (на стеке, конечно!) очень нравится. Это соответствует тому, как люди описывают свою деятельность. В кулинарных рецептах пишут "возьмите X, посолите, поперчите, пожарьте, отбейте, нарежьте" и нигде явно не пишут, с каким предметом работается: ежели уж взял предмет в руки, так все операции с ним и идут. Это соответствует гипотезе, что "все мыслительные операции мы делаем визуально с объектами-внутри-головы, беря их мысленными руками". Мне почему-то Factor представляется очень "психологичным" языком, хотя этот психологизм идет полностью контринтуитивно по отношению к людям, воспитанным в традициях C++. Но и BASIC когда-то полностью сбивал мушку программистам, и они не могли долго воспринять "красоты C++" -- почему же сам C++ не может сбивать мушку для восприятия красоты Factor? Тут нужно еще особо указать, что в Factor я отдельно рассматриваю его ядро и отдельно -- развивающие это ядро "стандартные словари" (аналог "библиотек"). C Python и теорией категорий работает algebraic_brain.