Linear Time Variance Inference for PEP 695
This post provides the slides for my talk Linear Time Variance Inference for PEP 695 I gave at the Typing Summit at PyCon 2025. There also is a PDF version.
Posts by Year
2025
2021
Stack-safety for free?
tl;dr. I demonstrate how to (ab)use generators/coroutines to transform any recursive function into an iterative function with nearly zero code changes. I exp...
2020
Zooming in on DAML’s performance Permalink
This is a blog post I wrote while I was working on the Haskell-based smart contract language Daml at Digital Asset.
2019
Talk: Embedding DSLs deeper into GHC Permalink
This is a talk I gave at the Zürich Friends of Haskell meetup while I was working on the Haskell-based smart contract language Daml at Digital Asset.
Daml does yoga: an introduction to flexible controllers Permalink
This is a blog post I wrote with Shayne Fletcher while we were both working on the Haskell-based smart contract language Daml at Digital Asset.
And now all together: an introduction to conjunction choices Permalink
This is a blog post I wrote with Robin Krom while we were both working on the Haskell-based smart contract language Daml at Digital Asset.
Removing the limits on signatories Permalink
This is a blog post I wrote with Neil Mitchell while we were both working on the Haskell-based smart contract language Daml at Digital Asset.
2018
The only valid smart contract is a voluntary one — easier said than done Permalink
This is a blog post I wrote with Jost Berthold while we were both working on the Haskell-based smart contract language Daml at Digital Asset.