News for hackers. Stuff that matters.

A comment on So you want to be a compiler wizard (2016). Parent comment

Re:So you want to be a compiler wizard (2016) by seanmcdirmid on Sunday April 12, 2020 @11:09PM (#22852838)
And if you want nominal sub typing, F-bounded generics, and some inference, things get really fun.
[ Parent | on HN ]
Re:So you want to be a compiler wizard (2016) by rurban on Monday April 13, 2020 @08:19AM (#22855171)
Nominal subtyping is trivial and unsafe. The fun starts with structural subtyping.
[ Parent | on HN ]
Re:So you want to be a compiler wizard (2016) by seanmcdirmid on Monday April 13, 2020 @10:30AM (#22856136)
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.
[ Parent | on HN ]