The Practice of a Compositional Functional Programming Language
Abstract
Function composition is a very natural operation, but most language paradigms provide poor support for it. Without linguistic support programmers must work around or manually implement what would be simple compositions. The Kihi language uses only composition, makes all state visible, and reduces to just six core operations. Kihi programs are easily stepped by textual reduction but provide a foundation for compositional design and analysis.
Authors
Timothy Jones, Michael HomerPublished in
Asian Symposium on Programming Languages and Systems (APLAS), 2018The final copy of this publication is available from the publisher.
Resources
- mwh.nz/pdf/aplas2018
- this page
- mwh.nz/pubs/aplas2018