Linear Time Variance Inference for PEP 695
We provide linear time algorithm for inferring the variance of type parameters declared using the Python syntax introduced in PEP 695.
@hurryabit’s blog
Latest posts
A gedankenexperiment on vaccination
I'm describing a thought experiment that hopefully helps to convince people to get vaccinated despite feeling uncertain about some aspects of COVID-19.
Stack-safety for free?
I demonstrate how to (ab)use generators to transform any recursive function into an iterative one with nearly zero code changes.
Zooming in on DAML’s performance
This is a blog post I wrote while I was working on the Haskell-based smart contract language Daml at Digital Asset.
Talk: Embedding DSLs deeper into GHC
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
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
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
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.
The only valid smart contract is a voluntary one — easier said than done
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.