And if you want nominal sub typing, F-bounded generics, and some inference, thin... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		seanmcdirmid on April 13, 2020 \| parent \| context \| favorite \| on: So you want to be a compiler wizard (2016) And if you want nominal sub typing, F-bounded generics, and some inference, things get really fun.

rurban on April 13, 2020 [–]

Nominal subtyping is trivial and unsafe. The fun starts with structural subtyping.

seanmcdirmid on April 13, 2020 | [–]

Nominal sub typing is hard from trivial and calling it unsafe is non-sensical. Structural subtyping yields poor error messages and does not support encapsulation very well, especially if you also want separate compilation.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact