1. 7

  2. 14

    So, how do we teach Haskell to kids or help adults master its’ power faster and more efficiently?

    We need to start from Type Theory, make people understand and fall in love with Types, their structure, their daily lives, their relations with each other; a student has to become fluent in writing and understanding type-level functions before she even thinks about writing “real” functions. It is actually a pretty traveled road as well — but only  if you have a reasonably strong math background.

    If your approach to teaching kids starts with “learn category theory”, it’s a bad approach.

    1. 9

      This is such a common pitfall of novice teachers.

      They think teaching should start from the foundations of the field, the same way they perceive the relationships between the content as experts.

        1. 4

          I, for one, am advocating for higher kinded types in Scratch.

        2. 4

          This comes across as extreme tunnel vision on Haskell and The One True Way. As an, admittedly not very good, educator this approach is terrifying