気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
PreludeのfailはMonadFailのfailではない（ケアレスミス） - Qiita
1 user
qiita.com/aiya000
qiita.com/aiya000
qiita.com/aiya000
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
困ったこと 僕はよく失敗表現の型をMonadFailインスタンスにして、failを使って失敗を抽象化するなどを... 困ったこと 僕はよく失敗表現の型をMonadFailインスタンスにして、failを使って失敗を抽象化するなどをするんだけど、 それに対するテストでfailを使うと、何故かそのインスタンスのfailが呼ばれず、IO例外が送出されることがある。 Test.hs （テスト用のコード） vv {-# LANGUAGE GeneralizedNewtypeDeriving #-} module Test ( ExceptionCause , Result (..) ) where import Control.Monad.Fail (MonadFail(..)) type ExceptionCause = String newtype Result a = Result { unResult :: Either ExceptionCause a } deriving (Show, Eq, Funct
qiita.com/aiya000
qiita.com/aiya000
qiita.com/aiya000
qiita.com/aiya000
togetter.com
anond.hatelabo.jp
www.yomiuri.co.jp
tetogame.hatenablog.com
forest.watch.impress.co.jp
zenn.dev/meson_tech_blog
www.gizmodo.jp
www.itmedia.co.jp
gigazine.net
gigazine.net
tech-blog.rakus.co.jp
qiita.com/ainame
qiita.com/ak11
qiita.com/ainame
qiita.com/aimerald
engineers.ntt.com
inside.pixiv.blog
meetscareer.tenshoku.mynavi.jp
studyhacker.net
2017/08/15 リンク