例えばHaskellで f :: a -> Either ErrorT1 b g :: a -> Either ErrorT2 b みたいな2つの(モナディック?な)関数を合成して h :: a -> Either (Either ErrorT1 ErrorT2) b みたいな関数を作るときってどうしてるんですか(多分モナド変換子あたりが出てくる気がするが良くわからない)
fとgの返り値として得られるエラー値の型をうまい感じに合成したいみたいな意図でした(勢いでかなり雑なこと言ったので出来れば忘れてください…)
-
-
fとgに関数合成関係がないならArrowで合成できそう
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.