On Fri, 2005-01-28 at 12:45 -0500, Jonathan S. Shapiro wrote: > As principle investigator in all this, my greatest fear concerning BitC > is that it is extremely easy to get sucked into examination of type > systems for *decades*. There are people who spend their entire careers > on this, and they are much better trained at it than any of us are.
Hmm. That paragraph, on re-reading, seems very ungracious. A lot of people have offered interesting ideas on the subject of types, and I don't want to imply otherwise. It's just that the BitC effort has to stay focused. shap _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
