Timeline for What is our consensus on languages which do not halt by design?
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 26, 2022 at 13:08 | answer | added | thejonymyster | timeline score: -2 | |
| Jul 21, 2022 at 13:30 | answer | added | thejonymyster | timeline score: 8 | |
| Jul 6, 2022 at 10:21 | comment | added | Wheat Wizard Mod | But even when that's not the case the REPL doesn't continuously take input, it has distinct stages (usually: Read, Evaluate, Print) returning to the read mode is a clear example of halting. If the code doesn't halt then it will not return to the read stage, which is a very clear difference. Just because the environment doesn't halt does not mean that the program doesn't halt, just as running Python script doesn't need to shut your computer down to halt. | |
| Jul 6, 2022 at 10:20 | comment | added | Wheat Wizard Mod |
REPLs do have a clear concept of termination. For one many REPLs do accept an EOF. Just run echo "3+4" | ghci and you will see that it terminates, this is the usual way in which you would envoke a REPL.
|
|
| Jul 5, 2022 at 15:51 | comment | added | thejonymyster | @tsh somewhat, but not quite the same idea. a REPL or excel type environment never stops taking program input, and thus has no clear definition of termination (as you mentioned), since it has no clear definition of even EOF. A language which takes a single, well defined program, runs all of the instructions in it (finitely or infinitely many times) and then enters an infinite loop of either doing something or doing nothing, that's what the main idea of the question is. Definitely an interesting comparison, though. | |
| Jul 5, 2022 at 14:48 | comment | added | tsh | Is this similar to REPL environment which will not exit after given expression calculated (but waiting for next input), or an Excel answer which show result in A1 cell but not exit the Excel program? I'm not sure how to define terminate to these environments... | |
| Jul 5, 2022 at 4:21 | comment | added | jimmy23013 |
One such language is Gammaplex. The ending instruction E is defined to be an infinite loop.
|
|
| Jun 29, 2022 at 17:48 | history | edited | thejonymyster | CC BY-SA 4.0 |
more clarity
|
| Jun 29, 2022 at 17:31 | history | edited | thejonymyster | CC BY-SA 4.0 |
clarified / typos
|
| Jun 29, 2022 at 16:24 | comment | added | thejonymyster | sorry no link for bytebeat, i couldnt find anything like a wiki | |
| Jun 29, 2022 at 16:20 | history | asked | thejonymyster | CC BY-SA 4.0 |