miniblog.

I'm still pleasantly surprised when difftastic does a good job. Here's an example I saw today: adding a new variable with or_else() is extremely readable!

The tradeoffs of type system design, and thinking about a gradual type checker for Elixir: https://elixir-lang.org/blog/2022/10/05/my-future-with-elixir-set-theoretic-types/

Bidirectional type checking versus Hindley-Milner type checking, with some worked examples of subtyping: https://www.haskellforall.com/2022/06/the-appeal-of-bidirectional-type.html