Xmonad (original) (raw)
xmonad ist ein Fenstermanager für das X Window System. Er ist in der funktionalen Programmiersprache Haskell geschrieben. Im März 2007 wurde xmonad als Tiling-basierter Fenstermanager vorgestellt. Er organisiert daher die dargestellten Fenster kachelartig, so dass sie sich nicht überlappen. Außerdem bemühten sich die Entwickler, eine grafische Oberfläche zu schaffen, in der Benutzer ein produktives Arbeiten mit den Fenstern ohne Benutzung der Maus ermöglicht wird. Viele Linux-Distributionen liefern xmonad direkt über ihre Paketverwaltungssysteme aus und auch für FreeBSD, NetBSD, OpenBSD, und macOS ist es verfügbar.
| Property | Value |
|---|---|
| dbo:Software/fileSize | 56.0 (dbd:megabyte) |
| dbo:abstract | xmonad ist ein Fenstermanager für das X Window System. Er ist in der funktionalen Programmiersprache Haskell geschrieben. Im März 2007 wurde xmonad als Tiling-basierter Fenstermanager vorgestellt. Er organisiert daher die dargestellten Fenster kachelartig, so dass sie sich nicht überlappen. Außerdem bemühten sich die Entwickler, eine grafische Oberfläche zu schaffen, in der Benutzer ein produktives Arbeiten mit den Fenstern ohne Benutzung der Maus ermöglicht wird. Viele Linux-Distributionen liefern xmonad direkt über ihre Paketverwaltungssysteme aus und auch für FreeBSD, NetBSD, OpenBSD, und macOS ist es verfügbar. (de) xmonad est un gestionnaire de fenêtres par pavage pour le système X Window écrit, configurable et extensible en Haskell. Son nom est composé de X pour X Window et de Monad (en français monade), qui est une structure de donnée très utilisée en Haskell. (fr) xmonad es un gestor dinámico de ventanas (tiling) para el sistema X Window, que destaca por estar escrito en el lenguaje de programación funcional Haskell. (es) xmonad is a dynamic window manager (tiling) for the X Window System, noted for being written in the functional programming language Haskell. (en) xmonad は X Window System 上で動く タイル型ウィンドウマネージャ である。このウィンドウマネージャは、関数型プログラミング言語Haskellで書かれている。 2007年3月に開発が始まったxmonadは、dwm、、StumpWM等、他のタイル型ウィンドウマネージャと同様に、マウスを使わずに生産的にウィンドウを制御することを可能にすることを目指している。xmonad は、Arch Linux、Debian、Ubuntu、Gentoo、FreeBSD、NetBSD、OpenBSD等、多くのUnix系OSで利用可能である。 xmonadは、元々dwmのクローンであったが、今では、ワークスペース毎のレイアウト、タイリングリフレクション、状態の保存、レイアウトのミラーリング、GNOME上でのサポート、ステータスバー等、dwmでは利用できない機能をサポートしている。 実行中に、設定ファイルを変更しリロードすることで、カスタマイズ可能である。 xmonadの特徴は、他のタイル型ウィンドウマネージャへ影響を与えている。例えば、dwm は urgency hooks という機能を xmonad から取り入れたり、バージョン4.8 で Xinerama をサポートし、 xmonadの機能である Fibonacci レイアウトを可能している。 他のウィンドウマネージャのエミュレーションやFibonacci レイアウトのような普通ではないレイアウトアルゴリズム等、xmonadのコアシステムの拡張は活発なコミュニティで実装されており、ライブラリとして利用可能である。 マウスを使う必要をなくすことに加えて、xmonadのバージョン0.7では、開発においてsemi-formal methodとプログラム導出を多く使うことで、信頼性の向上と、コード量を1200行以下にすることを可能にした。例えば、ウィンドウマネージャの特性(ウィンドウフォーカスの振舞いなど)はQuickCheckを用いて検査される。 xmonadは、Haskellで書かれた初めてのウィンドウマネージャであることに加えて、次の点においても、一般的ではない。それは、zipper データ構造を、フォーカスを自動で扱うのに使ったことである。これは、パターンマッチを用いていることを考慮すると安全であることが証明されており、さらなる信頼性の向上に寄与している。 開発者は次のように述べている。 "xmonad は X Window System 用のタイル型ウィンドウマネージャであり、Haskellによって実装し、設定を行い、動的に拡張可能である。xmonadの実装は、副作用に支配されるソフトウェアを、純粋関数型データ構造や、表現力の高い型システム、高度な静的検査、特性に基いたテストを利用した Haskell から予想されるように、正確で効率的に開発可能であることを示している。加えて、我々はHaskellをアプリケーションの設定や拡張を行う言語でもあると考える。" xmonadの実装は、Haskell の特徴や、Xlib や xft の Haskell バインディング に加えて、QuickCheck、パターンガードのようなGHC拡張、モナド、モナド変換、zipper、Cabalライブラリ、等のさまざまなツールを利用している。 (ja) Het programma xmonad is een niet-overlappende windowmanager. De naam is een samentrekking van de grafische omgeving X Window System en de term die gebruikt wordt in functioneel programmeren om een rekeneenheid aan te duiden. (nl) xmonad är en tiling window manager, det vill säga en fönsterhanterare, för X Window System, skriven i det funktionella programmeringsspråket Haskell. Konfigureringen sker också helt och hållet i Haskell. (sv) xmonad — фреймовый оконный менеджер для X Window System, написанный на функциональном языке программирования Haskell. xmonad в своём стремлении помочь пользователю максимально эффективно управлять окнами без помощи мыши похож на dwm, awesome, , StumpWM и другие фреймовые (тайловые) менеджеры окон. xmonad распространяется со многими Unix-подобными операционными системами, в том числе, Linux (Arch Linux, Debian, Fedora Linux,Ubuntu, Gentoo), BSD (FreeBSD, NetBSD, OpenBSD). Основанный как клон dwm, xmonad поддерживает ряд возможностей, недоступных пользователям dwm, таких как отдельная планировка на каждый рабочий стол, сохранение состояния, поворот планировок, поддержка GNOME и статусной строки на каждый экран; он может быть перенастроен редактированием конфигурационного файла и перезапуском прямо во время работы. Возможности xmonad оказали влияние на другие оконные менеджеры. Например, dwm позаимствовал «urgency hooks», поддержку Xinerama и авторасположение окон в виде «спирали Фибоначчи». Отличительной особенностью XMonad является конфигурирование путём написания программного кода на языке Haskell. (ru) xmonad 是一种窗口管理器，运行于UNIX以及Linux、FreeBSD等类Unix操作系统上。xmonad使用Haskell编写，采用3条款BSD许可证。 xmonad是一款平铺式窗口管理器。窗口之间不会遮挡，且自动调整大小以填充整个屏幕。xmonad使用纯函数式编程语言Haskell开发，其配置以及扩展也同样使用Haskell完成。不仅可以单独使用xmonad外，而且可替换Gnome或KDE自带的窗口管理器。 (zh) xmonad — це мозаїчний менеджер вікон для X Window System, написаний на функціональній мові програмування Гаскель. Заснований у березні 2007 року, він схожий до dwm, , та інших членів родини мозаїчних віконних менеджерів, тому що він намагається зробити можливим продуктивне керування вікнами без застосування миші. Попри те, що спочатку це був клон dwm (що наслідував його поведінку в таких областях, як стандартні комбінації клавіш), xmonad має можливості, які dwm не забезпечує своїм користувачам, такі як (підтримка декількох моніторів), різного розташування фреймів на кожному робочому столі, повноекранної мозаїки, збереження стану, віддзеркалення розташування та поекранних рядків статусу. Як і dwm, він налаштовується модифікацією і компіляцією вихідного коду — але це вже змінено у останній розробницькій версії. Зміни конфігурації відображаються у робочому середовищі перезапуском програми (зі збереженням стану між перезапусками). Існує певна кількість розширень базової системи, включаючи різноманітні алгоритми розташування, які були створені розробниками та користувачами системи і наявні як бібліотека. Також розробники широко використовують формальні методи та для покращення надійності та зменшення загального обсягу коду. Властивості віконного менеджера (такі як поведінка фокусу вікна) перевіряються використанням . Ці особливності роблять xmonad унікальним у багатьох аспектах; окрім того, що це перший віконний менеджер, написанний на Хаскелі, він також перший, що використовує структуру даних для автоматичного керування фокусом. Розробники пишуть: «Використовуючи виразність сучасної функціональної мови з багатою системою статичних типів, xmonad є повноцінним віконним менеджером з великою функціональністю, що містить менш, ніж 500 рядків коду, з наголосом на коректність та надійність. Внутрішні властивості віконного менеджера перевіряються комбінацією гарантій, які забезпечуються статичною системою типів, та автоматичному тестуванні, що базується на типах. Перевагою такого підходу є те, що код легко зрозуміти та просто модифікувати.» Він використовує такі інструменти та особливості Хаскеля, як: QuickCheck, розширення (такі як ), монади, перетворювачі монад, зіппери, та систему пакетів , у доповнення до прив'язки Хаскеля до Xlib. (uk) |
| dbo:computingPlatform | dbr:Cross-platform dbr:Glasgow_Haskell_Compiler dbr:X_Window_System |
| dbo:fileSize | 56000000.000000 (xsd:double) |
| dbo:genre | dbr:Window_manager |
| dbo:language | dbr:English_language |
| dbo:license | dbr:BSD_licenses |
| dbo:programmingLanguage | dbr:Haskell_(programming_language) |
| dbo:releaseDate | 2007-03-06 (xsd:date) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Xmonad-2022-new-logo.svg?width=300 |
| dbo:wikiPageExternalLink | http://www.cse.unsw.edu.au/~dons/papers/haskell51d-stewart.pdf https://books.google.com/books%3Fid=Eq9XDwAAQBAJ%7Ctitle=Half https://books.google.com/books%3Fid=VONjBAAAQBAJ%7Ctitle=Full https://web.archive.org/web/20160430174020/https:/www.ludd.ltu.se/~pj/hw2007/xmonad.mov https://www.youtube.com/watch%3Fv=IqXTUbdLig0 https://www.youtube.com/watch%3Fv=jLj1QV11o9g https://www.slideshare.net/oscon2007/os-peytonjones http://portal.acm.org/citation.cfm%3Fid=1291201.1291218 |
| dbo:wikiPageID | 10974710 (xsd:integer) |
| dbo:wikiPageLength | 23897 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1118221841 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:QuickCheck dbr:Berkeley_Software_Distribution dbr:Application_software dbr:Unix-like dbr:Desktop_environment dbr:Dynamic_window_manager dbr:Library_(computing) dbr:.mov dbc:Software_using_the_BSD_license dbr:Coq dbr:Cross-platform dbr:English_language dbr:Full_Circle_(magazine) dbr:GNOME dbr:Glasgow_Haskell_Compiler dbr:Monad_(functional_programming) dbr:Program_derivation dbr:Lifehacker dbr:Linux_Magazine dbr:Simon_Peyton_Jones dbr:Static_typing dbr:StumpWM dbr:Combinator_library dbr:Comparison_of_X_window_managers dbr:Functional_programming dbr:Tiling_window_manager dbr:Awesome_(window_manager) dbr:BSD_licenses dbc:Free_X_window_managers dbc:Free_software_programmed_in_Haskell dbr:Type_system dbr:Data_structure dbr:Cinnamon_(software) dbr:Dwm dbr:Fibonacci_number dbr:Formal_verification dbr:NixOS dbr:Nix_package_manager dbr:Focus_(computing) dbr:Formal_methods dbr:Tessellation dbr:Purely_functional_programming dbr:Haskell_(programming_language) dbr:TechRadar dbr:Ars_Technica dbr:Larswm dbr:Big_data dbr:Zipper_(data_structure) dbr:Domain-specific_languages dbc:Tiling_window_managers dbc:X_window_managers_extensible_by_scripting dbr:Source_lines_of_code dbr:O'Reilly_Open_Source_Convention dbr:Openbox dbr:X_Window_System dbr:Man_page dbr:Pattern_matching dbr:Side_effect_(computer_science) dbr:Software_versioning dbr:Window_manager dbr:Imperative_programming dbr:Opensource.com dbr:Linux_distributions dbr:Mouse_(computing) dbr:Multi-monitor dbr:Network_World dbr:Xinerama dbr:Package_management_system dbr:Automated_testing dbr:Clone_(computer_science) dbr:File:Xmonad-screen-triplehead-dons.png dbr:File:Xmonad-tall-status-dons.png |
| dbp:author | Spencer Janssen, Don Stewart, Jason Creighton (en) |
| dbp:caption | xmonad in tiling mode (en) |
| dbp:date | 2016-04-30 (xsd:date) |
| dbp:genre | dbr:Window_manager |
| dbp:language | dbr:English_language |
| dbp:license | dbr:BSD_licenses |
| dbp:logo | Xmonad-2022-new-logo.svg (en) |
| dbp:name | xmonad (en) |
| dbp:operatingSystem | POSIX-compatible (en) |
| dbp:platform | Cross-platform; requires the X Window System and GHC (en) |
| dbp:programmingLanguage | dbr:Haskell_(programming_language) |
| dbp:released | 2007-03-06 (xsd:date) |
| dbp:screenshot | Xmonad screenshot.png (en) |
| dbp:screenshotAlt | XMonad in tiling mode with two URXVT terminals and pcmanFM open (en) |
| dbp:size | 56 (xsd:integer) |
| dbp:title | Design and Implementation of Xmonad - A Tiling Window Manager - Video .mov presentation (en) |
| dbp:url | https://web.archive.org/web/20160430174020/https:/www.ludd.ltu.se/~pj/hw2007/xmonad.mov |
| dbp:wikiPageUsesTemplate | dbt:Cite_book dbt:Cite_journal dbt:Cite_web dbt:Commons_category dbt:Infobox_software dbt:Main dbt:Official_website dbt:Portal dbt:Refbegin dbt:Refend dbt:Reflist dbt:Short_description dbt:Start_date_and_age dbt:Webarchive dbt:Wikidata dbt:X_desktop_environments_and_window_managers dbt:Lowercase |
| dbp:wordnet_type | http://www.w3.org/2006/03/wn/wn20/instances/synset-software-noun-1 |
| dct:subject | dbc:Software_using_the_BSD_license dbc:Free_X_window_managers dbc:Free_software_programmed_in_Haskell dbc:Tiling_window_managers dbc:X_window_managers_extensible_by_scripting |
| gold:hypernym | dbr:Manager |
| rdf:type | owl:Thing dbo:Software schema:CreativeWork dbo:Work wikidata:Q386724 wikidata:Q7397 dbo:SoccerManager yago:WikicatTilingWindowManagers yago:WikicatWindowManagers yago:WikicatXWindowManagers yago:Administrator109770949 yago:CausalAgent100007347 yago:Director110014939 yago:Head110162991 yago:Leader109623038 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Whole100003553 yago:WikicatFreeXWindowManagers umbel-rc:SoftwareObject |
| rdfs:comment | xmonad ist ein Fenstermanager für das X Window System. Er ist in der funktionalen Programmiersprache Haskell geschrieben. Im März 2007 wurde xmonad als Tiling-basierter Fenstermanager vorgestellt. Er organisiert daher die dargestellten Fenster kachelartig, so dass sie sich nicht überlappen. Außerdem bemühten sich die Entwickler, eine grafische Oberfläche zu schaffen, in der Benutzer ein produktives Arbeiten mit den Fenstern ohne Benutzung der Maus ermöglicht wird. Viele Linux-Distributionen liefern xmonad direkt über ihre Paketverwaltungssysteme aus und auch für FreeBSD, NetBSD, OpenBSD, und macOS ist es verfügbar. (de) xmonad est un gestionnaire de fenêtres par pavage pour le système X Window écrit, configurable et extensible en Haskell. Son nom est composé de X pour X Window et de Monad (en français monade), qui est une structure de donnée très utilisée en Haskell. (fr) xmonad es un gestor dinámico de ventanas (tiling) para el sistema X Window, que destaca por estar escrito en el lenguaje de programación funcional Haskell. (es) xmonad is a dynamic window manager (tiling) for the X Window System, noted for being written in the functional programming language Haskell. (en) Het programma xmonad is een niet-overlappende windowmanager. De naam is een samentrekking van de grafische omgeving X Window System en de term die gebruikt wordt in functioneel programmeren om een rekeneenheid aan te duiden. (nl) xmonad är en tiling window manager, det vill säga en fönsterhanterare, för X Window System, skriven i det funktionella programmeringsspråket Haskell. Konfigureringen sker också helt och hållet i Haskell. (sv) xmonad 是一种窗口管理器，运行于UNIX以及Linux、FreeBSD等类Unix操作系统上。xmonad使用Haskell编写，采用3条款BSD许可证。 xmonad是一款平铺式窗口管理器。窗口之间不会遮挡，且自动调整大小以填充整个屏幕。xmonad使用纯函数式编程语言Haskell开发，其配置以及扩展也同样使用Haskell完成。不仅可以单独使用xmonad外，而且可替换Gnome或KDE自带的窗口管理器。 (zh) xmonad は X Window System 上で動く タイル型ウィンドウマネージャ である。このウィンドウマネージャは、関数型プログラミング言語Haskellで書かれている。 2007年3月に開発が始まったxmonadは、dwm、、StumpWM等、他のタイル型ウィンドウマネージャと同様に、マウスを使わずに生産的にウィンドウを制御することを可能にすることを目指している。xmonad は、Arch Linux、Debian、Ubuntu、Gentoo、FreeBSD、NetBSD、OpenBSD等、多くのUnix系OSで利用可能である。 xmonadは、元々dwmのクローンであったが、今では、ワークスペース毎のレイアウト、タイリングリフレクション、状態の保存、レイアウトのミラーリング、GNOME上でのサポート、ステータスバー等、dwmでは利用できない機能をサポートしている。 実行中に、設定ファイルを変更しリロードすることで、カスタマイズ可能である。 xmonadの特徴は、他のタイル型ウィンドウマネージャへ影響を与えている。例えば、dwm は urgency hooks という機能を xmonad から取り入れたり、バージョン4.8 で Xinerama をサポートし、 xmonadの機能である Fibonacci レイアウトを可能している。 開発者は次のように述べている。 (ja) xmonad — це мозаїчний менеджер вікон для X Window System, написаний на функціональній мові програмування Гаскель. Заснований у березні 2007 року, він схожий до dwm, , та інших членів родини мозаїчних віконних менеджерів, тому що він намагається зробити можливим продуктивне керування вікнами без застосування миші. Попри те, що спочатку це був клон dwm (що наслідував його поведінку в таких областях, як стандартні комбінації клавіш), xmonad має можливості, які dwm не забезпечує своїм користувачам, такі як (підтримка декількох моніторів), різного розташування фреймів на кожному робочому столі, повноекранної мозаїки, збереження стану, віддзеркалення розташування та поекранних рядків статусу. Як і dwm, він налаштовується модифікацією і компіляцією вихідного коду — але це вже змінено у останній (uk) xmonad — фреймовый оконный менеджер для X Window System, написанный на функциональном языке программирования Haskell. xmonad в своём стремлении помочь пользователю максимально эффективно управлять окнами без помощи мыши похож на dwm, awesome, , StumpWM и другие фреймовые (тайловые) менеджеры окон. xmonad распространяется со многими Unix-подобными операционными системами, в том числе, Linux (Arch Linux, Debian, Fedora Linux,Ubuntu, Gentoo), BSD (FreeBSD, NetBSD, OpenBSD). Отличительной особенностью XMonad является конфигурирование путём написания программного кода на языке Haskell. (ru) |
| rdfs:label | Xmonad (de) Xmonad (es) Xmonad (fr) Xmonad (ja) Xmonad (nl) Xmonad (ru) Xmonad (en) Xmonad (sv) Xmonad (uk) Xmonad (zh) |
| owl:sameAs | freebase:Xmonad yago-res:Xmonad wikidata:Xmonad dbpedia-da:Xmonad dbpedia-de:Xmonad dbpedia-es:Xmonad dbpedia-fi:Xmonad dbpedia-fr:Xmonad dbpedia-ja:Xmonad http://ml.dbpedia.org/resource/എക്സ്_മൊണാഡ് dbpedia-nl:Xmonad dbpedia-ru:Xmonad dbpedia-sv:Xmonad dbpedia-uk:Xmonad dbpedia-zh:Xmonad https://global.dbpedia.org/id/4u79A |
| prov:wasDerivedFrom | wikipedia-en:Xmonad?oldid=1118221841&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Xmonad-screen-triplehead-dons.png wiki-commons:Special:FilePath/Xmonad-2022-new-logo.svg wiki-commons:Special:FilePath/Xmonad-tall-status-dons.png wiki-commons:Special:FilePath/Xmonad_screenshot.png |
| foaf:isPrimaryTopicOf | wikipedia-en:Xmonad |
| foaf:name | xmonad (en) |
| is dbo:wikiPageRedirects of | dbr:XMonad dbr:Xmoand |
| is dbo:wikiPageWikiLink of | dbr:Sawfish_(window_manager) dbr:Dynamic_window_manager dbr:Inter-Client_Communication_Conventions_Manual dbr:Wmctrl dbr:Monad_(functional_programming) dbr:Comparison_of_X_window_managers dbr:Comparison_of_version-control_software dbr:Tiling_window_manager dbr:Awesome_(window_manager) dbr:Dwm dbr:Haskell dbr:Ion_(window_manager) dbr:Zipper_(data_structure) dbr:I3_(window_manager) dbr:Ratpoison dbr:X_window_manager dbr:Extended_Window_Manager_Hints dbr:Re-parenting_window_manager dbr:XMonad dbr:Xmoand |
| is foaf:primaryTopic of | wikipedia-en:Xmonad |
