article

Free access

A note on types and prototypes

Author:

R. Michael WhartonAuthors Info & Claims

ACM SIGPLAN Notices, Volume 18, Issue 12

Pages 122 - 126

https://doi.org/10.1145/988193.988207

Published: 01 December 1983 Publication History

PDF eReader

Abstract

The notion of "type" in programming languages is considered and the competing notion of "prototype" is introduced. It is shown that a language with prototypes has the same computational power as an analogous language with types, but is conceptually simpler and has fewer rules. Finally, it is shown that a program written in a language with prototypes has a smaller name space than the corresponding program written in a language with types.

References

[1]

Oxford English Dictionary XI, p. 556. Oxford University Press, Oxford, 1933.

Google Scholar

[2]

Ibid. VIII, p. 1512.

Google Scholar

[3]

Jensen, Kathleen and Wirth, Niklaus. Pascal User Manual and Report, Second Edition. Springer-Verlag, New York, 1975.

Digital Library

Google Scholar

[4]

Addyman. A. M. "A draft proposal for PASCAL", ACM SIGPLAN Notices 15, No. 4 (April 1980), pp. 1--66.

Digital Library

Google Scholar

[5]

Vax-ll Pascal Language Reference Manual. Digital Equipment Corporation, Maynard, Massachusetts, November 1979.

Google Scholar

[6]

Military Standard Ada Programming Language. United States Department of Defense, January 1983.

Google Scholar

Cited By

View all

Considine JByers JMeyer-Patel K(2004)A constraint satisfaction approach to testbed embedding servicesACM SIGCOMM Computer Communication Review10.1145/972374.97239834:1(137-142)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.1145/972374.972398
Snoeren ARaghavan B(2004)Decoupling policy from mechanism in Internet routingACM SIGCOMM Computer Communication Review10.1145/972374.97238934:1(81-86)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.1145/972374.972389
Choudhury RVaidya N(2004)MAC-layer anycasting in ad hoc networksACM SIGCOMM Computer Communication Review10.1145/972374.97238834:1(75-80)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.1145/972374.972388
Show More Cited By

A note on types and prototypes
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages

Recommendations

Depending on types
ICFP '14: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming

Is Haskell a dependently typed programming language? Should it be? GHC's many type-system features, such as Generalized Algebraic Datatypes (GADTs), datatype promotion, multiparameter type classes, and type families, give programmers the ability to ...
Qualified types for MLF
ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming

MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a local type annotation is required. Qualified types are a general concept that ...
Depending on types
ICFP '14

Is Haskell a dependently typed programming language? Should it be? GHC's many type-system features, such as Generalized Algebraic Datatypes (GADTs), datatype promotion, multiparameter type classes, and type families, give programmers the ability to ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 18, Issue 12

December 1983

110 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/988193

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 December 1983

Published in SIGPLAN Volume 18, Issue 12

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

20
Total Citations
View Citations
198
Total Downloads

Downloads (Last 12 months)11
Downloads (Last 6 weeks)1

Reflects downloads up to 03 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Considine JByers JMeyer-Patel K(2004)A constraint satisfaction approach to testbed embedding servicesACM SIGCOMM Computer Communication Review10.1145/972374.97239834:1(137-142)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.1145/972374.972398
Snoeren ARaghavan B(2004)Decoupling policy from mechanism in Internet routingACM SIGCOMM Computer Communication Review10.1145/972374.97238934:1(81-86)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.1145/972374.972389
Choudhury RVaidya N(2004)MAC-layer anycasting in ad hoc networksACM SIGCOMM Computer Communication Review10.1145/972374.97238834:1(75-80)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.1145/972374.972388
Biswas SMorris R(2004)Opportunistic routing in multi-hop wireless networksACM SIGCOMM Computer Communication Review10.1145/972374.97238734:1(69-74)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.1145/972374.972387
Wawrzoniak MPeterson LRoscoe T(2004)SophiaACM SIGCOMM Computer Communication Review10.1145/972374.97237834:1(15-20)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.1145/972374.972378
Varghese GEstan C(2004)The measurement manifestoACM SIGCOMM Computer Communication Review10.1145/972374.97237734:1(9-14)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.1145/972374.972377
Spring NWetherall DAnderson T(2004)Reverse engineering the InternetACM SIGCOMM Computer Communication Review10.1145/972374.97237634:1(3-8)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.1145/972374.972376
Hofmann T(2004)Latent semantic models for collaborative filteringACM Transactions on Information Systems10.1145/963770.96377422:1(89-115)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.1145/963770.963774
Middleton SShadbolt NDe Roure D(2004)Ontological user profiling in recommender systemsACM Transactions on Information Systems10.1145/963770.96377322:1(54-88)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.1145/963770.963773
Herlocker JKonstan JTerveen LRiedl J(2004)Evaluating collaborative filtering recommender systemsACM Transactions on Information Systems10.1145/963770.96377222:1(5-53)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.1145/963770.963772
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Recommendations

Depending on types

Qualified types for MLF

Depending on types

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations