如何将字符串解析为GADT

我试图在Haskell中实现组合逻辑，并且我想写入语言的解析器。我无法通过Parsec解析器工作。基本的问题是我需要一种方法来确保解析器返回的对象输入正确。有没有人有关于如何做到这一点的创意？如何将字符串解析为GADT

{-# Language GeneralizedNewtypeDeriving #-} 

import qualified Data.Map as Map 
import qualified Text.ParserCombinators.Parsec as P 
import Text.Parsec.Token (parens) 
import Text.ParserCombinators.Parsec ((<|>)) 
import Control.Applicative ((<$>), (<*>), (*>), (<*)) 


data CTree = CApp CTree CTree | CNode String deriving (Eq, Read) 
instance Show CTree where 
    show [email protected](CApp x y) = showL c 
     where showL (CApp x' y')= "(" ++ showL x' ++ " " ++ showR y' ++ ")" 
       showL (CNode s) = s 
       showR (CApp x' y') = "(" ++ showL x' ++ " " ++ showR y' ++ ")" 
       showR (CNode s) = s 

    show (CNode s) = s 

-- | Parser 
parseC :: String -> Maybe CTree 
parseC s = extract$ P.parse expr "combinator_string" s 
      where extract (Right r) = Just r 
       extract (Left e) = Nothing 


expr :: P.CharParser() CTree 
expr = P.try (CApp <$> (CApp <$> term <*> term) <*> expr) 
     <|> P.try (CApp <$> term <*> term) 
     <|> term 


term = P.spaces *> (node <|> P.string "(" *> expr <* P.string ")") 


node :: P.CharParser() CTree 
node = CNode <$> (P.many1 $ P.noneOf "() ") 

eval (CApp (CNode "I") x) = x 
eval (CApp (CApp (CApp (CNode "S") f) g) x) = 
    (CApp (CApp f x) (CApp g x)) 
eval (CApp (CApp (CApp (CNode "B") f) g) x) = 
    (CApp f (CApp g x)) 
eval (CApp (CApp (CApp (CNode "C") f) g) x) = 
    (CApp (CApp f x) g) 
eval x = x

来源

2012-10-17 Eyal

你会希望使用一个存在或上位延续（因为不可能可能需要这里的imponedicative类型）。有一些例子（不是特别的解析，但想法是相似的）在http://stackoverflow.com/questions/7978191/how-to-make-a-type-with-restrictions/7984155#7984155。 – copumpkin

我解析到一个monotyped表示，然后施加一个类型检查/细化阶段将其转换成输入（GADT）表示的大力提倡。在总体思路的最好的教程可能是Lennart Augustsson's llvm based compiler

一种滑雪演算表示可能看起来像

data TyComb t where 
    TyS :: TyComb ((a -> b -> c) -> (a -> b) -> a -> c) 
    TyK :: TyComb (a -> b -> a) 
    TyI :: TyComb (a -> a) 
    TyApp :: TyComb (a -> b) -> TyComb a -> TyComb b 

evalTyComb :: TyComb t -> t 
evalTyComb TyS   = \x y z -> (x z) (y z) 
evalTyComb TyK   = const 
evalTyComb TyI   = id 
evalTyComb (TyApp a b) = (evalTyComb a) (evalTyComb b)

来源

2012-10-18 03:15:46

如何将字符串解析为GADT

回答

相关问题