It's less interesting to argue in favour of a type system in general. Should it be gradual, structural, nominal and/or dependent, and why?
miniblog.
Related Posts
43
I regularly see the phrase "all Xs are Ys, but not all Ys are Xs" in teaching material. Even material for children!
I have to re-read it every time. I very much prefer "Y is a more general category than X" or "X is a subset of Y".
Do people find this phrasing helpful, or is it poor pedagogy?
I'm still trying to find a sweet spot between 'show the general syntax' and 'show a concrete example' in the CLI docs for difftastic.
https://difftastic.wilfred.me.uk/usage.html
I'm currently showing the syntax, immediately followed by an example. What do you think?
Difftastic 0.20 is out!
* Better handling of nesting changes, based on autochrome. This fixes some nasty corner cases (Python screenshot) and gives nicer results in general (Scala screenshot).
* Better handling of large files, even multi-megabyte!
