[gathering-options] Arrow symbol

[Collin Fagan]

Use  |  (Remi forgot the BGGA style syntax... also happens to be the
StringTemplate closure syntax )

 {x | x + 1}

On Wed, Jun 22, 2011 at 8:43 AM, Stephen Colebourne <scolebourne at joda.org>wrote:

> As Remi suggested, it makes sense to run a thread to suggest choices
> for the "arrow" symbol that is part of three of the four syntax
> families.
>
> - This thread is for GATHERING OPTIONS, not voting or discussing.
> - You should only suggest an option if you personally prefer it to the
> -> or => symbol
> - You MUST include the two examples below converted to use your preferred
> symbol
> - Suggesting a symbol does not imply that you want any syntax with an
> arrow (ie. you can prefer strawman family, but suggest an arrow
> symbol)
> - Don't reply just to say "I don't want an arrow symbol"
> - Don't reply to propose a syntax that is completely different to one
> of the four syntax families
>
> Use ->
>  {x ->  x + 1}
>  (x) ->  {x + 1}
>
> Use =>
>  {x =>  x + 1}
>  (x) =>  {x + 1}
>
>
> Stephen
>
>