miniblog.

TIL that LSP 3.18 was released this month! Several APIs now support richer content, such as tooltips or docs on code action kinds. Signature help continues to improve too, allowing you see more about a function at its call site.

What types should you infer when code is invalid? In Garden, + only applies to integers. What should the type of "x" + "y" be? (1) Int: This produces cascading errors. (2) String: We've already emitted an error anyway. (3) Bottom. Opinions?

I sometimes see blog posts lamenting how inconsistent UIs are in modern apps. When did consistency peak? Windows 3? After the release of Aqua for macOS? The era when Bootstrap was the default CSS framework for many web developers?