Runciman Colin, Clare Amanda, Harkness Rob
Dept. of Computer Science, University of York, York, UK.
Dept. of Computer Science, Aberystwyth University, Aberystwyth, UK.
J Lab Autom. 2014 Dec;19(6):569-76. doi: 10.1177/2211068214543373. Epub 2014 Aug 14.
After some years of use in academic and research settings, functional languages are starting to enter the mainstream as an alternative to more conventional programming languages. This article explores one way to use Haskell, a functional programming language, in the development of control programs for laboratory automation systems. We give code for an example system, discuss some programming concepts that we need for this example, and demonstrate how the use of functional programming allows us to express and verify properties of the resulting code.
在学术和研究环境中使用了数年之后，函数式语言开始作为更传统编程语言的替代品进入主流。本文探讨了一种在实验室自动化系统控制程序开发中使用函数式编程语言Haskell的方法。我们给出了一个示例系统的代码，讨论了此示例所需的一些编程概念，并展示了函数式编程的使用如何使我们能够表达和验证所得代码的属性。
