Are there any provable real-world languages? (scala?)
I was taught about formal systems at university, but I was disappointed how they didn’t seem to be used in the real word. I like the idea of being able to know that some code (object, function, whatever) works, not by testing, but by proof. I’m sure we’re all familiar with the parallels that don’t … Read more