„Xmonad“ – Versionsunterschied
| [ungesichtete Version] | [ungesichtete Version] |
dwm is properly spelled in all lower case |
Gwern (Diskussion | Beiträge) →References: I'll convert this paper into a regular ref when I feel like it |
||
| Zeile 63: | Zeile 63: | ||
==References== |
==References== |
||
<references/> |
<references/> |
||
<!-- @inproceedings{xmonad-2007, |
|||
author = {Don Stewart and Spencer Janssen}, |
|||
title = {{XMonad}: A Tiling Window Manager}, |
|||
booktitle = {Haskell '07: Proceedings of the 2007 ACM SIGPLAN Workshop on Haskell}, |
|||
year = {2007}, |
|||
month = {Sep}, |
|||
location = {Freiburg, Germany}, |
|||
publisher = {ACM Press}, |
|||
address = {New York, NY, USA}, |
|||
notes = {To appear} |
|||
} |
|||
http://www.cse.unsw.edu.au/~dons/papers/SJ07.html |
|||
--> |
|||
==External links== |
==External links== |
||
Version vom 2. August 2007, 14:16 Uhr
| Xmonad
| |
|---|---|
| Basisdaten
| |
| Erscheinungsjahr | 6. März 2007[1] |
| Aktuelle Version | 0.18.0[2] (3. Februar 2024) |
| Betriebssystem | Unix-ähnliches System |
| Programmiersprache | Haskell[3][4] |
| Lizenz | 3-Klausel-BSD[5] |
| xmonad.org | |
Xmonad is a tiling window manager for the X Window System, written in the functional programming language Haskell.
Begun in March 2007, it is similar to dwm, larswm, StumpWM and other members of the tiling window manager family, in that it strives to make it possible for the user to productively manage windows without the use of the mouse. While originally a clone of dwm (and following it in areas such as default keybindings), Xmonad supports features not available to dwm users, such as Xinerama (for multihead displays),[6] per-workspace layout, fullscreen tiling, state preservation, layout mirroring and per-screen status bars. Like dwm, it is customised by modifying and compiling a source file.[7] Configuration changes are reflected in the running application by dynamically restarting the program (with window manager state preserved during restart). Extensions to the core system, including unusual layout algorithms such as window tiling based on the the Fibonacci spiral, have been implemented by users and are available as a library.[8] In addition to the superfluity of the mouse, the Xmonad developers make heavy use of semi-formal methods and program derivation for improving reliability and enabling a total line of code count less than 500;[9] window manager properties (such as the behaviour of window focus) are checked through use of QuickCheck. This emphasis makes Xmonad unique in a number of ways; besides being the first window manager written in Haskell, it is also the first to use the zipper data structure for automatically managing focus, and its core has been proven to be safe with respect to pattern matches,[10] contributing further to reliability. The developers write:
"By utilising the expressivity of a modern functional language with a rich static type system, xmonad provides a complete, featureful window manager in less than 500 lines of code, with an emphasis on correctness and robustness. Internal properties of the window manager are checked using a combination of static guarantees provided by the type system, and type-based automated testing. A benefit of this is that the code is simple to understand, and easy to modify."[11]
It makes use of Haskell features and tools such as: QuickCheck, GHC extensions like pattern guards, monads, monad transformers, zippers, and the Cabal packaging system, in addition to Haskell bindings to Xlib (with rebinding to XCB planned when the Haskell bindings are released).
See also
References
- ↑ Initial import. · xmonad/xmonad@b2c1430.
- ↑ Release 0.18.0. 3. Februar 2024 (abgerufen am 20. Februar 2024).
- ↑ The xmonad Open Source Project on Open Hub: Languages Page. In: Open Hub. (abgerufen am 18. Juli 2018).
- ↑ github.com. 6. Juli 2025.
- ↑ github.com. (abgerufen am 9. Januar 2020).
- ↑ Keyboard-Driven Environments Open a New Window. OSnews, 31. Mai 2007, abgerufen am 31. Mai 2007.
- ↑ Haskell Weekly News: April 27, 2007. Haskell Weekly News, 27. April 2007, abgerufen am 23. Mai 2007.
- ↑ Xmonad: Contributed code. Xmonad.org, 22. Mai 2007, abgerufen am 23. Mai 2007.
- ↑ Xmonad: a Tiling Window Manager Written in Haskell. OSnews, 22. April 2007, abgerufen am 23. Mai 2007.
- ↑ "Does xmonad crash? On proving pattern coverage in xmonad with Catch"; "Preconditions on XMonad"
- ↑ Manpage of Xmonad. Xmonad.org, 18. April 2007, abgerufen am 17. Mai 2007.
External links
- Xmonad homepage
- Xmonad mailing list
- Xmonad man page
- Xmonad press
- Contrib repository -(darcs repository for a number of contributed third-party extensions to Xmonad)
- Xmonad 0.2 Hackage page
- Bits and Bytes: xmonad
- "Roll Your Own Haskell Window Manager: Part 1: Defining a Model"
- "Roll Your Own Window Manager: Tracking Focus with a Zipper"
- "Taste of Haskell" -(talk by Simon Peyton Jones on Haskell, using Xmonad as an example)