Sökning: "polytypic programming"

Hittade 3 avhandlingar innehållade orden polytypic programming.

  1. 1. Functional Polytypic Programming

    Författare :Patrik Jansson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; algebraic datatypes; functional programming; programming languages; polytypic programming; generic programming;

    Sammanfattning : Many algorithms have to be implemented over and over again for different datatypes, either because datatypes change during the development of programs, or because the same algorithm is used for several datatypes. Examples of such algorithms are equality tests, pretty printers, and pattern matchers, and polytypic programming is a paradigm for expressing such algorithms. LÄS MER

  3. 2. Functional Polytypic Programming --- Use and Implementation

    Författare :Patrik Jansson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Functional programming; Algebraic datatypes; Generic programming; Polytypic programming; Programming languages;

    Sammanfattning : Many functions have to be written over and over again for different datatypes, either because datatypes change during the development of programs, or because functions with similar functionality are needed on different datatypes. Examples of such functions are pretty printers, pattern matchers, equality functions, unifiers, rewriting functions, etc. LÄS MER

  4. 3. Implementing Functional Generic Programming

    Författare :Ulf Norell; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Functional generic programming extends functional programming with the ability to parameterize functions on the structure of a datatype. This allows a programmer to implement certain algorithms once and for all, instead of re-implementing them for each datatype they apply to. LÄS MER