zlacker

If Pascal doesn't have required exhaustive pattern matching, it's no better than Go or C# in this regard.

>>jen20+(OP)
Go is the one being discussed as ignoring history.

C# thankfully was designed by someone that appreciates type systems, maybe you should revisit it.

>>pjmlp+K3
Not enough to add sum types or exhaustive pattern matching... now F# - that was appreciated by someone that appreciates type systems.

>>jen20+(OP)
Does Pascal's break down like this Go does?

    func f(x StatusCode) {
    }

    f(728347) // There's no such status. Whateverz, no compile error.

>>frou_d+Rs
How often do you pass literals into your functions?

    f(728347) // There's no such status. Whateverz, no compile error.
    a := 728347
    f(a) // Compile error.

>>Mawr+EZ
The nature of Swiss cheese is that it can't be all hole and there has to be some non-hole too

>>frou_d+3Q1
Raclette is Swiss cheese without holes. That is proper ADT in this anaology.