[m-users.] Usage of inst subtypes with list.foldl in rotd

[David Overton]

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.

 David
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20150304/69e59260/attachment.html>