haskell-language-server VS ghc-proposals

I previously used IntelliJ IDEA on Linux for over eight years, so I can sympathize with your struggles. [1] Recently I started using OSX because my Thinkpad finally died and I could not find another laptop I liked. So far, it's been pretty bumpy, although I have noticed that some things have improved such as fonts and build times. The downside is that very few things currently work on aarch64 right now, so I somewhat regret making the switch this early. I recently started writing some Haskell, which was a pain to setup on my local machine but now that GHCi and Stack support it [2], I think it's getting stable. Hopefully native libraries will improve their support, because despite the minor speedups (faster JVM), overall it's been a productivity-killer. Very, very few native libraries offer aarch64 builds right now.

[1]: http://breandan.net/2014/08/18/shell-script/

[2]: https://github.com/haskell/haskell-language-server/issues/20...

The tooling story has gotten much better with haskell-language-server unifying the formerly fragmented landscape. I'd highly recommend installing it.

Searching for "memory" among the open issues on haskell-language-server, yields quite a few results. From a quick glance, it seems to depend on the project, as specific projects seem to make the language server behave/leak quite bad.

If you have haskell-language-server installed it can also tell you what to import and even automatically import it for you.

- [#2365](https://github.com/haskell/haskell-language-server/issue/2365): hs-boot files not handled correctly, discovered in the ghc codebase and fixed with [#2377](https://github.com/haskell/haskell-language-server/pull/2377)

Cause they still cant be built with ghc-9.0.1, see: https://github.com/haskell/haskell-language-server/issues/297 , and https://github.com/haskell/haskell-language-server/pull/2202 for tactics

Hey! It sounds like hlint is working but not HLS, which is why you just get suggestions but not the errors. A bit similar to what I just ran into a couple of days ago. Could you check the logs from running haskell-language-server at the project's root directory, and see if it's similar with the ones I posted here?

Ah, yes.. It will take one more genius to move this forward.

Dependent Haskell is definitely a long-term project and I suspect bits and pieces will arrive gradually as the design and implementation are worked out. One related recent development is Richard's proposal on first-class existentials (https://github.com/ghc-proposals/ghc-proposals/pull/473).

I'm aware of the github proposal and Richard Eisenberg's awesome YT series, but, is there like a timeline? Or a roadmap to achieving full DH?

I had a proposal (ApplyingVia) once to make this use explicit in expressions but it's dormant: transpose = sequenceA @[] @(via ZipList).

You may be interested in the (currently dormant) local modules proposal: https://github.com/ghc-proposals/ghc-proposals/pull/283

Haskell has the GHC proposals process. These proposals get accepted or rejected by the GHC steering committee of 10 members, which is open for anybody to join and seems to have had about one vacancy per year historically (since 2017). If a proposal is accepted it can be implemented by anybody.

To me it seems like the solution is to define an unsaturated type family instead of a newtype and wait for /u/kcsongor to allow attaching instances to and deriving via them. This solves both 1. (allows a polymorphic return type) and 2. (doesn't require coercing through the arguments of Discrete). Any thoughts on this?

The original proposal has a Motivation section that I find completely unconvincing. On the other hand, it says