Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

>That said, Lisp and Go are the two that come the closest, in my recollection.

Which Lisp you have in mind? Surely not Common Lisp, which has Turing-complete syntax.



Well, yes, though by definition that's what Common Lisp-style macros will lead to.

By 'closest', I simply meant that these deviations are easy to analyze or account for in an informal sense - for example, by forbidding/exempting user-defined macros. (Naturally, they cannot be precisely accounted for without executing the program or solving the halting problem, since the definition of the macro may itself require executing arbitrary code).

The deviations of languages like C++ and Java, for example, are hairier to try and enumerate, even informally (imprecisely) - I remember doing this as an exercise for my compilers class in school.


Lisp reader alone is Turing-complete.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: