On Fri, Jan 28, 2005 at 12:49:43PM -0500, Jonathan S. Shapiro wrote: > On Fri, 2005-01-28 at 18:24 +0100, J�rgen Hermanrud Fjeld wrote: > > > Extensional polymorphism also has a run-time representation of > > types... > > I think I can say with reasonable confidence that any feature requiring > interpretation of types at run time is not going to be okay in a systems > programming language. > > Think "faster than C". > 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. -- Sincerely | Homepage: J�rgen | http://www.hex.no/jhf | Public GPG key: | http://www.hex.no/jhf/key.txt
signature.asc
Description: Digital signature
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
