Teaching C after Miranda
The first year of our computer science degree begins with a subject based around the lazy functional language Miranda, and is followed by a subject using ANSI C.
We discuss the C subject, and how Miranda has been utilised within it. In particular, Miranda is used as a specification language for Abstract Data Types (ADTs), which demonstrates the utility of its high level features for developing reusable code. C versions of these ADTs are also developed, which allows a comparison of the two languages and their programming paradigms.
KeywordsInformation Hiding Functional Programming Programming Paradigm List Type Abstract Data Type
Unable to display preview. Download preview PDF.
- 1.Bird, R., Wadler, P.: Introduction to Functional Programming, (1988), Prentice Hall Int.Google Scholar
- 2.Clack, C., Myers, C., Poon, E.: Programming with Miranda, (1995), Prentice Hall Int.Google Scholar
- 3.Curmi, J., Johnston, R., Moffat, A., Naish, L., Sonenberg, L.: 433-141 Computing Fundamentals A, Notes and Exercises, (1994), Dept. of Computer Science, Univ. of Melbourne, AustraliaGoogle Scholar
- 4.Deitel, H.M., Deitel, P.J.: C: How To Program, 2nd Edition, (1994), Prentice Hall Int.Google Scholar
- 5.Holyer, I.: Functional Programming With Miranda, (1991), PitmanGoogle Scholar
- 6.Hudak, P.: Conception, Evolution, and Application of Functional Programming Languages, Computing Surveys, 21(3), September, (1989), 359–411Google Scholar
- 7.Hughes, J.: Why Functional Programming Matters, The Computer Journal, Vol. 32, No. 2, (1989), 98–107Google Scholar
- 8.Kelley, A., Pohl, I: A Book on C, 3rd Edition, (1995), Benjamin CummingsGoogle Scholar
- 9.Kernighan, B.W., Ritchie, D.M.: The C Programming Language, 2nd Edition, (1988), Prentice Hall Int.Google Scholar
- 10.Pohl, I., Edelson, D.: A To Z: C Language Shortcomings, Computer Language, Vol. 13, No. 2, (1988), 51–64.Google Scholar