On Thu, Feb 26, 2009 at 5:38 PM, Geoffrey Irving <[email protected]> wrote: > Unfortunately, I doubt the python notion of an iterable is expressible > in bitc type classes...
Currently no, but isn't this just constructor classes in disguise? I think what we actually need here is a generic notion of a generator, and I think that probably *can* be typed today. The bigger issue here is ensuring that it remains possible to compile this idiom (which really *is* higher order) in a non-allocating way. shap _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
