News for hackers. Stuff that matters.

A comment on Cue Wins. Parent comment

Re:Cue Wins by nine_k on Friday January 13, 2023 @10:53AM (#34369470)
An infinite loop is not the most frequent type of non-termination. Crashing is.

When your "config" fails to load halfway through its interpretation because of a KeyError, ValueError, NullPointerException, "null has no method <whatever>", you see some of the downsides of Turing-completeness.

[ Parent | on HN ]
Re:Cue Wins by chriswarbo on Friday January 13, 2023 @11:39AM (#34370206)
Crashing is termination; the reason it's tricky is that we often treat programs as having return type "Foo" when they actually have return type more like "Foo | Stacktrace".

(Sometimes it's easier to do theoretical work by replacing crashes with infinite loops; but that's only because it's impossible to do the converse ;) )

[ Parent | on HN ]
Re:Cue Wins by dustbitying on Friday January 13, 2023 @01:26PM (#34371817)
given your argument, it seems your gripe is with object orientation rather than with turing-completeness.
[ Parent | on HN ]
Re:Cue Wins by nine_k on Friday January 13, 2023 @01:47PM (#34372102)
Rather, with dynamic languages used for config files. I could use Lisp or Lua for the example, but they are not as recognizable in this role.
[ Parent | on HN ]