This blog is about my musings and thoughts. I hope you find it useful, at most, and entertaining, at least.
What is a "type-program"? It's the validation that the type-systems
rules are followed at each expression in the program. For instance, when
a+b is encountered, the there must exist a
+ operator that can
accept a left-hand side of the type of
a and a right-hand side of the
b. The evaluation of the
+ operator doesn't happen, only the
validation of the type rules. This happens recursively, so now
Some languages, like Rust and C++ also allow for certain types of (arbitrarily complex) data expressions to be evaluated concurrently with the type-program.