Конечно! HKT завезли? Нет. First-class modules + functors? Нет и не будет. GADTs? Nope. Ну и так далее.

Функторы разве нужны где нибудь кроме окамля? :)

Я про те которые модули преобразуют

в Хаскель их тащат (под названием backpack)

Но вроде бы система типов в Rust полна* по Тьюрингу, а система типов OCaml - нет

как это помогает отображать ТЗ в типы?

Привет комунити.

Какое-то время назад, я проводил ресёч по новому языку программирования. Сам я очень далёк от таких технологий, собрал из того что было. В какой-то момент разработка затянулась, каждый шаг всё больше требовал ресурсов. И ко всему прочему меня начали посещать сомнения. Стоит ли оно того. И так случилось что я нашёл этот чатик. Думаю, что это небольшое исследование может быть любопытным вам. И хотелось бы получить фидбэк, больше идейный, чем технический.

https://github.com/MyGodIsHe/gravis-research

Во-первых, Тьюринг-полная система типов - скорее плохо, чем хорошо, во-вторых, у OCaml наверняка уже давно тоже Тьюринг-полная.

ничего непонятно без туториала по основным блокам

это частный случай логических схем?

И это я ещё забыл Open Unions (или как они в OCaml называются?) и структурно-подтипированную систему классов.

не понял вы предлагаете CFG впучную рисовать а отображать в 3д потом? Хитро! Парсер не нужен, с семантикой можно не париться)

про схемы слышу впервые, чем-то похожи

надеялся что профайлер фибоначчи что-то прояснит

На мой взгляд, у Вас противоречивые требования. И непохоже, что цели достигнуты. Я бы предложил убрать "язык" и оставить задачу визуализации кода (на уровне IR) в 2d/3d. Возможно, специализированный инструмент, вместо graphviz/yed, будет востребован.

код писать в VR, точнее строить, но хочется и декстопный вариант для начала, я так и не придумал удобного способа это делать

Советую посмотреть в сторону flow based programming

может, стоит посмотреть, как схемы в Майнкрафте строят

Цель очень далека от поставленной. Мне нужно довести всё до визуального великолепия. Про какие инструменты речь?

да, но я хочу более мощную штуку