堪萨斯大学函数编程小组的两篇论文已被Haskell'15接受发表！一个关于使用HERMIT用于方程式推理，另一个关于基于单子的远程控制设计模式，该模式将单子外化执行。我们已经在网页上放置了预印本。

HERMIT推理：GHC核心程序上的等式推理工具支持

纯函数编程的一个好处是它鼓励等式推理。然而，哈斯克尔语言缺乏直接性支持此类推理的工具。因此，对Haskell程序的推理要么是手动执行，要么是用另一种语言执行提供工具支持（例如Agda或Coq）。HERMIT是一个Haskell专用工具集，旨在支持等式推理和用户指导的程序转换，并作为GHC编译管道的一部分进行转换。本文描述了HERMIT最近的开发了对等式推理的支持，并介绍了HERMIT用法的两个案例研究：检查类型类法则是否适用具体的实例声明，以及机械化的教科书方程式推理。

远程monad设计模式

  • A.Gill、N.Sculthorpe、J.Dawson、A.Eskilson、A.Farmer、M.Grebe、，J.Rosenbluth、R.Scott和J.Stanton，”远程单声道设计图案，“in第八届ACM SIGPLAN研讨会会议记录哈斯克尔，（美国纽约州纽约市），第59-70页，ACM，2015年。

远程过程调用很昂贵。本文演示了如何通过使用远程monad设计模式，它分摊远程调用的成本。这使Haskell社区可以访问远程不直接支持的功能，成本低得惊人。

我们使用模拟物联网，通过六个远程执行模式模型探索远程单体设计模式以烤面包机为例。我们考虑每个远程执行模型所支持的表达能力和优化，并评估我们方法的可行性。然后我们给出了一个全面的案例研究：一个Haskell库，它为JavaScript画布API。最后，我们讨论了Haskell库中的远程单体设计模式的现有实例。

  • 享受吧！

KU@FPG