Skip to content

Instantly share code, notes, and snippets.

View namin's full-sized avatar

Nada Amin namin

1.1k followers · 429 following
View GitHub Profile
@namin
namin / gist:a03d57fe10ad4ae17ccc8732fcaf8a54
Created July 28, 2016 07:21 — forked from milessabin/gist:aae285025a32fac0f5c1
Trivial type safe heterogenous map using only dependent method types, singleton-typed String literal keys and implicits.
scala> trait Assoc[K] { type V ; val value: V }
defined trait Assoc
scala> def mkAssoc[V0](k: String, v: V0): Assoc[k.type] { type V = V0 } =
| new Assoc[k.type] { type V = V0 ; val value = v }
mkAssoc: [V0](k: String, v: V0)Assoc[k.type]{type V = V0}
scala> implicit def nameAssoc = mkAssoc("Name", "Mary")
nameAssoc: Assoc[String("Name")]{type V = String}