[ghc-steering-committee] Proposal #302: `\of` (New Shepherd: Simon PJ)

[Joachim Breitner]

Hi,

thanks for narrowing down the option, I am happy with direction, and
have nothing urgent to add. Option (3), XExtendedCase, is in a way
cute, but probably too playful for its own good.

I think (1) is a good way forward, and balances elegance with backward
compatibility (by not conflicting with the popular \case) well. We can
have some fun coming up with the right name (\cases? \of? \mcase?
\function?). My solution to avoid spending too much time on that
particular bike shed color is just to include all reasonable variants
on the ballot and let ranked voting sort it out for us.

Cheers,
Joachim

Am Dienstag, den 15.06.2021, 12:52 +0000 schrieb Simon Peyton Jones via
ghc-steering-committee:
> I think we’ll end up having to vote on this, which is fine when it’s a judgement call about syntax.   But first:
-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/