search

cvogt / compossible

Scala Records: Extensible records and type-indexed maps
https://www.youtube.com/watch?v=pA2js-TV1Ck
82 stars 10 forks source link

Replace Record with implicit conversion macro #1

Open cvogt opened 9 years ago

cvogt commented 9 years ago

Record is covariant in its type parameter. Making it invariant and allowing conversions via an implicit would allow to throw out the lost fields in the underlying map.