What does TypeState refer to in respect to language design? I saw it mentioned in some discussions regarding a new language by mozilla called Rust.
+1
A:
It's basically an extension of types, where you don't just check whether some operation is allowed in general, but in this specific context. All that at compile time.
The original paper is actually quite readable.
mhd
2010-07-09 06:14:20
There is some discussion of this paper in the LtU thread on Rust: http://lambda-the-ultimate.org/node/4009
Charles Stewart
2010-07-09 08:22:11
A:
There's a typestate checker written for Java, and Adam Warski's explanatory page gives some useful information. I'm only just figuring this material out myself, but if you are familiar with QuickCheck for Haskell, the application of QuickCheck to monadic state seems similar: categorise the states and explain how they change when they are mutated through the interface.
Charles Stewart
2010-07-09 08:21:24