Research, create, improve and maintain programming languages and their tooling to enhance developer productivity and to deliver reliable, maintainable, correct and performant software with minimum effort.

Commandeering techniques from richly typed, functional languages into Python for fun and profit. In this episode: Testing strategies.

Commandeering techniques from richly typed, functional languages into Python for fun and profit. In this episode: Typeclasses and continuation-passing style.

Revisit the fundamental concept of higher-order functions with a new perspective: interaction.

Commandeering techniques from richly typed, functional languages into Python for fun and profit. In this episode: Gradual typing and algebraic data types.