なぜこれは 'データ'でループしますが 'newtype'でループしませんか？

Question

はここのコードです：現在のコード、runParser (some item) "abcd"ループを有する

import Control.Applicative 

-- newtype Parser a = Parser { runParser :: String -> [(a, String)] } 
data Parser a = Parser { runParser :: String -> [(a, String)] } 

instance Functor Parser where 
    fmap f (Parser p) = Parser (\s -> [(f x, s') | (x, s') <- p s ]) 

instance Applicative Parser where 
    pure a = Parser (\s -> [(a, s)]) 
    Parser q <*> Parser p = Parser (\s -> [(f x, s'') | (f, s') <- q s, (x, s'') <- p s']) 

instance Alternative Parser where 
    empty = Parser (\s -> []) 
    Parser q <|> Parser p = Parser (\s -> q s ++ p s) 

item = Parser (\s -> case s of 
        (x:xs) -> [(x, xs)] 
        _ -> [] 
      ) 

が、パーサはnewtypeとして宣言されている場合、それだけで正常に動作します。

Answer 1

これはthe difference between data and newtypeのいずれかになるのに最適な方法です。ここでの問題の中心は、実際にはのパターンマッチングにあります。

instance Alternative Parser where 
    empty = Parser (\s -> []) 
    Parser q <|> Parser p = Parser (\s -> q s ++ p s) 

実行時に、newtypeはそれがラップしているタイプと同じものになっていることを覚えておいてください。そして、newtypeがパターンマッチした場合、GHCは何もしません.WNHFに評価するコンストラクタはありません。

逆に、dataが一致すると、パターンParser qはGHCにそのパーサーをWNHFに評価する必要があることを示します。これは問題です。someは無限の倍数の<|>です。

• <|>でParserパターンを持っていない：そこdataの問題を解決するには2つの方法がある

  instance Alternative Parser where 
      empty = Parser (\s -> []) 
      q <|> p = Parser (\s -> runParser q s ++ runParser p s) 
  

• 使用lazy patterns：

  instance Alternative Parser where 
      empty = Parser (\s -> []) 
      ~(Parser q) <|> ~(Parser p) = Parser (\s -> q s ++ p s)