README.md

scala-dynamic-typing

Proof of concept String interpolator macro for runtime failure of typechecking.

Usage

typechecks fine

case class Cat(name: String, age: Int)
val myCat = Cat("Fluf", 10)
val age = dyn"myCat.age"
age === 10

fails typecheck at runtime with a compiler warning

case class Cat(name: String, age: Int)
val myCat = Cat("Fluf", 10)
val age = dyn"myCat.breed"
age === 10