Truth - {A} Real-World Application in {H}askell
Martin Leucker, Thomas Noll, Markus Mohnen · 2000
. Truth is a design and verification platform for concurrent systems, which is mainly implemented in the Haskell programming language. It is being developed and maintained by the Modeling Concurrent Systems Group at Aachen University of Technology. This paper gives a report on the experiences acquired by employing a functional language. It motivates the choice of Haskell as the main implementation language, and describes the benefits but also the drawbacks of using a high--level functional language. Furthermore we explain how to integrate existing tools and libraries that are not designed for the interoperation with functional languages, which is indispensable for real--world applications. We conclude that the actual language concept is indeed appropriate for the development of large software systems. However, it turns out that the main obstacle for employing Haskell in real--world applications is the limited support of compilers. 1 Introduction This paper describes the ...