article

Free access

Units: cool modules for HOT languages

Authors:

Matthias FelleisenAuthors Info & Claims

ACM SIGPLAN Notices, Volume 33, Issue 5

Pages 236 - 248

https://doi.org/10.1145/277652.277730

Published: 01 May 1998 Publication History

Abstract

A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts of a program independently. A linking language gives programmers precise control over the assembly of parts into a whole. This paper presents models of program units, MzScheme's module language for assembly-line programming. Units support separate compilation, independent module reuse, cyclic dependencies, hierarchical structuring, and dynamic linking. The models explain how to integrate units with untyped and typed languages such as Scheme and ML.

References

[1]

BARNES, J. G. P. Programming in Ads 95. Addison- Wesley, 1996.

[2]

BISWAS, S. K. Higher-order functors with transparent signatures. In Proc. A CM Symposium on Principles of Programming Languages (1995), pp. 154-163.

Digital Library

[3]

CARDELLI, L. Program fragments, linking, and modularization. In Proc. A UM Symposium on Principles of Programming Languages (1997), pp. 266-277.

Digital Library

[4]

CURTIS, P., AND RAUEN, J. A module system for Scheme. In Proc. A CM Conference on Lisp and Functional Programming (1990), pp. 13-28.

Digital Library

[5]

DUGGAN, D., AND Som~gLm, C. Mixin modules. In Proc. A UM International Conference on Functional Programming (1996), pp. 262-273.

Digital Library

[6]

FELLEISEN, M., AND HIBB, R. The revised report on the syntactic theories of sequential control and state. Tech. Rep. 100, Rice University, June 1989. Theoretical Computer Science, volume 102, 1992, pp. 235-271.

Digital Library

[7]

FINDLEa, R. B., FLANAGAN, C., FLATT, M., KaisH- NAMURTHi, S., AND FELLEISEN, M. DrScheme: A pedagogic programming environment for Scheme. In Proc. international Symposium on Programming Languages: Implementations, Logics, and Programs (1997), pp. 369-388.

Digital Library

[8]

FLATT, M. PLT MzScheme: Language manual. Tech. Rep. TR97-280, Rice University, 1997.

[9]

FLATT, M., KRISHNAMURTHI, S., AND FELLEISEN, M. Classes and mixins. In Proc. A CM Symposium on Principles of Programming Languages (1998), pp. 171-183.

Digital Library

[10]

GOSLING, J., JoY, B., AND STEELE, G. The Java Language Specification. The Java Series. Addison-Wesley, Reading, MA, USA, June 1996.

Digital Library

[11]

HARBISON, S. P. Modula-3. Prentice Hall, 1991.

Digital Library

[12]

HARPER, R., AND LILLIBRrDGE, M. A type-theoretic approach to higher-order modules with sharing. In Proc. A CM Symposium on Principles of Programming Languages (1994), pp. 123-137.

Digital Library

[13]

HARPER, R., MITCHELL, j., AND MOGGI, E. Higherorder modules and the phase distinction. In Proc. A CM Symposium on Principles of Programming Languages (1990), pp. 341-354.

Digital Library

[14]

HAstEn, R., AND STONE, C. A type4heoretic semantics for Standard ML 1996. Submitted for publication, 1997.

[15]

HUDAK, P., AND WADLER, P. (EDS.). Report on the programming language Haskell. Tech. Rep. YALE/DCS/RR777, Yale University, Department of Computer Science, Aug. 1991.

[16]

JAGANNATHAN, S. Metalevel building blocks for modular systems. A CM Transactions on Programming Languages and Systems 16, 3 (May 1994), 456-492.

Digital Library

[17]

KELSE~, R. A. Fully-parameterized modules or the missing link. Tech. Rep. 97-3, NEC Research Institute, 1997.

[18]

LEE, SHINN-DER AND DANIEL P. FRIEDMAN. Quasistatic scoping: Sharing variable bindings across multiple lexical scopes. In Proc. A CM Symposium on Principles of Programming Languages (1993), pp. 479-492.

Digital Library

[19]

LEROY, X. Unboxed objects and polymorphic typing. In Proc. A CM Symposium on Principles of Programming Languages (1992), pp. 177-188.

Digital Library

[20]

LEROY, X. Manifest types, modules, and separate compilation. In Proc. A CM Symposium on Principles of Programming Languages (1994), pp. 109-122.

Digital Library

[21]

LEROY, X. Applicative functions and fully transparent higher-order modules. In Proc. A CM Symposium on Principles of Programming Languages (1995), pp. 142- 153.

Digital Library

[22]

MACQUEEN, D. Modules for Standard ML. In Proc. A CM Conference on Lisp and Functional Programming (1984), pp. 198-207.

Digital Library

[23]

MACQUEEN, D. B., AND TOFTr~, M. A semantics for higher-order functors. In European Symposium on Programming (Apr. 1994), Springer-Verlag, LNCS 788, pp. 409-423.

Digital Library

[24]

MiLNER, R., TOFTE, M., AND HARPER, R. The Definition of Standard ML. The MIT Press, Cambridge, Massachusetts and London, England, 1990.

Digital Library

[25]

RICE UNWr. RSlTY P LT. DrScheme. URL: www. cs. rico. edu/CS/PLT/packages/drscheme/.

[26]

SARASWAT, V. Java is not type-safe, Aug. 1997. URL: www. research, att. cora/~vj/bug, html.

[27]

SUNSOFT. SunOS 5.5 Linker and Libraries Manual, 1996.

[28]

TARDITI, D., MORRISETT, G., CHENG, P., STONE, C., HARPER, R., AND LEE, P. TiL: A type-directed optimizing compiler for ML. In Proc. ACM Conference on Programming Language Design and Implementation (1996), pp. 181-192.

Digital Library

