The 8th International Workshop on Trends in Functional Programming in Education, TFPIE 2018, will be held on June 14, 2018 at Chalmers University in Sweden. It is co-located with the Symposium on Trends in Functional Programming (TFP 2018) which takes place from June 11 - 13.
For further information, please navigate to http://www.ccs.neu.edu/home/heather/tfpie2018/.
9-10: Keynote Functional Programming @Spotify Julien Tournay, Spotify When it comes to data-engineering, functional programming and Scala are natural choices at Spotify. The "flatmap" squad develops among other things Scio, an open-source functional Scala library that we use to write all of our data-pipelines. In this talk we'll give insights on the challenges of training experienced professionals with profiles ranging from data scientists to backend engineers to write production ready functional Scala code. We'll show how we support Spotifiers on a daily basis, and how we leverage power-users to build an internal community where people can share knowledge and help each other. 10-10:30: Investigating compilation errors of students learning Haskell Boldizsár Németh, Eunjong Choi, Erina Makihara and Hajimu Iida 10:30-11: COFFEE BREAK 11-11:30: Embedded Programming adopting Functional Constructs in Rust Per Lindgren, Marcus Lindner and Jorge Aparicio 11:30-12: Vector Programming Using Generative Recursion Marco T. Morazan 12-12:30: LUNCH 13:30-14: FSM Error Messages Marco T. Morazan and Josephine Des Rosiers 14-14:30: Induction via Recursion: A Proofs-as-Programs Approach to Math Education Youyou Cong and Akiko Mito 14:30-15: COFFEE BREAK 15-15:30: 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 15:30-16: Stepping OCaml Tsukino Furukawa, Youyou Cong and Kenichi Asai 16-16:30: Introducing Certified Compilation in Education by a Functional Language Approach Per Lindgren and Marcus Lindner 16:30-17: Inclusive Programming with Truly Visual Polymorphic Algebraic Data Structures through Maramafication Chide Groenouwe