ок

автогенеренное API это жесть

столько ада и бойлерплейта

и не ясно что лучше

не понятно чего они призмы не генерят

окуча ньютайпов и только линзы к ним

как же я их люблю

и все через maybe

гоголь, мёртвые души, что с них возьмёшь...

что с nix возьмёшь

интересно как по человечески это сделать

вон на том же питоне код нормально для минипримеров выглядит

или это т.к. либу гуглеры поддерживают? а тут автогенеренное

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

питон наверняка суппортят

на питоне тоже нагенерёный

ну не сколько апи, сколько его использование

ну, если б они незаконные линзы с мейбями не генерили, а генерили призмы - было бы foo . bar - куда лучше-то?

ещё я думаю в питоне не парятся с Maybe

@lonokhov чот https://github.com/GoogleCloudPlatform/google-cloud-python/pull/4851 не похоже на фикс генерилки

None и вылетишь с исключением

ну х.з., раньше генерили из какого-то json описания

может это было когда все ещё верили в самоописуемые рест сервисы

ещё я думаю в питоне не парятся с Maybe

как альтернатива Maybe есть всякие элвисы

элвисы?

просто вот я вижу код питонячий и там никто не парится что у запроса создания job не будет jobId

ясно что это пример и одноразово, но все же

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

за которые не платишь +400% строк

хотя если в какой-нибудь errors и ExceptT завернуть, может и прилично будет

элвисы?

https://wiki2.org/en/Elvis_operator

:D

Вообще большая проблема что хаскелисты любят про "невыразимые инвалидные состояния" затирать. Но в итогде эти темы влепляются не там где нужно, потому что цена ошибки велика, а там где могут это всё выразить.

так, однажды на самом начале я заметил, что под похожим ником сидит @jqueryismonad или как-то так

вот да, это как с тестами

тестим то, что просто, а не то, что может поломаться

в итоге даже 100% coverage протекает

у меня это ад тайпчекнулся

все можно PR делать // шутка

так, а как сделать чтобы оно мое исключение кинуло, если там Nothing?

_ . bar . non (throw ТвоёИсключение)

опять thunk

а ты его форсани

чем там из Data.ByteString.Lazy.Internal принято аккумулировать LBS из чанков?

а как ты ещё исключение бросишь? либо форсить, либо в монаде

монадические линзы я не видел

если только прочитать одной линзой до половины, проверить в монаде, потом прочитать остаток второй линзой

чем там из Data.ByteString.Lazy.Internal принято аккумулировать LBS из чанков?

А зачем именно Internal? fromChunks не подходит? Ты как-то кусочно кусочки генеришь?

Разница в том что можно аккумулировать не ([chunk]++), а Сhunk chunk

обойтись без конструктора списков

а ++ откуда? Может хотяб (chunk:)?

а потом разворачивать?

chunks = ([chunk1]++) . ([chunk2]++) . ([chunk3]++) $ []

λ> (1:).(2:).(3:) $ [] [1,2,3]же

O_o

ну или так

ну или через Internal есь λ> (C8.pack "1" `chunk`) . (C8.pack "2" `chunk`) $ "" "12"

да я уже нашел chunk

ты лучш покажи тест где оно даст прибавку к пенсии

фу таким быть

у тебя deforestation, чтобы конструкторов списков не было

Я не верю компиляторам

на этот счёт есть по идее https://github.com/nomeata/inspection-testing

@A64m_qb0 а почему в Array# параметр кайнда *

ERROR: S client not available

ну а какой еще-то?

почему # нельзя? и специализировать все

Я нарвался на какую-то полную дичь. Собираю funflow кабалом. При сборке налетаю на конфликт сиротских инстансов. Уже есть инстанс instance Store TimeSpec -- Defined in ‘Data.Store.Internal’, но в исходниках store TimeSpec даже не упомянут и от clock оно не зависит

почему # нельзя? и специализировать все

да просто механизма специализации такого нету в гхц

и даже не планируется

https://twitter.com/importantshock/status/1021547636330061827

https://twitter.com/importantshock/status/1021547636330061827

В @haskell_jobs

привет, я вот тут задавал всякие вопросы про стримы

в итоге запилил на streaming лонгполл

https://github.com/Termina1/kaliban/pull/1/files

если у кого есть свободное время и желание, буду рад комментариям

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

Что произошло? Какие фичи откусили?

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

как обычно следующей будет какая-нибудь моя любимая непопулярная фича

?

https://github.com/ghc-proposals/ghc-proposals/pull/157

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

спасибо, шутка про unlambda улыбнула ?

А можешь вкратце рассказать что оно делает?

Прикольная штука, а я про неё и не знал

А можешь вкратце рассказать что оно делает?

https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#generalised-sql-like-list-comprehensions

LINQ в моих хаскелях??

Выглядит бесполезно

да, это они напали на второй, менее известный D*H - DSH который сиквел запросы по хаскельному коду генерил, вот этот проект был основным пользователем и расширителем этой фичи (и даже вроде не был, а есть, какая-то активность у них в отличие от DPH-ников имеется)

Не очень понятно зачем это надо в скобки пихать, если есть монады и стрелки.

ну стрелочные линки все видели, ну и травматической потери памяти вроде на самом деле не бывает, так что и помнят

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

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

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

Даже не юзаю MC, но наличие такой фичи греет душу