I’ll stick with decidable type systems and compilation, thanks. Having to decide whether to kill my compiler because it’s either gone into an infinite loop or i

I’ll stick with decidable type systems and compilation, thanks. Having to decide whether to kill my compiler because it’s either gone into an infinite loop or it’s got exponential blow up is not very reassuring.