[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
Vassil Nikolov | Васил Николов | <vnikolov@x>
"Be careful how you fix what you don't understand." (Brooks 2010, 185)
Scheme-reports mailing list