Imp: heterogenous types

from blog Scattered Thoughts, | ↗ original
This is a part of a series - start at the beginning. Unlike sql, the denotational semantics for imp are carefully written to allow a set to contain rows of different lengths. The reason for that is that we can use such sets to model structs, tagged unions, first-class modules etc. // defining a module my_module: | "inclinations",...