Assertion: type inference | /r/HasProperty | impractical/impossible
Facets:
value: with subtyping/object orientation
type: OTHER
Source sentences:
text: I would really like this for my language, however after reading up on the subject it seems that most agree that type inference is impractical/impossible with subtyping/object orientation, however I have not understood why this is.