4 ms·

>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 s

• chimeracoder 14y ago
  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.
  • adobriyan 14y ago
    Lisp reader alone is Turing-complete.