"Если бы ты был овцой, ты бы трахнул овцу?"

если бы был словом, то написал бы его в ворде?

Грязный вордо-юзер, тебе с нами не по пути!

@catamorphism ты же либу для xlsx писал?

нет

Я по работе когда-то xlsx разбирал конечно когда-то. Но по хаскельной библиотеке вопросы стоит Kirill задавать, он автор одноименного пакета.

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

@qnikst офигенный проект, наверно даже новичкам можно показывать в кач-ве образца

в общем под это и планировалось

я хочу потом ещё прикольные вещи добавить типа логгера и т.п. чтобы по истории было видно,как рефакторинг идёт

про образец, я не уверен, я люблю странные вещи

я хочу потом ещё прикольные вещи добавить типа логгера и т.п. чтобы по истории было видно,как рефакторинг идёт

думаешь по истории ревизий хоть кто-то будет разбираться?

"Энтрепрайзный irc чат на хаскеле за полтора вечера"

история в пяти коммитах

@catamorphism не будут, но в неё можно будет тыкать

Вступление, завязка, середина, финальный конфликт, послесловие

Вступление, завязка, середина, финальный конфликт, послесловие

и багфикс еще после кульминации

Есть у кого шаблон для стэка чтоб он мне сразу делал заготовку для вебни на серванте, с трёхслойной абстракцией (в т.ч. логгер, прометеус, постгрес, парсинг конфигов и энв варов)? Ну еще заготовку для хаксл. И всё в нормально названых модулях?

и cabal.project генерировал

ну это я и сам

бойлерплейта много в хаскеле слишком :(

вона в кложе - хэшмап и вперда

ваще позавели себе типов

@qnikst офигенный проект, наверно даже новичкам можно показывать в кач-ве образца

У barrucadu есть учебный проект как написать dejafu, может интересно - https://github.com/barrucadu/minifu

Плюс 2 поста в блоге

чего-то хакадж не особо отзывчив

успеха не избежали

Фиолетовый дизайн до добра не доводит

включил в фаерфоксе костыль, который все делает черным-черным только так смог различить по цвету посещенную и непосещенную ссылку на хекедже

Kirill прикольно

надо таки начать писать свою прелюду с блекджеком^W бекпеком и остальным

Роман Душкин добавился на ЛинкедИне. К чему бы это.

И уже третий раз на Апворке пристают с предложением форкнуть Cardano, помодифицировать его и задеплоить. Третий раз отказываюсь.

хаха

ада то запущена

небось я уже с неё на сок заработал, если продать

сколько оно там щас стоит

хрена се на сок

И уже третий раз на Апворке пристают с предложением форкнуть Cardano, помодифицировать его и задеплоить. Третий раз отказываюсь.

Хаскель - защита от форка!

~1.5k

если продать

если я правильно помню за сколько покупал

~1.5k

Рублей?

нет

а не, меньше, надо же отнять сколько вложил в это дело

в любом случае я так понимаю так просто их не вывести

не понял... в общем случае в case of есть смысл, т.к. хочется посмотреть случаи по месту, функций на всех не напасёшься

или вопрос про конкретный какой-то случай?

case просто позволяет разобрать значение по конструкторам типа

паттерны в функциях позволяют делать то же самое

никакой разницы с т.з. компилятора нету между случаями выше

оно в одно и тоже дешугарится

Как тебе нравится или принято в твоей команде

head1 :: forall a. [a] -> a [GblId, Arity=1] head1 = \ (@ a_a1wN) (ds_X2Al :: [a_a1wN]) -> case ds_X2Al of { [] -> break<0>() error @ 'GHC.Types.LiftedRep @ a_a1wN ($dIP_r2An `cast` (Sym (GHC.Classes.N:IP[0] <"callStack">_N <GHC.Stack.Types.CallStack>_N) :: (GHC.Stack.Types.CallStack :: *) ~R# ((?callStack::GHC.Stack.Types.CallStack) :: Constraint))) (GHC.CString.unpackCString# "No head for empty lists!"#); : x_a1wB ds1_d2Al -> break<1>(x_a1wB) x_a1wB }

vs

head2 :: forall a. [a] -> a [GblId, Arity=1] head2 = \ (@ a_a1wO) (xs_X1wt :: [a_a1wO]) -> break<2>(xs_X1wt) case xs_X1wt of { [] -> break<0>() error @ 'GHC.Types.LiftedRep @ a_a1wO ($dIP_r2As `cast` (Sym (GHC.Classes.N:IP[0] <"callStack">_N <GHC.Stack.Types.CallStack>_N) :: (GHC.Stack.Types.CallStack :: *) ~R# ((?callStack::GHC.Stack.Types.CallStack) :: Constraint))) (GHC.CString.unpackCString# "No head for empty lists!"#); : x_a1wC ds_d2Ap -> break<1>(x_a1wC) x_a1wC }

я отличий не вижу

отличий там нет, потому что в core только case

но тут спрашивают явно не об этом

как выглядит лучше

если это функция - можно паттерн матчить по месту, если разбираем значение в теле функции, можно case тут же

Паттерн матчинг в аргументах сильно задалбывает если у функции длинное имя и аргументов много разных вариантов

меня иногда бесит функцию кучу раз писать

я аргументы переставляю и LambdaCase юзаю

вертикальный ввод круто конечно

в таких случаях

можно делать так: всегда стараться делать функцию с патерн матчингом тк (субъективно) красивее но иногда в скоупе уже много чего нужного накоплено (где нибудь в do) и не хочется выделять отдельную функцию куда передавать все значения из скопа и просто на месте делаешь case of

Есть ещё вариант longLongName = go where go (... patmat ...) = ...

ну кроме Спивака с его сомнительными типами

Что за Спивак с его типами?

мутабельные объекты, или-паттерны, deriving via и quantified constraints не совсем микрофичи, скорее мини, а из крупного кроме линейных типов и DC ничего не делают (да и сомневаюсь что из фич такой крупности еще что-то можно в хаскель запихать)

DC?

Но примарх Саймон Пейтон-Джонсон с нами!

Блин, и тут вахаё... Любители вахи

завтиповая корка

Что за Спивак с его типами?

линейные типы

бойлерплейта много в хаскеле слишком :(

А что с этим можно сделать?

завтиповая корка

А оно надо? 🤔

А что с этим можно сделать?

можно не понимать так буквально

А оно надо? 🤔

надо

линейные типы

А почему странные? Линейные типы нужны

А оно надо? 🤔

остальные фичи кончились, больше нечего добавлять

Не совсем очевидный обычный Хаскель bar x | evalState (do pure () pure True) x = "" bar x | otherwise = ""

второй-то bar x можно не писать тут