Home

See:

Recent Publication

The Practice of a Compositional Functional Programming Language by Timothy Jones, Michael Homer in APLAS

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.

View the author copy.
Michael Homer — 2018