4 ms·
Rust sounds very promising in a lot of ways. It has a whole host of useful compiler technologies that we've known about for a long time, yet have not applied to
by chipsy 16y ago
Rust sounds very promising in a lot of ways. It has a whole host of useful compiler technologies that we've known about for a long time, yet have not applied to industry languages.
- Xavi 16y agoI agree, TypeState seems especially interesting. This paper from one of the comments does a good job describing it: http://www.cs.cmu.edu/~aldrich/papers/classic/tse12-typestate.pdf http://www.cs.cmu.edu/~aldrich/papers/classic/tse12-typestat...