I came across this term when exploring Rust.
I saw different kinds of explanations regarding this and still don't quite get the ideas.
In The Embedded Rust Book, it said
Type states are also an excellent example of Zero Cost Abstractions
- the ability to move certain behaviors to compile time execution or analysis.
These type states contain no actual data, and are instead used as markers.
Since they contain no data, they have no actual representation in memory at runtime:
Does it mean the runtime is faster because there is no memory in runtime?
Appreciate it if anyone can explain it in an easy to understand way.