xmonad

xmonad

タイリングモードのxmonad
原作者	スペンサー・ヤンセン、ドン・スチュワート、ジェイソン・クレイトン
初回リリース	2007年3月6日; 17年前[1] ( 2007-03-06 )
安定版リリース	0.18.0 [2]  / 2024年2月3日
リポジトリ	github.com/xmonad/xmonad
書かれた	ハスケル
オペレーティング·システム	POSIX互換
プラットフォーム	クロスプラットフォーム; X Window SystemとGHCが必要
サイズ	56 KB（ソースコード）[3]
利用可能	英語
タイプ	ウィンドウマネージャ
ライセンス	BSD 3節
Webサイト	翻訳元

xmonadは、 X Window System用の動的ウィンドウマネージャ（タイル）であり、関数型プログラミング言語Haskellで書かれていることで知られています。^{[4] [5]}

2007年3月に開発が始まり、 2007年4月にバージョン0.1が500行のHaskell ^[7]として発表されました（その後2000行に増えました）。xmonadはタイル型ウィンドウマネージャで、 dwm、larswm、StumpWMに似ています。ウィンドウを重なり合わないパターンで配置し、マウスを使わずにウィンドウを管理できます。xmonadは、多数のLinuxディストリビューションやBerkeley Software Distribution (BSD)システムなど、さまざまなUnix系オペレーティングシステムでパッケージ化され、配布されています。

もともとはdwm のクローン(デフォルトのキーバインディングなどの点で派生) でしたが、xmonad は現在、ワークスペースごとのレイアウト、タイリング リフレクション、状態保存、レイアウト ミラーリング、 GNOMEサポート、画面ごとのステータス バーなど、dwm ユーザーに提供されていない機能をサポートしています^{[8] [9]。}外部構成ファイルを変更してカスタマイズし、実行中に「再読み込み」することができます。^[10] xmonad の機能は他のタイリング ウィンドウ マネージャーに影響を与え始めています。dwm は xmonad から「緊急フック」を借用し、^[11]リリース4.8 でXineramaサポート (マルチヘッド ディスプレイ用)も含まれており、xmonad のフィボナッチ レイアウトを再実装するためのパッチも存在します。^[12]

2023 年のマニュアル ページには次のように記載されていました。

xmonad は、豊富な静的型システムを備えた最新の関数型言語の表現力を活用することで、正確性と堅牢性を重視した完全で機能豊富なウィンドウ マネージャーを提供します [...]。ウィンドウ マネージャーの内部プロパティは、型システムによって提供される静的保証と、型ベースの自動テストの組み合わせを使用してチェックされます。この利点は、コードが理解しやすく、変更しやすいことです。^[13]

xmonad は、500 行という小さなコードサイズで宣伝されて誕生しましたが、2023 年には約 2000 行にまで成長しました。

他のウィンドウマネージャのエミュレーションや、フィボナッチ螺旋に基づいたウィンドウタイリングなどの珍しいレイアウトアルゴリズムを含むコアシステムの拡張機能は、アクティブなコミュニティによって実装されており^[14]、ライブラリとして利用可能です。^[15]

マウスの必要性を排除することに加えて、^[16] xmonad の開発者は、信頼性の向上とバージョン 0.7 時点での総コード行数 1200 未満を実現するために、準形式手法とプログラム導出を多用しています。ウィンドウ マネージャのプロパティ (ウィンドウのフォーカスの動作など) は、 QuickCheckを使用してチェックされます。^[17]この重点により、xmonad はさまざまな点で珍しいものになっています。Haskell で書かれた最初のウィンドウ マネージャであるだけでなく、フォーカスを自動的に管理するためにジッパー データ構造を使用する最初のウィンドウ マネージャでもあり、そのコアはパターン マッチに関して安全であることが証明されており、^[18]信頼性の向上にさらに貢献しています。開発者は次のように書いています。

