| 1.1, Аноним (1), 11:48, 30/03/2022 [ответить] [﹢﹢﹢] [ · · · ]
| –12 +/– |
Ocaml какой-то, unikernel - глупость какая-то, изобрели ещё один псевдо-докер?
| | |
| |
| 2.4, Аноним (4), 12:21, 30/03/2022 [^] [^^] [^^^] [ответить]
| +14 +/– |
ну пилят ребята и пилят ) вам то чего или ваше хобби писать про "ненужно" ?)
| | |
| 2.16, Аноним (-), 20:36, 30/03/2022 [^] [^^] [^^^] [ответить]
| +3 +/– |
Докер менее безопасен в сравнении с таким подходом, в нем меньше изоляции. Тут же каждое приложение может сделать по своей файловой системе поверх простого интерфейса гипервизора.
| | |
| |
| 3.20, Старшина (?), 22:43, 30/03/2022 [^] [^^] [^^^] [ответить]
| +1 +/– |
а если у меня куча микроконтролеров через какой-то интерфейс подключено? это может в этом смысле применяться?
| | |
|
|
| 1.2, Бывалый смузихлёб (?), 11:55, 30/03/2022 [ответить] [﹢﹢﹢] [ · · · ]
| +3 +/– | |
> и минимальный размер (например, DNS-сервер занимает всего 200 КБ)
Интересно, сколько бы занимал бинарник хеллоуворда на расте, содержащий под капотом всё необходимое для работы барахло( хотя бы просто под ОС, но без необходимости ставить растовые библиотеки в систему )
| | |
| |
| 2.3, Аноним (3), 12:05, 30/03/2022 [^] [^^] [^^^] [ответить]
| –4 +/– |
а что, экономишь пространство на дискете? ну купи еще одну дискету, будут у тебя 2.88 Мб.
| | |
| |
| 3.13, Бывалый смузихлёб (?), 16:24, 30/03/2022 [^] [^^] [^^^] [ответить]
| –1 +/– |
> в которых приложение поставляется как самодостаточный "unikernel",
> способный выполняться без применения операционных систем, отдельного ядра ОС и каких-либо прослоек
> итоговые окружения демонстрируют достаточно неплохую производительность
> и минимальный размер (например, DNS-сервер занимает всего 200 КБ)
То ли в новости что-то не так, то ли - ?
По твоей ссылке лежит файл весом в ~200 байт. Причём он вообще ?
| | |
|
|
| |
| 2.7, freehck (ok), 12:55, 30/03/2022 [^] [^^] [^^^] [ответить]
| +8 +/– |
 > Почему OCaml не взлетел?
Взлетел. Просто он сначала взлетел в математических пруверах типа Coq. Где-то в начале нулевых народ начал думать "а что это мы на нём и обычный софт не пишем" -- и на нём накидали MLDonkey, чтобы просто показать, что это возможно. Он вроде кстати до сих пор жив. Затем и Jane Street подключились и во многом на нём построили свой бизнес.
Собственно Jane Street и ответственна за то, что язык набрал обороты. В институте INRIA (оттуда OCaml и Coq родом, привет Leroy Xavier) очень неохотно принимали изменения в стандартные библиотеки. В Jane Street просто написали свои, более человеческие, поверх исходных. Взрастили множество хороших специалистов, выпустили серию книг (привет Yaron Minsky), участвовали в развитии opam и dune.
OCaml -- это, скажем так, человеческое приглашение разработчиков в строго типизированное функциональное программирование. Безусловно, функциональщики массовым явлением никогда не будут из-за высокого порога вхождения. Но в среде функциональщиков OCaml прочно стоит на ногах.
| | |
| |
| 3.18, OO (?), 20:51, 30/03/2022 [^] [^^] [^^^] [ответить]
| –2 +/– | |
>> в среде функциональщиков...
2 человека тоже "среда" уже.
как то плохо у них со средой, вакансии всяких функциональщиков годами не могут закрыть.
| | |
|
| 2.12, Ан (??), 15:50, 30/03/2022 [^] [^^] [^^^] [ответить]
| +/– |
Многопоточность не очень. Это будет исправлено в пятом окамле.
| | |
|
| 1.6, freehck (ok), 12:38, 30/03/2022 [ответить] [﹢﹢﹢] [ · · · ]
| +10 +/– | |
Большая веха. Я в предверии этого релиза вот уже некоторое время как снова смотрю на OCaml спустя несколько лет перерыва. Экосистема сильно повзрослела за эти годы.
Dune выглядит действительно мощной системой. Те, кто ранее пользовался ocamlbuild -- поймут. Теперь сборка стала значительно проще: просто указываешь, что собирать, библиотеки, которые надо прилинковать, и собственно всё.
Да и библиотек стало значительно больше. Я давеча к своему сервису добавлял вывод метрик в Prometheus -- двадцать строчек на конфигурирование сбора метрик, плюс одна на эндпоинт в Cohttp. Раньше было сложнее. Молчу уже о том, что клиентская часть Cohttp без всяких приседаний теперь работает с SSL. Очень радует. Lwt_pool порадовал. Я с его помощью пул дочерних процессов организовывал. Пара строчек и готово.
Ну и библиотеки заматерели. Раньше для подобного функционала нужно было весьма низкоуровневые вещи задействовать, сейчас же высокоуровневые библиотеки человеческим лицом всю экосистему поворачивают, за что большое спасибо Ocsigen-овскому Lwt и JaneStreet-овским Base/Core.
Тем, кто не в курсе, почему это круто (и по-видимому что такое OCaml), объясню просто: строгая типизация, гарантия отсутствия ошибок типа, на 99.9% чисто функционально, не лениво по умолчанию.
| | |
| |
| 2.8, gavr (ok), 14:45, 30/03/2022 [^] [^^] [^^^] [ответить]
| +/– |
 А что скажешь про ReasonML который альтернативный фронтенд компилятора окамл с более си-подобным синтаксисом
| | |
|
| |
| 2.26, freehck (ok), 13:10, 01/04/2022 [^] [^^] [^^^] [ответить]
| +/– | |
> Поясните танкисту: оно позволяет запускать только код на OCaml?
Если не брать в расчёт CFFI, то да, только на OCaml.
| | |
|
|
