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

*To*: srfi-105@xxxxxxxxxxxxxxxxx*Subject*: Re: SRFI 105: Curly-infix-expressions*From*: Alan Manuel Gloria <almkglor@xxxxxxxxx>*Date*: Mon, 27 Aug 2012 06:11:08 +0800*Delivered-to*: srfi-105@xxxxxxxxxxxxxxxxx*Dkim-signature*: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; bh=SKIOSrc9g5ijT0wQPHI6kFZeZlGH35g8YID77Io3joc=; b=MGW4UeAjBNdOPkG/N4HBQbztc8T9ieTdGoqXnAhlIRt2UJR11hGPia/4D0jd/Iic3/ T/t9rQNC/FwbVGPLQXZQfXH0qGZ1gSqtnVjM1r/BQRrlkcRQ4cVKBzqVUHnEUEwULRSj 5Rl6sFy5gY/sbN43x1E9qAeq1SNfnCOwsVc2csuitAIcn7UscfVtfBdWH8sKPYxjxuX4 dW661pZ2PvgbhO7bubev3y4zbrcLfArvvVInVe9NAjEV4TFCIkBj+Tqm7KmGZVDl7rt8 PSArW1y4nj5iCYIiAjzc1xRzch4FDflMONufkv/LD2yf1fovupIn6e+z5avftMBC+jIF GiLQ==*In-reply-to*: <CAF+kUQVtcLe-Ju3tUua+7UMxpqehu-3xT-dQZCBui9U94Qk-cA@xxxxxxxxxxxxxx>*References*: <CAF+kUQVtcLe-Ju3tUua+7UMxpqehu-3xT-dQZCBui9U94Qk-cA@xxxxxxxxxxxxxx>

> Those infix languages (and SRFI-105) also don't allow what I really > want to write: > > 0 <= x < n Note that this is more complex than that. Consider the following code: { 0 <= (begin (display "foo!") x) < n } The simple way to do this would be to translate it to: {{ 0 <= (begin (display "foo!") x)} and { (begin (display "foo!") x) < n}} But that will cause the side effects to occur twice if { 0 <= x }. The correct translation would be: (let ((_some_var_ (begin (display "foo!") x))) {{ 0 <= _some_var_ } and { _some_var_ < n }}) And that's a lot of hidden complexity for the *reader* to do. However, if an application writer or library writer wants to write that, he or she is allowed to bind `nfx`, and is of course responsible for the correct translation to the second form. Sincerely, AmkG

**References**:**Re: SRFI 105: Curly-infix-expressions***From:*Alan Manuel Gloria

- Prev by Date:
**Re: SRFI 105: Curly-infix-expressions** - Next by Date:
**Re: SRFI 105: Curly-infix-expressions** - Previous by thread:
**Re: SRFI 105: Curly-infix-expressions** - Next by thread:
**Updated SRFI-105** - Index(es):