mortoray.com
What a compiler does: internal types
If we scratch the surface of a language a bit we find a secret, rich world of type information. Our compilers know more about our code than we do ourselves. In my previous article I looked at how c…