Гы. Я думал это и есть Хаскель :)

Да, это похоже на Ocaml, что вполне нормально — иначе бы учебник Аппеля не был бы лучшим именно в ML-версии. Да и Ocaml объективно широко используется для разработки компиляторов.

Вот вам еще пара примеров:

это на пролог смахивает

Он и есть. А это что? :)

Кстати, я пару лет назад переписывался с В. Луговским (если есть старожилы, которые помнят, кто это :), как раз обсуждали свои наработки. Он уже давно использует собственный "языковый верстак" (тот самый набор DSL для задач компиляции): https://github.com/combinatorylogic/mbase

Тот самый Луговский чей биореактор? 😆

Да, но "любим мы его не только за это" :)

В фидошные времена даже я ему че-то писал...

Я тоже когда-то ему нетмейлом написал, мол, зачем Вы так о Смолтоке выразились, да еще и матом. А он мне интеллигентно объяснил, что это у него такой педагогический прием, шок-обучение масс. И против Смолтока и, тем более, Форта (о нем я тоже спрашивал) он вовсе ничего плохого не хотел сказать! :)

Продолжаю эксперименты со статической типизацией в своём скриптовом языке Umka. К версии 0.2 пришло осознание, что без RTTI не будет правильно работать сборка мусора (особенно в случае интерфейсов). Интересно, может быть, я тут что-то упустил - и без RTTI обойтись можно?

Заодно добавил то, о чём меня много спрашивали - более или менее реалистичный пример внедрения интерпретатора в программу на C, как это делают Lua и Wren.

https://github.com/vtereshkov/umka-lang

О, тот самый человек!

Эээ... а чем я "тот самый"? :)

Разраб собственного ЯП, в кои-то веки не динамически типизированного

А ещё я твою статью на Хабре читал

А, ну да :) Хоть я вовсе и не претендую на изобретение жанра.

Это даже хорошо. У языкостроителей часто непомерное самомнение и наполеоновские планы на покорение языком мира

Так ведь, Медведников?

на днях кстати произошло в некотором роде историческое событие в мире компиляторов - появился первый self-hosted язык с зависимыми типами :)