• lad@programming.dev
    link
    fedilink
    English
    arrow-up
    2
    ·
    6 days 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
      ·
      6 days 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.^^