miniblog.

← Back to all posts
The tradeoffs of type system design, and thinking about a gradual type checker for Elixir: