Embedding Platform Dependent Types
about this session
Mark Hammons
&
Friday
9:20 am
Platform Dependent Types are a concept in C that runs extremely counter to the design of Scala. Rather than the specifics of a type being known at compile-time, the types are only truly knowable when the program is run. In this presentation, I will demonstrate how Scala can encode these Platform Dependent Types and allow them to be used in a write-once-run-anywhere way.