gの変数がfの返り値ではないのでは
例えばHaskellで f :: a -> Either ErrorT1 b g :: a -> Either ErrorT2 b みたいな2つの(モナディック?な)関数を合成して h :: a -> Either (Either ErrorT1 ErrorT2) b みたいな関数を作るときってどうしてるんですか(多分モナド変換子あたりが出てくる気がするが良くわからない)
-
-
-
fとgの返り値として得られるエラー値の型をうまい感じに合成したいみたいな意図でした(勢いでかなり雑なこと言ったので出来れば忘れてください…)
- 1 more reply
New conversation -
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.