← Back to context

Comment by jen20

20 hours ago

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

5 comments

jen20

Reply
pjmlp  20 hours ago

Go is the one being discussed as ignoring history.

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

  • jen20  20 hours ago

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

frou_dh  18 hours ago

Does Pascal's break down like this Go does?

    func f(x StatusCode) {
    }

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

  • Mawr  15 hours ago

    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.

    • frou_dh  6 hours ago

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