[gathering-options] Arrow symbol

[Rémi Forax]

On 06/22/2011 03:43 PM, Stephen Colebourne 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}

Use ':'
   { x : x+1 }
   (x) : { x + 1 }*

Use '|'
    { x | x + 1 }
     (x) | { x + 1 }*

Rémi
* I've put these ones because I MUST but there are ugly.


>
> Stephen
>