Haskellでのエラーの扱い方。あるいはApplicative, Monad等とliftが多くなることについての考え。

nushio @nushio

@tanakh エラーといえば、IOじゃないんですけどerror :: String->a でモナドじゃないとこからでもエラーを投げられるのがありますよね、あれは使っていいもんなんでしょうか？

Hideyuki Tanaka @tanakh

Haskell的には、エラーを例外で投げるというのはやはり美しくない。エラーを投げるというコンテクストが型によって明示されているべきであって、IOが何でもありなのはともかく、purelyに投げられるのはほんと良くない。

nushio @nushio

@tanakh ぬー、やっぱerror::String->aは禁じ手ですか

Hideyuki Tanaka @tanakh

@nushio 禁じ手というか、purelyに拾う手段がないのでいけない。

nushio @nushio

@tanakh head []とかerrorになりますよね。

Hideyuki Tanaka @tanakh

@nushio はい。良くないと思ってます。

Hideyuki Tanaka @tanakh

Prelude再設計したい。

nushio @nushio

errorは使いたくないです。どこでなに経由してエラーがでたかさっぱり分からなくなるし。じゃあ、型エラーでそもそもはじくか、エラーをきちんと分別回収できるようにしておくかだけど、どっちも荷が重そう。とくに型は限られた場合にしか使えなさそう。

nushio @nushio

@tanakh たとえばhead [] すら、errorつかわないで書けるのでしょうか？僕にはまだどうするのか想像できないですがなったらすばらしいと思います

nushio @nushio

Maybeつかう？

nushio @nushio

Maybeつかうとしても、そのあとfromJustしたら同じ事だよなあ

Hideyuki Tanaka @tanakh

その場合、ヘッダの型が [a] -> m a になって、mは何らかのエラーを含むことのできるコンテキストのモナドの型クラスになるでしょう。それが利便性に影響を与えないかという危惧もあると思いますけど、今や我々は数多くのモナドを操るための手段を持っているので、苦労はないと思っている

nushio @nushio

@tanakh Maybeに限らないのか。そういえばモナドにはfailというのがありましたね

Hideyuki Tanaka @tanakh

普通な値と普通な関数は、スペースというとても簡単なものでapplyできるので、とてもそれを使いたくなってしまうのだけど、リフトした値だってHaskellでは簡単にapplyできるのだから、好きなだけリフトすべきだと最近は思う。

Hideyuki Tanaka @tanakh

@nushio モナドのfailはMonadErrorとか別のクラスにくくり出すべきですね

nushio @nushio

一度不確定計算に入ったらずっとMaybeを書き続けるなんて悪夢のようだとおもっていたけど、よく考えたら一度不確定になったものはずっと不確定であるべきだし、きっとGreat Goodをこの先読んでいけば自然に使えるようになるはず

Hideyuki Tanaka @tanakh

@nushio Great GoodはほんとGreatなのでよもう！

nushio @nushio

@tanakh きっとモナドを扱う手段は豊富に準備されているだろうと思っているので、はやく習得したいです＞＜

Hideyuki Tanaka @tanakh

関数型言語の”関数”ってホントはなんだったのかってのが、最近になってようやく分かりつつある。

nushio @nushio

@tanakh 好きなだけliftできる体になりたい！

Hideyuki Tanaka @tanakh

@nushio はい。そして、リフトさあれた値を扱う手段はモナドだけじゃないということもわかると思います

nushio @nushio

@tanakh なんだったのでしょう？(osoruosoru

Hideyuki Tanaka @tanakh

@nushio a -> b なる値、ではなくて、値を適用（手段は選ばず）できる物全般だということですね

nushio @nushio

@tanakh (->)が型コンストラクタだったと言われたときには目が飛び出しそうになりましたよ…

Hideyuki Tanaka @tanakh

@nushio それとおなじで、IO使うと全体をIOにしないといけないから嫌という意見もあったりするけど、これもよく考えればずっとIOになるのはあたりまえだということがわかると思います