2 ms·
No, we can't, HM type inference is for nonunion, nondependent types. Python is of course going to need unions due to its dynamic nature.
by tree_of_item 12y ago
No, we can't, HM type inference is for nonunion, nondependent types. Python is of course going to need unions due to its dynamic nature.