Predictability and Correlated Type Systems

I’ve recently been learning about type systems, and I realized that structural and dynamic typing often pair while nominal and static type system often pair. Why?

December 4, 2020 · 5 min

Schema and Selection

November 27, 2020 · 6 min

Meta-Programming and Type Dynamics

Dynamically typed systems effectively come with meta-programming capabilities for free, but are dynamic systems fundamentally better at meta-programming?

November 20, 2020 · 3 min