haskell - 用 Haskell 编写 Haskell 解释器

Question

一个经典的编程练习是用 Lisp/Scheme 编写一个 Lisp/Scheme 解释器。可以利用完整语言的力量来为该语言的子集生成解释器。

Haskell 有类似的练习吗？我想使用 Haskell 作为引擎来实现 Haskell 的一个子集。当然可以做到，但是有没有在线资源可以查看？

<小时/>这是背景故事。

我正在探索使用 Haskell 作为语言来探索 Discrete Structures 中的一些概念的想法。我正在教的类(class)。这个学期我选择了Miranda ，一种较小的语言，激发了 Haskell 的灵感。 Miranda 完成了我希望它完成的大约 90%，但 Haskell 完成了大约 2000%。 :)

所以我的想法是创建一种语言，它具有我想要的 Haskell 特性，并且不允许其他所有特性。随着学生的进步，一旦他们掌握了基础知识，我就可以有选择地“打开”各种功能。

教学“语言水平”已成功用于教学Java和 Scheme 。通过限制他们可以做的事情，你可以防止他们在掌握你试图教授的语法和概念时搬起石头砸自己的脚。您还可以提供更好的错误消息。

Answer 1

我喜欢你的目标，但这是一项艰巨的任务。一些提示:

• 我曾参与 GHC 工作，您不需要任何部分的源代码。 Hugs是一个更简单、更清晰的实现，但不幸的是它是用 C 语言编写的。

• 这只是拼图的一小部分，但 Mark Jones 写了一篇漂亮的论文，名为 Typing Haskell in Haskell这将是您前端的一个很好的起点。

祝你好运!通过类里面的支持证据来确定 Haskell 的语言水平将对社区大有裨益，并且绝对是一个可发布的结果!