State Machines All The Way Down

#1

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:

4 Likes

#2

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

+1000 to that. Let’s make it.

3 Likes

closed #3

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.

0 Likes