[29]

TORTE, M. Principal signatures for higher-order program modules. In Proc. A CM Symposium on Principles of Programming Languages (1992), pp. 189-199.

Digital Library

[30]

WroTH, N. Programming in Modula-~. Springer-Verlag, 1983.

[31]

WRIGHT, A., AND FELLEiSEN, M. A syntactic approach to type soundness. Tech. Rep. 160, Rice University, 1991. Information and Computation, volume 115(1), 1994, pp. 38-94.

Digital Library

Cited By

Sterling JHarper R(2021)Logical Relations as Types: Proof-Relevant Parametricity for Program ModulesJournal of the ACM10.1145/347483468:6(1-47)Online publication date: 5-Oct-2021
https://dl.acm.org/doi/10.1145/3474834
Fischer JMajumdar REsmaeilsabzali S(2012)EngageACM SIGPLAN Notices10.1145/2345156.225409647:6(263-274)Online publication date: 11-Jun-2012
https://dl.acm.org/doi/10.1145/2345156.2254096
Eastlund CFelleisen M(2009)Toward a Practical Module System for ACL2Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages10.1007/978-3-540-92995-6_4(46-60)Online publication date: 10-Jan-2009
https://dl.acm.org/doi/10.1007/978-3-540-92995-6_4
Show More Cited By

Index Terms

Units: cool modules for HOT languages
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Modules / packages
      2. Language types
2. Theory of computation
  1. Semantics and reasoning
    1. Program constructs
      1. Type structures

Recommendations

Units: cool modules for HOT languages
PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation

A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts of a program independently. A linking language gives programmers precise ...
Incorporation of units into programming languages

The issues of how a programming language might aid in keeping track of physical units (feet, sec, etc.) are discussed. A method is given for the introduction of relationships among units (a watt is volts*amps, a yard is three feet) and subsequent ...
Layout-sensitive language extensibility with SugarHaskell
Haskell '12: Proceedings of the 2012 Haskell Symposium

Programmers need convenient syntax to write elegant and concise programs. Consequently, the Haskell standard provides syntactic sugar for some scenarios (e.g., do notation for monadic code), authors of Haskell compilers provide syntactic sugar for more ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

ACM SIGPLAN Notices Volume 33, Issue 5

May 1998

358 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/277652

Chairmen:
Jack W. Davidson
Univ. of Virginia
,
Keith D. Cooper
Rice Univ., Houston, TX
,
Editor:
A. Michael Berman
Rowan Univ., Glassboro, NJ

Issue’s Table of Contents

PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
May 1998
357 pages
ISBN:0897919874
DOI:10.1145/277650
Chairmen:
Jack W. Davidson
Univ. of Virginia
,
Keith D. Cooper
Rice Univ. Houston, TX
,
Editor:
A. Michael Berman
Rowan Univ. Glassboro, NJ

Copyright © 1998 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 1998

Published in SIGPLAN Volume 33, Issue 5

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

172
Total Citations
View Citations
849
Total Downloads

Downloads (Last 12 months)98
Downloads (Last 6 weeks)22

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Sterling JHarper R(2021)Logical Relations as Types: Proof-Relevant Parametricity for Program ModulesJournal of the ACM10.1145/347483468:6(1-47)Online publication date: 5-Oct-2021
https://dl.acm.org/doi/10.1145/3474834
Fischer JMajumdar REsmaeilsabzali S(2012)EngageACM SIGPLAN Notices10.1145/2345156.225409647:6(263-274)Online publication date: 11-Jun-2012
https://dl.acm.org/doi/10.1145/2345156.2254096
Eastlund CFelleisen M(2009)Toward a Practical Module System for ACL2Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages10.1007/978-3-540-92995-6_4(46-60)Online publication date: 10-Jan-2009
https://dl.acm.org/doi/10.1007/978-3-540-92995-6_4
Grothoff C(2008)The RunaboutSoftware: Practice and Experience10.1002/spe.87838:14(1531-1560)Online publication date: 22-May-2008
https://doi.org/10.1002/spe.878
Sasitorn JCartwright R(2007)Component nextgenACM SIGPLAN Notices10.1145/1297105.129703942:10(153-170)Online publication date: 21-Oct-2007
https://dl.acm.org/doi/10.1145/1297105.1297039
Sasitorn JCartwright RGabriel RBacon DLopes CSteele G(2007)Component nextgenProceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications10.1145/1297027.1297039(153-170)Online publication date: 21-Oct-2007
https://dl.acm.org/doi/10.1145/1297027.1297039
Krishnamurthi SHopkins PMccarthy JGraunke PPettyjohn GFelleisen M(2007)Implementation and use of the PLT scheme Web serverHigher-Order and Symbolic Computation10.1007/s10990-007-9008-y20:4(431-460)Online publication date: 1-Dec-2007
https://dl.acm.org/doi/10.1007/s10990-007-9008-y
Clifton CMillstein TLeavens GChambers C(2006)MultiJavaACM Transactions on Programming Languages and Systems10.1145/1133651.113365528:3(517-575)Online publication date: 1-May-2006
https://dl.acm.org/doi/10.1145/1133651.1133655
Levis PMadden SPolastre JSzewczyk RWhitehouse KWoo AGay DHill JWelsh MBrewer ECuller D(2005)TinyOS: An Operating System for Sensor NetworksAmbient Intelligence10.1007/3-540-27139-2_7(115-148)Online publication date: 2005
https://doi.org/10.1007/3-540-27139-2_7
Lawall JDuchesne HMuller GLe Meur A(2005)Bossa novaProceedings of the 4th international conference on Generative Programming and Component Engineering10.1007/11561347_7(78-93)Online publication date: 29-Sep-2005
https://dl.acm.org/doi/10.1007/11561347_7
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

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

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents