LINUX.ORG.RU

Всё больше и больше крутых штук пишется на Objective Caml

 , ,


0

1

Одна из них — Merlin, редакторонезависимый инструмент для разработки на OCaml, поддерживающий такие фичи современных IDE, как:

  • Сообщение об ошибках при наборе кода
  • Автодополнение
  • Информация о типах
  • Удобный просмотр исходного кода (с «прыжками к опеределениям»)

Доступен в OPAM под версией 2.1.1

На скриншоте (пишу никому, на самом деле, не нужную штуку — свою реализацию модуля List) он намекнул мне, что я забыл дать рекурсивное определение функции (в теле функции указано её имя, без ключевого слово "rec" в описании).

Ну а так всё уныло: Ubuntu 15.04, GNOME 3.14, Emacs 24.4 (на скриншоте запущен в URxvt), тема везде Paper, кроме иконок, которые Numix Circle.

В плеере играют качовое норм музло парни из Мэриленда.

Оригинал в PNG для ценителей.

★★★★★

Проверено: JB ()
Ответ на: комментарий от HeipaVai1o

На Rust уже написали Proof Assistant?

olibjerd ★★★★★
() автор топика
Ответ на: комментарий от Oxdeadbeef

Ну мне то виднее :)

Да как сказать... если человек просто так взял и перешел с Ocaml на CL, то вполне очевидно, что он гусар-одиночка с мотором^W^W^Wпишет поделки для личного пользования.

А про SMP ты так тихо промолчал.

Меня никто и не спрашивал. Но, AFAIK, с SMP в Ocaml всё плохо.

tailgunner ★★★★★
()
Последнее исправление: tailgunner (всего исправлений: 1)
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.