Да не только, тот же Dark lang (или они "platform"?), Enso (ex Luna), ещё какие-то.

А что сразу фгупики? Вон, люди и про небезызвестные компании такое пишут: http://worrydream.com/#!/Apple
Конкретно апл, правда, один из самых злобных в этом плане, но всё же.

Сейчас - в основном муть вокруг визуальных языков, много пиара снаружи и ничего хорошего внутри. Ранее - Borland, Adobe (изначально не только компиляторный, но даже "языковой" стартап), в какой-то мере Microsoft (когда работали с Альтаиром) и другие интересные моменты истории.

Привет, а есть ли какие-то онлайн и не только сервисы, которые конвертируют обычный код в SSA представление? При этом исходный код не принципиален, хоть инструкции виртуальной машины.

У gcc есть вариант вывода GIMPLE в виде CFG (который SSA удовлетворяет), я этим пользовался для визуализации через graphviz, но думаю, он может и так

e.g.:

g++ -o cfg_dump -O0 -fno-inline -fdump-tree-cfg-raw ../main.cpp;
cat main.cpp.011t.cfg

Или -fdump-tree-all-graph, в зависимости от того, что нужно

А есть ли вообще простая реализация алгоритма построения SSA представления? Не в gcc, а просто демо? Желательно с использованием Dominance Frontiers

Друзья, у кого был опыт, можете поделиться, сколько времени займёт влиться в OCaml и писать неплохой код, т.е чтобы было видно что не новичком написан, если имеется большой опыт разработки на Rust, C++, всяких Python. за теорию типов, теорию категорий и за концепции из функционального программирования немного шарю, по-этому вещи из этих миров в OCaml думаю не будут проблемой, тут именно вопросы по поводу самого языка скорее.

это лучше спросить в @reasonml_ru например

Забыл упомянуть — меня интересует именно компиляторостоение на OCaml, я из этих миров.

Просто знаю что многие учат и утилизируют OCaml именно для этих целей, по-этому предположил что будет целесообразно спросить именно тут.

С такой базой - ноль времени. Язык несложный, "выворачивания мозга" не требует.

Всем привет, может есть кто llvm изучает, написал один pass, забилдил успешно,но запустить не могу, opt выдаёт ошибку "unknown pass name"... кто-нибудь сталкивался с этим?

Проверь регистрацию у него.

код вроде с регистрацией

вот собственно и ошибка

Очень просто

У нас на одном проекте скорость расчётной программы, когда она компилируется на gcc c -O2, в два раза выше, чем когда её собирает 5.5 Borland C++. Возможно в Borland C++ 6.2 оптимизацию подкрутили, но не факт.