На днях Robert Smith (это чувак который известен тем что юзает CL в Rigetti Computing для квантовых компьютеров, и несколькими математическими библиотеками) сделал репозиторий для попытки имплементации DSL в виде помеси ML и CL.
https://github.com/tarballs-are-good/coaltonНасколько я сумел понять из файла с размышлениями о дизайне, это попытка улучшить ситуацию с типами в CL и сделать его более подходящим для написания крупных компиляторов.
Это я не комментирую запрос
@niksaak, просто вспомнил