[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Scheme-reports] editorial awkwardness for syntax-rules pattern-matching

On Wed, 03 Sep 2014 13:43:55 -0700, Per Bothner <per@x> said:
> ...
>    P is of the form (P_1 . . . P_k P_e ellipsis P_m+1 ... P_n)
>    where E is a proper list of n elements, the first
>    k of which match P_1 through P_k , respectively, whose
>    next m−k elements each match P_e, whose remaining
>    n−m elements match P_m+1 through P_n

> The phrase 'of the form (P_1 ... P_k P_e ellipsis P_m+1 ...  P_n)'
> doesn't really make sense since m and n come out of nowhere.

  In fact, m and n are defined by that
  phrase (with an implicit "where m and n
  are such that"); pretty usual practice in
  my view.


Vassil Nikolov | Васил Николов | <vnikolov@x>

"Be careful how you fix what you don't understand."  (Brooks 2010, 185)

Scheme-reports mailing list