Teaching Generic Programming
نویسندگان
چکیده
In this paper we explain how we teach generic programming to master students in computer science. Key concepts to transfer are the relation between plain types and their generic representation, kinds, and the function parameters corresponding to arrow kinds. We teach this successfully in three steps, we start with simple solutions, show why they fail and how a more sophisticated variant solves the problem. In this way the students understand why the generic system works as incorporated in Clean.
منابع مشابه
Mathematical Programming Models for Solving Unequal-Sized Facilities Layout Problems - a Generic Search Method
This paper present unequal-sized facilities layout solutions generated by a genetic search program named LADEGA (Layout Design using a Genetic Algorithm). The generalized quadratic assignment problem requiring pre-determined distance and material flow matrices as the input data and the continuous plane model employing a dynamic distance measure and a material flow matrix are discussed. Computa...
متن کاملExamining the Generic Features of Thesis Acknowledgments: A Case of Iranian MA Graduate Students Majoring in Teaching to Speakers of Other Languages (AZFA) and TEFL
Thesis acknowledgement is a written genre in which MA graduate students offer their gratitude to individuals, who have contributed to the completion of their study. The aim of the current study was to examine the thesis acknowledgements written by Iranian MA students in the field of Persian Language Teaching to Non-Persian Speakers (Amouzeshe Zaban e Farsi be Kharejian, AZFA) and TEFL in terms ...
متن کاملLanguage Trends in Introductory Programming Courses
Deciding what to teach novice programmers about programming and, in particular, which programming language to teach to novice programmers, and how to teach it, is a common topic for debate within universities. Should an industry relevant programming language be taught, or should a language designed for teaching novices be used? In order to design tools and methodologies for the teaching of novi...
متن کاملGSOFT: A Generic Model for Teaching and Learning Large-scale Software Programs
Learning software engineering in practical laboratory based on present curriculum is under the clutches of hard practices and not well defined. The effort and time taken for planning, designing and coding, have a few issues in student's learning aspect. Same is the case for evaluating the student's program. With the effect, both the teacher and students have leaned towards lightweight...
متن کاملGSOFT: A Generic Model for Teaching and Learning Large-scale Software Programs
Learning software engineering in practical laboratory based on present curriculum is under the clutches of hard practices and not well defined. The effort and time taken for planning, designing and coding, have a few issues in student's learning aspect. Same is the case for evaluating the student's program. With the effect, both the teacher and students have leaned towards lightweight...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012