Published: 18th June 2019
DOI: 10.4204/EPTCS.295
ISSN: 2075-2180

EPTCS 295

Proceedings Seventh International Workshop on
Trends in Functional Programming in Education
Chalmers University, Gothenburg, Sweden, 14th June 2018

Edited by: Peter Achten and Heather Miller

Preface
Peter Achten and Heather Miller
FSM Error Messages
Marco T. Morazán and Josephine A. Des Rosiers
1
Stepping OCaml
Tsukino Furukawa, Youyou Cong and Kenichi Asai
17
Vector Programming Using Generative Recursion
Marco T. Morazán
35
Investigating Compilation Errors of Students Learning Haskell
Boldizsár Németh, Eunjong Choi, Erina Makihara and Hajimu Iida
52
Introducing Certified Compilation in Education by a Functional Language Approach
Per Lindgren, Marcus Lindner and Nils Fitinghoff
65
Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics
Patrik Jansson, Sólrún Halla Einarsdóttir and Cezar Ionescu
79

Preface

The Seventh International Workshop on Trends in Functional Programming in Education, TFPIE 2018, was held on the 14th of June 2018 at Chalmers University in Gothenburg, Sweden, and co-located with TFP, the Symposium on Trends in Functional Programming.

Goal

The goal of TFPIE is to gather researchers, professors, teachers, and all professionals interested in functional programming in education. This includes the teaching of functional programming, but also the application of functional programming as a tool for teaching other topics, e.g. computational concepts, complexity, logic and reasoning, and even disciplines, e.g. philosophy or music. TFPIE is the heir of previous events, like Functional and Declarative Programming in Education (FDPE), to which it owes a great deal and from which it has borrowed experience and ideas.

Keynote

We were delighted to welcome Julien Tournay, Data Engineer at Spotify, Stockholm, Sweden to give a keynote about the role of functional programming and Scala in particular at Spotify.

Submissions

TFPIE 2018 received nine submissions and had 36 participants. All submissions were found to be sound and in scope by the PC Chair and invited to give a presentation. The post-workshop review process received seven submissions, which were reviewed by the program committee, assuming scientific journal standards of publication. The six articles in this volume were selected for publication as the result of this process.

Programme

Besides the keynote talk by Julien Tournay, the programme featured a wide variety of subjects:

Table of contents

  1. FSM Error Messages. Marco T. Morazán, Josephine A. Des Rosiers.
  2. Stepping OCaml. Tsukino Furukawa, Youyou Cong and Kenichi Asai.
  3. Vector Programming Using Generative Recursion. Marco T. Morazán.
  4. Investigating Compilation Errors of Students learning Haskell. Boldizsár Németh, Eunjong Choi, Erina Makihara and Hajimu Iida.
  5. Introducing Certified Compilation in Education by a Functional Language Approach. Per Lindgren, Marcus Lindner and Nils Fitinghoff.
  6. Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics. Patrik Jansson, Sólrún Halla Einarsdóttir and Cezar Ionescu.

Concluding remarks

TFPIE 2018 enjoyed an inspiring atmosphere, which was greatly enhanced by the great organization of the TFP 2018 chairs, Michał Pałka and Magnus Myreen, and the abundance of Swedish sweets during the coffee breaks. Finally, we would like to thank the members of the programme committee who worked very hard with the authors of the papers presented here to help to give their work the best possible presentation. We hope that you enjoy reading the results!