鉄道指向プログラミング - mrsekut-p

鉄道指向プログラミング

Railway oriented programming

HaskellでいうEither型、並びにEitherモナドを使ったプログラミングのことをこの記事がそう呼んでいる

Haskellでかいてみる ref

この部分を同じレイアウトで書こうとするとこんな感じになる

>>>はControl.Arrowのもの

逆向きの関数合成として使っている

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を独立で行っている

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

もしvalidate1のRightの結果を返す時に何かしら文字列を操作された場合は結果が変わる

例えばRight $ toLower rと書いてたりすると変わる

参考

How to design and code a complete program · F# for Fun and Profit

Railway oriented programming: Carbonated edition · F# for Fun and Profit

最後の方、Arrowの話をしているみたいになっているなmrsekut.icon

https://swlaschin.gitbooks.io/fsharpforfunandprofit/content/posts/railway-oriented-programming-carbonated.html

/mrsekut-book-4048931164/206: 10.3 Resultを生成する関数の連鎖

#functional_mini_patterns