[m-users.] Usage of inst subtypes with list.foldl in rotd
david at overtons.id.au
Wed Mar 4 10:43:17 AEDT 2015
On 3 March 2015 at 11:09, Paul Bone <paul at bone.id.au> wrote:
> The long term solution to this is to make the predicates in the standard
> library mode-polymorphic. The legend (it was before I joined the project)
> is that when we tried this mode analysis was too slow and the costs
> outweighed the benefits. Someone ought to correct me if I'm wrong.
This was certainly the case when I investigated this 12 years ago.
However, with the improvements in the speed of computers since then it may
be that the slow down no longer matters so much.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the users