Skip to main content
SpringerLink
Log in

Requirements for an ideal first language

  • Conference paper
  • First Online:
Funtional Programming Languages in Education (FPLE 1995)

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

  • 165 Accesses

Abstract

Five years ago, we have introduced functional languages in the introductory computer science course at our University. This experience taught us there is still room for improvement in support languages for beginners. This is summarized in the form of six requirements for languages in such a context: conceptual neatness, consistency with common usage, language extensibility, tools for probing and profiling, enforcement of good habits, and observability of mechanisms. Our experience, observations, and requirements are discussed and justified.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H. Abelson and G. Sussman. Structure and Interpretation of Computer Programs. MacGraw Hill, 1985.

    Google Scholar 

  2. Th. Accart-Hardin and V. Donzeau-Gouge Viguié. Concepts et outils de programmation. InterÉdition, Paris, 1992.

    Google Scholar 

  3. N. Baxter, E. Dubinsky, and G. Levin. Learning Discrete Mathematics with ISETL. Springer-Verlag, New York, 1989.

    Google Scholar 

  4. G. Cousineau and G. Huet. The Caml primer. Technical Report 122, INRIA, Roquencourt-France, 1990.

    Google Scholar 

  5. E.W. Dijsktra and C.S. Scholten. Predicate Calculus and Program Semantics. Springer-Verlag, New York, 1990.

    Google Scholar 

  6. A. Ducrin. Programmation. Dunod, Paris, 1984.

    Google Scholar 

  7. D. Norman. Things that Make us Smart. Addison-Wesley, 1993.

    Google Scholar 

  8. S. Papert. Jaillissement de l'esprit. Flammarion, translation from Mindstorm, Children, and Powerful Ideas Basic Books Inc., New-York edition, 1981.

    Google Scholar 

  9. L. Paulson. ML for the Working Programmer. Cambridge University Press, 1991.

    Google Scholar 

  10. H. Poincaré. La Science et l'hypothèse. Collection Champs. Flammarion, Paris, paper-back (reprint) edition, 1902.

    Google Scholar 

  11. J.T. Schwartz, R.B.K. Dewar, E. Dubinsky, and E. Schonberg. Programming with Sets: An Introduction to SETL. Springer-Verlag, New-York, 1986.

    Google Scholar 

  12. P. Weiss and X. Leroy. Le langage Caml. InterÉdition, Paris, 1993.

    Google Scholar 

  13. H. Wertz. Intelligence artificielle, application à l'analyse des programmes. Masson, Paris, 1985.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Université Henri Poincaré-Nancy 1 CNRS-CRIN-INRIA-Lorraine, B.P. 239, 54506, Vandœuvre-lès-Nancy Cedex, France

    J. -P. Jacquot & J. Guyard

Authors
  1. J. -P. Jacquot
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. Guyard
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Pieter H. Hartel Rinus Plasmeijer

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jacquot, J.P., Guyard, J. (1995). Requirements for an ideal first language. In: Hartel, P.H., Plasmeijer, R. (eds) Funtional Programming Languages in Education. FPLE 1995. Lecture Notes in Computer Science, vol 1022. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60675-0_38

Download citation

  • DOI: https://doi.org/10.1007/3-540-60675-0_38

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60675-8

  • Online ISBN: 978-3-540-49252-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation