Yes! Thanks for articulating it so nicely
On Thu, Jun 3, 2021 at 2:51 PM Alan & Kim Zimmerman
wrote:
> I think in practical terms for IDE-based people, a short standardised
> alphanumeric identifier makes sense. These typically get displayed along
> with the full error text in the error pane,
By the way, to summarize the discussion on #325, I think the words to use
would be "overwhelming support for short numeric reference ids".
Here's my argument for it:
1. If you try to make the unique id some mangled form of the error's name,
the cognitive burden of crafting errors is increased.
The libera.chat IRC bridge is up, so one can go to #ghc:libera.chat to
give the bridging a spin.
To make my recommendation from before more concrete, we would *not* use
that "portal room" (one spawned on demand by the bridge), but instead
make a #ghc:haskell.org. One should be able to then
I think in practical terms for IDE-based people, a short standardised
alphanumeric identifier makes sense. These typically get displayed along
with the full error text in the error pane, and it helps to be able to
allocate a known, standard amount of real estate to them. Fundamentally
they are
I have been trying out Matrix a bit recently. It seems the best of the
options in my opinion and has the advantage of being able to bridge to
IRC (and other platforms).
The NixOS community rapidly moved over without any ill effects after
the demise of freenode.
As with all these things, who