Xmonad

ウィキペディア

xmonad

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/12/20 13:14 UTC 版)

xmonad

xmonadのスクリーンショット
作者	Spencer Janssen, Don Stewart, Jason Creighton
初版	2007年3月6日 (16年前) (2007-03-06)
最新版	0.17.2 / 2023年4月2日 (8か月前) (2023-04-02)[1]
リポジトリ	github.com/xmonad/xmonad
プログラミング 言語	Haskell
対応OS	POSIX互換
プラットフォーム	クロスプラットフォーム: (要X Window System, Glasgow Haskell Compiler)
種別	ウィンドウマネージャ
ライセンス	修正BSDライセンス
公式サイト	xmonad.org
テンプレートを表示

xmonad は X Window System 上で動く タイル型ウィンドウマネージャ である。このウィンドウマネージャは、関数型プログラミング言語Haskellで書かれている。

2007年3月に開発が始まったxmonadは、dwm、larswm、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ライブラリ、等のさまざまなツールを利用している。

脚注

[脚注の使い方]

1. ^ xmonad: A tiling window manager, HackageDB

表 話 編 歴 X Window System
アーキテクチャ	コアプロトコル Xlib XCB X Window selection Xウィンドウマネージャ X session manager Xディスプレイマネージャ X Toolkit Intrinsics X Window authorization X11 color names
ウィンドウマネージャ の方式	コンポジット型 リペアレンティング型 スタック型 タイル型
拡張	X Image Extension X keyboard extension X video extension Shape extension Shared memory extension GLX XRender MPX XRandR
実装	Cygwin/X XQuartz X.Org Server X-Win32 XFree86 XDarwin Xming Xsun Xgl
標準	ICCCM EWMH XDS
ウィンドウマネージャ	9wm AfterStep Amiwm awesome Beryl Blackbox CTWM cwm dwm Enlightenment evilwm Fluxbox FVWM FVWM95 i3 IceWM Ion JWM KWin larswm Mlvwm Metacity Mwm Mutter OpenBox PekWM Qvwm Ratpoison Sawfish Scwm Stumpwm Twm Window Maker wmii xmonad
関連項目	デスクトップ環境
関連組織	The Open Group X.Org Foundation

表 話 編 歴 ウィンドウマネージャ
方法	タイル型 スタック型 ダイナミック型（英語版） コンポジット型 リペアレンティング型
タイル	awesome dwm i3 PWM（英語版） Ion（英語版） wmii（英語版） ratpoison xmonad Xerox Star Windows 1.0 GEM (2.0以降)
スタック	amiwm（英語版） twm cwm mwm（英語版） FVWM Enlightenment Blackbox Presentation Manager（英語版） Windows 2.0 Windows 9x Windows NT（Windows XPまで） Mac OS 9以前 GEM 1.1 WindowLab（英語版） Xerox Alto Openbox
コンポジット	Beryl Compiz Desktop Window Manager Metacity Mutter KWin Xfwm（英語版） Quartz Compositor
OS と ウィンドウシステム	AmigaOS Atari TOS（英語版） BeOS Linux Mac OS Microsoft Windows OpenVMS OS/2 Pilot RISC OS
コンポーネント	ウィンドウマネージャ Window decoration（英語版） Dock タイトルバー タスクバー タスクトレイ Menu extra（英語版） ページャ
関連項目	ウィンドウシステム ディスプレイサーバ デスクトップ環境 ウィジェット X Window System Xウィンドウマネージャ Wayland Mir 仮想デスクトップ OpenGL DirectX GPU マウス キーボード WIMP GUI ウィジェット・ツールキット Turbo Vision（英語版） Qt GTK AIGLX Xgl シェル 画家のアルゴリズム 解像度独立（英語版）

表 話 編 歴 X11とWayland向けのデスクトップ環境とウィンドウマネージャ
デスクトップ環境	GTKベース Budgie Cinnamon GNOME GPE LXDE MATE ROX Desktop（英語版） Sugar Xfce Qtベース KDE Lumina LXQt Razor-qt OPIE Trinity Motifベース CDE DECwindows（英語版） IRIX Interactive Desktop（英語版） VUE（英語版） その他 EDE（FLTKベース） Étoilé（GNUstepベース） Mezzo（英語版） OpenWindows（OLIT（英語版）ベース） UDE（英語版）（Xlib/XCBベース） Enlightenment（EFL（英語版）ベース）
グラフィカルシェル	GNOME Shell KDE Plasma 4 KDE Plasma 5 Maynard（英語版） Unity
Xウィンドウマネージャ	コンポジット型 Compiz KWin Metacity Mutter Muffin Xfwm（英語版） Enlightenment スタック型 4Dwm（英語版） 9wm（英語版） AfterStep（英語版） Amiwm（英語版） Blackbox CTWM cwm Fluxbox FLWM（英語版） FVWM IceWM JWM Matchbox Motif Window Manager（英語版） olwm（英語版） Openbox PekWM Qvwm（英語版） Sawfish（英語版） swm（英語版） twm tvtwm（英語版） Vtwm（英語版） Window Maker WindowLab（英語版） wm2（英語版） タイル型 awesome dwm i3 Ion（英語版） larswm（英語版） Ratpoison StumpWM wmii（英語版） xmonad
Wayland	Enlightenment Gala KWin Mir Mutter Muffin Budgie-wm Sway Weston
関連項目	ディスプレイサーバ グラフィカルユーザインタフェース ウィジェット 画家のアルゴリズム 解像度の独立性（英語版） シェル 仮想デスクトップ ウィジェット・ツールキット WIMP（英語版） ウィンドウシステム

ウィキペディア小見出し辞書

xmonad

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/03 07:07 UTC 版)

「dwm (ウィンドウマネージャ)」の記事における「xmonad」の解説

dwmをHaskellで書き直し、機能を追加した。