Xmonad is a tiling window manager for X Window, written in the functional programming language Haskell. Image File history File links No higher resolution available. ... Image File history File links Size of this preview: 800 × 600 pixelsFull resolution (1024 × 768 pixel, file size: 90 KB, MIME type: image/png) File links The following pages on the English Wikipedia link to this file (pages on other projects are not listed): Xmonad ... Software design is the process that starts from a problem for which there is currently no acceptable (software) solution, and ends when such a solution has been created. ... A software release refers to the creation and availability of a new version of a computer software product. ... A software release refers to the creation and availability of a new version of a computer software product. ... Darcs is a distributed revision control system by David Roundy designed to replace the centralized CVS. Several noticeable differences in the design aim for simple use and powerful features. ... An operating system (OS) is a set of computer programs that manage the hardware and software resources of a computer. ... In computing, a platform describes some sort of framework, either in hardware or software, which allows software to run. ... A cross-platform (or platform independent) programming language, software application or hardware device works on more than one system platform (e. ... A software license is a legal agreement which may take the form of a proprietary or gratuitous license as well as a memorandum of contract between a producer and a user of computer software. ... The BSD daemon BSD licenses represent a family of permissive free software licenses. ... A Web site (or colloquially, Website) is a collection of Web pages, images, videos and other digital assets that is hosted on a Web server, usually accessible via the Internet or a LAN. A Web page is a document, typically written in HTML, that is almost always accessible via HTTP... A tiling window manager is a window manager with an organization of the screen into mutually non-overlapping frames, as opposed to the traditional approach of coordinate-based stacking of objects (windows) that tries to emulate the desk paradigm. ... On Microsoft Windows 95, 98, and ME you can enter the Windows device manager by clicking Start, Settings, Control Panel, System icon, and clicking on the Device Manager tab. ... In computing, the X Window System (commonly X11 or X) is a windowing system for bitmap displays. ... Functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions. ... Haskell is a standardized pure functional programming language with non-strict semantics, named after the logician Haskell Curry. ...

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 such areas as default keybindings & XRandR support), Xmonad supports features dwm's maintainer refuses to include, such as Xinerama, as well as support for user-specified layout algorithms. Extension and configuration is done, like in dwm, through a separate file (Config.hs) which is compiled with the rest of Xmonad; thus extensions are written in a Turing-complete and modern language and can be arbitrarily complex.^[1] Unusual extensions, such as window tiling based on the the Fibonacci spiral, have been implemented by users in configuration files.^[2] 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^[3]; 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^[4], contributing further to reliability. The developers write: . The initial letter is shown capitalized due to technical restrictions. ... The larswm tiling window manager is a rewrite of 9wm that adds automatic tiling, virtual desktops and many more features to make it a highly productive user environment. ... StumpWM is a tiling X window manager implemented in Common Lisp, using the CLX library. ... A contemporary computer mouse, with the most common standard features — two buttons and a scroll-wheel. ... The Jargon File has this definition for clone: An exact duplicate: Our product is a clone of their product. ... This article or section does not adequately cite its references or sources. ... Four Head Xinerama Xinerama is an extension to the X Window System which allows applications and window managers to use the two (or more) physical displays as one large virtual display. ... This article is about the computing term. ... A tessellated plane seen in street pavement. ... A tiling with squares whose sides are successive Fibonacci numbers in length A Fibonacci spiral, created by drawing arcs connecting the opposite corners of squares in the Fibonacci tiling shown above - see golden spiral. ... In computer science and software engineering, formal methods are mathematically-based techniques for the specification, development and verification of software and hardware systems. ... In computer science, program derivation is the derivation a program from its specification, by mathematical means. ... Source lines of code (SLOC) is a software metric used to measure the amount of code in a software program. ... QuickCheck is a combinator library written in Haskell, designed to assist in software testing by generating test cases for test suites. ... The introduction to this article provides insufficient context for those unfamiliar with the subject matter. ... A binary tree, a simple type of branching linked data structure. ... In computing, the focus is the component of the graphical user interface which is currently selected. ... In computer science, pattern matching is the act of checking for the presence of the constituents of a given pattern. ...

"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."^[5] On computer science, a datatype (often simply type) is a name or label for a set of values and some operations which can be performed on that set of values. ...

It makes use of advanced Haskell features and programs 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). The Glasgow Haskell Compiler (or GHC) is an open source Native code Compiler for the functional programming language Haskell which was developed at the University of Glasgow. ... // In computer programming, a guard is a boolean expression that must evaluate to true if the program execution is to continue in the branch in question. ... Wikibooks Haskell has a page on the topic of Understanding monads Some functional programming languages make use of monads[1] [2] to structure programs which include operations that must be executed in a specific order. ... The Haskell Cabal is is the Common Architecture for Building Applications and Libraries; it aids in the development of software packages A process of making a library written in the Haskell programming language conformant to the requirements of the Cabal library infrastructure provided that the library was initially developed without... Xlib is an X Window System protocol client library in the C programming language. ... In computing, XCB (X C Binding) is a C language binding for the X Window System. ...

See also

• Ion (window manager)

Categories: Software stubs | Free software | X window managers ...

References

1. ^ Haskell Weekly News: April 27, 2007. Haskell Weekly News (2007-04-27). Retrieved on 2007-05-23.
2. ^ Xmonad: Contributed code. Xmonad.org (2007-05-22). Retrieved on 2007-05-23.
3. ^ Xmonad: a Tiling Window Manager Written in Haskell. OSnews (2007-04-22). Retrieved on 2007-05-23.
4. ^ "Does xmonad crash? On proving pattern coverage in xmonad with Catch"
5. ^ Manpage of Xmonad. Xmonad.org (2007-04-18). Retrieved on 2007-05-17.

2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the CE era. ... April 27 is the 117th day of the year (118th in leap years) in the Gregorian calendar, with 248 days remaining. ... 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the CE era. ... May 23 is the 143rd day of the year (144th in leap years) in the Gregorian calendar. ... 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the CE era. ... May 22 is the 142nd day of the year (143rd in leap years) in the Gregorian calendar. ... 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the CE era. ... May 23 is the 143rd day of the year (144th in leap years) in the Gregorian calendar. ... 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the CE era. ... April 22 is the 112th day of the year in the Gregorian calendar (113th in leap years). ... 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the CE era. ... May 23 is the 143rd day of the year (144th in leap years) in the Gregorian calendar. ... 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the CE era. ... April 18 is the 108th day of the year in the Gregorian calendar (109th in leap years). ... 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the CE era. ... May 17 is the 137th day of the year in the Gregorian calendar (138th in leap years). ...

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.1 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"