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 
4 Likes
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
This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.