一个经典的编程练习是用Lisp / Scheme写一个Lisp / Scheme解释器。可以利用完整语言的强大功能来生成语言子集的解释器。
那么Haskell有没有类似的练习呢？我想使用Haskell作为引擎来实现Haskell的子集。当然这是可行的，但是否有任何在线资源可供参考呢？
我正在探索使用Haskell作为一门离散结构课程中探索一些概念的语言。对于这个学期，我已经选择了Miranda，这是一种更小的语言，启发了Haskell。Miranda可以完成我想要做的90％，但Haskell可以完成2000％：）
因此，我的想法是创建一种具有恰好我想要的Haskell特性并禁止其他所有内容的语言。随着学生的进步，他们可以逐渐地“打开”各种特性，一旦他们掌握了基础知识。
已成功使用教学“语言级别”来教授Java和Scheme。通过限制他们的操作范围，可以在他们掌握正在教授的语法和概念时防止他们犯错。此外，还可以提供更好的错误消息。
我喜欢你的目标，但这是一项艰巨的工作。 这里有几个提示：
我曾经在GHC上工作过，你不想接触源代码。Hugs是一个更简单、更干净的实现，但不幸的是它是用C写的。
这只是问题的一个小部分，但Mark Jones写了一篇美妙的文章，名为Typing Haskell in Haskell，这将是你前端优秀起点。
祝你好运！从课堂支持证据看，识别Haskell语言级别将对社区有很大帮助，并且绝对是可发表的结果！
有一个完整的Haskell解析器：http://hackage.haskell.org/package/haskell-src-exts
一旦你解析了它，剥离或禁止某些内容就很容易了。我在tryhaskell.org上就这样做，以禁止导入语句，支持顶层定义等。
只需解析模块：
parseModule :: String -> ParseResult Module
Module SrcLoc ModuleName [ModulePragma] (Maybe WarningText) (Maybe [ExportSpec]) [ImportDecl] [Decl]
data SrcLoc = SrcLoc
{ srcFilename :: String
, srcLine :: Int
, srcColumn :: Int
}
a -> b”，那么很可能是函数参数过少。
除非您真的想花时间从头开始实现Haskell或者搞乱Hugs的内部，或者某些愚蠢的实现，否则我认为您应该只过滤传递给GHC的内容。这样，如果您的学生想要将他们的代码库带到下一个级别并编写一些真正完整的Haskell代码，过渡是透明的。您想从零开始构建自己的解释器吗？首先实现一种更容易的函数式语言，比如 lambda 演算或 Lisp 变种。对于后者，有一个很好的维基书籍叫做在 48 小时内写一个 Scheme，介绍了酷炫而实用的解析和解释技术。
手工解释 Haskell 的复杂性将会更高，因为你需要处理高度复杂的特性，如 typeclasses、极其强大的类型系统（类型推导！）以及惰性求值（化简技术）。
所以，您应该定义一个相当小的 Haskell 子集来使用，然后也许可以逐步扩展 Scheme 示例。
补充说明：
请注意，在 Haskell 中，您可以完全访问解释器的 API（至少在 GHC 下），包括解析器、编译器和当然解释器。
要使用的程序包是hint (Language.Haskell.*)。可惜我既没有找到在线教程，也没有自己试过，但它看起来很有前途。
Baskell 是一个教学实现，http://hackage.haskell.org/package/baskell
你可以从仅仅选取类型系统来进行实现开始。这大约和 Scheme 的解释器一样复杂，http://hackage.haskell.org/package/thih
惰性求值。 如果解释器是Haskell，则您可能不需要做任何事情。
带有模式匹配参数和保护的函数定义。 仅关注变量，cons，nil和_模式。
简单的表达式语法：
整数字面量
字符字面量
[]（nil）
函数应用（从左到右结合）
中缀:（cons，从右到左结合）
括号
变量名
函数名称
更具体地说，编写一个可以运行以下内容的解释器：
-- tail :: [a] -> [a]
tail (_:xs) = xs
-- append :: [a] -> [a] -> [a]
append [] ys = ys
append (x:xs) ys = x : append xs ys
-- zipWith :: (a -> b -> c) -> [a] -> [b] -> [c]
zipWith f (a:as) (b:bs) = f a b : zipWith f as bs
zipWith _ _ _ = []
-- showList :: (a -> String) -> [a] -> String
showList _ [] = '[' : ']' : []
showList show (x:xs) = '[' : append (show x) (showItems show xs)
-- showItems :: (a -> String) -> [a] -> String
showItems show [] = ']' : []
showItems show (x:xs) = ',' : append (show x) (showItems show xs)
-- fibs :: [Int]
fibs = 0 : 1 : zipWith add fibs (tail fibs)
-- main :: String
main = showList showInt (take 40 fibs)
安德烈·鲍尔（Andrej Bauer）的编程语言动物园有一个名为"minihaskell"的小型纯函数式编程语言实现，非常机智。它只有大约700行OCaml代码，因此非常易于理解。
该网站还包含了ML风格、Prolog风格和面向对象编程语言的玩具版本。