On Sat, 2005-01-29 at 14:37 +0100, J�rgen Hermanrud Fjeld wrote: > Notice that the research on extensional polymorphism does include > efficient compilation, such that types are not interpreted at run > time, in contrast to type classes. The PhD by Furuse investigates in > particular how to optimize efficiently, such that the knowledge of types > help compilation, without run-time interpretation of types. > > I do however agree that you should not spend much time with advanced type > systems, because that can consume a lot of time.
J�rgen: Let me propose a middle ground. I think our first goal should be to get something working that will provide a basis for experiment and investigation. If we can do that, people much better qualified than we are can experiment with the type system, and will even have the benefit of the existing formal specification to lean on. shap _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
