Linear type



1. An attribute of values which are used exactly once: they are neither duplicated nor destroyed. Such values require no garbage collection, and can safely be updated in place, even if they form part of a data structure.
Linear types are related to the linear logic of J.-Y Girard. They extend Schmidt’s notion of single threading, provide an alternative to Hudak and Bloss’ update analysis, and offer a practical complement to Lafont and Holmström’s elegant linear languages.
[‘Use-Once’ Variables and Linear Objects – Storage Management, Reflection and Multi-Threading, Henry Baker. (ftp://ftp.netcom.com/pub/hb/hbaker/Use1Var.html)].
[“Linear types can change the world!”, Philip Wadler, “Programming Concepts and Methods”, April 1990, eds. M. Broy, C. Jones, pub. North-Holland, IFIP TC2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel].
(1995-03-03)

Tagged:

Read Also:

  • Lineate

    [lin-ee-it, -eyt] /ˈlɪn i ɪt, -ˌeɪt/ adjective 1. marked with lines, especially parallel lengthwise lines; striped. /ˈlɪnɪɪt; -ˌeɪt/ adjective 1. marked with lines; streaked v. 1550s, from Latin lineatus, past participle of lineare (see lineament). Related: Lineated; lineating. adj. 1640s, from Latin lineatus, past participle of lineare (see lineament).

  • Lineated

    [lin-ee-it, -eyt] /ˈlɪn i ɪt, -ˌeɪt/ adjective 1. marked with lines, especially parallel lengthwise lines; striped. /ˈlɪnɪɪt; -ˌeɪt/ adjective 1. marked with lines; streaked v. 1550s, from Latin lineatus, past participle of lineare (see lineament). Related: Lineated; lineating. adj. 1640s, from Latin lineatus, past participle of lineare (see lineament).



  • Lineation

    [lin-ee-ey-shuh n] /ˌlɪn iˈeɪ ʃən/ noun 1. an act or instance of marking with or tracing by . 2. a division into . 3. an outline or delineation. 4. an arrangement or group of . /ˌlɪnɪˈeɪʃən/ noun 1. the act of marking with lines 2. an arrangement of or division into lines 3. an outline […]

  • Linebacker

    [lahyn-bak-er] /ˈlaɪnˌbæk ər/ noun, Football. 1. a player on defense who takes a position close behind the linemen. 2. the position played by this player. /ˈlaɪnˌbækə/ noun 1. a defensive player in American or Canadian football who is positioned just behind the line of scrimmage



Disclaimer: Linear type definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.