Join Slack
Powered by
the type system is nominal, not structural. It's a...
# arrow
p
pakoito
07/03/2018, 3:24 PM
the type system is nominal, not structural. It's also not Hindley-Milner and the inference is only local
👍 1
2
Views
Open in Slack
Previous
Next