Computing with lattices: An application of type classes
- 1 January 1992
- journal article
- research article
- Published by Cambridge University Press (CUP) in Journal of Functional Programming
- Vol. 2 (4) , 475-503
- https://doi.org/10.1017/s0956796800000514
Abstract
This paper presents a simple framework for performing calculations with the elements of (finite) lattices. A particular feature of this work is the use of type classes to enable the use of overloaded function symbols within a strongly typed language. Previous applications of type classes have been in areas that are of most interest to language implementors. This paper suggests that type classes might also be useful as a general tool in the development of clear and modular programs.Keywords
This publication has 1 reference indexed in Scilit:
- Report on the programming language HaskellACM SIGPLAN Notices, 1992