[m-dev.] Inductive goals

Mark Brown mark at mercurylang.org
Thu Jan 23 21:20:51 AEDT 2014

On Thu, Jan 23, 2014 at 7:52 PM, Peter Schachte <pschachte at gmail.com> wrote:
> This proposal is reminiscent of list comprehensions, where the maps and
> folds constructs are analogous to the generator expressions.  Hence the
> proposal for incorporating filtering.

I agree, and your proposal seems reasonable. Does it interact okay
with multi-modedness?


More information about the developers mailing list