State Machines All The Way Down


Draft paper from Edwin Brady

This is about dependent typed languages, but given rust’s focus on enums and state machine type approaches, I still think this could be useful and informative for perspective.

Disclaimer: Not so secret long term agenda :slight_smile:


I think my ideal programming language would be the unholy love child of Idris and Rust

+1000 to that. Let’s make it.