3 ms·
When I said "type inference", I actually had system F in mind. And I didn't see ML (not even F#), nor Haskell, nor Miranda, nor Clean… So yes, `var` is too wea
by loup-vaillant 16y ago
When I said "type inference", I actually had system F in mind. And I didn't see ML (not even F#), nor Haskell, nor Miranda, nor Clean… So yes, `var` is too weaksauce.