>>24
sorry but TYPE SAFE LANGUAGES are not enough to prove that programs do indeed terminate. The current state of research on languages that would potentially fix that is pitiful. I've read a paper on that and it took (if I remember correctly) six pages to go to a + b. No, I don't remember the link. Use programming.reddit search.