Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Linear Haskell: practical linearity in a higher-order polymorphic language

Artikel i vetenskaplig tidskrift
Författare Jean-Philippe Bernardy
Mathieu Boespflug
Ryan Newton
Simon Peyton Jones
Arnaud Spiwack
Publicerad i Proceedings of the ACM on Programming Languages
Volym 2
Nummer/häfte POPL
Publiceringsår 2018
Publicerad vid Institutionen för filosofi, lingvistik och vetenskapsteori
Språk en
Länkar https://arxiv.org/pdf/1710.09756
Ämnesord GHC, Haskell, laziness, linear logic, linear types, polymorphism, typestate
Ämneskategorier Datalogi

Sammanfattning

Linear type systems have a long and storied history, but not a clear path forward to integrate with existing languages such as OCaml or Haskell. In this paper, we study a linear type system designed with two crucial properties in mind: backwards-compatibility and code reuse across linear and non-linear users of a library. Only then can the benefits of linear types permeate conventional functional programming. Rather than bifurcate types into linear and non-linear counterparts, we instead attach linearity to function arrows. Linear functions can receive inputs from linearly-bound values, but can also operate over unrestricted, regular values. To demonstrate the efficacy of our linear type system — both how easy it can be integrated in an existing language implementation and how streamlined it makes it to write programs with linear types — we implemented our type system in ghc, the leading Haskell compiler, and demonstrate two kinds of applications of linear types: mutable data with pure interfaces; and enforcing protocols in I/O-performing functions.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?