hi, is it possible to have strongly typed avail programs (at compile time), *without* carrying to much types around (at runtime). in short: type erasure. the thing is, i don’t like to pay the (memory) overhead of types at runtime, unless i (optionally) want so.
with scala, for example, you can optionally choose to carry/store a (strong) type next to its value. see: http://docs.scala-lang.org/overviews/reflection/typetags-manifests.html cheers, Robbert.
