• lad@programming.dev
    link
    fedilink
    English
    arrow-up
    2
    ·
    3 months ago

    Yeah, I shaped my words poorly. What I meant is that errors are sort of equivalent to exceptions, but errors are first class citizens of type system, and this is an improvement over exceptions being kind of independent of type

    • thingsiplay@beehaw.org
      link
      fedilink
      arrow-up
      2
      ·
      3 months ago

      Ah it was intentional and now I see how it was meant. It makes perfectly sense, it was just not clear before. :-) Human language and interpreter is not as precise like programming language.^^