
| > Or we could switch to different quotation brackets altogether for
| > quasiquotation, the obvious possibility being <|...blah...|>, and
| >

| > But it'd remove "<|" and "|>" as a | > valid operators, at least for quasiquote customers. I don't know | > how bad that would be. | | Good brackets are scarce. I'd prefer to stick with one of the many | fine variations on [|...|] currently being discussed.
I agree with this. My gut feel is to stick with [| ..|] and variants, > and live with the fact that TH and QQ aren't using them in quite the same way.
Seconded. Removing "<|" and "|>" as valid operators is potentially quite bad, in my opinion worse than the interference with the list comprehensions for "quasiquote customers", because the operators may come from various external libraries that one really would like to use. The list comprehension interference is strictly confined to modules where quasiquoting is enabled. Best, /Henrik -- Henrik Nilsson School of Computer Science The University of Nottingham nhn@cs.nott.ac.uk

On 03/02/2010 15:39, Simon Peyton-Jones wrote:
|> Or we could switch to different quotation brackets altogether for |> quasiquotation, the obvious possibility being<|...blah...|>, and |>
. That would not be hard, and would only affect the |> handful of current quasiquote users. But it'd remove "<|" and "|>" as a |> valid operators, at least for quasiquote customers. I don't know how bad |> that would be. | | Good brackets are scarce. I'd prefer to stick with one of the many | fine variations on [|...|] currently being discussed. I agree with this. My gut feel is to stick with [| ..|] and variants, and live with the fact that TH and QQ aren't using them in quite the same way.
Why not provide some nice Unicode version too? ⟦ .. ⟧ ⟪ .. ⟫ ⦃ .. ⦄ etc. Cheers, Simon

marlowsd:
On 03/02/2010 15:39, Simon Peyton-Jones wrote:
|> Or we could switch to different quotation brackets altogether for |> quasiquotation, the obvious possibility being<|...blah...|>, and |>
. That would not be hard, and would only affect the |> handful of current quasiquote users. But it'd remove "<|" and "|>" as a |> valid operators, at least for quasiquote customers. I don't know how bad |> that would be. | | Good brackets are scarce. I'd prefer to stick with one of the many | fine variations on [|...|] currently being discussed. I agree with this. My gut feel is to stick with [| ..|] and variants, and live with the fact that TH and QQ aren't using them in quite the same way.
Why not provide some nice Unicode version too? ⟦ .. ⟧ ⟪ .. ⟫ ⦃ .. ⦄ etc.
OH! That looks very nice.
participants (4)
-
Don Stewart
-
Henrik Nilsson
-
Simon Marlow
-
Simon Peyton-Jones