logoalt Hacker News

andaiyesterday at 3:56 PM4 repliesview on HN

Given an option that is configurable, why would the default setting be the one that increases probability of errors?

For some niches the answer is "because the convenience is worth it" (e.g. game jams). But I personally think the error prone option should be opt in for such cases.

Or to be blunt: correctness should not be opt-in. It should be opt-out.

I have considered such a flag for my future language, which I named #explode-randomly-at-runtime ;)


Replies

psychoslaveyesterday at 8:00 PM

But why put it as a global metaswitcher instead of having different type infered from initial assignation qualifier?

Example:

    let integer answer be 42 — this is a constant
    set integer temperature be 37.2 — this is a mutable

Or with the more esoglyphomaniac fashion

    cst ↦ 123 // a constant is just a trivial map
    st ← 29.5 // initial assignment inferring float
miroljubyesterday at 5:21 PM

> Or to be blunt: correctness should not be opt-in. It should be opt-out.

One can perfectly fine write correct programs using mutable variables. It's not a security feature, it's a design decision.

That being said, I agree with you that the author should decide if Zen-C should be either mutable or immutable by default, with special syntax for the other case. As it is now, it's confusing when reading code.

Y_Yyesterday at 5:44 PM

> I have considered such a flag for my future language, which I named #explode-randomly-at-runtime ;)

A classic strategy!

https://p-nand-q.com/programming/languages/java2k/

Dylan16807yesterday at 10:06 PM

> Given an option that is configurable, why would the default setting be the one that increases probability of errors?

They're objecting to the "given", though. They didn't comment either way on what the default should be.

Why should it be configurable? Who benefits from that? If it's to make it so people don't have to type "var mut" then replace that with something shorter!

(Also neither one is more 'correct')