17 Jul
2013
17 Jul
'13
3:46 a.m.
On Wed, 17 Jul 2013, Bardur Arantsson wrote:
On 2013-07-16 23:45, Henning Thielemann wrote:
I think his wish was to ensure that e.g. 'map' has the same type in GHC, fay, JHC and others, although it might be implemented differently (with foldr/build, or stream-fusion, or whatever).
Exactly!
(But perhaps I'm just a natural pessimist -- it may not matter much in practice.)
I guess that it can happen easily, that a function type has different class constraints based on the implementation. A type enforced by the 'base' package would avoid that people rely on weak constraints of a certain implementation.