Xmonad

Last updated
xmonad
Original author(s) Spencer Janssen, Don Stewart, Jason Creighton
Initial releaseMarch 6, 2007;17 years ago (2007-03-06) [1]
Stable release
0.18.0 [2]   OOjs UI icon edit-ltr-progressive.svg / 3 February 2024
Repository
Written in Haskell
Operating system POSIX compatible
Platform Cross-platform; requires an X Window System and GHC
Size 56 KB (source code) [3]
Available in English
Type Window manager
License BSD 3-clause
Website xmonad.org   OOjs UI icon edit-ltr-progressive.svg
xmonad's Xinerama support: tiling on three screens simultaneously. Xmonad-screen-triplehead-dons.png
xmonad's Xinerama support: tiling on three screens simultaneously.
xmonad in tiling mode Xmonad-tall-status-dons.png
xmonad in tiling mode

xmonad is a dynamic window manager (tiling) for the X Window System, noted for being written in the functional programming language Haskell. [4] [5]

Contents

Window manager

Begun in March 2007, version 0.1 was announced [6] in April 2007 as 500 lines of Haskell [7] (which have since grown to 2000 lines). xmonad is a tiling window manager—akin to dwm, larswm, and StumpWM. It arranges windows in a non-overlapping pattern, and enables managing windows without using the mouse. xmonad is packaged and distributed on a wide range of Unix-like operating systems, such as a large number of Linux distributions, and Berkeley Software Distribution (BSD) systems.

While originally a clone of dwm (derivative in areas such as default keybindings), xmonad now supports features not available to dwm users [8] [9] such as per-workspace layout, tiling reflection, state preservation, layout mirroring, GNOME support and per-screen status bars; it can be customised by modifying an external configuration file and 'reloaded' while running. [10] xmonad features have begun to influence other tiling window managers: dwm has borrowed "urgency hooks" from xmonad, [11] has also included Xinerama support (for multihead displays) with release 4.8, and patches exist to reimplement xmonad's Fibonacci layout. [12]

Haskell project

In 2023 the man page stated:

By utilising the expressivity of a modern functional language with a rich static type system, xmonad provides a complete, featureful window manager [...], 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. [13]

Since xmonad's inception, when its small code size of 500 lines of code was advertised, it has grown to ca. 2000 lines in 2023.

Extensions to the core system, including emulation of other window managers, and unusual layout algorithms, such as window tiling based on the Fibonacci spiral—have been implemented by the active community [14] and are available as a library. [15]

Along with obviating the need for a mouse, [16] 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 1200, as of version 0.7; window manager properties (such as the behavior of window focus) are checked through use of QuickCheck. [17] This emphasis makes xmonad unusual 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, [18] contributing further to reliability. The developers write:

xmonad is a tiling window manager for the X Window system, implemented, configured and dynamically extensible in Haskell. This demonstration presents the case that software dominated by side effects can be developed with the precision and efficiency we expect from Haskell by utilising purely functional data structures, an expressive type system, extended static checking and property-based testing. In addition, we describe the use of Haskell as an application configuration and extension language. [19]

The code is separated into side-effect free code, and a thin wrapper for the side-effects. [20] According to Alejandro Serrano Mena, there are two ways of implementing domain-specific languages for actions in Haskell applications and libraries: "developing a combinator library" or "rolling your own monad", with xmonad being a successful example of the latter. [21] xmonad was regarded as one of the most well known Haskell projects in a 2013 functional programming book. [5]

Reception

Linux Magazine included xmonad in a list of "My Top Resources of 2009". [22] In 2012, How-To Geek described xmonad as having good, but complex, ability to be configured, [23] and it was included in a 2013 list of eight desktop environments for Linux. [24] Lifehacker wrote that the basic operations of xmonads user interface can be taught using a small set of instructions. [25] A high level of customisation and speed were noted by Network World, [4] and in MakeUseOf xmonad was reviewed positively compared to Openbox. [26]

In 2016 Ars Technica said xmonad and Awesome had more advanced tiling ability than Cinnamon. [27] In 2017 it was described as powerful, with application as a windows manager for big data, [28] while in an article on opensource.com on the other hand, dwm was chosen over xmonad. [29] A TechRadar review of the "Best Linux desktop of 2018" said "If there's one desktop environment that stands out from all the others we have here, it's this one." [30]

Due to the small number of lines of code of the Xmonad application, the use of the purely functional programming language Haskell, and recorded use of a rigorous testing procedure it is sometimes used as a baseline application in other research projects. This has included re-implementation of xmonad using the Coq proof assistant, [31] a determination xmonad is an imperative program, [32] and studies of package management relating to the NixOS linux distribution. [33]

