On Tue, Feb 08, 2005 at 10:46:59AM -0500, Jonathan S. Shapiro wrote: > On Sat, 2005-01-29 at 14:37 +0100, J�rgen Hermanrud Fjeld wrote: > > I do however agree that you should not spend much time with advanced type > > systems, because that can consume a lot of time. > > 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. > Yes, and your current approach seems conservative enough to allow future experimentation and proposals, assuming that you have left overloading entirely as a future exercise.
-- 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
