Michael Perucca


about this session

Pursuing Practical Refinement Types

11:30 am

Existing data types are constrained to a smaller domain by refinement types. These constraints must be verified to increase program safety beyond what current data types provide.

The runtime checking of such constraints is satisfactory for external data, but compile time checking is desirable for data present in source code. Scala's macro system enables users to define static data constraints verified at both runtime and compile time.

Michael Perucca
Michael Perucca

Our Sponsors

coralogixUMATRCondukorMatechsscalaCZivergeRock the JVMZIO
1-2 Dec 2022
London UK
Get your ticket!