See also

Related Research Articles

<span class="mw-page-title-main">Mandriva Linux</span> Linux distribution

Mandriva Linux is a discontinued Linux distribution developed by Mandriva S.A.

In computing, a desktop environment (DE) is an implementation of the desktop metaphor made of a bundle of programs running on top of a computer operating system that share a common graphical user interface (GUI), sometimes described as a graphical shell. The desktop environment was seen mostly on personal computers until the rise of mobile computing. Desktop GUIs help the user to easily access and edit files, while they usually do not provide access to all of the features found in the underlying operating system. Instead, the traditional command-line interface (CLI) is still used when full control over the operating system is required.

<span class="mw-page-title-main">X window manager</span> Type of window manager

An X window manager is a window manager that runs on top of the X Window System, a windowing system mainly used on Unix-like systems.

<span class="mw-page-title-main">ReactOS</span> Free incomplete Windows NT-like operating system

ReactOS is a free and open-source operating system for amd64/i686 personal computers intended to be binary-compatible with computer programs and device drivers developed for Windows Server 2003 and later versions of Microsoft Windows. ReactOS has been noted as a potential open-source drop-in replacement for Windows and for its information on undocumented Windows APIs.

freedesktop.org (fd.o), formerly X Desktop Group (XDG), is a project to work on interoperability and shared base technology for free-software desktop environments for the X Window System (X11) and Wayland on Linux and other Unix-like operating systems. Although freedesktop.org produces specifications for interoperability, it is not a formal standards body.

ratpoison Simple mouse-free tiling window manager

ratpoison is a tiling window manager for the X Window System primarily developed by Shawn Betts. The user interface and much of their functionality are inspired by the GNU Screen terminal multiplexer. While ratpoison is written in C, Betts' StumpWM re-implements a similar window manager in Common Lisp.

<span class="mw-page-title-main">PCLinuxOS</span> Linux distribution

PCLinuxOS, often shortened to PCLOS, is a rolling release Linux distribution for x86-64 computers, with KDE Plasma, MATE, and XFCE as its default user interfaces. It is a primarily FOSS operating system for personal computers aimed at ease of use.

<span class="mw-page-title-main">Window manager</span> Type of system software

A window manager is system software that controls the placement and appearance of windows within a windowing system in a graphical user interface. Most window managers are designed to help provide a desktop environment. They work in conjunction with the underlying graphical system that provides required functionality—support for graphics hardware, pointing devices, and a keyboard—and are often written and created using a widget toolkit.

<span class="mw-page-title-main">Xgl</span> Display server implementation

Xgl is an obsolete display server implementation supporting the X Window System protocol designed to take advantage of modern graphics cards via their OpenGL drivers, layered on top of OpenGL. It supports hardware acceleration of all X, OpenGL and XVideo applications and graphical effects by a compositing window manager such as Compiz or Beryl. The project was started by David Reveman of Novell and first released on January 2, 2006. It was removed from the X.org server in favor of AIGLX on June 12, 2008.

<span class="mw-page-title-main">IRIX Interactive Desktop</span> Computer software desktop environment

IRIX Interactive Desktop is a discontinued desktop environment normally used as the default desktop on Silicon Graphics workstations running IRIX. The IRIX Interactive Desktop uses the Motif widget toolkit on top of the X Window System found on most Unix systems. The default window manager on the IRIX Interactive Desktop is 4Dwm.

<span class="mw-page-title-main">Zenwalk</span> Slackware-based Linux distribution

Zenwalk GNU/Linux is a desktop-focused Linux distribution founded by Jean-Philippe Guillemin. It is based on Slackware with very few modifications at system level making it 100% compatible with Slackware. It aims to be a modern, multi-purpose Linux distribution by focusing on internet applications, multimedia and programming tools. It comes with many specialized tools and is designed for beginners and advanced users alike, as it offers system configuration via both graphical tools and the command line.

<span class="mw-page-title-main">Tiling window manager</span> Window manager with non-overlapping frames

In computing, a tiling window manager is a window manager with an organization of the screen into mutually non-overlapping frames, as opposed to the more common approach of coordinate-based stacking of overlapping objects (windows) that tries to fully emulate the desktop metaphor.

larswm

larswm is a window manager for the X window system that follows the tiling window manager paradigm. Using ideas from the older 9wm window manager, it features automatic tiling and virtual desktops. It also borrows other ideas, for example a limited form of plumbing, from the Acme development environment. Objects are tiled into non-overlapping areas, instead of using windows that can be stacked, as this approach can result in lower memory and CPU requirements.

<span class="mw-page-title-main">SUSE Linux Enterprise</span> Linux distribution

