miniblog.

I've really come to appreciate OCaml's notion of generics. It doesn't have subtyping, so e.g. you have an `int list` or an arbitrary `'a list`, but nothing inbetween. As soon as you add constraints like Java's `List<? as Foo>` it become incredibly hard to produce good errors.

TIL that C++03 considered a file without a trailing newline to be undefined behaviour! https://stackoverflow.com/a/72377 This was fixed in C++11, but the problem was that #include was a textual operation that could produce invalid syntax if no newline was present.

Difftastic is getting closer to being a tool that I can recommend for daily usage! I've just tagged v0.4: https://crates.io/crates/difftastic This release includes much smarter diff logic, considering newlines and nesting depth to produce more comprehensible diffs. It's faster too :)