Functional Programming is a lasting way forward

My deep live into functional programming has definitely made me a fan. Most importantly, it helps me see a way for programming languages to keep evolving.

April 2, 2021 · 2 min

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