Cases where it makes more sense to use concrete types rather than generics, even if you can be generic:
miniblog.
Related Posts
71
"After I linked difftastic, one of my friends immediately used difftastic to find a stealthy bug, five stars!"
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?
OCaml has several unusual design features that I've come to appreciate.
(1) Separating integer and float addition is really clear.
(2) No subtyping (everything is 'a or concrete) simplifies lots too.