Teaching types with a cognitively effective worked example format

1Citations
Citations of this article
10Readers
Mendeley users who have this article in their library.

Abstract

Teaching functional programming as a second programming paradigm is often difficult as students can have strong preconceptions about programming. When most of these preconceived ideas fail to be confirmed, functional programming may be seen as an unnecessarily difficult topic. A typical topic that causes such difficulties is the language of types employed by many modern functional languages. In this paper, we focus on addressing this difficulty through the use of step-by-step calculations of type expressions. The outcome of the study is an elaboration of a worked example format and a methodical approach for teaching types to beginner functional programmers.

Cite

CITATION STYLE

APA

Tirronen, V., & Isomöttönen, V. (2015). Teaching types with a cognitively effective worked example format. Journal of Functional Programming, 25. https://doi.org/10.1017/S0956796814000021

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free