заметил, что я почти никогда не использую Text.Lazy

так это для лэзи ио только. причем каким-то чудом тектовое лези ио тормозное

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

пилмор уже объясняет в хаскельреддите что использующий информацию о типах автокомплит не нужен

ну я примерно так и пишу )

т.е. Text.builder

Или замкнутые сами на себе

правда редко нужен

> Exceptions that actually get reflected in the type. видимо 2 + 2 :: Int '[SomeAsyncException, AllocationLimitExceeded, CompactionFailed] или что-то вроде

при том, что сейчас SomeAsyncException не гарантирует что оно асинхронное

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

и не все асинхронные ловит, то добавь ещё SomeException

> Exceptions that actually get reflected in the type. видимо 2 + 2 :: Int '[SomeAsyncException, AllocationLimitExceeded, CompactionFailed] или что-то вроде

ArithException ещё

а оно может?

не вообще круто наверное было бы если бы функцию можно было аннотировать как-то: {-# ANNOTATION "Exception" [ArithException] <> (Exception a) <> (Exception b) foo :: a -> b -> c

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

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

типа: {-@ 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, то тогда помогло бы

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