Abstract
In this paper, we report some empirical studies of students evaluating recursive functions defined according to the rules of the functional programming language Miranda, and describe the misconceptions and processing strategies observed. We then discuss the implications of these observations as regards teaching content.
Similar content being viewed by others
References
Anderson J., Farrell R. & Sauers R. (1984). Learning to program in LISP.Cognitive Science 8: 87–129.
Anderson J. R., Pirolli P. & Farrell R. (1988). Learning to program recursive functions, in CM, Glaser, Fair, eds,The Nature of Expertise. Lawrence Erlbaum Associates.
Bhuiyan S., Greer J. & McCalla G. (1991). Characterizing, rationalizing and reifying mental models of recursion.13th Cognitive Science Conference. Chicago: Illinois, pp. 120–125.
Bird R. & Wadler P. (1988).Introduction to Functional Programming. Prentice Hall.
Booth S. (1992). The experience of learning to program. Example: Recursion.Fifth Annual Psychology of Programming Interest Group workshop. Paris: INRIA, pp. 122–145.
du Boulay B., O'Shea T. & Monk J. (1981). The black box inside the glass box: presenting computing concepts to novices.International journal of Man-Machine Studies 14: 237–249.
Fung P., Brayshaw M., du Boulay B. & Elsom-Cook M. (1990). Towards a taxonomy of novices' misconceptions of the PROLOG interpreter.Instructional Science 19: 311–336.
Green T. R. G., Bellamy R. K. E. & Parker J. (1987). Parsing-gnisrap: a model of device use, in G. Oison, S. Sheppard & E. Soloway, eds,Empirical Studies of Programmers, Vol. 2. Ablex.
Holyer I. (1991).Functional Programming with Miranda. Pitman.
Kahney H. (1989). What do novice programmers know about recursion?, in E. Soloway & J. Spohrer, eds,Studying the Novice Programmer, Lawrence Erlbaum Assoc.
Kessler C. M. & Anderson J. R. (1989). Learning flow of control: recursive and iterative procedures, in E. Soloway & J. Spohrer, eds,Studying the Novice Programmer. Lawrence Erlbaum Assoc.
Kurland D. M. & Pea R. D. (1983). Children's mental models of recursive logo programs.Proceedings of the Fifth Annual Conference of the Cognitive Science Society. Rochester N.Y.: University of Rochester.
Mayer R. (1979). A psychology of learning BASIC.Communications of the ACM 22(11): 589–593.
Pirolli P. & Anderson J. (1985). The role of learning from examples in the acquisition of recursive programming skills.Canadian Journal of Psychology 39(2): 240–272.
Pirolli P. (1986). A cognitive model and computer tutor for programming recursion.Human-Computer Interaction 2: 319–355.
Pirolli P. (1991). Effects of examples and their explanations in a lesson on recursion: a production system analysis.Cognition and Instruction 8(3): 207–259.
Scherz Z., Goldberg D. & Fund Z. (1990). Cognitive Implications of Learning PROLOG-Mistakes and Misconceptions.Journal of Educational Computing Research 6: 89–110.
Segal J. (1992). Empirical studies of functional programming learners evaluating recursive functions.Technical Report CS-92-19, Department of Mathematical and Computing Sciences, University of Surrey, Guildford GU2 5XH, England.
Segal J. & Schuman S. (1992). Empirical studies of learners of functional programming.Proceedings of the Fifth Annual PPIG workshop, France: INRIA, Dec. 1992, pp. 197–206.
Soloway E. (1985). From problems to programs via plans: The content and structure of knowledge for introductory LISP programming.Journal Educational Computing Research 1(2): 157–172.
Taylor J. (1990). Analysing novices analysing PROLOG: what stories do novices tell them-selves about PROLOG?.Instructional Science 19: 283–309.
Van Someren M. W. (1990). What's wrong? Understanding beginner's problems with PROLOG.Instructional Science 19: 257–282.
White R. (1988). Effects of Pascal knowledge on Novice PROLOG Programmers.DAI Research paper no. 399. University of Edinburgh.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Segal, J. Empirical studies of functional programming learners evaluating recursive functions. Instr Sci 22, 385–411 (1994). https://doi.org/10.1007/BF00891962
Issue Date:
DOI: https://doi.org/10.1007/BF00891962