
28 Sep
2023
28 Sep
'23
2:47 p.m.
Am Donnerstag, dem 28.09.2023 um 08:12 +0100 schrieb Simon Marlow:
I'm going to propose accepting this proposal in its current state. Rationale: * It doesn't make things worse, and the implementation isn't likely to add significant complexity. * It retains consistency between ApplicativeDo and ApplicativeComprehensions (in contrast to the idea of making ApplicativeComprehensions perform a simpler desugaring, which came up during the discussion) * A future proposal can add a simpler version of the desugaring for both extensions later.
Sounds good to me. -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/