Talk:Intersection type

Java really supporting intersection types?
Well, I think Java only supports intersection types to some extent. A language implementing true intersection types enables to insert intersection expressions into type positions. This isn't the case for Java, see this example (JSHELL JDK 15):

Iconsize (talk) 12:53, 19 March 2021 (UTC)


 * I don't think the specific syntax a language uses matters to the concepts it supports. In this case you simply didn't write correct Java.
 * This doesn't mean that Java allows you to do everything intersection types allow you to do, but it does – as you said – allow a restricted form of it.
 * Kavuldra (talk) 14:07, 22 January 2022 (UTC)
 * Kavuldra (talk) 14:07, 22 January 2022 (UTC)