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.

Mark Hammons
Mark Hammons

Our Sponsors

coralogixUMATRCondukorMatechsscalaCZivergeRock the JVMZIO
DECEMBER 5 & 6 2024
ONLINE
get your ticket