One of my goals for #mollytime is to avoid introducing a concept of errors into the language.

[morten_skaaning@mastodon.gamedev.place]

@lritter @rygorous @aeva can you make a checker that can give a correct good/bad answer on the validity of your program, when you insert random characters into the program source?

[lritter@mastodon.gamedev.place]

@morten_skaaning @rygorous @aeva isn't that a big part of every compiler?

[morten_skaaning@mastodon.gamedev.place]

@lritter @rygorous @aeva I talking about whether the outputs of the program are still useful, not whether syntax is correct

[aeva@mastodon.gamedev.place]

@morten_skaaning @lritter @rygorous can you check if it halts while you're at it?

[rygorous@mastodon.gamedev.place]

@aeva @morten_skaaning @lritter The Halting Problem is oversold.

1. It's not actually generally hard to prove whether any particular invocation will halt. (Just hard to give a single approach that works on everything.)
2. The HP is not even theoretically hard if you expand the set of valid answers to be { yes, no, not sure }
3. practically speaking, the answer is always yes because at some point there will be a sufficiently long power outage or, more likely, forced OS update

[jameswidman@mastodon.social]

@lritter @rygorous @aeva
...unless you're using nushell, in which case each command is type-checked before it is evaluated (and it won't evaluate if there are type errors).

[aeva@mastodon.gamedev.place]

@JamesWidman @lritter @rygorous that'll definitely save me from accidentally transposing the source and destination paths on various commands to exciting effect

[rygorous@mastodon.gamedev.place]

@aeva @JamesWidman @lritter see, if this was typesafe with proper constructors that could not happen:

cp(ThisIsTheSourcePath("foo"), ThisIsTheDestinationPath("bar"));

[julianh@mas.to]

@aeva @lritter I actually like GDscript's typing for the same reason. I like having static typing so I get editor hints and can make sure I don't mess something up. But I can also tell it to just not do that and it's cool with that.

As opposed to python where you can set your string to 3 and the solution is just to make sure you don't do that.

[aeva@mastodon.gamedev.place]

@julianh @lritter python has support for optional static type checking nowdays