SUSE Linux Enterprise (SLE) is a Linux-based operating system developed by SUSE. It is available in two editions, suffixed with Server (SLES) for servers and mainframes, and Desktop (SLED) for workstations and desktop computers.

dwm Dynamic window manager for X Window System

dwm is a minimalist dynamic window manager for the X Window System developed by Suckless that has influenced the development of several other X window managers, including xmonad and awesome. It is externally similar to wmii, but internally much simpler. dwm is written purely in C for performance and lacks any configuration interface besides editing the source code. One of the project's guidelines is that the source code is intended never to exceed 2000 SLOC, and options meant to be user-configurable are all contained in a single header file.

In computing, a dynamic window manager is a tiling window manager where windows are tiled based on preset layouts between which the user can switch. Layouts typically have a main area and a secondary area. The main area usually shows one window, but one can also change the number of windows in this area. Its purpose is to reserve more space for the more important window(s). The secondary area shows the other windows.

<span class="mw-page-title-main">OpenShot</span> Free video editing software

OpenShot Video Editor is a free and open-source video editor for Windows, macOS, Linux, and ChromeOS. The project started in August 2008 by Jonathan Thomas, with the objective of providing a stable, free, and friendly to use video editor.

awesome (window manager) Window manager for X Window System

awesome is a dynamic window manager for the X Window System developed in the C and Lua programming languages. Lua is also used for configuring and extending the window manager. Its development began as a fork of dwm, though has differed considerably since. It aims to be extremely small and fast, yet extensively customizable. It makes it possible for the user to manage windows with the use of keyboard.

<span class="mw-page-title-main">Criticism of desktop Linux</span> Criticism of certain Linux distributions

Criticism of desktop Linux is a history of comment on the perceived shortcomings of the Linux operating system when installed on desktop computers. These criticisms have been aimed at the plethora of issues and lack of consistency between Linux distributions, their usefulness and ease of use as desktop systems for general end users, driver support and issues with multi-media playback and audio development.

i3 (window manager) Unix window manager software

i3 is a tiling window manager designed for X11, inspired by wmii and written in C. It supports tiling, stacking, and tabbing layouts, which are handled manually. Its configuration is achieved via a plain text file and extending i3 is possible using its Unix domain socket and JSON based IPC interface from many programming languages.

