типа: {-@ Exception when (a is []) EmptyList @-} head :: [a] -> a

и модификаторы типа safe и unsafe

хочешь заставить себя работать честно пиши safe head и подавай с scope доказательство

не хочешь пиши unsafe head и не трать время

или safe @ onPredicateFailure head чтобы определить что делать в случае падения предиката

А, не + не может. Туплю

А Overflow?

unchecked же для Int?

Prelude> maxBound + (1::Int) -9223372036854775808

не, ну чтоб safe был совсем

надо бы checked

другое дело, что если там не Int а свой тип

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

хотя это измерять надо, конечно

ну т.е. safe / unsafe модификатор был бы прикольный

пишешь unsafe функцию + контрейнты

ну или safe + констрейнты

и переключалка

Мне не особо нравится, когда hmatrix вылетает с error от head, даже если там стектрейс будет

чтобы не делать либу типа safe

не хочешь пиши unsafe head и не трать время

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

да, ликвид хаскель хороший в этом отношении

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

и тормозной не по делу

Особенно радует, когда приходится форкать либу, чтобы в чистом коде не вылетало что-то подобное https://www.stackage.org/haddock/lts-12.9/base64-bytestring-1.0.0.1/src/Data.ByteString.Base64.Internal.html#encodeWith

error "Data.ByteString.Base64.encode: input too long"

и из чистого кода прилетает в хендлер сервака, итого 500

Я, кстати, зря решил что 2+2 выкинет эксепшон при попытке компактнуть, потому что функции не компактятся. он же просто вычислил перед этим - да и все. сейчас проверил

Идеально, спасибо

Пожалуйста! Приятно, что людям интересны и полезны блог-посты, над которыми ты трудишься ? Кстати, как раз вчера-сегодня дошли руки смонтировать и выложить видео с выступлением по теме этого же блог поста: https://youtu.be/GLtp3Xy7Rps Качество не самое лучшее, потому что пришлось выкручиваться, как могли, но что поделать.

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

пошли пул реквест!

(хахаха)

*нервный смех*

(автор пакета едет где-то на велосипеде и зловеще хохочет)

(и дело происходит 19 Апреля)

а почему в кассаве нету FromRecord a, FromRecord b => FromRecord (a,b)

хотя бы через какой-нибудь wrapper

хотя наверное ясно

> Have you felt guilty learning haskell? > I always end up feeling really guilty for spending so much time trying to learn the basics when I could be spending this time learning something like golang where I could perhaps build something.

а почему в кассаве нету FromRecord a, FromRecord b => FromRecord (a,b)

мне как-то пришлось написать такой инстанс для оптпарс-дженерик (не для тупла, для самообъявленной пары, правда)

ктста

а никто не знает есть ли уже готовый тип и инстанс для Aeson для гетерогенного списка с префиксами

типа Y [("foo", A), ("bar", B)]

который бы парсил {"foo": A, "bar": B}

а то я накостылял, это конечно строк 20 но все же

deriving newtype работает как надо

типа Y [("foo", A), ("bar", B)]

Есть моя либа, которая умеет так aeson-injector

deriving newtype?

WithField "foo" A (OnlyField "bar" B)

нормально

теперь надо решить хочу ли я свои 20 строк менять на либу

но главное уже есть на hackage

со stackage выпилили, пока я был в отпуске

deriving (...) deriving newtype (FromJSON, ToJSON)

надо снова им PR открыть

deriving (...) deriving newtype (FromJSON, ToJSON)

я не понял как это мне поможет...

вот есть у меня типы A , B лежащие в разных местах

я не хочу писать A_PLUS_B = A { a:: A, b::B}

в идеале я хочу написать: x <- Yaml.decodeFile ... case x of Rigth ( "a" .= a & "b" .= b) -> ...

и чтобы у меня все вывелось

не в идеале я готов написать Right ( "a" .= a .&. "b" .= b .&. Z)

> Have you felt guilty learning haskell? > I always end up feeling really guilty for spending so much time trying to learn the basics when I could be spending this time learning something like golang where I could perhaps build something.

трустори

ещё в меньшем идеале я готов написать type annotation для Yaml.decodeFile @ [...] ...

я сейчас нахожусь тут

тада не получится если бы у тебя обёртка была над каким-нибудь Object, то тогда помогло бы

ERROR: S client not available

с aeson-injector я похоже буду находиться там же

(а ну у меня не надо в Right писать имена полей)

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

Нус, это немножко сторонний юзкейс для моей либы

мне изначально надо было добавлять одно-два поля в большие респонсы от других подсистем

угу

вообще наверное мне тоже такое полезно

надо будет подумать

пока у меня это для разбора конфигов используется

где есть 100500 подсистем и хочется их в файлике отдельно хранить и дешево разбирать

я бы тут всё равно тип обёртку написал и вывел аесон для неё

а etc не годится?

не в идеале я готов написать Right ( "a" .= a .&. "b" .= b .&. Z)

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

ну у меня штук 7 уже

для юзкейса где ты сразу же дестрактишь структуру это удобнее

https://hackage.haskell.org/package/etc

может ещё .property файлы в .jar?

какой-то страшный оверкилл

:)

там пример программы больше чем у меня буков раза в 4

окей

Энтерпрайзненько

т.е. мне кажется что если нужно такое решение, то лучше брать клиент

к etcd или консулу

а так или тупую читалку окружения или конфиг файла иметь и все

@Asinthew будет жить. Поприветствуем!

Боты не умеют нажимать на кнопки?

если бот написан как клиентский ТГ то умеет, а обычный через АПИ наверное нет

боты умеют нажимать на кнопки

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

боты умеют нажимать на кнопки

в БотАПИ есть такие методы?