Examples and Results from a BSc-level course on domain specific languages of mathematics
Paper i proceeding, 2019

At the workshop on Trends in Functional Programming in Education (TFPIE) in 2015 Ionescu and Jansson presented the approach underlying the “Domain Specific Languages of Mathematics” (DSLsofMath) course even before the first course instance. We were then encouraged to come back to present our experience and the student results. Now, three years later, we have seen three groups of learners attend the course, and the first two groups have also continued on to take challenging courses in the subsequent year. In this paper we present three examples from the course material to set the scene, and we present an evaluation of the student results showing improvements in the pass rates and grades in later courses.

Haskell

Correctness

Formalisation

Types

Semantics

Scope

Didactics

Syntax

Computer science education

Functional programming

Calculus

Författare

Patrik Jansson

Chalmers, Data- och informationsteknik

Sólrún Einarsdóttir

Chalmers, Data- och informationsteknik, Funktionell programmering

Cezar Ionescu

University of Oxford

Electronic Proceedings in Theoretical Computer Science, EPTCS

20752180 (ISSN)

Vol. 295 79-90

7th International Workshop on Trends in Functional Programming in Education, TFPIE 2018
Gothenburg, Sweden,

Ämneskategorier

Didaktik

Lärande

Pedagogiskt arbete

DOI

10.4204/EPTCS.295.6

Mer information

Senast uppdaterat

2019-11-18