2024-09-27: Conor McBride (MSP)

Wed, 25 Sep 2024 16:12:05 +0000

Conor McBride (MSP)

Effing W

Abstract

I shall revisit the Hindley-Milner type system for the traditional Core ML (old sense) language of variables, application, monomorphic abstraction and polymorphic definition, to give a new twist on its implementation. In particular, I shall consider the role that the context plays in the type inference process, and then make it disappear, replacing context-as-data-structure with context-as-control-structure, demonstrating the power of effects and handlers. The extra ingredient which gives this new recipe its spice is to index with respect to a suitably compositional notion of "progress". I shall make that disappear, too!

2024-09-27 13:00:00 UTC
LT210 and Online