xmonad は、X Window システム用のタイル型ウィンドウ マネージャーで、Haskell で実装、構成され、動的に拡張可能です。このデモでは、純粋に機能的なデータ構造、表現力豊かな型システム、拡張された静的チェック、プロパティ ベースのテストを利用することで、副作用が支配的なソフトウェアを Haskell に期待される精度と効率で開発できる事例を紹介します。さらに、アプリケーションの構成および拡張言語としての Haskell の使用についても説明します。^[19]

コードは副作用のないコードと副作用のための薄いラッパーに分かれています。^[20] Alejandro Serrano Menaによると、 Haskellアプリケーションとライブラリのアクションにドメイン固有言語を実装する方法は2つあります。「コンビネータライブラリを開発する」か「独自のモナドを作成する」で、xmonadは後者の成功例です。^[21] xmonadは、2013年の関数型プログラミングの本で最もよく知られているHaskellプロジェクトの1つと見なされました。^[5]

Linux Magazineはxmonadを「2009年の私のトップリソース」のリストに含めました。 ^[22] 2012年にHow-To Geekはxmonadは設定が複雑だが優れていると評し、 ^[23] 2013年にはLinux用デスクトップ環境8選のリストに含まれました。 ^[24] Lifehackerはxmonadのユーザーインターフェースの基本操作は、少数の命令セットで教えることができると書いています。 ^[25] Network Worldは高度なカスタマイズ性と速度を指摘し、 ^{[4] MakeUseOfではxmonadが}Openboxと比較して好意的に評価されました。 ^[26]

2016年にArs TechnicaはxmonadとAwesomeがCinnamonよりも高度なタイリング機能を持っていると述べた。^{[27] 2017年には、}ビッグデータ用のウィンドウマネージャーとしての用途があり、強力であると説明されたが、^[28]一方、opensource.comの記事では、dwmがxmonadよりも選ばれた。 ^[29] TechRadarの「2018年のベストLinuxデスクトップ」のレビューでは、「ここに掲載されている他のすべてのデスクトップ環境よりも際立っているデスクトップ環境が1つあるとすれば、それはこれだ」と述べられている。^[30]

Xmonadアプリケーションのコード行数が少ないこと、純粋に関数型のプログラミング言語Haskellを使用していること、厳密なテスト手順が記録されていることから、他の研究プロジェクトでベースラインアプリケーションとして使用されることがあります。これには、Coq証明アシスタントを使用したxmonadの再実装、^{[31]、 xmonadが}命令型プログラムであることの判定、^[32]、およびNixOS Linuxディストリビューションに関連するパッケージ管理の研究が含まれます。^[33]

• X ウィンドウ マネージャーの比較
• 形式検証

• ブライアン・ランドゥケ (2018-02-05)。Linux の悪ふざけの 5 年。ブライアン・ランドゥケ。p. 5。ISBN 9781387571246。Bryan Lunduke 氏によると、xmonad は未知のプログラミング言語で書かれた未知のデスクトップ環境であり、「xmonad と Haskell は失敗作か? 死んだのか? いいえ。なぜなら、それらはユニークだからです。それらはカスタマイズ可能で、生き生きと活動しています (そして素晴らしいです)。」と付け加えています。
• Tucker, Ronnie (2013 年 11 月 29 日)。「Full Circle Magazine #79: Ubuntu Linux コミュニティのための独立系マガジン」。Full Circle。Full Circle チーム – Google ブックス経由。– xmonadやその他の軽量ウィンドウマネージャの使用

ウィキメディア・コモンズには、 Xmonadに関連するメディアがあります。

• 公式サイト
• 「Haskell の味」 – O'Reilly Open Source Convention (OSCON)でのSimon Peyton JonesによるHaskell に関するプレゼンテーション (xmonad を例に)
  • 前半の講演はYouTubeにて（動画）
  • 後半の講演はYouTubeにて（動画）