munificent / vigil

Vigil, the eternal morally vigilant programming language
2.9k stars 61 forks source link

swear this statement is false #4

Closed Sophrinix closed 11 years ago

Sophrinix commented 11 years ago

How would vigil interpret that? Would vigil delete itself?

http://en.wikipedia.org/wiki/G%C3%B6del's_incompleteness_theorems#First_incompleteness_theorem

munificent commented 11 years ago

You'll get a stack overflow error. Since that's an uncaught error, the offending function will be punished. Vigil is vigilant about the real-world behavior of programs running on a real implementation with limited memory.