Exactly. It's a perfectly condensed yet totally complete readout of all the data you might need for debugging. It makes mathematicians everywhere proud.

If you don't actually need a complete set of information about possible exotic type choices just to see you put an infix in the wrong place that's basically not the compiler's problem.

(TBF, I wouldn't want to try and mindread the programmer in my compiler either, but then I am a maths person)

[–] marcos@lemmy.world 2 points 1 year ago (1 children)

I dunno. That set of information about exotic type choices helps me very often. And I can always ignore it when it's not useful.

The bunch of "yes, compiled that module, everything is all right" messages in between them and warnings not surviving a second compilation bother me much more than the error messages. But learning to read the messages was not easy.

[–] CanadaPlus@lemmy.sdf.org 1 points 1 year ago

And I can always ignore it when it’s not useful.

I did mention that right off the bat. I made it sound unreasonable for comedic purposes, but breaking the jerk I actually do really like Haskell, and Haskell error messages.