Телеграмм чат группы haskellru страница 14408

Не, тут никакой разницы с throwIO нет

10:59пожаловаться #1

#5129: "evaluate" optimized away · Issues · Glasgow Haskell Compiler / GHC

Комментарий 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

GitLab

Reported on Stackoverflow: http://stackoverflow.com/questions/5697159/testing-for-error-calls-in-hunit With optimizations on, the following program, which normally succeeds (correctly generating an exception), instead fails, and the exception is optimized away. ``` import Control.Exception import Test.HUnit...

не вижу противоречия.

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

throw бросает именно тогда, когда вычисление того требует.

что не так?

11:02пожаловаться #2

Т.е. если аргументом throw передать что-то, что может само исключение бросить, оно может быть вычислено до первого принта и на экран не выведется ничего?

всегда можно проверить

11:03пожаловаться #3

Dreamerinnoise in Haskell

Andrey

сообщения об ошибках эскелето меня тогда ещё пугали, в то время я бы назвал это fancy.. сейчас как-то всё равно

Сейчас уже получше

11:06пожаловаться #4

throw (undefined :: ArithException) `catch` \(e :: ArithException) -> print (typeOf e, e)
(ArithException,*** Exception: Prelude.undefined

11:07пожаловаться #5

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

11:08пожаловаться #6

АХ

Прочил ковайникосрач. Какие-то ковайники через меру нежные. Чуть не хвалят — уже буллинг

11:12пожаловаться #7

Maxim Koltsov in Haskell

Где срач

11:14пожаловаться #8

АХ

https://old.reddit.com/r/haskell/comments/jk5ltu/advent_of_haskell_2020/ ну и по ссылке

11:16пожаловаться #9

Я так понял, что это накопилось, Вероника в нескольких местах писала, что были наезды на дизайн и её картинки

11:17пожаловаться #10

В реддит треде этого нет

11:18пожаловаться #11

АХ

My point stands. Это же контрится старым добрым "раз такой умный — рисуй сам"

11:19пожаловаться #12

Да, но нет. А вообще у меня такое же ощущение

11:21пожаловаться #13

Не знаю, может если бы я много времени посвящал такой работе, так же бы себя вёл

11:21пожаловаться #14

Но надеюсь нет

11:21пожаловаться #15

A64m AL256m qn<co... in Haskell

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

11:24пожаловаться #16

Yan Shkurinskiy in Haskell

зато некоторые любят принижать себя в ожидании похвалы

11:25пожаловаться #17

АХ

Любить не обязательно, но и рваться на тысячу маленьких ковайников тоже

11:25пожаловаться #18

A64m AL256m qn<co... in Haskell

рвутся потому, что могут

11:26пожаловаться #19

A64m AL256m qn<co... in Haskell

во первых потому, что все умирают внутри, но еще не умерли
во вторых потому, что это какой-то резонанс может вызвать