169 похожих чатов

Тогда в чем разница между throw и throwIO?

5 ответов

4 просмотра

например, в типах. throw можно использовать и в других контекстах

кстати, ответ на этот вопрос есть прямо в документации https://hackage.haskell.org/package/base-4.14.0.0/docs/Control-Exception.html#v:throwIO

Пользователь-629ad Автор вопроса
Cheese Syrowiecki
например, в типах. throw можно использовать и в др...

Комментарий SPJ [1] > The whole point of throwIO is that it consumes a state token, and that's what sequences it relative to earlier producers of the state token. И документация [2] говорят иначе. Реализация различается лишь в том, что throwIO обернут в IO конструктор. [1]: https://gitlab.haskell.org/ghc/ghc/-/issues/5129 [2]: https://hackage.haskell.org/package/base-4.14.0.0/docs/Control-Exception.html#v:throwIO

Пользователь 629ad
Комментарий SPJ [1] > The whole point of throwIO i...

не вижу противоречия. да, токен позволяет выстраивать IO в цепочку для исполнения. поэтому throwIO бросает именно тогда, когда исполнение того требует. throw бросает именно тогда, когда вычисление того требует. что не так?

Похожие вопросы

Обсуждают сегодня

Вопрос по диагностике ошибок (я знаю в чем, в данном конкретном примере, я знаю, как исправить, пример модельный, понятно, что в реальности бывает намного запутаннее). module...
ⰄⰎⰋⰐⰐⰑⰛⰤⰧⰧⰩⰄ ⰊⰑⰁⰓⰡⰛⰦⰕⰫ
10
А чем вам питонисты не угодили?😂
.
79
Есть какой-нибудь для Delphi/FPC T*Compression(Decompression)Stream на базе LZ4/Zstd/любой другой быстрый(и хорошо сжимающий) алгоритм А ещё лучше в pure pascal А ещё лучше од...
notme
48
Есть предложения, как подобное можно упростить?
Hemul GM
12
type TObj = object procedure Init; virtual; end; TObj1 = object(TObj) procedure Init; override; end; procedure TObj1.Init; begin inherited; end; procedur...
Alexander 👋
29
У меня вопросик назрел. Почему, создав класс без наследования и реализации деструктора Destroy, деструктор не вызывался при free. Потом указал наследование от tobject и overri...
Сергей Бычков
9
@y0zhig @shizzard А можно я опишу цель и может вообще ерланг мне не подходит. На текущий момент как я понимаю у ерланга есть легковесные потоки и задача выполняется в каком т...
Дмитрий Спиридонов
5
Всем привет, написал код ниже, но он выдает сегфолт, в чем причина? #include <stdio.h> #include <stdlib.h> #include <string.h> struct product { char *name; float price; };...
buzz базз
86
Такой вопросец - есть функция function MySuperDuperConcat(const a: array of AnsiString): AnsiString; Как мне в её теле сделать вот так? Result:=Concat(a); А не грустный вариан...
notme
15
just use free version ?? pycharm has a free version
Fan / Ac
9
Карта сайта