0

ブログ サイトの RSS/Atom フィードの生成を追加する必要があるとします。「Feed Monad Interpreter」パターンを考えています。つまり、プリミティブBlogとBlogPost、これらのプリミティブの単なるツリーである a 、およびツリーを XMLFree monadに変換する RSS/Atom の「インターピーター」を使用して DSL を定義します。Free monad

それは理にかなっていますか？

4

2 に答える 2

1

XML は解釈ではないため、そうではありません。これはデータ構造であり、単なる操作上のセマンティクスではなく、表示上のセマンティクスを持っています[1]。したがって、プリミティブを定義してそれらのツリーを作成し、その純粋なツリーを XML を表す別の純粋なツリーに変換できます。モナドは必要ありません。これは純粋なデータ変換にすぎません。

[1] 用語を正しく理解していると仮定して

于 2015-01-12T15:55:27.423 に答える