Что тут понимается под решением? Конкретная программа или реализация парадигмы в каком-либо ЯП или что-то ещё?
Реализация в каком-то языке. Я не занимаюсь разработкой языков, поэтому мне интересно как все смотрится в комплексе, как разные части работают друг с другом, насколько логично согласуются разные фичи и как это все вместе используется для решения конкретных задач. Именно поэтому у меня тут уже репутация главного ретрограда и враг HKT. Я не враг, честно. Я просто его рассматриваю не как абстрактную фичу, а как что-то что решает конкретные задачи и интерферирует с другими вещами.
Та же Джулия - это просто нагляднейшая демонстрация того, что идея может выглядеть классно, но на практике сплошные колдобины. Почему бы не взять условно питоновский синтаксис, идеологию Лисп и JIT на основе LLVM, чтобы сделать быстрый современный язык для математики.