Stream: API design

Topic: record builder syntax


view this post on Zulip drew (May 27 2024 at 20:07):

With the removal of backpassing, will the record builder syntax still use : <-?

view this post on Zulip Ian McLerran (May 27 2024 at 20:36):

(deleted)

view this post on Zulip Agus Zubiaga (May 27 2024 at 20:37):

Even though record builders also use the <- symbol, they are not a form of backpassing.

view this post on Zulip Agus Zubiaga (May 27 2024 at 20:38):

We discussed some changes on what record builders desugar to, but I don’t know of any plans to change their syntax

view this post on Zulip Richard Feldman (May 27 2024 at 21:17):

I think we can revise the syntax at the same time as revising the sugar


Last updated: Jul 06 2025 at 12:14 UTC