А я вот прямо сейчас дореализовываю фри-монадный STM в С++. Вроде, основная машинерия наконец-то получилась, теперь нужно сделать так, чтобы ей можно было пользоваться и страдать, но хотя бы не сильно.
А во второй части автор написал евалюатор через мерзкие стеки стеков, потому что в базовом языке нет CPS или чего-то подобного. Наверное с образовательной цели это даже плохо чем хорошо, не стоит показывать студентам как не надо писать