Conversation

Mind blown today: Constraint generation + solving is *not* a requirement for implementing Hindley-Milner type checkers — metavariables + unification is enough!

Gergő Érdi @ ICFP

@gergo_erdi

Sep 16, 2021

I'm partial to compositional typechecking for HM:

github.com

hm-compo/Compositional.hs at master · gergoerdi/hm-compo

Compositional type checking for a Hindley-Milner type system - hm-compo/Compositional.hs at master · gergoerdi/hm-compo

Brendan Zabarauskas

@brendanzab

Sep 16, 2021

Oooh, interesting! Is this based on some research? I looked at the README but couldn't see anything mentioned.

Gergő Érdi @ ICFP

@gergo_erdi

Sep 16, 2021

youtube.com/watch?v=bi9rl9 gergo.erdi.hu/talks/2016-06- gergo.erdi.hu/blog/2010-10-2

youtube.com

Compositional Type Checking

Speaker: Gergő ÉrdiEvent Page: Produced by Engineers.SGHelp us caption & translate this video!http://amara.org/v/Ol3w/

Brendan Zabarauskas

@brendanzab

Replying to

@gergo_erdi

Thanks! Yeah I found your website now! :)

8:10 AM · Sep 16, 2021Twitter Web App