On Thu, Jun 11, 2015 at 11:21 AM, Keean Schupke <[email protected]> wrote: > Okay, I see now. My first intuition is that this is impossible in a > statically typed language (without dependent types) as you won't get any > runtime-polymorphism, which you need as you don't know the source code you > are going to feed the compiler until runtime.
This seems slightly misleading. It's true that our parse state is polymorphic is the sense that if we use typed ASTs, we don't statically know the type of the parse state. But this doesn't affect performance, and we don't need any RTTI. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
