чего хочется:

фишка в том, что вызвать head_ не имея Partial констейта нельзя

HasError Error как-то так?

чего хочется:

надо IO иметь, чтобы у списка взять голову 😕

надо IO иметь, чтобы у списка взять голову 😕

нет, здесь IO, чтобы обойти Partial

for some definition of обойти

где оно до WHNF

нет, здесь IO, чтобы обойти Partial

как это меняет то что я сказал?

head_ [error "Hallo!", 2::Int]

как это меняет то что я сказал?

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

head_ [error "Hallo!", 2::Int]

+

вообще типы/теги/аннотиции для expected failures и exceptions я бы хоел

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

чего хочется:

PureScript?

Там именно так

да, идея оттуда, я просто только что узнал что в хаскеле тоже можно 0-арные классы

headNote :: Partial => String -> [a] -> a headNote note x = withFrozenCallStack $ fromNote note "headNote []" $ headMay x https://www.stackage.org/haddock/lts-11.2/safe-0.3.17/Safe.html#v:headNote

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

хм, кажется, withFrozenCallStack делает противоположное тому, что хотел автор

кстати о safe

очень странно что его не снойман написал

тот ещё хтонический ужас

кстати о safe

бывает очень полезной)

зачем?

а safe кто-то юзает вообще?

уверен что да

кстати покажите его кто-нить кложуристам

я его через errors использую

в errors hoist-ы хорошие

там еще note noteT, hush, hushT

safe это ужас от которого нас спасли линзы

safe это ужас от которого нас спасли линзы

ну всякие readMay, readEither

ну это несколько факультативные функции имхо

ну всякие readMay, readEither

так есть соотв. призма

так есть соотв. призма

какая?

_Show

а пример?

а пример?

Prelude Control.Lens> "42" ^? _Show @Int Just 42

Prelude Control.Lens> "42" ^? _Show @Int Just 42

ну как бы линзы очень большой пакет, тащить ради только этого

а что у нас сэры, пэры и прочие господа для графов юзают?

Мусье нужна база графов? https://hackage.haskell.org/package/fgl

я либу видел, интересно что кто юзает и зачем

ну как бы линзы очень большой пакет, тащить ради только этого

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

такую фигню без AllowAmbiguousTypes можно сделать? чтобы потом через TypeApplications t юзать

вероятно нет, а что ghc говорит?

в принципе это логично, что без AllowAmbiguousTypes нельзя

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

я либу видел, интересно что кто юзает и зачем

topsort https://hackage.haskell.org/package/fgl-5.6.0.0/docs/Data-Graph-Inductive-Query-DFS.html кратчайший путь https://hackage.haskell.org/package/fgl-5.6.0.0/docs/Data-Graph-Inductive-Query-SP.html BFS https://hackage.haskell.org/package/fgl-5.6.0.0/docs/Data-Graph-Inductive-Query-BFS.html

topsort https://hackage.haskell.org/package/fgl-5.6.0.0/docs/Data-Graph-Inductive-Query-DFS.html кратчайший путь https://hackage.haskell.org/package/fgl-5.6.0.0/docs/Data-Graph-Inductive-Query-SP.html BFS https://hackage.haskell.org/package/fgl-5.6.0.0/docs/Data-Graph-Inductive-Query-BFS.html

пользуетесь fgl? Интересно было кто что юзает и как полет

не знаю, зачем это, когда есть линзы захотелось просто

Да, с малым объёмом данных. Про память ничего плохого не скажу. Работает хорошо. Когда выбирал несколько лет назад, ничего удобнее не нашёл. Может, уже появились хорошие альтернативы. Кажется, популярная: https://www.stackage.org/nightly-2018-01-27/package/fgl-5.6.0.0/revdeps

гуд

тоже смотрел на неё

с малым объемом данных я просто containers использовал

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

вроде algebraic-graphs хорошо работает с графами

(ну, автор так утверждал)

это же язык какой-то

простите, я имел в виду https://hackage.haskell.org/package/algebraic-graphs

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

в generic-lens, кстати, траверсалы сделали (но вроде не зарелизили еще)

заменил пары на массивы

Лист компрехеншн, если ему скормить 0,0 .. 0, генерит бесконечно нули, это баг или фича?

Фича: пока меньше или равно - генерит, как станет больше - останавливается.

это не лист компрехеншон, а Enum, и Enum, наверное половина всех хаскельных стандартных втф-ов

Фича: пока меньше или равно - генерит, как станет больше - останавливается.

[0 .. 0] то конечный

[0 .. 0] то конечный

The sequence enumFromThenTo e1 e2 e3 is the list [e1,e1 + i,e1 + 2i,…e3], where the increment, i, is e2 − e1. If the increment is positive or zero, the list terminates when the next element would be greater than e3; the list is empty if e1 > e3. If the increment is negative, the list terminates when the next element would be less than e3; the list is empty if e1 < e3. https://www.haskell.org/onlinereport/haskell2010/haskellch6.html#x13-1310006.3.4

как так получилось что System.IO функции разбрасываются ексцепшенами на каждый случай вреде "нет файла"?

как так получилось что System.IO функции разбрасываются ексцепшенами на каждый случай вреде "нет файла"?

а как должно быть?

а как должно быть?

информация об ошибке в Either

информация об ошибке в Either

почему?

информация об ошибке в Either

ну да в целом неприятная шелупонь в base сложилась

было бы удобно в типе видеть что может произойти

ещё функции над хендлерами как в сишечке

почему?

1. потому что случаи вроде "нет файла" это ожидаемая, частая ситуация, которую в нужно нормально обработать 2. более канонично?

1. потому что случаи вроде "нет файла" это ожидаемая, частая ситуация, которую в нужно нормально обработать 2. более канонично?

ну так обрабатывайте, вы ж в IO, никто не мешает