>I really wish this was written in something even like Haskell or Ocaml, that has actual real language support and tooling. Troubleshooting attribute errors was just not possible and I gave up (GUIX looks awesome, but I can't really use shepherd unfortunately).

The 3 times I've tried to use Nix (and invariably gave up), I always came to this conclusion.

A language like F#/OCaml with great typing and type inference and good auto completion could get us half the way to usability.