| 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)
|
| 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)
|
