The Practice of a Compositional Functional Programming Language


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.


Timothy Jones, Michael Homer

Published in

Asian Symposium on Programming Languages and Systems (APLAS), 2018

The final copy of this publication is available from the publisher.


this page
Michael Homer — 2024 b5cda112