Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Dynamic Types and Type Dependent Functions

  • Conference paper
  • First Online:
Implementation of Functional Languages (IFL 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1595))

Included in the following conference series:

Abstract

When programs communicate with other programs, flexibility is demanded. Programs do not necessarily have information about each other. When assigning types to these communications a certain amount of dynamic typing is unavoidable. But we do not want our entire language to become dynamically typed, and consequently an interface between the statically and dynamically typed parts of the program has to be defined. Such an interface, using dynamics, has been introduced by Abadi et al. Leroy and Mauni extended the system of dynamics to allow the inclusion of polymorphic objects in dynamics. In this paper we extend the system even further with a restricted form of type dependent functions, which allow us to abstract over the types of the dynamics on functional level. In Clean, these type dependent functions will be implemented by overloading

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Abadi, L. Cardelli, B. Pierce, and G. Plotkin. Dynamic Typing in a Statically Typed Language. ACM Transactions on Programming Languages and Systems, 13(2):237–268, 1991.

    Article  Google Scholar 

  2. M. Abadi, L. Cardelli, B. Pierce, and D. Rémy. Dynamic Typing in Polymorphic Languages. Journal of Functional Programming, 5(1):111–130, 1995.

    Article  MATH  Google Scholar 

  3. E. Barendsen and J. Smetsers. Uniqueness Typing for Functional Languages with Graph Rewriting Semantics. Mathematical Structures in Computer Science, 6:579–612, 1996.

    MATH  MathSciNet  Google Scholar 

  4. A.J.T. Davie, K. Hammond, and J.-J. Quintela. Efficient Persistent Haskell, In Draft Proc. 10th International Workshop on the Implementation of Functional Languages (IFL’ 98), London, England, pages 183–194, 1998.

    Google Scholar 

  5. M.C.J.D. van Eekelen and M.J. Plasmeijer. Functional Programming and Parallel Graph Rewriting, Addison-Wesley, 1993.

    Google Scholar 

  6. M.J.C.D. van Eekelen and M.J. Plasmeijer. Concurrent Clean 1.0 Language Report, Computing Science Institute, University of Nijmegen, http://www.cs.kun.nl/~clean/Clean.Cleanbook.html.

  7. X. Leroy and M. Mauny. Dynamics in ML. Journal of Functional Programming, 3(4):431–463, 1993.

    Google Scholar 

  8. M. Pil. First Class File I/O. In Proc. 8th. International Workshop on the Implementation of Functional Languages (IFL’ 96), Bad Godesberg, Germany, September 1996, volume 1268 of LNCS, pages 233–246. Springer-Verlag, 1997.

    Google Scholar 

  9. J. Robinson. A Machine-Oriented Logic Based on the Resolution Principle. Journal of the Association For Computing Machinery 12:23–41, 1965.

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computing Science Institute, University of Nijmegen, Postbus 9010, 6500, GL Nijmegen, The Netherlands

    Marco Pil

Authors
  1. Marco Pil
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Division of Computer Science, University of St Andrews, North Haugh, St Andrews, KY16 9SS, UK

    Kevin Hammond  & Tony Davie  & 

  2. Department of Computer Science, University College London, Gower Street, London, WC1E 6BT, UK

    Chris Clack

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pil, M. (1999). Dynamic Types and Type Dependent Functions. In: Hammond, K., Davie, T., Clack, C. (eds) Implementation of Functional Languages. IFL 1998. Lecture Notes in Computer Science, vol 1595. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48515-5_11

Download citation

  • DOI: https://doi.org/10.1007/3-540-48515-5_11

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66229-7

  • Online ISBN: 978-3-540-48515-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation