Java’s Unspeakable Types
It obviously cannot be any type that we ordinarily encounter. A variable of type String cannot hold a value of type Object — the Liskov substitution properties simply do not work that way round. The… (more…)
Read more »Tiered Attribution for javac – Java 9
In Java 8, the implementation of type-checking at compiler level was based on Speculative Attribution. In Speculative Attribution, the same tree can be type-checked against multiple targets at runtime. This is particularly used in target typing for lambda… Read more