On Sat, Jan 14, 2012 at 13:38, Johan Tibell <johan.tib...@gmail.com> wrote:
> On Fri, Jan 13, 2012 at 3:52 PM, Simon Peyton-Jones > <simo...@microsoft.com> wrote: > > I know of no proposal that advocates only (A). It seems that we are > agreed > > that we must make use of types to disambiguate common cases. > > I will try to make the case for (A), just so it has been put on the table. > I think the point is more that, given (b), (a) is seen to be redundant. Which I don't understand; seems to me that, in the context of (b), it's a way to easily provide more information to the type inferencer (which, given that (b) adds more complexity to the inferencer, looks like a way to control that complexity in practice) without hardcoding a type. -- brandon s allbery allber...@gmail.com wandering unix systems administrator (available) (412) 475-9364 vm/sms
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users