On 02/06/2015 10:50 AM, Jonathan S. Shapiro wrote:
For types, I don't think we even need TYPEREC, because everything you can do with TYPEREC is subsumed by parameterization.
At the cost of a modest type parameter explosion, perhaps, but it doesn't help with the goal of making invalid states unrepresentable, which is one of the driving advantages of types. Parameterization permits too much.
Sandro _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
