Dotty: Track demystified puzzlers

[som-snytt]

Since puzzlers.com is still live, it would be nice to know if any officially sanctioned puzzlers still obtain in Scala 3, since squashing them is a professed goal.

That is, the goal is to convert all puzzlers from "sanctioned" (approved as puzzlers) to "sanctioned" (banished from the language by decree).

[ShaneDelmore]

A written source would be great. The only source I have seen discussing this specifically is the scala world talk on puzzlers Dotty would be resolving, as well as those for which a good solution has not been found like initialization order. https://youtu.be/Ay-9aanosUM

[smarter]

A first step would be to add a list with checkboxes of all puzzlers to this issue, and start filling in their status. Any volunteer?

[som-snytt]

I'll start by researching how to make a checkbox.

[ShaneDelmore]

• [X] Figure out how to add a checkbox
• [ ] Add the rest of the checkboxes

[Blaisorblade]

@lihaoyi Scala Warts seem also relevant.

[som-snytt]

@Blaisorblade thanks, some interesting conversations there. I meant to say that I mean to follow up on this meta ticket. First I need to understand how to make a table, so I can separate the puzzlers (intended behavior) from warts (behavior that seemed beautiful at the time, but is now only in the eye of the beholder).

It really got under my skin when @lihaoyi brought up "val 2 = 1". Everyone knows the canonical form is val 1 = 2.

[som-snytt]

I got started on this, but the first result was to create a new puzzler.

[martin-g]

I think https://github.com/lampepfl/dotty/issues/4831 also deserves to be listed as a puzzler.

[OlivierBlanvillain]

Closing for now, please reopen if anyone feel like going on a puzzle quest :)