Type systems are pretty great. I am fond of these compilers
http://theory.stanford.edu/~arbrad/pivc/download/index.html
https://compcert.org/
CleverLibre Social is an inclusive social instance for open discussion, learning, and community. All cultures welcome. Hate speech and harassment strictly forbidden.
