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 для ценителей.

>>> Просмотр (1920x1080, 658 Kb)

★★★★★

Проверено: JB ()

Скайп в трее? Обернут в докер?

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

Skype запускается через Pidgin и обёрнут в Topicons. Вообще не особо нужен (даже Pulseaudio удалён), но держу на всякий случай.

olibjerd ★★★★★ ()
Последнее исправление: olibjerd (всего исправлений: 1)

Это у тебя шрифты Pragmata Pro? Я ими только для кодинга и пользуюсь.

С окамля я на CL ушел из-за отсутствия нормальной поддержки SMP.

Oxdeadbeef ★★★ ()

Ну не взлетел же, попуститесь. Лучше надейтесь на Rust.

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

Короче трешак. Просто отправь все свои приватные ключи на адреса поддержки МС...

deterok ★★★★★ ()

а F# норм диалект OCaml, одобряешь?

umren ★★★★★ ()

Удобно пользоваться Gnome 3?

w1nner ★★★★★ ()
Ответ на: комментарий от umren

Ну, вообще я с него и начинал, году этак в 2011, изучать функциональщину. Различий много, и это уже не диалект.

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

ну и как оно? думаю стоит трогать или нет, он любые библиотеки .NET может использовать легко?

umren ★★★★★ ()
Ответ на: комментарий от w1nner

Элементарный тайлинг + хорошие расширения меня более чем устраивают. А ещё хиповые темы и приложения.

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

F# не пользуюсь уже давно, извините :) но энтуизиасты в своё время написали на нём свою имиджборду и пиарили её некторое время.

он любые библиотеки .NET может использовать легко?

Конечно.

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

Есть свои интересные вещи, нет интересных окамловых вещей. Подойдет в качестве клея для дотнет-специфичных софтин.

ymn ★★★★★ ()
Ответ на: комментарий от DeadEye

А еще:
1) Цвет шрифтов + сами шрифты + цвет bg - жесть нечитаемая.
2) Иконки для такой панели слева слишком мелкие.
3) Просвет между панелью/доком и панелью гнома - ?!
4) Трей ужасен
Короче, скрин ни о чем. Дайте парню журнал мод про плоскоту - он сделает вот такую вот жесть.

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

Если бы ты просил только по камлу, ты бы не постил других скринов и не добавлял бы описания. Так що извини.

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

Не, серьезно. Тут OCaml смотрится только предлогом.

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

Ага, только про Merlin на ЛОРе никто не постил. Отличный предлог, чего уж там.

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

предлог

Вот ты и сознался. Принимай критику, чоужтам.

DeadEye ★★★★★ ()

OCaml

В мурике не взлетело - закапывайте. Теперь только Rust.

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

В мурике и космический аппарат взлетел и приземлился в автоматическом режиме гораздо позднее, чем во всём остальном цивилизованном мире, так что не аргумент.

Теперь только Rust.

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

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

так что не аргумент.

Я не к тому, что он бесполезен, но особой популярности ему, увы, не видать.

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

На нём ещё ничего не написали по сути. Но у него есть шанс за пределами академий. Если таких целей не ставить, то ml вполне жив.

// Тыкал ocaml один вечер.

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

На нём ещё ничего не написали по сути.

В том-то и дело, что в реальном мире оцениваются текущие достижения.

но особой популярности ему, увы, не видать.

Тут несколько местных зарабатывают на нём, причем в РФ. Чем не популярность?

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

Skype запускается через Pidgin и обёрнут в Topicons.

а вот расскажи подробнее, мне бы на бубунте так сделать. и как там с чатами?

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

в реальном мире оцениваются текущие достижения

Согласен. Будем посмотреть.

Тут несколько местных зарабатывают на нём, причем в РФ.

Рад за них. Возможно, это даже что-то интересное, опять же - околонаучное, потому как ещё куда-то(кроме фриланса), мало где его приткнешь. Код обычно не по одиночке пишется.

FedyaPryanichkov ★★ ()
Ответ на: комментарий от ggrn

Ну, ставится помимо Pidgin и Skype ещё такая вещь, как pidgin-skype.

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

Кому-то что-нибудь околонаучное, а кому-нибудь и в бодишопе продаваться надо, каждому своё.

aedeph_ ★★ ()

адский вырвиглаз.

Stil ★★★★★ ()

Расскажи про свой опыт с окамлем.

Тут несколько местных зарабатывают на нём, причем в РФ.

Про это тоже интересно.
И ещё конфиг имакса в студию!

orion ★★ ()

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

Куда уж унылее.

Deleted ()

Сказ о том, как линуксоид себе глазки портил.

Solace ★★ ()
Ответ на: комментарий от orion

И ещё конфиг имакса в студию!

Там ничего интересного.

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

Расскажи про свой опыт с окамлем.

Тут несколько местных зарабатывают на нём, причем в РФ.

Про это тоже расскажи..

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

Мне что, все свои хеллоуворды показывать?

А про других говорить не буду, они и так уже понарассказывали (достаточно прочитать темы про тегу).

olibjerd ★★★★★ ()

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

Когда я вижу сообщения в таком духе, я удивляюсь, почему это звучит так, что эти крутые штуки круты из-за применённой технологии, а не из-за того, что круты программисты, их написавшие. Сам не программист.

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

То есть если я нуб возьму крутую технологию и буду там тупить, то выйдет крутой продукт? Или как?

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

Ух ты, понакидайте названий ваще крутых, хочу в крутой буржуйской компании работать.

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

Мне что, все свои хеллоуворды показывать?

А, ясно. Я подумал, что есть что-то кроме хелловорлдов.

orion ★★ ()
Ответ на: комментарий от tailgunner

/me рыдает

Ну мне то виднее :) А про SMP ты так тихо промолчал.

Oxdeadbeef ★★★ ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.