Think about "static asserts"
A low-level system programming language with high-level syntax
Status: Alpha
Brought to you by:
akapusti
An "assert" statement placed outside any procedure (i.e. at global declaration scope) can be evaluated by the compiler and error can be given if the value there is not "true". This will allow checking things like e.g. "assert sizeof(integer) == 4;" at compile time!