Comment speaking as a CS interested high schooler (Score 1) 842
I think that you should cover all the cool things that are beyond the ability of a high schooler to really grok at a fundamental level.
why Administrative normal form is preferable to continuation passing style in modern compilers,
what the curry-howard isomorphism really means,
what exactly monads are (and what those monadic interpreters accomplish),
and also cool stuff like how to write a parser generator and an optimizing backend for a pure language which uses graph reduction as its evaluation mechanism.
Granted this is all a tad ambitious for most high schoolers, but I'm not normal. (now time to get back to that book on Typed Lambda Calculi and Small Step Operation Semantics)
This is the stuff that I would consider worth my time to learn about, but it definitely does not reflect what would be appropriate for more ordinary high schoolers, though it would be very cool for the appropriate people.
why Administrative normal form is preferable to continuation passing style in modern compilers,
what the curry-howard isomorphism really means,
what exactly monads are (and what those monadic interpreters accomplish),
and also cool stuff like how to write a parser generator and an optimizing backend for a pure language which uses graph reduction as its evaluation mechanism.
Granted this is all a tad ambitious for most high schoolers, but I'm not normal. (now time to get back to that book on Typed Lambda Calculi and Small Step Operation Semantics)
This is the stuff that I would consider worth my time to learn about, but it definitely does not reflect what would be appropriate for more ordinary high schoolers, though it would be very cool for the appropriate people.
