Remix.run Logo
oguz-ismail 10 months ago

> dwm is customized through editing its source code

nextos 10 months ago | parent [-]

Sounds scary but it's giving you some compile-time guarantees about correctness.

StumpWM and XMonad do the same and they are quite easy to use, especially the former.

They also lead to very space-efficient setups. Windows can be tightly packed.

rhabarba 10 months ago | parent | next [-]

StumpWM is in a special position here as "compile-time" on Common Lisp is roughly the same thing as "runtime".

nextos 10 months ago | parent [-]

Sure, my statement referred to dwm, and it also applies to XMonad.

justmarc 10 months ago | parent | prev [-]

The only compile time guarantee you'd have by making changes is that it would run, not it being correct nor functional.

nextos 10 months ago | parent [-]

Static types do provide some guarantees as they rule out an entire class of runtime errors. In case of XMonad, since Haskell's type system is more expressive, the class of runtime errors ruled out at compile-time is broader.