Ad-hoc Polymorphism and Dynamic Typing in a Statically Typed Functional Language

Ad-hoc Polymorphism and Dynamic Typing in a Statically Typed Functional Language

Cached

Download Links

[www.st.cs.ru.nl]

by Thomas Noort , Peter Achten , Rinus Plasmeijer

Citations:

2 - 0 self

Versions

Version 0

Version History

Metadata Version 0

Datum	Value	Source
TITLE	Ad-hoc Polymorphism and Dynamic Typing in a Statically Typed Functional Language	SVM HeaderParse 0.2
AUTHOR NAME	Thomas Noort	SVM HeaderParse 0.2
AUTHOR AFFIL	Institute for Computing and Information Sciences, Radboud University Nijmegen	SVM HeaderParse 0.2
AUTHOR ADDR	P.O. Box 9010, 6500 GL, Nijmegen, The Netherlands	SVM HeaderParse 0.2
AUTHOR NAME	Peter Achten	SVM HeaderParse 0.2
AUTHOR AFFIL	Institute for Computing and Information Sciences, Radboud University Nijmegen	SVM HeaderParse 0.2
AUTHOR ADDR	P.O. Box 9010, 6500 GL, Nijmegen, The Netherlands	SVM HeaderParse 0.2
AUTHOR NAME	Rinus Plasmeijer	SVM HeaderParse 0.2
AUTHOR AFFIL	Institute for Computing and Information Sciences, Radboud University Nijmegen	SVM HeaderParse 0.2
AUTHOR ADDR	P.O. Box 9010, 6500 GL, Nijmegen, The Netherlands	SVM HeaderParse 0.2
ABSTRACT	Static typing in functional programming languages such as Clean, Haskell, and ML is highly beneficial: it prevents erroneous behaviour at run time and provides opportunities for optimisations. However, dynamic typing is just as important as sometimes types are not known until run time. Examples are exchanging values between applications by deserialisation from disk, input provided by a user, or obtaining values via a network connection. Ideally, a static typing system works in close harmony with an orthogonal dynamic typing system; not discriminating between statically and dynamically typed values. In contrast to Haskell’s minimal support for dynamic typing, Clean has an extensive dynamic typing; it adopted ML’s support for monomorphism and parametric polymorphism and added the notion of type dependencies. Unfortunately, ad-hoc polymorphism has been left out of the equation over the years. While both ad-hoc polymorphism and dynamic typing have been studied in-depth earlier, their interaction in a statically typed functional language has not been studied before. In this paper we explore the design space of their interactions.	SVM HeaderParse 0.2
CITATIONS	19 found	ParsCit 1.0