Комментарии 34
https://github.com/0xd34df00d/refinedt ещё
Proof-of-Concept языка с усовершенствованными типами, компилирующимся в Idris (частично написан на Haskell).
А Plutus полезный?
Кстати, используете Vim с Pathogen для Idris 2?
И есть ли по Idris 2, Agda 2 что-нибудь вроде https://habr.com/ru/post/472780/comments/#comment_20807772 ?
А в Agda гетерогенное неравенство?
PostgREST
Тогда наверное надо и Hasura добавить.
Не забываем про змеиную среду - https://pyos.github.io/dg/
PostgREST
На мой взгляд совершенно бесполезная вещь, майки собаку на таком съели в начале нулевых, ни один проект не взлетел.
Ребят, а как вам пишется на Хаскеле и что пишите?
Попробовал - и мне кажется, что это очень хороший язык для отдельных моментов (минимально представимых в виде алгоритмов и минимально взаимодействующих как "процесс" с внешним миром). А вот написать какой-то продукт, тут, как по мне, в рамках языка становится тестновато.
ПС
Прочитав название статьи - подумал было, что это будет про инструменты для разработчика на Хаскеле (типа "лучший плагин для IDE", "как проводить отладку", "как делать GUI"....) - нет в планах такой статьи?
*) манимально представимых в виде алгоритмов -> максимально представимых в виде алгоритмов (извините ошибся).
Компилятор (фронтэнд - мы с вами вроде общались по этому поводу) и стэйтлесс-сервер понятно. Но обычно (мне) нужно немного не это: ДСЛ имеет смысл только вместе с его исполнением, а сервис хочет быть более или менее мутабельным.
А вот про плагин интересно.
Спасибо посмотрю.
"[...]инструменты для разработчика[...]"
Neovim для fullstack программиста
"[...]инструменты для разработчика на Хаскеле[...]
Для начала Vim в терминале Kitty. Затем плагины к нему. Потом Неовим.
Ну дебажить хаскель как (а то у меня был момент - когда хвалёные хаскелевские типы не спасли меня от алгоритмической ошибки и.... дебажился я долгим пристальным взглядом в код)?
ПС
И всё-таки без обид но gvim это прошлый век (буквально да) тем более для современных языков.
Мне очень нравится gvim (vim в терминале отвязанном от bash - в итоге не перектываются некоторые клавиши) для работы на C.
Но под любым более современным языком (с активным использованием разделения имён в namespace \ объектах) tabs + mkid уже не хватает для адекватной по проекту.
А хаскелевский доступ к полям чеерз оператор & вообще с синтаксическим навигатором несовместим.
Рефакторинг - вообще молчу.
А кто-нибудь из ветки получает уведомления на почту? Ничего не получил именно по поводу коммента, на который сейчас отвечаю. Отправил запрос в поддержку.
Спасибо.
Собственно то, что надо давать ссылку скорее доказывает мою позицию.
Потому, что чтобы найти вот такой инструмент по vim нужно спрашивать на хабре, а чтобы найти IntellyJ-Haskell - надо зайти в плагины (тут ведь вопрос не в просто нагуглить, а найти сразу боле-менее стоящее, работоспособное, сопровождаемое или в сопровождении не нуждающееся......).
То есть если рассматривать время потраченное на знание (->умение -> навык) в инструментах как "налог", то IDE всё-таки удобнее.
Про & - я вот думаю правильно ли я выразился (не уверен, что "синтаксический навигатор" вообще чёткий термин) - но имел в виду, что вам надо знать контекст, не только чтобы найти правильный defenition, но и чтобы понять это функция из Control.Type.Operator или это Data.Function.
Хотя вроде это задача того же уровня сложности, что найти defenition (ну т.е. 3-строчным скриптом на tags && id она нормально не решается, плагином, с полноценной серверной частью - решается и то и то).
ПС
К сожалению про debug ответа так и не получил.
Правильно я понимаю, что ответ "никак"?
>> но когда я пишу на английском, то я надеваю характерную англоязычную шляпу вежливости.
Спасибо, убедили попробовать.
Пост о Neovim https://habr.com/ru/post/590473/
Ну хз, мне норм.
Оффтоп - фоллбек-гифки в h264 лучше делать h264/yuv420p, а не h264/yuv444. h264/yuv444 каким-то рандомным образом не поддерживается (у меня только десктопный Brave ее смог осилить - в Firefox не работает, на android-телефоне ни Chrome, ни Firefox не справились, вот тут чуть больше проверили - https://bugzilla.mozilla.org/show_bug.cgi?id=1368063#c16).
Пишем всякие B2B приложения в разных индустриальных областях (финтех, путешествия, биотех), в том числе фронтенд (https://habr.com/ru/company/typeable/blog/548574/). Я всю свою хаскельную карьеру (в сумме 4 года) в основном пишу бэкенды серверов: сходить во внешнюю систему, обработать данные из запроса и полученные из систем, вынуть/сохранить в БД, сформировать и отдать ответ клиенту. Т.е. по большей части как раз взаимодействие с внешним миром. Но на Хаскеле его можно явно отделить от "чистой" логики преобразования данных.
А "как пишется" -- тут ответ будет очень субъективный :) Не нравилось бы, перешла бы на что-то другое, такое уже было: между двумя работами на Хаскеле писала под железо на чистом С, но не зашло.
Прочитав название статьи - подумал было, что это будет про инструменты для разработчика на Хаскеле (типа "лучший плагин для IDE", "как проводить отладку", "как делать GUI"....) - нет в планах такой статьи?
Именно такой в планах нет на данный момент, но будем писать про индустриальное использование Хаскеля в различных областях (по формату будет что-то нашей недавней статьи про использование Лиспа: https://habr.com/ru/company/typeable/blog/581488/)
7 полезных инструментов на Haskell