haskell - HaskellでLispyデータ型を定義するにはどうすればよいですか？

Question

私はCourseraのAI計画クラス用にLispyPDDLパーサーをプログラミングしています。

HaskellでLispyデータ型を定義するにはどうすればよいですか？

Answer 1

Lispyに見えますね。

{-# LANGUAGE FlexibleInstances #-}

import Data.List

data S s = T s | S [S s] deriving (Eq)

instance Show (S String) where
 show (T s) = s
 show (S list) = "(" ++ (intercalate " " $ map show list) ++ ")"

sExpr = S [T "define",T "x",T "10",S [T "print",T "hello"],S []]

main = do
 putStrLn $ show sExpr

mainを実行した結果：

(define x 10 (print hello) ())

Answer 2

私のLispyPDDLパーサー：

https://dl.dropbox.com/u/46434672/Code/LispyPddlParser.hs

DWR-operators.txtファイル：

https://spark-public.s3.amazonaws.com/aiplan/resources/DWR-operators.txt