Haskellの例外処理について

headみたいに例外を投げる関数を純粋かつ安全に扱いたいという話
0
イオ太 a.k.a. 恥晒しマン @yuka925

IOに関わらない例外を投げる関数をMaybeかEitherで返す関数にする方法plz IOに包むのは無しで。

2015-06-05 00:17:56
イオ太 a.k.a. 恥晒しマン @yuka925

例えばheadみたいに例外投げるけど実装読むことができない時、それを例外が起きたらNothingを返す関数にするみたいな

2015-06-05 00:21:15
イオ太 a.k.a. 恥晒しマン @yuka925

原理的に無理な気がしなくもない

2015-06-05 00:22:08
イオ太 a.k.a. 恥晒しマン @yuka925

evaluate 〜 ’catch’ 〜って感じにラップするしかないのかなぁ。

2015-06-05 00:25:26
イオ太 a.k.a. 恥晒しマン @yuka925

でもIOにしちゃったらその結果を使う関数もIOになるわけで。なにか方法があるのかなぁ。

2015-06-05 00:31:41
イオ太 a.k.a. 恥晒しマン @yuka925

あ、unsafeさんはお呼びでないです

2015-06-05 00:52:59
Kasio Hino @hiyakashi_

直感的に安全だと思うけど

2015-06-05 00:56:50
イオ太 a.k.a. 恥晒しマン @yuka925

いや、うん。大丈夫なの?使っても安全?(´・ω・`)

2015-06-05 00:54:53