Вікіпедія

Xmonad: відмінності між версіями

Інтерактивний перегляд історії
[неперевірена версія][неперевірена версія]
← Попереднє редагуванняНаступне редагування →
Вилучено вміст Додано вміст
ВізуальнийВікірозмітка
виправлення
ще виправлення
Рядок 21:
'''xmonad''' - це [[мозаїчний менеджер вікон|мозаїчний]] [[менеджер вікон]] для [[X Window System]], написанний на [[функціональне програмування|функціональній мові програмування]] [[Haskell|Хаскель]].
 
Заснований у березні 2007 року, він схожий до [[dwm]], [[larswm]], [[StumpWM]] та інших членів родини мозаїчниймозаїчних віконних менеджерів, тому що він намагається зробити можливим продуктивне керування вікнами без застосування [[комп'ютерна миша|миші]]. Незважаючи на те, що спочатку це був клон dwm (наслідуючий його поведінку в таких областях, як стандартні комбінації клавіш), xmonad має можливості, які dwm не забезпечує своїм користувачам, такі як [[Xinerama]] (підтримка декількох моніторів),<ref>{{cite web
| url = http://www.osnews.com/story.php/18009/Keyboard-Driven-Environments-Open-a-New-Window/
| title = Keyboard-Driven Environments Open a New Window
Рядок 27:
| date = 2007-05-31
| accessdate = 2007-05-31
}}</ref> різного розташування фреймів на кожному робочому столі, повноекраннойповноекранної мозаїки, збереження стану, віддзеркалення розташування та поекранних строк статусу. Як і dwm, він настроюєтьсяналаштовується модифікацією і компіляцією ісходного коду<ref>{{cite web
| url = http://sequence.complete.org/hwn/20070427
| title = Haskell Weekly News: April 27, 2007
Рядок 41:
}}</ref></blockquote> Також розробники широко використовують [[формальні методи]] та [[виведення програм]] для покращення надійності та зменшення загального обсягу коду. Властивості віконного менеджера (такі як поведінка фокусу вікна) перевіряються використанням [[QuickCheck]]. Ці особливності роблять xmonad унікальним у багатьох аспектах; окрім того, що це перший віконний менеджер, написанний на Хаскелі, він також перший, що використовує [[Структура даних|структуру даних]] [[Структура даних зіппер|зіппер]] для автоматичного управління фокусом. Розробники пишуть:
 
<blockquote>"Використовуючи виразність сучасної функціональної мови з богатою системою [[статична типізація|статичних типів]], xmonad є повноцінним віконним менеджером з великою функціональністю, що містить менш, ніж 500 строкрядків коду, з наголосом на корректність та надійність. Внутрішні властивості віконного менеджера перевіряються комбінацією гарантій, які забезпечуються статичною системою типів, та основанному на типах автоматичному тестуванні. Перевагою такого підходу є те, що код легко зрозуміти та просто модифікувати."<ref>{{cite web
| url = http://www.xmonad.org/manpage.html
| title = Manpage of xmonad
Отримано з https://uk.wikipedia.org/wiki/Xmonad