newtypeと再帰的定義

Question

newtype Parser a = Parser (String -> [(a,String)]) 

こんにちは、上記の定義を考えてみましょう： 私の目には、無限の定義 - 再帰的な定義です。たとえば、私は、ツリーを定義したような（再帰的な、無限の構造）：

data Tree a = Leaf | Node (Tree a) (Tree a). 

そしてTreeはinifiniteことができるが、我々はLeafを持っており、それが再帰的定義を「終える」ことができます。

data Parser a = Parser (String -> [(a,String)]) 

（ちょうどhttps://wiki.haskell.org/Newtypeによるnewtype-置き換える） そしてそれは、再帰的な定義であるとLeafようには「有限要素」がない。だから、dataに私の最初の定義を翻訳してみましょう。それを理解する方法？

Answer 1

あなたのパーサの定義は実際には再帰的ではありません。 =の右側にある記号はconstructorです。コンストラクターは型と同じ名前を持つことができますが、2つのことは別個の概念です。

あなたは、任意の機能を失うことなく、何か他のパーサーのコンストラクタを呼び出すことができます。あなたのTreeタイプは2つのコンストラクタ、LeafとNodeを持って

data Parser a = Foo (String -> [(a, String)]) 

。再帰的にすることは、Nodeの定義に再帰的に2つの型パラメータが含まれており、どちらもTreeです。