Cristin-resultat-ID: 1448920
Sist endret: 10. februar 2017, 03:04
NVI-rapporteringsår: 2016
Resultat
Vitenskapelig artikkel
2016

Errors as Data Values

Bidragsytere:
  • Tero Hasu og
  • Magne Haveraaen

Tidsskrift

NIKT: Norsk IKT-konferanse for forskning og utdanning
ISSN 1892-0713
e-ISSN 1892-0721
NVI-nivå 1

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2016
Publisert online: 2016
Trykket: 2016

Beskrivelse Beskrivelse

Tittel

Errors as Data Values

Sammendrag

A “thrown” exception is a non-local side effect that complicates static reasoning about code. Particularly in functional languages it is fairly common to instead propagate errors as ordinary values. The propagation is sometimes done in monadic style, and some languages include syntactic conveniences for writing expressions in that style. We discuss a guarded- algebra-inspired approach for integrating similar, implicit error propagation into a language with “normal” function application syntax. The presented failure management approach accommodates language designs with all- referentially-transparent expressions. It furthermore supports automatically checking data invariants and function pre- and post-conditions, recording a trace of any due-to-an-error unevaluateable or failed expressions, and in some cases retaining “bad” values for potential use in recovering from an error.

Bidragsytere

Tero Hasu

  • Tilknyttet:
    Forfatter
    ved Institutt for informatikk ved Universitetet i Bergen

Magne Haveraaen

  • Tilknyttet:
    Forfatter
    ved Institutt for informatikk ved Universitetet i Bergen
1 - 2 av 2