Меня забанили?

Меня забанили?

Здесь? Вроде нет.

С другой стороны вопрос "как делать промышленный дизайн на хаскелле" открыт и ответов нет

могу только порекламировать фирмы консультантов, которые за немерянный или нормальный прайс готовы объяснить архитектуру решения или сделать PoC/MVP

Меня забанили?

Хаскель комьюнити не банит, а создает забаненую копию

Угу, и если о ней теряется память, то автоматически удаляется

Lazy ban

кто бота пригласил?

боты они как боттом. Населяют каждый чатик

Возможно, но все просо фидят

Вот ghci я под него не увидел, но хоть erl есть в пакетах

@L2Rldi9yYW5kb20K пожалуйста не веди себя прилично

Надо нашему гостю сделать монаду "Хабар".

Пусть это будет такая монада, которую разворачиваешь, и у тебя эффект какой-нибудь. Здоровье, там, выносливость. И чтобы разные хабары компоновать можно было

кастомер умер

ok

хм

Не эвалится

Да?

нет, не эвалится. Неправильный лисп

А если бы эвалилось оставил бы?

maybe

Моей библиотекой никто же не станет пользоваться, если в ней основной оператор будет EN DASH? Эххх

Минус б сошёл, но его занял Num

Бери минус. Есть import qualified

бери сердечко

А разве нельзя минус оверрайднуть для типов библиотеки только?

Ну во-первых это будет страшное преступление, потому что там даже не близко к Num-классу, во-вторых в моем случае типы не сойдутся.

там точно нужен минус? что-то вычитается из чего-то?

или минус - он просто как бы метафора операции?

Там вот такое

возьми .--

Я что вместо - не попробую, выходит operator soup.

Для применений функции хочется что-нибудь lightweight, пока что второй кандидат это !

Ну как бы там дальше идет еще этот # и по-дурацки выходит

Просто я в хаскелле не специалист, здесь сижу, чтобы мудрости набраться, но вот в плюсах строго не рекомендовали переписывать операторы вне семантики. Например, для класса кватернионов переопределить арифметику - это збс, а вот переопределить операторы бинарного сдвига для перенаправления стандартного ввода / вывода - это abominable

Идеально было бы infix overloaded labels, конечно.

ВОТ ТАК УЖАС

да конечно, больше букв писать, как такое могло в голову придти

да ладо писать, это же ЧИТАТЬ придется

Так читать-то такое явно приятнее, сразу видно какой параметр что означает

К тому же здесь так сказать first-class эти аргументы, так что если их пробрасывать глубже по коллстэку, то имена писать не нужно

для этого можно рекорды применять, у них хоть синтаксис нормальный, а это похоже на кофескрипт какой-то, прости г-ди

ну и как ты рекорды применишь, без объявления рекорда на каждую функцию?

И еще конструктор рекорда писать

с объявлением, конечно

Text.replace Text.ReplaceArguments { haystack = path , needle = "$HOME" , replacement = "/home/username" } вот лучше-то стало

Сразу душенька радуется, скобки фигурные, запятые, всё как у людей.

да, лучше

с объявлением, конечно

нет спасибо

я бы еще купился на этот аргумент в языке в first class records

не для реплейса конечно, для него было бы лучше replace ("/home/username" <$ "$HOME")

да, лучше бы было анонимные рекорды тогда уж делать, а не костыли для убогого некомпозабельного апи

А здесь, например, частью мотивации было заменить Bool-флаги, которые в некоторые функции у нас передаются, имена им вот дать. Я говорю, мол, в ньютайпы всё обернуть, но понимаю, что ни у кого кроме меня на это терпения не хватит, там ведь нужно объявления писать, экспорты

Ну следующий шаг понятен, надо человеческие ньютайпы заменить на эти гадские OverloadedLabels с Symbol, заменил.

А раз это сделано, то порядок сделать произвольным это просто небольшое улучшение, в принципе оно не обязательное, но мне нравится.

а уж никаких функций с параметрами типа Bool (кроме bool) и вовсе быть не должно

Как ты флаги будешь передавать?

В ньютайп Bool обернуть, или сделать data IsFlag = YesFlag | NoFlag

Но этого делать никто, конечно, не будет, я уже сказал.

так тоже никто не будет писать

Потому что это во-первых неймспейс заполняет, во-вторых требует топ-левельных деклараций, в-третьих экспортов

так тоже никто не будет писать

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

ну и "фу-у-у кофескрипт" основывается на неприязни к кофескрипту, которая вообще-то не у всех

ага, тут либу нашу диссят

не щад но

да хотя нет, вроде не особо и диссят 🤔

А разве нельзя минус оверрайднуть для типов библиотеки только?

Переписать нельзя и нет надобности. Но в своём модуле можно определить оператор, похожий на оператор, определённый в других модулях. При использовании нового оператора достаточно указать alias qualified, и всё - прилично. По-моему, лучше так, чем операторы в 3+ символа

да хотя нет, вроде не особо и диссят 🤔

— ВОТ ТАК УЖАС

ага, тут либу нашу диссят

Что за либа?

можно же еще let ?needle = "$HOME"; ?replacement = "/home/username" in replace path

А ну да, лучшее расширение Хаскеля

получше лейблов-то

хоть не мотивирует всех адовые сиротские инстансы писать

ну нет, мне лейблы не нравятся потому что Symbol, а здесь тоже Symbol, только еще shadowing-семантика убийственная

хоть не мотивирует всех адовые сиротские инстансы писать

я без орфанов сделал

но большинство фокусов для которых они предназначены без сирот если и сделать, то так, что непонятно становится, за что боролись

ах да, тут как раз такой случай

Ну как подвезут анонимные рекорды, так можно будет говорить о чем-то