Re: [stack] Re: Concatenative Research
"William Tanksley, Jr" <[email protected]> Thu, 3 Feb 2011 07:26:46 -0800
| Newsgroups | gmane.comp.lang.concatenative |
|---|---|
| Message-ID | <[email protected]> |
Justin <[email protected]> wrote: > Wait, are you saying that typing a typical concatenative language (which allows functions to recursively grow the data stack) is undecidable? Typing is inherently undecidable. That's one of the fundamental results of computer science. -Wm