Search
Write a publication
Pull to refresh

Comments 34

UFO landed and left these words here
UFO landed and left these words here

A sized-типы в Cardano-экосистеме есть?

UFO landed and left these words here

Кстати, используете Vim с Pathogen для Idris 2?

UFO landed and left these words here

А в Agda гетерогенное неравенство?

UFO landed and left these words here
UFO landed and left these words here

Как вариант, использовать устоявшееся "академический язык", чисто семантически, вроде, подходит.

Спасибо за замечание! Поменяли формулировку.

PostgREST

На мой взгляд совершенно бесполезная вещь, майки собаку на таком съели в начале нулевых, ни один проект не взлетел.

Ребят, а как вам пишется на Хаскеле и что пишите?

Попробовал - и мне кажется, что это очень хороший язык для отдельных моментов (минимально представимых в виде алгоритмов и минимально взаимодействующих как "процесс" с внешним миром). А вот написать какой-то продукт, тут, как по мне, в рамках языка становится тестновато.



ПС
Прочитав название статьи - подумал было, что это будет про инструменты для разработчика на Хаскеле (типа "лучший плагин для IDE", "как проводить отладку", "как делать GUI"....) - нет в планах такой статьи?

UFO landed and left these words here

*) манимально представимых в виде алгоритмов -> максимально представимых в виде алгоритмов (извините ошибся).

Компилятор (фронтэнд - мы с вами вроде общались по этому поводу) и стэйтлесс-сервер понятно. Но обычно (мне) нужно немного не это: ДСЛ имеет смысл только вместе с его исполнением, а сервис хочет быть более или менее мутабельным.

А вот про плагин интересно.
Спасибо посмотрю.

"[...]инструменты для разработчика на Хаскеле[...]

Для начала Vim в терминале Kitty. Затем плагины к нему. Потом Неовим.

Ну дебажить хаскель как (а то у меня был момент - когда хвалёные хаскелевские типы не спасли меня от алгоритмической ошибки и.... дебажился я долгим пристальным взглядом в код)?


ПС
И всё-таки без обид но gvim это прошлый век (буквально да) тем более для современных языков.

Мне очень нравится gvim (vim в терминале отвязанном от bash - в итоге не перектываются некоторые клавиши) для работы на C.
Но под любым более современным языком (с активным использованием разделения имён в namespace \ объектах) tabs + mkid уже не хватает для адекватной по проекту.
А хаскелевский доступ к полям чеерз оператор & вообще с синтаксическим навигатором несовместим.

Рефакторинг - вообще молчу.

UFO landed and left these words here

А кто-нибудь из ветки получает уведомления на почту? Ничего не получил именно по поводу коммента, на который сейчас отвечаю. Отправил запрос в поддержку.

Спасибо.

Собственно то, что надо давать ссылку скорее доказывает мою позицию.
Потому, что чтобы найти вот такой инструмент по vim нужно спрашивать на хабре, а чтобы найти IntellyJ-Haskell - надо зайти в плагины (тут ведь вопрос не в просто нагуглить, а найти сразу боле-менее стоящее, работоспособное, сопровождаемое или в сопровождении не нуждающееся......).
То есть если рассматривать время потраченное на знание (->умение -> навык) в инструментах как "налог", то IDE всё-таки удобнее.

Про & - я вот думаю правильно ли я выразился (не уверен, что "синтаксический навигатор" вообще чёткий термин) - но имел в виду, что вам надо знать контекст, не только чтобы найти правильный defenition, но и чтобы понять это функция из Control.Type.Operator или это Data.Function.
Хотя вроде это задача того же уровня сложности, что найти defenition (ну т.е. 3-строчным скриптом на tags && id она нормально не решается, плагином, с полноценной серверной частью - решается и то и то).


ПС
К сожалению про debug ответа так и не получил.
Правильно я понимаю, что ответ "никак"?

UFO landed and left these words here

>> но когда я пишу на английском, то я надеваю характерную англоязычную шляпу вежливости.

Спасибо, убедили попробовать.

Ну хз, мне норм.

Оффтоп - фоллбек-гифки в h264 лучше делать h264/yuv420p, а не h264/yuv444. h264/yuv444 каким-то рандомным образом не поддерживается (у меня только десктопный Brave ее смог осилить - в Firefox не работает, на android-телефоне ни Chrome, ни Firefox не справились, вот тут чуть больше проверили - https://bugzilla.mozilla.org/show_bug.cgi?id=1368063#c16).

UFO landed and left these words here

Я так понимаю, вы хотите lossless-видео записать, и затем сжать гифку в h264?

Тогда во вторую команду будет достаточно добавить -pix_fmt yuv420p:

ffmpeg -y -i $FILE.source.mp4 -c:v libx264 -preset veryslow -pix_fmt yuv420p $FILE.h264.mp4
UFO landed and left these words here

Пишем всякие B2B приложения в разных индустриальных областях (финтех, путешествия, биотех), в том числе фронтенд (https://habr.com/ru/company/typeable/blog/548574/). Я всю свою хаскельную карьеру (в сумме 4 года) в основном пишу бэкенды серверов: сходить во внешнюю систему, обработать данные из запроса и полученные из систем, вынуть/сохранить в БД, сформировать и отдать ответ клиенту. Т.е. по большей части как раз взаимодействие с внешним миром. Но на Хаскеле его можно явно отделить от "чистой" логики преобразования данных.

А "как пишется" -- тут ответ будет очень субъективный :) Не нравилось бы, перешла бы на что-то другое, такое уже было: между двумя работами на Хаскеле писала под железо на чистом С, но не зашло.

Прочитав название статьи - подумал было, что это будет про инструменты для разработчика на Хаскеле (типа "лучший плагин для IDE", "как проводить отладку", "как делать GUI"....) - нет в планах такой статьи?

Именно такой в планах нет на данный момент, но будем писать про индустриальное использование Хаскеля в различных областях (по формату будет что-то нашей недавней статьи про использование Лиспа: https://habr.com/ru/company/typeable/blog/581488/)

Sign up to leave a comment.