set/map cons syntax #42

New issue

Open

opened 2026-07-07 13:37:53 +02:00 by st · 0 comments

st commented

2026-07-07 13:37:53 +02:00

Owner

We could allow notation like { 1, 2 | numbers} to add 1 and 2 to a set. The challenge is: There are multiple set impmlementations so it would need to be overloaded based on a "set-like" interface.

This could also be extended to maps, possibly with a Julia-esque mapsto binary operator, as

{ "abc" -> 5, "def" -> 7 | some_map }

unclear if this is a great idea, might be a bit too magical

We could allow notation like `{ 1, 2 | numbers}` to add `1` and `2` to a set. The challenge is: There are multiple set impmlementations so it would need to be overloaded based on a "set-like" interface. This could also be extended to maps, possibly with a Julia-esque mapsto binary operator, as ``` { "abc" -> 5, "def" -> 7 | some_map } ``` unclear if this is a great idea, might be a bit too magical