Dynamic Dispatch and Type Inference in Fortress - Lecture

Explore dynamic dispatch and type inference in Fortress programming language through this 27-minute Java conference talk. Delve into the differences between Java and Fortress dispatch, generic overloading uses, and the quick type system. Learn about self-less generic types, trait CMPable[+], and how to test applicability. Understand constraint propagation, Least Single Upper Bound, and run-time type operations. Examine a worked example and discuss JVM issues, including the current implementation's use of applicative caches. Gain insights into the Longest Erased Path to Any concept and its implications for Java developers.

Intro
Java vs. Fortress dispatch
Generic overloading uses
Quick type system
Self-less generic types trait CMPable[+] comprises i
Test applicability?
Propagate constraints Least Single Upper Bound
Worked example
Run-time type operations
Longest Erased Path to Any
JVM issues . Current implementation makes heavy use of applicative caches (declared volatile, CAS for update, no-lock reads).