On Sat, 23 Jun 2007, David Roundy wrote: > > I refuse to drink the Kool-Aid and recite precisely what I'm told a > > type is in June, 2007; I'm hoping that types will evolve by the time > > I die. For types to evolves, we need to step back a few feet and > > think more loosely what a type really is. > > When talking about Haskell on Haskell mailing lists, it makes communication > easier if you use Haskell terminology. e.g. when you use the word type, if > you mean the thing that is called a type in the Haskell language.
This means people cannot talk about future developments of type theory here ... _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
