ghcid VS lispy

You can use ghcid. It compiles the code, and shows if there are any errors as you save your file. Have two terminals. One for editing your file...other one with ghcid ($ ghcid path/to/filename.hs). Right click on the ghcid terminal and click `always on top`. That way, It will be always visible as you are typing and saving code.

With a combination of ghcid, an hiedb filewatcher and the -fdefer-type-errors flag you can get pretty solid IDE behavior. Currently only ghc 9.4.4 is supported but happy to personally help people set this up if interested!

With an editor integration, you could rig it up to where you could right-click on a Spec, choose "Run spec" from a context menu, and have your editor add that comment to and save dev.hs. Another editor integration could read and parse the contents of ghcid.txt. We have this already for the compiler output, but it doesn't yet parse the test output. But sans an editor integration, you will still see the test output in the console where Ghcid is running.

Sounds like you want ghcid. You can use it run tests on a successful build, and it will watch files in your project and quick-rebuild when there are changes. There shouldn't be any need to modify your Cabal files or test dependencies.

In addition, for Haskell, I usually have ghcid running, which likewise re-runs on every file change, but gives faster feedback about any type errors than the full compiler, and also is configured to evaluate

Have you looked into ghcid? https://github.com/ndmitchell/ghcid

VS Code + Haskell extension is usually best, but ghcid is an alternative which is much simpler, easier to set up, less pretty and powerful but still pretty easy and effective to use. Here's a workflow:

In general, though, I recommend just looking at the cabal files for various libraries and executables. Something like ghcid is good, since it contains a library, an executable, and a test suite.

you should also checkout the ghci vim plugin https://github.com/ndmitchell/ghcid/tree/master/plugins/nvim

Some killer features in Emacs, which I would recommend checking out, is imenu and movement by s-expression (functions like forward-sexp). These are built into Emacs and make navigating across or inside blocks of code very easy. I have also seen that lispy, which is usually used for Lisp code also supports Python. Again I can't speak to any specifics about how well these things work for Python devs.

While writing other programming languages with LSP, it formats the buffer once I hit save. Is there any way to make https://github.com/abo-abo/lispy do some equivalent behaviour?

Without any order magit, lispy and minions.

I don't know cider, but...I found lispy mode a revelation in making the easy, easier.

The level of interactivity in your emacs determines how easy trying emacs-lisp becomes. I suggest checking out https://github.com/abo-abo/lispy, it makes it easy to look up documentation (C-c 1 I believe) and evaluate S-expressions on the fly (keybinding is e). Also C-h f, C-h k, C-h v are always very helpful. Also check out helpful (the package), selectrum, marginalia, prescient, etc.

Emacs seems to attract quite a lot of people who want structural code editing. We now have * paredit * smartparens * evil-cleverparens * lispy * symex * combobulate (more?)

Obviously, we have packages like Paredit and Lispy, recently we got SymEx, but these are all for the Lisp family of languages, where syntactic redundancy is very high because of the homoiconicity.