ezyang’s blog

the arc of software bends towards understanding

April, 2016

Hindley-Milner with top-level existentials

Content advisory: This is a half-baked research post. Abstract. Top-level unpacking of existentials are easy to integrate into Hindley-Milner type inference. Haskell should support them. It's possible this idea can work for internal bindings of existentials as well (ala F-ing modules) but I have not worked out how to do it. Update. And UHC did […]

  • April 24, 2016