So, I was reading this paper about phase distinction (something I haven't been sure what to call until now),
and it occurred to me that a statically typed AST, with statically typed sub-trees may require more interesting forms of phase separation than is typically seen, in the form of an expression for producing the type of the sub-tree and most of the things I have been trying to explain imply a form of it, part of the reason I find it hard to explain... anyhow curious how Keenan's AST's, behave in this aspect. http://lucacardelli.name/Papers/PhaseDistinctions.A4.pdf _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
