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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Конечно.

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

ШГ просто жесть.

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

А по теме есть что сказать?

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

ты бы не постил других скринов

Ой всё!

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

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

предлог

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

OCaml

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

Я никому ни в чём не сознавался!

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

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

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

Скажешь это в полиции =)

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

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

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

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

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

ШГ, говнокод, всё уныло...

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

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

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

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

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

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

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

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

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

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

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

Клёвые иконки!

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

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

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

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

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

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

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

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

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

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

Что за книжка на скрине?

http://shamil.free.fr/comp/ocaml/

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

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

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

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

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

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

Но они действительно круты из-за технологии.

С окамля я на CL ушел

/me рыдает

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

Да.

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

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

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

/me рыдает

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