National Curriculum Goes Functional

Over the past decade, many countries around the world have introduced programming into their national curriculum. It sparked the search for effective teaching practices and practical education technologies.

Since 2017 we have conducted many lessons for students aged 10-12. In our scenarios we tried various programming languages like Scratch, Python, Ruby, Pyret and Elixir. In this talk we will review lessons learned (pun intended). We will consider whether the functional paradigm is well suited to the implementation of the national curriculum. We will also argue that Elixir with its ecosystem is great for the school classroom.

Transcript

2. NATIONAL CURRICULUM GOES FUNCTIONAL Michał Ślaski | koderki.pl
3. ✋ CAN CODE ? ✋ RAISING A CHILD ? ✋ TRIED TEACHING ?
4. 2014 England computing teaching is compulsory from the age of 5
5. 2017 Poland computing teaching is compulsory from the age of 7
6. Girls 50% | 50% Boys Mathematics in English schools in summer 2020
7. Girls 20% | 80% Boys Computing in English schools in summer 2020
9. Effective pedagogy needs to consider age and how human brain develops
10. Computational Thinking Algorithmic thinking, Abstraction, Decomposition, Evaluation, Logic, Generalising
11. CS Unplugged University of Canterbury, New Zealand Age 6-9 years
12. Binary Numbers
14. Sorting Networks
16. teaching abstractions by making
18. fractal tree recursion, iteration
23. ink editing, compiling, error messages, conditional statement, github
25. Bootstrap Brown University, USA Age 10-18 years
26. Functional Programming teaching Algebra, Data Science, Physics
27. Mathematics numbers, algebra, sets, functions, geometry, probability, logic
28. Map of Maths where to find maths in programming
33. FP concepts how they map to maths concepts
35. Elixir + Livebook math concepts explained and illustrated
37. Outdoor game Riddles described in Livebooks
40. Deploying Livebook Apps Dockerfile + Google Cloud Run
41. NATIONAL CURRICULUM GOES FUNCTIONAL Michał Ślaski | koderki.pl