Miss Dada  🏳️‍⚧️

Do you still have to enable OverloadedStrings to make string literals not terrible?

Yup, that's correct!

Dang, it's been 11 years. You'd think by now it'd just be default

Yeah. I really love the approach of 'simple core' then 'let a thousand extensions bloom', but they've waited long enough to turn on some of them by default...

Extensions have to be in the compiler itself too, right? I can't just write a package that adds a new one?

Right. But they are 'firewalled' off from the core language, which is very simple.

I could actually be wrong though- I feel like I gave seen third-party extensions that you can add with a pragma. They might be more limited though.

Here's an example! https://github.com/ocharles/what-it-do … - just seems to be a syntax thingo though, not actually extending the typechecker. But I guess the overloaded strings thing is just a syntax thingo anyway (just wraps literals in calls to `fromString`).