haskell src transformation:使用模式匹配到大小写表达式来转换具有定义的Haskell源 源码

haskell-src转换 该工具已作为学士论文的一部分(由基尔大学的Malte Clement实施)实施,应视为原型的alpha版本。 Haskell转换为Haskell转换工具 这是将Haskell的不同语言功能转换成更简单的表达式的工具。 使用Wadlers算法编译模式匹配,将左侧的模式匹配转换为右侧的显式模式匹配。 使用Haskell报告中描述的语义,将守卫转换为case表达式。 完成部分定义的功能,以便不会发生模式不匹配。 文献资料 描述转换论文可以在发现LaTeX -directory。 资料库 存储库由两个目录组成 src包含项目的源代码 src/test包含已翻译以测试某