Geodesic
Polytypic Functions Over Nested Datatypes
Discrete mathematics & theoretical computer science, Tome 3 (1998-1999) no. 4.

Voir la notice de l'article provenant de la source Episciences

The theory and practice of polytypic programming is intimately connected with the initial algebra semantics of datatypes. This is both a blessing and a curse. It is a blessing because the underlying theory is beautiful and well developed. It is a curse because the initial algebra semantics is restricted to so-called regular datatypes. Recent work by R. Bird and L. Meertens [3] on the semantics of non-regular or nested datatypes suggests that an extension to general datatypes is not entirely straightforward. Here we propose an alternative that extends polytypism to arbitrary datatypes, including nested datatypes and mutually recursive datatypes. The central idea is to use rational trees over a suitable set of functor symbols as type arguments for polytypic functions. Besides covering a wider range of types the approach is also simpler and technically less involving than previous ones. We present several examples of polytypic functions, among others polytypic reduction and polytypic equality. The presentation assumes some background in functional and in polytypic programming. A basic knowledge of monads is required for some of the examples. 
@article{DMTCS_1999_3_4_a6,
     author = {Hinze, Ralf},
     title = {Polytypic {Functions} {Over} {Nested} {Datatypes}},
     journal = {Discrete mathematics & theoretical computer science},
     publisher = {mathdoc},
     volume = {3},
     number = {4},
     year = {1998-1999},
     doi = {10.46298/dmtcs.266},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.266/}
}
TY  - JOUR
AU  - Hinze, Ralf
TI  - Polytypic Functions Over Nested Datatypes
JO  - Discrete mathematics & theoretical computer science
PY  - 1998-1999
VL  - 3
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.266/
DO  - 10.46298/dmtcs.266
LA  - en
ID  - DMTCS_1999_3_4_a6
ER  - 
%0 Journal Article
%A Hinze, Ralf
%T Polytypic Functions Over Nested Datatypes
%J Discrete mathematics & theoretical computer science
%D 1998-1999
%V 3
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.266/
%R 10.46298/dmtcs.266
%G en
%F DMTCS_1999_3_4_a6
Hinze, Ralf. Polytypic Functions Over Nested Datatypes. Discrete mathematics & theoretical computer science, Tome 3 (1998-1999) no. 4. doi : 10.46298/dmtcs.266. http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.266/

Cité par Sources :