Типа как выглядят "у нас есть монады дома" в расте

Idiomatic monads in Rust by Rancor?

возможно

Associated traits, если что, пока что вроде даже в pre-RFC нет

Ну associated generics уже что-то

Поэтому один из способов реализации ХКТ с нестираемыми типами - это дескрипторы.
Если некоторая функция типов, производит нелифченные прелставления, она должна быть буквально функцией дескрипторов.

Т.е. некоей штукой, которая берёт описание типа какого-то Int и конструирует новое описание типа какого-то List[Int], по возможности кешируя всё это.

И фактически все вычисления относительно спейс тайм характеристик типа, которые производятся компилятором должны уметь вычисляться этой штукой в рантайме.

Т.е. это должен быть ЯП, где рантайм неотличим от компайлтайма, а свойства должны быть подобны суперкомпиляции.
Я полагаю, реализация такого рантайма/компилятора была бы значимым достижением для айти, независимо от того, Паша это сделает или не Паша

Однако Паша настаивает, что дескрипторов тоже не нужно, можно всё заранее получить, что примерно равносильно утверждению "программы не нужно запускать, нужно всё вычислить заранее на этапе компиляции, а если что-то не вычисляется - выдать ошибку компиляции"

Так что видимо, это будет какой-то другой герой

Я думаю, у вас много общего с автором нимрода

Оба делаете полезные перспективные штуки

Думаю, нужно объединиться в один консалтинг, и тогда ваши идеи будет слышно лучше

Вот так сделай комплимент

та никто нехуя делать не хочет просто

Кто понял тот понял, но тот кто не понял - не понял.

Очень хотел написать тестовую либу с тобой, как жалею, что отказался.

на столько же сильно как внедрить хотел?

Без сарказма мне интересна коллаборация по поводу одного проекта, и я уже об этом говорил, но он у тебя в клозед сорс

Винить тебя никто не будет за это