A visualisation of polymorphic type checking
Informations
- Type:
- article
- Auteurs:
- Yang Jung and Greg J. Michaelson
- Pertinence:
-
Faible
- Référence:
- Doi:
- Mots-clés:
- Url:
- https://www.cambridge.org/core/journals/journal-of-functional-programming/article/visualisation-of-polymorphic-type-checking/3234142DE64E7B8508F8C803012A4FFA#
- Date de publication:
- 12/1999
- Résumé:
- Abstract:
- The understanding of polymorphic typechecking and type errors is poorly supported by contemporary functional language implementations. Here, a novel visualisation of functions and their types is presented based on the generation of function specific icons with graphical type representations which change dynamically as functions are applied. This visualisation has been implemented for a Standard ML subset within a graphical environment in which function combinations are constrained by type matching.
Références
1 articles
| Titre | Type | Pertinence | Auteurs | Date Publication | Références | Citations | Actions |
|---|---|---|---|---|---|---|---|
| VisaVis: a higher-order functional visual programming language | article | Haute | Poswig, Jorg and Vrankar, Guido and Morara, Claudio | 12/1993 | 0 | 11 |
Citations
0 articles
| Titre | Type | Pertinence | Auteurs | Date Publication | Références | Citations | Actions |
|---|---|---|---|---|---|---|---|
| Pas encore d'article | |||||||
Mots-clés
0 mots-clés
| Nom | Nombre d'articles | Actions |
|---|---|---|
| Pas encore de mot-clé | ||
Auteurs
1 auteurs
| Nom | Nombre d'articles | Actions |
|---|---|---|
| Yang Jung and Greg J. Michaelson | 1 |