base package -- goals

Ian Lynagh ian at well-typed.com
Wed Feb 27 18:22:37 CET 2013


On Wed, Feb 27, 2013 at 04:54:35PM +0000, Simon Marlow wrote:
> On 25/02/13 18:05, Ian Lynagh wrote:
> >
> >Personally, I don't think the language report should be specifying the
> >content of libraries at all,
> 
> It's not that straightforward, because the language report refers to
> various library functions, types and classes.  For example, integer
> literals give rise to a constraint on Num, so we have to say what
> Num is.  Guards depend on Bool, the translation of list
> comprehensions refers to "map", and so on.
> 
> It could be whittled down certainly (we actually removed a few
> libraries in Haskell 2010), but there's still a core that is tied to
> the language definition.

Yes, OK, my language was a bit strong: s/at all/any more than necessary/


Thanks
Ian




More information about the Glasgow-haskell-users mailing list