Woah woah put the fangs away, it’s not worth it. I’m an idiot but thought xmonad was very fun, I just ran into issues maintaining it. This is why I was scared from trying nix os, I’m superb at breaking things unintentionally. I am genuinely curious to know what makes you passionate about xmonad comrade
Because, as you alluded to, it simply cannot break.
It is formally verified. In fact, it’s the only window manager (tiling or otherwise) that can claim that. Formally verified means there are virtually no flaws in the code and it will continue humming along as long as you present it with a valid config.
If my config compiles, it will work in XMonad. Only NixOS and GUIX offer the same compilation-tied-to-validity of a config…and I like that a LOT. I actually started learning Haskell by building out my own config (which was forked from this absolutely incredible master class in NixOS configs by gvolpe). I even built a DSL in Haskell in two hours that flawlessly controls my smart appliances with hot keys I programmed.
Also, I have it wired into my NixOS config so it is plug & play for me. I could switch to Hyprland in a heartbeat but honestly…I dislike it. Config files should be in a format that DOESN’T suck ass, IMO.
Perhaps if they’d switch to using Haskell for config files, I might consider it but those GPU intensive animations aren’t worth it also. Work continues to replace XMonad with a worthy Haskell successor and I’m honestly in no rush to switch until it’s done.
tldr: In a phrase: Xmonad just works.
Ps. When I compare the Xmonad part of my config with the Polybar part of my config, the difference is stark. In XMonad, I feel free to sculpt the experience in any way I want. In Polybar, those FUGLY .ino files are a curse upon mankind that needs to be eradicated by elegant software like XMonad. (though XMobar didn’t impress me, weirdly enough)
I admit I chose poor wording to ask, but I promise I had no intentions of casting shade or shame of any kind.
you’ve got me itching to try it again. It’s been nearly a decade since I tried it, but I remember enjoying haskell. I just ran into headaches with updates. Almost certainly user error, but I remember cabal or ghcup breaking with an update attempt so I moved on to focus on i3. If I use extreme caution on setup, you think I can get a stable/reliably long-term xmonad environment?
Yes. But it was pretty tough to use gvolpe’s config as he had all kinds of git-crypt stuff I needed to unravel. but I eventually got there and now I have a fleet of machines with configs based off of it with all kinds of idiosyncrasies depending on the machine. It’s quite elegant once you tame it to your will. I had a super smart German bud of mine almost give up but I kept helping him until it worked.
Haskell has a pretty tough dev experience if you don’t get Nix involved, IMO. I got involved in all of this because of Cardano, so I was instantly a flakes, Haskell, and NixOS advocate right away. It has the capability to tame incredibly complex stacks. If you revisit Haskell, do yourself a favor and do it from within a custom IOG Nix Devshell. Life is SO much more locked in there. Ps. Ghcup simply doesn’t work in NixOS because it flies counter to the NixOS way, though I’m pretty sure you could get it to work using fhs derivations or whatever. There’s a lot to relearn in the world of NixOS but, IMO, I’m just learning the RIGHT way and trying to drag the Docker fanboys along for the ride with me. :)
Woah woah put the fangs away, it’s not worth it. I’m an idiot but thought xmonad was very fun, I just ran into issues maintaining it. This is why I was scared from trying nix os, I’m superb at breaking things unintentionally. I am genuinely curious to know what makes you passionate about xmonad comrade
Fair enough. Fangs retracted. 🙏
Because, as you alluded to, it simply cannot break.
It is formally verified. In fact, it’s the only window manager (tiling or otherwise) that can claim that. Formally verified means there are virtually no flaws in the code and it will continue humming along as long as you present it with a valid config.
If my config compiles, it will work in XMonad. Only NixOS and GUIX offer the same compilation-tied-to-validity of a config…and I like that a LOT. I actually started learning Haskell by building out my own config (which was forked from this absolutely incredible master class in NixOS configs by gvolpe). I even built a DSL in Haskell in two hours that flawlessly controls my smart appliances with hot keys I programmed.
Also, I have it wired into my NixOS config so it is plug & play for me. I could switch to Hyprland in a heartbeat but honestly…I dislike it. Config files should be in a format that DOESN’T suck ass, IMO.
Perhaps if they’d switch to using Haskell for config files, I might consider it but those GPU intensive animations aren’t worth it also. Work continues to replace XMonad with a worthy Haskell successor and I’m honestly in no rush to switch until it’s done.
tldr: In a phrase: Xmonad just works.
Ps. When I compare the Xmonad part of my config with the Polybar part of my config, the difference is stark. In XMonad, I feel free to sculpt the experience in any way I want. In Polybar, those FUGLY .ino files are a curse upon mankind that needs to be eradicated by elegant software like XMonad. (though XMobar didn’t impress me, weirdly enough)
I admit I chose poor wording to ask, but I promise I had no intentions of casting shade or shame of any kind.
you’ve got me itching to try it again. It’s been nearly a decade since I tried it, but I remember enjoying haskell. I just ran into headaches with updates. Almost certainly user error, but I remember cabal or ghcup breaking with an update attempt so I moved on to focus on i3. If I use extreme caution on setup, you think I can get a stable/reliably long-term xmonad environment?
No hard feelings! :)
Yes. But it was pretty tough to use gvolpe’s config as he had all kinds of git-crypt stuff I needed to unravel. but I eventually got there and now I have a fleet of machines with configs based off of it with all kinds of idiosyncrasies depending on the machine. It’s quite elegant once you tame it to your will. I had a super smart German bud of mine almost give up but I kept helping him until it worked.
Haskell has a pretty tough dev experience if you don’t get Nix involved, IMO. I got involved in all of this because of Cardano, so I was instantly a flakes, Haskell, and NixOS advocate right away. It has the capability to tame incredibly complex stacks. If you revisit Haskell, do yourself a favor and do it from within a custom IOG Nix Devshell. Life is SO much more locked in there. Ps. Ghcup simply doesn’t work in NixOS because it flies counter to the NixOS way, though I’m pretty sure you could get it to work using fhs derivations or whatever. There’s a lot to relearn in the world of NixOS but, IMO, I’m just learning the RIGHT way and trying to drag the Docker fanboys along for the ride with me. :)