LINUX.ORG.RU

Erlang


78

3

Всего сообщений: 3

OpenSource

После переезда на 38" работать стало комфортней на порядок.

Когда-то не понимал всех радостей от vim, от связки с tmux, но после боли в запястьях прошел процесс переосмысления эргономики - теперь работаю на ergodox, в vim+tmux, попутно оценил все прелести vim-like хоткеев стараюсь использовать их везде. как результат:

  • в рабочем окружении добавился vifm (как же я раньше без него жил).
  • в firefox начал пользоваться trydactil (до него использовал vimium)
  • в zsh стал активнее использовать vim-mode
  • потихоньку начал использование tig (гитовый консольный клиент). не могу сказать, что активно, но иногда с ним интересней пробежаться по коммитам
  • изменил дефолтные хоткеи гнома управления окнами на win-[h,j,k,l], а также переключение между приложениями стало удобней с помощью win-[1,2,3…]

если резюмировать - инвестиции в эргономику стоили потраченного времени и на выходе получил невероятно бОльший уровень комфорта.

на экране, кроме браузера со спотифаем и всем привычным htop еще можно увидеть cava - просто нравятся прыгающие «столбики» частот под музыку.

в остальном: Gnome 3.38. Для него установил тему Materia. Шрифт Iosevka везде, не только в терминале.

OS: NixOS. посоветовал на нее посмотреть знакомый еще в прошлом году. проникся. непривычно с первого взгляда, но невероятно крутая по своей идеологии - воспроизводимость конфигурации. теперь установка на другой комп/ноут сводится лишь в git checkout конфигурации и одной командой воспроизводится абсолютно все окружение, автоматически, без лишних копипаст. Если кому будет интересно - https://github.com/halturin/nixos-config/.

На экране - кипит работа над новой фичей, чтобы выпуститься с ней в предстоящем релизе. Надеюсь в феврале. Что это и для чего? это фреймворк, на Golang. Он реализует все дизайн паттерны OTP Erlang , а также его сетевой стек, который дает сетевую прозрачность для общения между процессами с возможностью линковки (когда два процесса связываются и если один умирает, то второй автоматически умирает за ним), мониторинга (когда один процесс хочет получить уведомление, если другой процесс умер), супервизор (когда из процессов выстраивается дерево супервайзинга с разными стратегиями перезапуска). В общем, много чего крутого, что было упущено индустрией в пользу ущербному HTTP. Любопытствующим сюда - https://github.com/halturin/ergo

PS: (для тех, кто в теме) после релиза есть желание взяться за реализацию BEAM виртуальной машины. если есть предложения или желание обсудить https://github.com/halturin/ergo/discussions/28

>>> Просмотр (3840x1600, 1641 Kb)

 , , , ,

ergo
()

Маргинальщина во все поля

Сменив работу, решил немного подправить свой боевой emacs и вот что из этого вышло:

  • в стабильный Debian был воткнут emacs-snapshot;
  • прикручена тема zenburn, убран меню-бар и всякая лишняя обвеска;
  • в качестве ШГ уже достаточно давно использую terminus;
  • кроме того, прикрутил подсветку текущей строки и выпирающих концов длинных строк, которые выделяются красным цветом.

Теперь по скриншоту. Слева видны полируемые исходники модуля для ejabberd. Для работы с Erlang использую EDTS, который может почти всё и не тормозит как erlang-mode.

Для ускорения эрланга в узких местах иcпользую ocaml. Когда возможностей окамла не хватает или нужно доказывать некоторые утверждения о коде, использую coq.

Работу с окамлом обеспечивает tuareg-mode, а исходниками на coq заведует ProofGeneral.

Ругайте.

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

 , , ,

ymn
()

Рабочее место начинающего лиспо^Wерлангового программиста

MRCPv2 клиент linked-in port драйвер.

GNU Emacs OS. Consolas. Erlang + C + cmake.

Ubuntu Lucid Lynx 10.4.

>>> Просмотр (1680x1000, 308 Kb)

 ,

CL-USER
()