On Sun, Jul 13, 2014 at 12:49 PM, Jonathan S. Shapiro <[email protected]> wrote: > One of the challenges I'm facing is that BitC isn't a project in isolation. > There's other stuff riding on it, so it needs to be done, and there's a > limit to how much energy I can put into options that don't serve needs that > are immediately clear here. Dependent types may not make the cut given the > urgency of the need.
I forgot about that. Or rather, I thought the scope of BitC expanded at some point. What is the urgent need BitC is addressing, and how are you ensuring that it actually addresses it? Does it need to be more than a stopgap? If BitC is deliberately a stopgap, then I suddenly understand where you're coming from better. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
