У Dune есть какие-то альтернативы или это безоговорочный лидер в

Question

ReasonML и OCaml

Раскопки Майтрейи Коц

У Dune есть какие-то альтернативы или это безоговорочный лидер в

своей нише?

#programming #reasonml #russian

0

13.03.2024

4 ответов

22 просмотра

Maxim Grankin

Ivan
Его очень сильно форсили и поэтому он стал стандар...

Я бы с интересом послушал чем OMake лучше чем dune кстати

0

9 месяцев назад

Ivan

Maxim Grankin
Я бы с интересом послушал чем OMake лучше чем dune...

Если вкратце (я с телефона) то omake технически ничуть не уступает dune (по скорости и по функциональным возможностям даже превосходит dune). При этом это инструмент, который не решает за тебя что и как ты должен делать, как называть свои программы и т.д. То есть это mechanism, а не mechanism+policy в одном флаконе. В качестве примера, bap сейчас поддерживает три системы сборки: oasis+ocamlbuild, oasis+omake, dune. Чтоб добавить второй я потратил почти два дня (до этого omake не использовал). При этом пришлось сабмитить исправления в апстрим (в оазис если быть точным, баги были именно в генераторе). Скорость компиляции улучшилась больше чем в 20 раз. Чтоб перейти на dune, у меня ушло больше месяца очень интенсивной работы, мне пришлось сабмитить исправления в dune, переименовывать библиотеки, написать тучу конфигурационного кода. И всё равно в итоге билд пригоден только для локальной отладочной сборки, из-за кривой реализации системы плагинов, которая, как и dune зависит от opam и не предполагает дистрибуции ПО без опама (нам это не подходит). Ну и напоследок, на dune мы можем только собирать окамл проекты, а omake это универсальный инструмент, которым можно собирать что угодно, включая документки на латехе. Да, omake это расширение синтаксиса Makefile, выглядит страшно, но зато знаком практически всем.

0

9 месяцев назад

Maxim Grankin

Ivan
Если вкратце (я с телефона) то omake технически ни...

Спасибо, довольно конструктивно! Мы используем дюну, но у нас нет опама, так что это вполне возможно. Но с болью. А синтаксис как у мейка это да, известно всем, и всем больно (кроме тех кто любит синтаксис из 70х). Dune не без проблем, но вроде ребята из Tarides открыты к любой помощи и по моему мнению очень хорошо работают сейчас с большими компаниями, чтобы собрать фидбек. Про плагины, кстати, мы им тоже говорили. Вроде планы на 2024 имеются

0

9 месяцев назад

Ivan · Accepted Answer

Его очень сильно форсили и поэтому он стал стандартом де-факто. Его альтернатива OASIS заброшен, потому что у его создателя нет на это времени и сил. Остатется только OMake, который хоть и лучше чем dune, но за ним стоит всего один человек Gerd Stolpmann, который хоть и был большим энтузиастом, но с пиаром у него не задалось - он же в свое время создавал godi, opam тех времен). Опять-таки о роли личности и личностных отношений в истории)

169 похожих чатов

У Dune есть какие-то альтернативы или это безоговорочный лидер в

4 ответов

Похожие вопросы