4 ms·
The thing you are referring to with open and closed files is called typestate. Check out its implementation in the Plaid programming language: http://www.cs.cmu
by Shoop 7y ago
The thing you are referring to with open and closed files is called typestate. Check out its implementation in the Plaid programming language: http://www.cs.cmu.edu/~aldrich/papers/onward2009-state.pdf http://www.cs.cmu.edu/~aldrich/papers/onward2009-state.pdf
- codetrotter 7y agoThere was a post here on HN about typestates in Rust too yesterday. For anyone that didn’t see it: https://news.ycombinator.com/item?id=21413174 https://news.ycombinator.com/item?id=21413174
- RossBencina 7y agoSee also: https://edwinb.wordpress.com/2016/10/21/state-machines-all-the-way-down/ https://edwinb.wordpress.com/2016/10/21/state-machines-all-t...