[m-dev.] Inductive goals

Mark Brown mark at mercurylang.org
Wed Jan 22 20:58:28 AEDT 2014

Hi Xiaofeng,

On Wed, Jan 22, 2014 at 8:35 PM, Xiaofeng Yang <n.akr.akiiya at gmail.com> wrote:
> Hi, all.
> Though I'm not a native english speaker, but I think that the keyword 'do'
> looks so imperative. It's a good idea to use another keyword to make it look
> more declarative, for example, like 'for ... that P(....)' .

Good point. As English verbs go, 'do' is about as imperative as you can get.

Perhaps the right word in English is 'ensure'. As in:

    for X maps Xs, Y maps Ys ensure P(X, Y).

Since you're mentioning the concrete syntax, is it safe for me to
assume you agree with the semantics and abstract syntax?


More information about the developers mailing list