14 Oct
2008
14 Oct
'08
2:25 p.m.
On Tue, Oct 14, 2008 at 9:15 PM, John Lato
Are you advocating introducing existential types to beginning Haskellers? I think something with the scary name "existential quantification" would greatly increase the head'splodin' on the learnin' slope. Certainly there's a place for them, but I wouldn't want to see new Haskell programmers habitually approach problems with a "first create a type class, then make an existential wrapper" mentality. Which is exactly what I fear is the current situation.
I don't think this is the current situation at all. For one, the beginning Haskellers do _not_ learn about existential types. Yours, Alexey Romanov