Минус (для меня) Universum в том, что при использовании Control.Lens клэшится куча операторов. А в остальном приятная прелюдия - opinionated, но без фанатизма

а чем Дилевская плоха?

а чем Дилевская плоха?

дилевская практически не даёт никаких utility functions, например

вернее, она даёт, но какие-то странные

https://github.com/sdiehl/protolude/blob/9533e739ff8fa951766414450dca3d66e9c4b942/src/Protolude/Applicative.hs#L4 у нас никто так и не научился этими orAlt / eitherA / orEmpty пользоваться, например

а зато каких-нибудь очевидных whenLeft / whenRight туда не завезли

дилевская практически не даёт никаких utility functions, например

и не должна же, A sensible starting Prelude for building custom Preludes.

именно

ну вот поэтому мы и сделали custom prelude на основе дилевской

вопрос же был “чем дилевская плоха” предполагается, что имелось в виду “чем чистая дилевская плоха”

такое дело.. надо будет пописать на хаскеле в команде. Ищу ide чтобы не совем гэ. Традиционно кредит доверия jetbrains. Нашёл несколько плагинов, "Официальный", который jb вендорят, пока ноавится больше всех, посколку там из зависимостей лишь ghc-mod. У кого нибудь есть соображения на этот счёт или советы?

spacemacs

Не пользоваться термином "кредит доверия" по отношению к ПО, а оценивать фичи 🤷‍♀️

spacemacs

плюс господину

Vscode + hie

intero мне ещё как-то больше нравится чем ghc-mod

спасибо. я так понимаю jb ни кто не пользуется?

intero мне ещё как-то больше нравится чем ghc-mod

Я ни разу не осилил его запустить на рабочем (большом) проекте, пользуюсь stack build

intero + vscode (haskero) норм работает (на маленьких проектах)

intero + vscode (haskero) норм работает (на маленьких проектах)

ок, обязательно гляну. vscode мне нра

intero + vscode (haskero) норм работает (на маленьких проектах)

Hie лучше)

emacs + stack build из консоли

хипстеры вы все (как будто что-то плохое)

хипстеры вы все (как будто что-то плохое)

да, emacs мне страшен как чорт)

По моему имаксеры самые хипстеры)

По моему имаксеры самые хипстеры)

дефолт редактор же 🌝

какие в стэкейдже есть либы с профункторной оптикой? Чтобы посмотреть, изучить

дефолт редактор же 🌝

где?

где?

Не уверен, продолжать ли толстить, или спросить про то, чем сейчас молодежь (ха) пользуется.

Ну хз типа — ты поставил себе юникс, сразу установил vim/emacs

а ed даже устанавливать не надо

скачал dotfiles конфиги свои — всё работает

ξ> ed bash: ed: command not found

false!

ого

что за система?

nixos конечно

(не понял вопроса)

зачем пользоваться системой, которая не конфигурируется одним файлом на 200 строк? 🤔

ну nixos это отдельный случай

хех

Nixos ❤️

дефолт редактор же 🌝

vim же

Ну хз типа — ты поставил себе юникс, сразу установил vim/emacs

Я так и написал.

ed и в генте нету по умолчанию

самый умоочателтный это скорее всего нано в 2k17

но им пользоваться невозможно

Лол, я кстати не раз задавался вопросом "почему он по дефолту есть везде, если он говно 1/10"

Интуитивно понятный интерфейс видимо?

ed есть потому, что в сценариях оболочки он всё ещё используется, и не так уж и редко

Чем вам не нравится ed?

всем

очень мало зависимостей, и нужные для тупого редактирования команды прямо на экране (если про нано)

я видел одного человека кому нравился ed

и он был дизайнером

ed - "редактор", созданный для работы с терминалами, которые не умеют перерисовку

ed существовал еще во времена когда компьютеры не использовали дисплеи

Щас бы на толстые вбросы отвечать адекватными сообщениями (мда)

Щас бы на толстые вбросы отвечать адекватными сообщениями (мда)

почему-то каждый раз когда тебе отвечают ты говоришь что вбрасывал

или это тоже вброс? overflow

ed лучший редактор, который создавало человечество. Ему бы подсветку синтаксиса, то цены бы ему не было

почему-то каждый раз когда тебе отвечают ты говоришь что вбрасывал

Точно ли каждый? 🤔

О кстати, есть ли хорошие маны по coq?

ed лучший редактор, который создавало человечество. Ему бы подсветку синтаксиса, то цены бы ему не было

ты им пользуешься?

О кстати, есть ли хорошие маны по coq?

иди в чят про зависимые типы

Я какое-то время игрался доказывая какую-то дичь в нем, но все жутко неструктурировано.

ты им пользуешься?

Я пользуюсь ed mode в vim'е. И пишу свой клон ed на расте :)

ого, есть репозиторий?

Нету, там нечего репозитировать :( Раст сложнее чем хаскель, у меня много проблем с этим и мало времени

мне наоборот казалось..

мне показался проще чем хаскель

Но возможно когда-нибудь ed с подсветкой синтаксиса увидит свет и озорит всех своей безусловностью

Господа, ваш спор не имеет смысла. И козе понятно, что лучший редактор всех времён это vim 😊

мне показался проще чем хаскель

В хаскеле не очень много адхок дерьма, он очень прозрачный и понятный

раст вроде тоже прозрачный и понятный)) ну не хуже чем хаскель в этом смысле

В хаскеле не очень много адхок дерьма, он очень прозрачный и понятный

что за "ад хок дерьмо"?

Ну да, язык в котором линейные типы и регионы, которые вроде как и не линейные типы и не регионы

Экзистенциальные типы? Нет, "trait object"

назвали по-другому и резко стало сложно?

трейтобжекты это не экзистенциальные типы

назвали по-другому и резко стало сложно?

Эм, нет. Оно себя ведёт немного по-другому