AP
Это тот же read, который просто не падает с грохотом
Size: a a a
2021 November 01
E
упрощу до read чтобы меньше держать в голове
E
я понимаю как устроен readMaybe
E
я не понимаю только почему можно вытащить из Left, но нельзя вытащить сразу из Value
AP
Потому что Left — один вариант, а Value — почти десяток (ну ок, шесть)
AP
И что значит "вытащить"?
E
спаттернматчить и затем применить к нему read
AP
Так read и к Left не нужно применять, не только к Value
[
ты в середине парсинга падать хочешь?
AP
Можно не падать с readMaybe. Но это плохой способ вычитать число
AP
Потому что Read призван парсить практически произвольные литералы Хаскеля. А не числа
AP
Вот эта "практическая произвольность" — оверкилл для большинства задач
E
условно говоря:
даже если я все возможные конструкторы
case x of Left s -> pure $ read s -- вот так работаетcase x of String s -> pure $ read s -- вот так не работаетдаже если я все возможные конструкторы
Value опишу, и даже если сделаю нечто вроде _ -> pure defaultCodeNumAP
Даже в этом случае
AP
Код всё равно упадёт
AP
Haskell не переходит к Right, если уже после распаковки Left всё взорвалось
E
сейчас я сформулирую свой вопрос точнее
AP
Есть у вас JSON на входе, часть чисел в котором описана строками — вот и разбирайте эти строки как JSON. Потому что велика вероятность того, что числа в этих строках закодированы так же, как и нормальные числа. И JSON кодирует числа не так, как хаскель кодирует числа в своих литералах.
AP
case x of
Left _ -> pure $ error "foo"
Right _ -> ...
тут до pure не дойдётAP
потому что error — останов программы, а не фейл соответствующей монадки