Archived – this site ended its life on 2022.01.02. For the next microblogging site from Chris Krycho, see v1.microblog.chriskrycho.com.

Status: annoyed by a limitation in the TypeScript type system, but reminding myself that it’s a limitation of a feature that exists in no other production type system except Haskell with a bunch of extensions turned on.

Wanted: Partial Type Argument Inference