Your Type System Working for You

Explore advanced Scala type system concepts in this 50-minute conference talk from Scala Days New York 2018. Learn how to leverage type parameters, variants, and implicit companions to create robust geospatial data models. Discover techniques for runtime CRS checking, type-safe coordinate representations, and efficient data processing using case classes and type tags. Gain insights into implementing rich features and type index maps for improved code safety and maintainability in Scala projects.

Introduction
The Earth is not flat
Earth is not an exact sphere
LatLongs
Point Polygons
Raster Data
CRS
CRS Examples
Transverse Mercator
CRS coordinates
Runtime CRS checking
Scala type parameters
Scala variants
CRS tracking
Case classes
Implicit companion
Harmony
CRS Type
The Result
Future Definition
Type Index Map
Type Tag
Harvesters
Implicit Extension
Rich Feature