We present associated effects, a programming language feature that enables type classes to abstract over the effects of their function signatures, allowing each type class instance to specify its concrete effects. Associated effects significantly ...

PACMPL (ICFP) seeks contributions on the design, implementations, principles, and uses of functional programming, covering the entire spectrum of work, from practice to theory, including its peripheries. Authors of papers published in this issue of PACMPL will present their work at during the in-person conference, providing an opportunity for researchers and developers to hear about the latest work in functional programming.

The following post will talk about the design of the first version of the Intermediate Representation of Kunai, the design decisions and how it was implemented.

Staged compilation with dependent types. Contribute to AndrasKovacs/staged development by creating an account on GitHub.