In "My Little Pony the movie" Twilight Sparkle explains to Celestia and Luna how she wants the Sun and the Moon organized. She uses mathematical formula written on a blackboard. I can't recall what the formula was, probably wavelength calculation.
I liked the text about typeclasses.
It is a standalone piece, "Typeclasses 102" in LYaH is a part of a chapter of a bigger piece.
I think you achieved your goal - your Pokemon example is simple to grasp and shows how to derive type classes and implement functions by hand:)
So animated mouse pointers are OK, blinking cursor in command prompt is OK, Teams starting with the system is OK, but counting seconds is overkill for Windows?
I would probably not display seconds anyway even if I had a choice, but this explanation seems strange.
SV and VHDL are nasty languages, but as you said, they are "industry standard". Chisel and Haskell-based approaches are better but virtually nobody adopts them.
I tried to go in another direction, to make design code shorter by using Clojure syntax. The result is here: https://github.com/m1kal/charbel and works for simple modules. I don't expect wide adoption, but we need to look for new directions instead of sticking to the methods and languages from the 80s.
From FPGA design point of view SystemVerilog is OK. I think it gives high enough level of abstraction to create even complex systems. It can also be readable after some years if care is taken to keep the code clean.
But I believe we need LISPy syntax - mainly for simplicity, also for easier parsing and static analysis. I think LISP is a natural way to describe data flow.
Unfortunately none of the attempts to write functional synthesizable code that I found so far make the code simpler.
BTW I'm preparing a talk on simplifying RTL code. Can I cite some of your posts in this thread?
I tend to disagree. Asm.js is dying. Webassembly is not "everything on top of JavaScript". While higher layers can work the same as they could with asm.js (still in the web browser), it's not what GB predicted.
The game is great. And really hard.
I got stuck on the ship for hours, then I got bored and never came back to the game. But someday in the future I will finish it (without cheating)!