鉄道指向プログラミング

Eitherモナドを知っている人からすると復習になる

Either型やEitherモナドのことを知らない人が読むと学びがありそう

Monadという単語を一切使わずに具体例から徐々に抽象化していく感じで解説が進むのが良い

HaskellやPureScriptやF#などの演算子オーバーロードがある言語で試してみるとより良さそう

TypeScriptではそこまでキレイに書けない気がする

同じようなことはできる

code:hs

usecase :: Request -> Either Text Request

usecase =

validate1

=> validate2

=> validate3

>> fmap coanonicalizeEmail

code:hs

-- こう書いても同じ

usecase =

validate1

=> validate2

=> validate3

=> Right . coanonicalizeEmail

ちなみにこう書くのは間違い

code:hs

usecase :: Request -> Either Text Request

usecase = do

validate1

validate2

validate3

これは3つのvalidateを独立で行っている

今回のケースではこれでも問題ない

参考