4 ms·
I can vouch for the mystery language assignments at least -- we worked through several at this year's Racket summer school (https://summer-school.racket-lang.or
by Twisol 9y ago
I can vouch for the mystery language assignments at least -- we worked through several at this year's Racket summer school (https://summer-school.racket-lang.org/2017/ https://summer-school.racket-lang.org/2017/), and they were interesting and very engaging. (Hi Justin!)
- totalperspectiv 9y agoThis course looks awesome! Do you (or those scrolling by) know of any other courses like this? By this I mean short but focused burst of learning done in person.
- Twisol 9y agoYes, there seem to be a number of summer schools every year on a variety of topics, although the ones I'm familiar with are based more in academia than in industry. I think they tend to get announced on the Types mailing list (https://lists.seas.upenn.edu/mailman/listinfo/types-announce https://lists.seas.upenn.edu/mailman/listinfo/types-announce). Here are a few that I'm aware of: * Racket summer school: https://summer-school.racket-lang.org/2017/ https://summer-school.racket-lang.org/2017/ * Oregon Programming Languages Summer School: https://www.cs.uoregon.edu/research/summerschool/summer17/ https://www.cs.uoregon.edu/research/summerschool/summer17/ * DeepSpec summer school: https://deepspec.org/event/dsss17/ https://deepspec.org/event/dsss17/