Target audience: Practitioners interested in programming language design and familiar with representations of errors in at least a few different languages such as error codes, checked/unchecked exceptions, tagged unions, polymorphic variants etc.

Estimated reading time: 60 to 90 mins.

  • Kissaki
    link
    fedilink
    English
    arrow-up
    1
    ·
    11 hours ago

    Quoting the conclusion:

    The fundamental nature of errors is that they are often multi-faceted, and complex to reason about by virtue of being multi-faceted. The wide variety of socio-technical contexts that software is created, delivered and used in add further complexity.


    The linked The Error Model article is very exhaustive and good.

    They end with more concrete experience/findings/conclusions - given the context of a more concrete project and scope and goals.

  • solrize@lemmy.ml
    link
    fedilink
    arrow-up
    1
    ·
    16 hours ago

    This looks interesting. I had been wondering what if anything the PL experts were saying about the lack of exceptions in Rust.