コンピュテーション式でてきとーに日本語を使ってみる

homo.fs

type ホモビルダー() =
  member __.Delay(f: unit -> _) = f
  member __.Run(f) = f ()
  member __.Yield(()) = ""
  member __.Yield(x: string) = x
  [<CustomOperation("攻め")>]
  member inline __.攻め(_, case) = case
  [<CustomOperation("受け")>]
  member inline __.受け(source: string, case) = (source, case)
  [<CustomOperation("┌（┌＾o＾）┐")>]
  member __.ホモォ((攻め, 受け)) = printfn "%s × %s" 攻め 受け
 
let ホモ = ホモビルダー()
 
ホモ {
  攻め "hoge"
  受け "fuga"
  ``┌（┌＾o＾）┐``
}