ocaml, IDE, 2020

я не понял, что значит «it is currently under development».

Это значит что программа ещё не готова и находится в процессе разработки.

Это ясно, но в нашей время все программы ещё не готовы, ибо Agile. При этом некоторыми пользоваться можно, а некоторыми - совсем нельзя.

В какой IDE работать с ocaml в 2020 году?

В Емаксе конечно:

https://github.com/ocaml-community/utop

Спасибо, но я не люблю EMACS (в какой-то степени им владею, но при его использовании постоянно страдаю).

Есть вопрос https://stackoverflow.com/questions/14747939/ide-for-ocaml-language, там тоже есть выбор для EMACS. Но никто не провёл сравнения того, что доступно под VS Code с TypeRex, а при этом для VS Code доступно не менее двух вариантов (я не видел, во всяком случае).

Из трёх, которые показываются в списке расширений VS Code, два больше не поддерживаются, живым является reason-vscode от Jared Forsyth. В нём написано, что он на базе merlin - это вроде хорошо.

А для отладки авторы одного из брошенных плагинов рекомендуют https://github.com/hackwaly/ocamlearlybird

Копаем дальше…

А ты что, на функциональную статику перешел?

Merlin ведь и utop repl.

Не могу тебе об этом рассказать.

Spacemacs + merlin. Но вообще, да, с тулингом у окамла всё паршиво.

Прям как у хаскеля? ;)

У хацкелля гораздо лучше, если серьёзно. Даже лучше чем у того же пистона. Например, stack – это просто божественная штука, я теперь не знаю как с другими языками без подобного инструмента работать.

stack – это просто божественная штука, я теперь не знаю как с другими языками без подобного инструмента работать

а что оно делает?

Скачивать нужную версию компилятора и собирать весь проект с нуля. И всё это одной командой. Плюс интеграция с Nix для установки сторонних системных библиотек. Плюс есть stackage — набор стабильных срезов хацкелловых библиотек. Примерно как дебиан для линукса, только выпуски гораздо чаще.

Звучит интересно.

и собирать весь проект с нуля

вот здесь только не понятно, этим же любая система сборки занимается, хоть тот же CMake?

Тут как бы ide обсуждается, но троллофлудеру, как обычно, насрать

Emacs+Merlin+Tuareg

P.S.

Своими глазами выдел «академию» который накатал тысячи строк на камле в виме в плайн текст, на макбуке даже не максимизируюя открытое окно терминала

вот здесь только не понятно, этим же любая система сборки занимается, хоть тот же CMake?

Не, ты не понял. Здесь можно зайти в директорию с сырцами, набрать stack build, а дальше произойдёт магия и тебе будут выданы результаты сборки (бинарник и/или библиотеки) либо ошибка. Stack сам скачает зависимости, компилятор нужной версии и прочее.

Idea + ocaml plugin

О_о а вот это реально круто

О_о а вот это реально круто

А теперь добавь к этому всему stackage – собрание стабильных срезов довольно большого количества хацкелловым библиотек. Что-то типа Debian, только релизится чаще и не обновляется после релиза. В результате можно просто не париться насчёт зависимостей, указав нужную версию LTS-выпуска.

Говорю же, после этого в других языках таких вещей крайне не хватает.

У хацкелля гораздо лучше, если серьёзно.

Когда в цацкель что-то уровня dune и merlin подвезут, тогда и будет лучше. Пока ни внятной системы сборки, ни нормального плагина для ide нет.

По субжу это [1] и любой фронтенд для LSP.

https://github.com/ocaml/ocaml-lsp

ни нормального плагина для ide нет.

Тут же советует LSP

П-нятненько.

Говорю же, после этого в других языках таких вещей крайне не хватает.

Не считая stackage, это - примерно то же, что npm умеет для нодки? Или уж quicklisp.

Плагин для vs code не завёлся, есть открытые с сентября баги, которые у меня срабатывает. Попробую через emacs. spacemacs не возьму. Может, он и хороший, но опять переучиваться…

Вот эта бага, для справочки

https://github.com/jaredly/reason-language-server/issues/334

Не считая stackage

Ну ты молодец. Главную фишку сразу зарубил.

Плагин для vs code не завёлся, есть открытые с сентября баги, которые у меня срабатывает.

Окамловый? Соболезную, но помочь ничем не могу. У меня таки spacemacs.

Не так чтобы в тему топика, там про внесение царяmulticore в транк ничего не слышно?

Я не зарубил, а просто пытаюсь понять состав фичи, разделяя её на части.

Уже поставил EMACS, на сегодня пока не могу составить .merlin, чтобы работало.

Сообщаю:

.merlin автоматически генерируется dune в рассматриваемом мной проекте. Пока вроде всё, что надо, работает. Соответственно, в итоге набор инструментов такой:

• ocaml - интерпретатор
• ocamlc - компилятор
• opam - менеджер пакетов
• dune - система сборки
• tuareg + merlin - возможности по редактированию кода в EMACS

В какой IDE работать с ocaml в 2020 году?

Ни в какой. Он настолько нужен, что для него не то что иде, а просто плагинов даже нет.

Иди лучше на заборе напиши «здесь был beaver». Больше людей прочитает.

Продолжай, нам очень важно мнение воришки-фронтендера.