Hostname: page-component-77f85d65b8-5ngxj Total loading time: 0 Render date: 2026-03-29T13:26:17.545Z Has data issue: false hasContentIssue false
  • English
  • Français

Using Miranda as a first programming language

Published online by Cambridge University Press:  07 November 2008

Tim Lambert ,
Peter Lindsay  and
Ken Robinson
Tim Lambert
Affiliation:
School of Computer Science and Engineering, University of New South Wales, P.O. Box 1, Kensington NSW 2033, Australia (e-mail: lambert@cs.unsw.oz.au)
Peter Lindsay
Affiliation:
Department of Computer Science, University of Queensland, Queensland 4072, Australia (e-mail: pal@cs.uq.oz.au)
Ken Robinson
Affiliation:
School of Computer Science and Engineering, University of New South Wales, P.O. Box 1, Kensington NSW 2033, Australia (e-mail: kenr@cs.unsw.oz.au)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

The functional programming language Miranda has been used as a first programming language at the University of NSW since the beginning of 1989, when a new computer engineering course and a revised computer science course were introduced. This paper explains the reasons for choosing the language, and describes the subject in which Miranda is introduced. Examples of the presentation of the material, and of exercises and assignment used in the course, are given. Finally, an assessment of the experience is given.

Information

Type
Research Article
Information
Journal of Functional Programming , Volume 3 , Issue 1 , January 1993 , pp. 5 - 34
Copyright
Copyright © Cambridge University Press 1993

References

Bird, R. and Wadler, P. 1988. Introduction to functional programming. Prentice-Hall.Google Scholar
Carrington, D. A., Robinson, K. A. and Whale, G. 1984. Give: A system for collecting and testing student assignments. In Proc. 7th Australian Computer Science Conf.Google Scholar
Elenbogen, B. S. and O'Kennon, M. R. 1988. Teaching recursion using fractals. In Prolog. SIGCSE Bulletin, 20 (1): 263–266, 02.CrossRefGoogle Scholar
ISO. 1985. Information processing systems - computer graphics - graphical kernel system (GKS) functional description. ISO 7942.Google Scholar
Lambert, T. 1990. 6.711 Computing 1A Programming Strand: Lecture Notes. Department of Computer Science, University of New South Wales.Google Scholar
Liss, I. B. and McMillan, T. C. 1987. Fractals with turtle graphics: A CS2 programming exercise for introducing recursion. SIGCSE Bulletin, 19 (1): 141–146, 02.CrossRefGoogle Scholar
Olszewski, J. 1992. Communicating Processes in Pure Functional Language. In Australian Computer Science Communications, 14 (1): 615–630.Google Scholar
Papert, S. 1980. Mindstorms: Children, Computers and Powerful Ideas. Harvester.Google Scholar
Piotrowski, J. A. 1989. Abstract machines in Miranda. SIGCSE Bulletin, 21 (3), 09CrossRefGoogle Scholar
Whale, G. 1991. Paperless assignment marking. In Proc. 14th Australian Computer Science Conf.Google Scholar
Submit a response

Discussions

No Discussions have been published for this article.