Digitala Vetenskapliga Arkivet

Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Propagation of location information in constrained type inference
2003 (Engelska)Självständigt arbete på avancerad nivå (yrkesexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
Abstract [en]

The Timber type system is an extension of the classical Hindley-Milner type system, incorporating both qualified types and first class polymorphism. Since we also have subtyping, type errors in this system manifest themselves as unsatisfiable constraints rather than as non-unifiable types as in the Hindley-Milner system. In this thesis, we present a theoretical model for propagating the source of a constraint so that it can be presented to the user in case of an error. We also present examples from an implementation of our system for the Timber compiler. We propagate the location information by adding annotations to the syntax tree and then preserve that information as we build the predicates and types needed for type checking. We conclude that the approach to annotation taken here is one possible solution for the propagation of location information in constrained type inference.

Ort, förlag, år, upplaga, sidor
2003.
Nyckelord [en]
Technology, computer science, functional programming, type inference, error reporting, subtyping, qualified types, type errors, Timber
Nyckelord [sv]
Teknik
Identifikatorer
URN: urn:nbn:se:ltu:diva-50372ISRN: LTU-EX--03/323--SELokalt ID: 7a4fbd04-bfa6-4cec-b1c6-4c50c0c0a96eOAI: oai:DiVA.org:ltu-50372DiVA, id: diva2:1023731
Ämne / kurs
Examensarbete, minst 30 hp
Utbildningsprogram
Civilingenjör, Datateknik
Examinatorer
Anmärkning
Validerat; 20101217 (root)Tillgänglig från: 2016-10-04 Skapad: 2016-10-04Bibliografiskt granskad

Open Access i DiVA

fulltext(271 kB)75 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 271 kBChecksumma SHA-512
310beb56cd0d79bb6c4857530ded9bd2ec1286ebc95dd023d4ca1bd9d1c329b82803311b410760d8f35e93f6f3f1db6e509a04fb85aa728ea75b6ef7360505d4
Typ fulltextMimetyp application/pdf

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 75 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 105 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf