News for hackers. Stuff that matters.

A comment on The Unsound Playground: Java and Scala's Type Systems are Unsound. Parent comment

Re:The Unsound Playground: Java and Scala's Type Systems are... by gregoor on Monday November 28, 2016 @03:05AM (#13054079)
I understood JP's critique to be more about mixing behaviour with data than about alternative ways of modelling inheritance.
[ Parent | on HN ]
Re:The Unsound Playground: Java and Scala's Type Systems are... by willtim on Monday November 28, 2016 @12:47PM (#13057031)
But Java strongly encourages the mixing of data and behaviour. There is only virtual method dispatch and switch on ints/enums for efficient case analysis. We therefore need complex encodings like the Visitor pattern, if we are to avoid conflating data and behaviour. So again, I blame the language not the programmers.
[ Parent | on HN ]