Waymonad

44 readers

1 users here now

The successor to XMonad, written in Haskell, using the Wayland compositor instead of X11.

founded 2 weeks ago

MODERATORS

demesisx@infosec.pub

Current State of this Project: In Progress (discourse.haskell.org)

submitted 2 weeks ago by demesisx@infosec.pub to c/waymonad@infosec.pub

2 comments fedilink hide all child comments

In the process of forking Xmonad, it was discovered that a lot of work would need to be done in getting a Haskell compositor working. Currently, the compositor is being worked on using Tiny-wlhs: A Haskell-Driven Wayland Compositor (Seeking Contributors!)

tiny-wlhs began as an experiment to explore Haskell bindings for wlroots. We took the simple tinywl C compositor and turned it into a Haskell-controlled shared library. This approach lets us incrementally port C code to Haskell while keeping a working window manager. The immediate feedback from a functional compositor is invaluable during development and provides something solid to work with. You can find the project on GitHub: https://github.com/l-Shane-l/tiny-wlhs 25

top 2 comments

sorted by: hot top controversial new old

[–] pivot_root@lemmy.world 1 points 2 weeks ago (1 children)

Curiously, why Haskell?

[–] demesisx@infosec.pub 5 points 2 weeks ago* (last edited 2 weeks ago)

Why not Haskell? It’s lazy and pure and compiles down to actual safe C. It’s like Rust but better (not to mention how the language LOOKS on screen…it’s VERY readable and intuitive). Furthermore, the entire paradigm that it strictly enforces makes parallelism possible by default.

Also, I don’t know if you’ve played around with the config formats of any of the tiling window managers but if you do, I think you’ll understand. The formats they use are SO ugly in comparison to my declarative config. Plus, Haskell will give you clear error messages when you make a mistake in your config.

Try that with a Polybar config: 🤮

I could go on all day about why Haskell in particular is uniquely well suited to this task. Xmonad is the only window manager that is formally verified. Can anyone else even achieve that with another tiling window manager? Probably not since Haskell is one of the only languages that is fast enough AND can make guarantees about runtime properties that not even Rust can.

Here’s an intro to XMonad from distrotube:

https://youtu.be/gPQ9mn9Nkpc