haskell-src转换 该工具已作为学士论文的一部分（由基尔大学的Malte Clement实施）实施，应视为原型的alpha版本。 Haskell转换为Haskell转换工具 这是将Haskell的不同语言功能转换成更简单的表达式的工具。 使用Wadlers算法编译模式匹配，将左侧的模式匹配转换为右侧的显式模式匹配。 使用Haskell报告中描述的语义，将守卫转换为case表达式。 完成部分定义的功能，以便不会发生模式不匹配。 文献资料 描述转换论文可以在发现LaTeX -direc