References

  1. ↑ "Initial import: xmonad/xmonad@b2c1430". GitHub.
  2. ↑ "Release 0.18.0". 3 February 2024. Retrieved 20 February 2024.
  3. ↑ "xmonad: download". suckless.org. Archived from the original on 2012-12-26. Retrieved December 17, 2012.
  4. 1 2 Lunduke, Bryan (15 May 2013). "10 amazing Linux desktop environments you've probably never seen". Network World . xmonad. Archived from the original on 26 May 2018.
  5. 1 2 Ohlig, Jens; Mehnert, Hannes; Schirmer, Stefanie (24 September 2018). Das Curry-Buch – Funktional programmieren lernen mit JavaScript. O'Reilly Germany. p. 177. ISBN   978-3868993691 – via Google Books.
  6. ↑ Janssen, Spencer (2007-04-22). "Announce: xmonad 0.1". Haskell-cafe (Mailing list). Archived from the original on 2021-08-30. Retrieved 2021-08-30.
  7. ↑ "Xmonad: a Tiling Window Manager Written in Haskell". OSNews. 2007-05-22. Archived from the original on 2008-04-11. Retrieved 2007-09-23.
  8. ↑ "Keyboard-Driven Environments Open a New Window". OSNews. 2007-05-31. Archived from the original on 2007-06-04. Retrieved 2007-05-31.
  9. ↑ "xmonad 0.4 Released". OSNews. 2007-10-19. Archived from the original on 2007-12-22. Retrieved 2007-12-23.
  10. ↑ Through a combination of swiftly re-compiling and then execing the new xmonad binary; see "Haskell Weekly News: April 27, 2007". Haskell Weekly News. 2007-04-27. Archived from the original on 2007-05-29. Retrieved 2007-05-23.
  11. ↑ See the developer discussion Archived 2018-09-18 at the Wayback Machine on the dwm mailing list
  12. ↑ Suckless.org: Fibonacci layouts patch Archived 2013-04-13 at the Wayback Machine to dwm
  13. ↑ "Manpage of xmonad". xmonad.org. 2021-10-27. Archived from the original on 2023-08-13. Retrieved 2023-09-01.
  14. ↑ xmonad users generate significant traffic in the #xmonad Archived 2007-12-29 at the Wayback Machine Internet Relay Chat (IRC) channel and the xmonad mailing list; also, there are many commits to the extension library from non-core devs (see the xmonad statistic page Archived 2007-12-23 at the Wayback Machine )
  15. ↑ "xmonad: Contributed code". xmonad.org. 2007-05-22. Archived from the original on 2007-09-16. Retrieved 2007-05-23.
  16. ↑ Mitchell, Neil (June 2008). "6.5.5". Transformation and Analysis (PDF) (PhD). University of York. Archived (PDF) from the original on 12 September 2018. Retrieved 12 September 2018.
  17. ↑ Hu, Zhenjiang; Hughes, John; Wang, Meng (2015). "How functional programming mattered" (PDF). National Science Review. 2 (3): 350–351. doi: 10.1093/nsr/nwv042 . ISSN   2095-5138. Archived (PDF) from the original on 2018-07-23. Retrieved 27 September 2018.
  18. ↑ Mitchell, Neil (9 May 2007). "Neil Mitchell's Haskell Blog: Does XMonad crash?". Archived from the original on 2007-05-14. Retrieved 2007-05-17.
  19. ↑ Stewart & Janssen, 2007
  20. ↑ Warden, Shane; Biancuzzi, Federico (2009). Masterminds of Programming: Conversations with the Creators of Major Programming Languages . O'Reilly Media. p. 181. ISBN   978-0596515171. Archived from the original on 2018-09-19. Retrieved 2018-09-18.
  21. ↑ Mena, Alejandro Serrano (5 March 2014). Beginning Haskell: A Project-Based Approach. Apress. p. 385. ISBN   9781430262510. Archived from the original on 2018-09-24. Retrieved 2018-09-24– via Google Books.
  22. ↑ Zawodny, Jeremy (2009-12-06). "My Top Resources of 2009". Linux Magazine . Archived from the original on 2018-09-23. Retrieved 2018-09-23.{{cite news}}: CS1 maint: unfit URL (link)
  23. ↑ Hoffman, Chris (2012-05-24). "How to Use Xmonad, a Tiling Window Manager for Linux". How-To Geek. Archived from the original on 2018-09-18. Retrieved 2018-09-17.
  24. ↑ Hoffman, Chris (2013-05-18). "Linux Users Have a Choice: 8 Linux Desktop Environments". How-To Geek. Archived from the original on 2017-07-13. Retrieved 2018-09-24.
  25. ↑ Goerzen, John (2013-01-08). "I Raised My Kids On the Command Line...and They Love It". Lifehacker . Univision Communications. Archived from the original on 2018-09-18. Retrieved 2018-09-17.
  26. ↑ Stieben, Danny (2018-09-18). "Need A Fresh Desktop Environment for Linux? Try Openbox Or xmonad". makeuseof.com. Archived from the original on 2017-11-23. Retrieved 2018-09-24.
  27. ↑ "Mint 18 review: "Just works" Linux doesn't get any better than this". Ars Technica . 2016-08-04. Archived from the original on 2018-09-17. Retrieved 2018-09-17.
  28. ↑ Nita, Stefania Loredana; Mihailescu, Marius (14 September 2017). Practical Concurrent Haskell: With Big Data Applications . Apress. pp. 40–41. ISBN   978-1484227800 – via Amazon.
  29. ↑ "Top 4 reasons I use dwm for my Linux window manager". Opensource.com . Red Hat. 2017-07-18. Archived from the original on 2018-09-18. Retrieved 2018-09-17.
  30. ↑ "Best Linux desktop of 2018". TechRadar . Future plc. 2018-01-15. Archived from the original on 2018-09-18. Retrieved 2018-09-17.
  31. ↑ Swierstra, Wouter (13 September 2012). "xmonad in Coq (Experience Report) Programming a Window Manager with a Proof Assistant". In Voigtländer, J. (ed.). Haskell '12 Proceedings of the 2012 Haskell Symposium. ICFP 2012 The 17th ACM SIGPLAN International Conference on Functional Programming. Copenhagen, Denmark: Association for Computing Machinery. pp. 131–136. ISBN   978-1-4503-1574-6.
  32. ↑ Lippmeier, Ben (May 2010). Type Inference and Optimisation for an Impure World (PDF) (PhD). Australian National University. pp. 45–46. Archived from the original on 2018-09-27.{{cite thesis}}: CS1 maint: unfit URL (link)
  33. ↑ Dolstra, Eelco; LÖH, Andres; Pierron, Nicolas (November 2010). "NixOS: A Purely Functional Linux Distribution". Journal of Functional Programming . 20 (5–6): 577–615. doi: 10.1017/S0956796810000195 . ISSN   0956-7968.

Works cited

Further reading

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.