Abstract
In this paper a new approach to teach functional programming, based on a suitable extension of a Backus' FP-like language is presented. Our approach outperforms some others also discussed in ability concise, but not superficially to cover the whole range from very theoretic issues to very pragmatic ones.
- [Bac 78] Backus, J.: "Can Programming Be Liberated From The Von Neumann Style?", CACM, Vol. 21, Aug. 1978. Google Scholar
Digital Library
- [Bac 81] Backus, J.: "The Algebra of Functional Programs: ..", Proc. Int. Colloq., Penlscola, Spain, LNCS 107. Google Scholar
Digital Library
- [Bir 88] Bird, R. and Wadler, P.: "Introduction to Functional Programming", Prentice Hall, 1988. Google Scholar
Digital Library
- [Cra 87] Crawford, A.: "Functional Programming for Freshman Computer Science Majors", Proc. 18th SIGCSE Tech. Symp. on CSE, SIGCSE Bull. Vol. 19, No. 1, Feb. 1987. Google Scholar
Digital Library
- [Fie 88] Field, A. and Harrison, P.: "Introduction to Functional Programming", Addison-Wasley, 1988.Google Scholar
- [Har 88a] Harrison, P.: "Linearisation - an Optimization for Nonlinear Functional Programs", Science of Computer Programming, 10 (1988). Google Scholar
Digital Library
- [Har 88b] Harrison, P. and Khoshnevisan, H.: "Transformation Techniques for Functional Languages", The Computer Journal, Vol. 31, 1988. Google Scholar
Digital Library
- [Hen 80] Henderson, P.: "Functional Programming: Application and Implementation", Prentice Hall, 1980. Google Scholar
Digital Library
- [Hen 82] Henderson, P.: "Purely Functional Operating Systems", in "Functional Programming and Its Application: An Advanced Course", Cambridge University Press, 1982.Google Scholar
- [Hen 89] Henderson, P. and Romero, J.: "Teaching Recursion as a Problem - Solving Tool Using Standart ML", Proc. 20th SIGCSE Tech. Symp. on CSE, SIGCSE Bull. Vol. 21, No. 1, Feb. 1989. Google Scholar
Digital Library
- [Hud 89] Hudak, P.: "Conception, Evolution, and Application of Functional Programming Languages", ACM Comput. Surveys, Vol. 21, No. 3, Sept. 1989. Google Scholar
Digital Library
- [Jon 89] Jones, S. and Sinclair, A.: "Functional Programming and Operating Systems", The Computer Journal, Vol. 32, No. 2, Feb. 1989. Google Scholar
Digital Library
- [Lam 89] Lambert, K.: "A Language-Only Course in Lisp with PC Scheme", 20th SIGCSE Tech. Symp. on CSE, SIGCSE Bull., Vol. 21, No. 1, Feb. 1989. Google Scholar
Digital Library
- [Lou 89] Louden, K.: "Logo as a Prelude to Lisp: Some Surprising Results", SIGCSE Bull. Vol. 21, No. 3, Sept. 1989. Google Scholar
Digital Library
- [Luk 89] Luker, P.: "Never Mind The Language, What About The Paradigm?", Proc. 20th SIGCSE Tech. Symp. on CSE, SIGCSE Bull., Vol. 21, No. 1, Feb. 1989. Google Scholar
Digital Library
- [Mar 87] Martin, D.: "A Minilisp Interpreter", Proc. 18th SIGCSE Tech. Symp. on CSE, SIGCSE Bull., Vol. 19, No. 1, 1987. Google Scholar
Digital Library
- [McM 87] McMillan, T.: "A Small Lisp Interpreter as a Project in a Programming Language Course", Proc. 18th SIGCSE Tech. Symp. on CSE, SIGCSE Bull. Vol. 19, No. 1, Feb. 1987. Google Scholar
Digital Library
- [Mer 90] Meredith, M.: "An effective Lisp Project for a programming Language Course", SIGCSE Bull., Vol. 22, No. 4, Dec. 1990. Google Scholar
Digital Library
- [Pey 87] Peyton-Jones, S.: "The Implementation of Functional Programming Languages", Prentice Hall, 1987.Google Scholar
- [Rad 87] Radensky, A.: "Lazy Evaluation and Nondeterminism Make Backus" FP-Systems More Practical", SIGPLAN Notices, Vol. 22, No. 4, Apr. 1987. Google Scholar
Digital Library
- [Tur 85] Turner, D.: "Miranda: A Nonstrict Functional Language with Polymorphic Types", in Proc. of Conf. on Functional Programming Languages & Computer Architectures, LNCS 201, 1985. Google Scholar
Digital Library
- [Wel 89] Wells, M. and Kurtz, B.: "Teaching Multiple Programming Paradigms", Proc. 20th SIGCSE Tech. Symp. on CSE, SIGCSE Bull. Vol. 21, No. 1, Feb. 1989. Google Scholar
Digital Library
Index Terms
Teaching some modern functional programming concepts: an approach based on an extended FP-like language
Recommendations
When is a functional program not a functional program?
ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programmingIn an impure functional language, there are programs whose behaviour is completely functional (in that they behave extensionally on inputs), but the functions they compute cannot be written in the purely functional fragment of the language. That is, the ...






Comments