Joshua Barretto@jsbarretto·Feb 3Hindley-Milner type inference. Beautifully simple, tractable, complete, but falls from that perch if tweaked even slightly.1
Brendan Zabarauskas@brendanzabReplying to @jsbarretto and @chrisamaphoneGotta get you onto bidirectional typing then! :)10:14 AM · Feb 3, 2022·Twitter Web App
