24 Jun
2007
24 Jun
'07
4:08 a.m.
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 ...