Programming with Explicit Effects in ReML at ML 2023
08 September 2023
My contribution Programming with Explicit Effects in ReML was accepted for presentation at the ML Family Workshop 2023 in Seattle on September 8.
The talk introduces ReML, a functional language that lets programmers be explicit about memory regions and the effects of their code. These annotations give the compiler promises to check, making memory behaviour less vulnerable to changes elsewhere in a program or in its optimiser. ReML builds on MLKit’s region inference, so programmers can combine this control with the convenience of inferred types and effects.