3 ms·
>"At any rate, the C++/Rust part can be a distraction" that was exactly my point. >"interesting point here is the technique of encoding program state in the t
by FpUser 4y ago
>"At any rate, the C++/Rust part can be a distraction"
that was exactly my point.
>"interesting point here is the technique of encoding program state in the type system."
It is "interesting" but there is nothing new about it.
- sophacles 4y agoWhere was it claimed to be "new"? That's a different complaint than you had before... not sure how it's relevant to languages in the example.