The hierarchical development of a generic type mechanism for functional languages

Bailes P.A. (1990) The hierarchical development of a generic type mechanism for functional languages. Computer Languages, 15 1: 1-26. doi:10.1016/0096-0551(90)90016-I


Author Bailes P.A.
Title The hierarchical development of a generic type mechanism for functional languages
Journal name Computer Languages   Check publisher's open access policy
ISSN 0096-0551
Publication date 1990-01-01
Sub-type Article (original research)
DOI 10.1016/0096-0551(90)90016-I
Open Access Status Not yet assessed
Volume 15
Issue 1
Start page 1
End page 26
Total pages 26
Subject 1700 Computer Science
Abstract Adoption of a scientific approach to language design, featuring the identification of language design with programming, leads to the advocacy of an explicitly hierarchical approach to language development. Choice of the lambda-calculus as basis of the linguistic hierarchy is determined when "elegance" is the predominant criterion for assessing the quality of designs. The consequence is that the hierarchy is primarily comprised of a family of untyped functional languages. We embark upon the hierarchical development of a quality data type system for such languages, including a powerful mechanism for generic data abstraction, in five stages. We show that the expressiveness of the system, in comparison with the widespread "polymorphic" typing approach, is well worth the price of the necessarily dynamic checking for type conformance.
Keyword Applicative (functional) programming
Cr categories: D1.1 D2.2 D3.2
Extensible languages
Software tools and techniques
Q-Index Code C1
Institutional Status Unknown

Document type: Journal Article
Sub-type: Article (original research)
Collection: Scopus Import - Archived
 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in Thomson Reuters Web of Science Article
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Tue, 06 Sep 2016, 10:27:18 EST by System User