コンピュテーション式でAAを表現したかったのじゃ…

Savannah.fs

open System.Reflection

type Line1 = Line1
type Line2 = Line2
type Line3 = Line3
type Line4 = Line4
type Line5 = Line5
type Line6 = Line6
type Line7 = Line7
type Line8 = Line8
type Line9 = Line9
type Line10 = Line10
type Line11 = Line11
type Line12 = Line12
type Line13 = Line13
type Line14 = Line14
type Line15 = Line15
type Line16 = Line16

let inline operatorName () =
  (MethodBase.GetCurrentMethod().GetCustomAttribute(typeof<CustomOperationAttribute>) :?> CustomOperationAttribute).Name

type SavannahBuilder() =
  member __.Delay(f: unit -> _) = f
  member __.Run(f: unit -> Line16 * string list) =
    f ()
    |> snd
    |> List.rev
    |> List.fold (sprintf "%s\n%s") "output:"
    |> printfn "%s"
  member __.Yield(x) = x
  [<CustomOperation("　　　　　　　　 ,、,, ,、,, ,,　,,")>]
  member __.Line1(()) = (Line1, [ operatorName () ])
  [<CustomOperation("　　　　　　　_,,;' '\" '' ゛''\" ゛' ';;,,")>]
  member __.Line2((Line1, xs)) = (Line2, operatorName () :: xs)
  [<CustomOperation("　　　　　　（rヽ,;''\"\"\"''゛゛゛'';, ﾉｒ）")>]
  member __.Line3((Line2, xs)) = (Line3, operatorName () :: xs)
  [<CustomOperation("　　　　　　,;'゛ i ＿　　、＿ iヽ゛';,　　　　テスト書いてないとかお前それ")>]
  member __.Line4((Line3, xs)) = (Line4, operatorName () :: xs)
  [<CustomOperation("　　　　　 ,;'\" ''| ヽ・〉　〈・ノ |ﾞ゛ `';,　　t-wadaの前でも")>]
  member __.Line5((Line4, xs)) = (Line5, operatorName () :: xs)
  [<CustomOperation("　　　　　 ,;''　\"|　　 ▼　　 |ﾞ゛　`';,　　　同じこと言えんの？")>]
  member __.Line6((Line5, xs)) = (Line6, operatorName () :: xs)
  [<CustomOperation("　　　　　 ,;''　　ヽ＿人＿ /　　,;'_")>]
  member __.Line7((Line6, xs)) = (Line7, operatorName () :: xs)
  [<CustomOperation("　　　　 ／ｼ、　 ヽ⌒⌒ /　　 ﾘ　＼")>]
  member __.Line8((Line7, xs)) = (Line8, operatorName () :: xs)
  [<CustomOperation("　　　　|　　　\"ｒ,,　｀\"'''ﾞ´　　,,ﾐ゛　　 |")>]
  member __.Line9((Line8, xs)) = (Line9, operatorName () :: xs)
  [<CustomOperation("　　　　|　　 　　 ﾘ、　　　　,ﾘ　　　　|")>]
  member __.Line10((Line9, xs)) = (Line10, operatorName () :: xs)
  [<CustomOperation("　　　　|　　　i 　　゛ｒ、ﾉ,,ｒ\"　i　　　_|")>]
  member __.Line11((Line10, xs)) = (Line11, operatorName () :: xs)
  [<CustomOperation("　　　　|　　　｀ー――----┴ ⌒´ ）")>]
  member __.Line12((Line11, xs)) = (Line12, operatorName () :: xs)
  [<CustomOperation("　　　　（ヽ　 ＿＿＿＿＿＿ ,, ＿´）")>]
  member __.Line13((Line12, xs)) = (Line13, operatorName () :: xs)
  [<CustomOperation("　　　 　（_⌒ ＿＿＿＿＿＿ ,, ィ")>]
  member __.Line14((Line13, xs)) = (Line14, operatorName () :: xs)
  [<CustomOperation("　　　　　　丁　　　　　　　　　　 |")>]
  member __.Line15((Line14, xs)) = (Line15, operatorName () :: xs)
  [<CustomOperation("　　　　　　 |　　　　　　　　　　　|")>]
  member __.Line16((Line15, xs)) = (Line16, operatorName () :: xs)

let savannah = SavannahBuilder()

savannah {
  ``　　　　　　　　 ,、,, ,、,, ,,　,,``
  ``　　　　　　　_,,;' '" '' ゛''" ゛' ';;,,``
  ``　　　　　　（rヽ,;''"""''゛゛゛'';, ﾉｒ）``
  ``　　　　　　,;'゛ i ＿　　、＿ iヽ゛';,　　　　テスト書いてないとかお前それ``
  ``　　　　　 ,;'" ''| ヽ・〉　〈・ノ |ﾞ゛ `';,　　t-wadaの前でも``
  ``　　　　　 ,;''　"|　　 ▼　　 |ﾞ゛　`';,　　　同じこと言えんの？``
  ``　　　　　 ,;''　　ヽ＿人＿ /　　,;'_``
  ``　　　　 ／ｼ、　 ヽ⌒⌒ /　　 ﾘ　＼``
  ``　　　　|　　　"ｒ,,　｀"'''ﾞ´　　,,ﾐ゛　　 |``
  ``　　　　|　　 　　 ﾘ、　　　　,ﾘ　　　　|``
  ``　　　　|　　　i 　　゛ｒ、ﾉ,,ｒ"　i　　　_|``
  ``　　　　|　　　｀ー――----┴ ⌒´ ）``
  ``　　　　（ヽ　 ＿＿＿＿＿＿ ,, ＿´）``
  ``　　　 　（_⌒ ＿＿＿＿＿＿ ,, ィ``
  ``　　　　　　丁　　　　　　　　　　 |``
  ``　　　　　　 |　　　　　　　　　　　|``
}