[bitc-dev] Surface Syntax (again)

[Jonathan S. Shapiro]

On Thu, Feb 26, 2009 at 5:38 PM, Geoffrey Irving <irving at naml.us> 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