[Haskell-cafe] Teaching High-School one-semester FP (using Haskell)

Zachi Baharav zachi at baharav.org
Wed Dec 16 19:59:44 UTC 2020


Thanks everyone for the insights and suggestions!!
I will now have the 2-weeks of XMas break to come up with something.

Two notes:
1. Problem set: We might use these https://cses.fi/problemset/  . We did
many in Java. I think doing the same ones in a different form will be
educating.

2. Remote-learning: I don't want to open a whole-new can of worms, and this
is not the list for this, BUT, remote learning certainly influenced my CS
classes as well (to my surprise!).   Keep in mind I am talking high school,
where in normal-years they will have about half of our time together to
work. I would then go around, help people, see where they are, they can ask
me questions. 'Lab' kind of thing. We do not do that now (less contact time
to start with), and moreover, working-remotely for high-schoolers is
remotely-working. So I will need to consider this as well for my planning.

Thanks again, and happy holidays!
  Zachi


On Wed, Dec 16, 2020 at 7:28 AM Joachim Breitner <mail at joachim-breitner.de>
wrote:

> Hi,
>
> https://haskell-via-sokoban.nomeata.de/, which uses CodeWorld, starts
> from zero, teaches programming not libraries, and in the end lets them
> build a game might be good.
>
> It’s a bit steep in some cases (e.g. recursion), but could well form
> the basis of a course with more explanation.
>
> It was part of https://www.cis.upenn.edu/~cis194/fall16/, the other
> CIS194 iterations are also worth looking at.
>
> Cheers,
> Joachim
>
>
> --
> Joachim Breitner
>   mail at joachim-breitner.de
>   http://www.joachim-breitner.de/
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20201216/56b4620d/attachment.html>


More information about the Haskell-Cafe mailing list