News for hackers. Stuff that matters.
Re:Category Theory, Syntactically (2016) by johncolanduoni on Thursday April 27, 2017 @07:26AM (#14210688)
> Also, if your examples are made only of the thing you're trying to explain, they're not examples.

Uh, no? Are you really arguing that (e.g.) a book teaching a programming language has no examples unless some of them are in another language? How on earth do you learn your first one?

Re:Category Theory, Syntactically (2016) by klibertp on Thursday April 27, 2017 @10:21AM (#14211630)
Strictly speaking all programming language books have the examples shown in two languages: the programming one and the natural language.