xmonad

xmonad
xmonad
Xmonad-2022-new-logo.svg
XMonad in tiling mode with two URXVT terminals and pcmanFM open
tiling 모드에서 xmonad
오리지널 author(s)스펜서 장센, 돈 스튜어트, 제이슨 크레이 턴.
초기 석방3월 6일 2007년;15년 전(2007-03-06)[1].
안정적인 석방
0.17.0[2]/10월 27일 2021년
기록관
기입처하스켈
운영 체제POSIX 호환
플랫폼크로스 플랫폼, X Window 시스템 및 GHC 필요
크기56KB(소스 코드)[3]
이용가능기간:영어
유형창 관리자
면허증.BSD-3-Clause
웹 사이트xmonad.org Edit this on Wikidata
Xmonad의 Xinerama 지원: 3개의 화면을 동시에 표시할 수 있습니다.
타일링 모드의 xmonad

xmonad는 기능 프로그래밍 언어인 Haskell로 작성된 것으로 알려진 X Window 시스템용 동적 창 관리자([4][5]타일링)입니다.

창 관리자

버전 0.1은 2007년 3월부터2007년 4월에 Haskell 500 [7]라인으로 발표되었습니다[6].xmonad는 dwm, larswm 및 Stump에 대한 확인타일 창 매니저입니다.WM. 창을 겹치지 않는 패턴으로 배열하여 마우스를 사용하지 않고 창을 관리할 수 있습니다.xmonad는 다수의 Linux 디스트리뷰션 및 BSD 시스템 등 다양한 Unix 계열 운영체제에 패키지화되어 배포됩니다.

반면dwm(기본 keybindings과 같은 분야에서 파생 상품)원래판인, 복제 생물 xmonad 지금;그것은 외부 구성 파일과 'reload을 개조해서 customised 될 때 형상per-workspace 레이아웃, tiling 반사, 상태 보존, 설계 반영 그 놈 지원과per-screen 상태 막대 같은 users[8][9]dwm을 사용할 수 없게 지원한다.교육의 wh나는 [10]달리고 있다.xmonad [11]기능은 다른 타일링 창 매니저에게 영향을 미치기 시작했습니다.dwm은 xmonad에서 "긴급 후크"를 차용했으며 릴리스 4.8에서는 Xinerama 지원(멀티헤드 디스플레이용)을 포함했으며 xmonad의 Fibonacci 레이아웃을 [12]재실장하기 위한 패치가 존재합니다.

해스켈 프로젝트

주요 기사:Haskell(프로그래밍 언어)

2007년 man 페이지에는 다음과 같이 기재되어 있습니다.

xmonad는 풍부한 정적 유형의 시스템을 갖춘 최신 기능 언어의 표현력을 활용하여 정확성과 견고성을 강조하면서 500줄 미만의 코드로 완전하고 기능적인 윈도 매니저를 제공합니다.윈도우 매니저의 내부 속성은 유형 시스템에서 제공하는 정적 보증과 유형 기반 자동 테스트를 조합하여 확인합니다.이 방법의 장점은 코드를 이해하기 쉽고 [13]수정하기 쉽다는 것입니다.

다른 윈도 매니저의 에뮬레이션을 포함한 코어 시스템에 대한 확장 기능 및 비정상적인 레이아웃 알고리즘(피보나치 스파이럴에 근거한 윈도 타일링 등)은 액티브커뮤니티에[14] 의해 구현되어 [15]라이브러리로 사용할 수 있습니다.

마우스의 [16]필요성을 없앨 뿐만 아니라, xmonad 개발자들은 신뢰성을 향상시키고 버전 0.7에서 1200 미만의 코드 카운트를 가능하게 하기 위해 세미포멀 메서드와 프로그램 도출을 많이 사용한다; 윈도우 매니저 속성(윈도 포커스의 동작 등)은 QuickCheck를 [17]사용하여 체크된다.이 때문에 xmonad는 Haskell로 작성된 최초의 윈도 매니저인 것 외에 지퍼 데이터 구조를 사용하여 자동으로 포커스를 관리할 수 있으며 패턴 매칭에 [18]대한 안전성이 입증되어 신뢰성이 더욱 향상되었습니다.개발자는 다음과 같이 기술합니다.

xmonad는 X Window 시스템용 타일링 윈도 매니저로 Haskell에서 구현, 구성 및 동적으로 확장 가능합니다.이 시연은 순전히 기능적인 데이터 구조, 표현형 시스템, 확장된 정적 검사 및 속성 기반 테스트를 이용하여 부작용에 의해 지배적인 소프트웨어를 우리가 Haskell에게 기대하는 정확성과 효율로 개발할 수 있다는 사례를 제시한다.또한 애플리케이션 구성 및 확장 언어로서의 [19]Haskell 사용에 대해서도 설명합니다.

코드는 부작용 프리 코드와 [20]부작용용 얇은 포장지로 구분됩니다.Alejandro Serrano Mena에 따르면, Haskell 어플리케이션과 라이브러리에서 동작하기 위해 도메인 고유의 언어를 구현하는 두 가지 방법이 있다: "조합자 라이브러리 개발" 또는 "자신의 모나드 롤링". xmonad는 [21]후자의 성공적인 예이다.xmonad는 2013년 함수형 프로그래밍 책에서 [5]가장 잘 알려진 Haskell 프로젝트 중 하나로 간주되었습니다.

접수처

Linux Magazine은 "My Top Resources of 2009"[22] 목록에 xmonad를 포함시켰습니다.2012년 How-To Geek은 xmonad가 훌륭하지만 복잡한 [23]구성 기능을 가지고 있다고 설명했으며, [24]2013년 Linux용 데스크톱 환경 8개 목록에 포함되었습니다.Lifehacker는 xmonads 사용자 인터페이스의 기본 조작은 작은 일련의 [25]명령을 사용하여 가르칠 수 있다고 썼다.Network [4]World에서는 높은 수준의 커스터마이징과 속도가 확인되었으며, MakeUseOf xmonad에서는 Openbox와 [26]비교하여 긍정적인 평가를 받았습니다.

2016년 Ars Technica는 xmonad와 Awesome이 [27]시나몬보다 더 발전된 타일링 능력을 가졌다고 밝혔다.2017년에는 빅데이터를 [28]위한 Windows 매니저로서 응용 프로그램을 사용하는 등 강력한 것으로 평가되었으며, 반면 opensource.com의 기사에서는 xmonad [29]대신 dwm이 선택되었습니다.TechRadar는 "2018년 최고의 Linux 데스크톱"에 대해 다음과 같이 평가했습니다. "여기 있는 다른 모든 데스크톱 환경 중 눈에 띄는 것이 있다면 바로 [30]이것입니다."

Xmonad 어플리케이션의 코드 행 수가 적기 때문에 순수하게 기능하는 프로그래밍 언어 Haskell의 사용 및 엄격한 테스트 절차의 기록 사용으로 인해 다른 연구 프로젝트에서 베이스라인 어플리케이션으로 사용되기도 합니다.여기에는 Coq 프루프 [31]어시스턴트를 사용한 xmonad 재실장, 결정 xmonad가 필수 프로그램,[32] NixOS Linux [33]배포와 관련된 패키지 관리 연구가 포함되어 있습니다.

「 」를 참조해 주세요.

레퍼런스

  1. ^ "Initial import. · xmonad/xmonad@b2c1430". GitHub.
  2. ^ https://github.com/xmonad/xmonad/releases/tag/v0.17.0 를 참조해 주세요.
  3. ^ "xmonad : download". suckless.org. Archived from the original on 2012-12-26. Retrieved December 17, 2012.
  4. ^ a b Lunduke, Bryan (15 May 2013). "10 amazing Linux desktop environments you've probably never seen". Network World. xmonad. Archived from the original on 25 May 2018.
  5. ^ a b Ohlig, Jens; Mehnert, Hannes; Schirmer, Stefanie (24 September 2018). Das Curry-Buch - Funktional programmieren lernen mit JavaScript. O'Reilly Germany. p. 177. ISBN 978-3868993691 – via Google Books.
  6. ^ Janssen, Spencer (2007-04-22). "ANNOUNCE: xmonad 0.1". Haskell-cafe (Mailing list). Archived from the original on 2021-08-30. Retrieved 2021-08-30.
  7. ^ "Xmonad: a Tiling Window Manager Written in Haskell". OSNews. 2007-05-22. Archived from the original on 2008-04-11. Retrieved 2007-09-23.
  8. ^ "Keyboard-Driven Environments Open a New Window". OSNews. 2007-05-31. Archived from the original on 2007-06-04. Retrieved 2007-05-31.
  9. ^ "xmonad 0.4 Released". OSNews. 2007-10-19. Archived from the original on 2007-12-22. Retrieved 2007-12-23.
  10. ^ 새로운 xmonad 바이너리를 신속하게 재컴파일하고 실행함으로써 를 참조하십시오.
  11. ^ dwm 메일링 리스트의 Wayback Machine에서 개발자 토론 Archived 2018-09-18을 참조하십시오.
  12. ^ Suckless.org: Fibonacci 레이아웃 패치 2013-04-13 Wayback Machine에서 dwm까지 아카이브 완료
  13. ^ "Manpage of xmonad". xmonad.org. 2007-04-18. Archived from the original on 2007-07-08. Retrieved 2007-05-17.
  14. ^ xmonad 사용자는 #xmonad Archived 2007-12-29에서 Wayback Machine IRC 채널 및 xmonad 메일목록에서 중요한 트래픽을 생성합니다.또한 비코어 Dev에서 확장 라이브러리에 대한 커밋이 상당히 많이 존재합니다(Wayback Machine의 xmonad 통계 페이지 Archived 2007-12-23 참조).
  15. ^ "xmonad: Contributed code". xmonad.org. 2007-05-22. Archived from the original on 2007-09-16. Retrieved 2007-05-23.
  16. ^ Mitchell, Neil (June 2008). "6.5.5". Transformation and Analysis (PDF) (PhD). University of York. Archived (PDF) from the original on 12 September 2018. Retrieved 12 September 2018.
  17. ^ Hu, Zhenjiang; Hughes, John; Wang, Meng (2015). "How functional programming mattered" (PDF). National Science Review. 2 (3): 350–351. doi:10.1093/nsr/nwv042. ISSN 2095-5138. Archived (PDF) from the original on 2018-07-23. Retrieved 27 September 2018.
  18. ^ Mitchell, Neil (9 May 2007). "Neil Mitchell's Haskell Blog: Does XMonad crash?". Archived from the original on 2007-05-14. Retrieved 2007-05-17.
  19. ^ Stewart & Jansen, 2007년
  20. ^ Warden, Shane; Biancuzzi, Federico (2009). Masterminds of Programming: Conversations with the Creators of Major Programming Languages. O'Reilly Media. p. 181. ISBN 978-0596515171. Archived from the original on 2018-09-19. Retrieved 2018-09-18.
  21. ^ Mena, Alejandro Serrano (5 March 2014). Beginning Haskell: A Project-Based Approach. Apress. p. 385. ISBN 9781430262510. Archived from the original on 2018-09-24. Retrieved 2018-09-24 – via Google Books.
  22. ^ Zawodny, Jeremy (2009-12-06). "My Top Resources of 2009". Linux Magazine. Archived from the original on 2018-09-23. Retrieved 2018-09-23.
  23. ^ Hoffman, Chris (2012-05-24). "How to Use Xmonad, a Tiling Window Manager for Linux". How-To Geek. Archived from the original on 2018-09-18. Retrieved 2018-09-17.
  24. ^ Hoffman, Chris (2013-05-18). "Linux Users Have a Choice: 8 Linux Desktop Environments". How-To Geek. Archived from the original on 2017-07-13. Retrieved 2018-09-24.
  25. ^ Goerzen, John (2013-01-08). "I Raised My Kids On the Command Line...and They Love It". Lifehacker. Univision Communications. Archived from the original on 2018-09-18. Retrieved 2018-09-17.
  26. ^ Stieben, Danny (2018-09-18). "Need A Fresh Desktop Environment for Linux? Try Openbox Or xmonad". makeuseof.com. Archived from the original on 2017-11-23. Retrieved 2018-09-24.
  27. ^ "Mint 18 review: "Just works" Linux doesn't get any better than this". Ars Technica. 2016-08-04. Archived from the original on 2018-09-17. Retrieved 2018-09-17.
  28. ^ Nita, Stefania Loredana; Mihailescu, Marius (14 September 2017). Practical Concurrent Haskell: With Big Data Applications. Apress. pp. 40–41. ISBN 978-1484227800 – via Amazon.
  29. ^ "Top 4 reasons I use dwm for my Linux window manager". Opensource.com. Red Hat. 2017-07-18. Archived from the original on 2018-09-18. Retrieved 2018-09-17.
  30. ^ "Best Linux desktop of 2018". TechRadar. Future plc. 2018-01-15. Archived from the original on 2018-09-18. Retrieved 2018-09-17.
  31. ^ Swierstra, Wouter (13 September 2012). "xmonad in Coq (Experience Report) Programming a Window Manager with a Proof Assistant". In Voigtländer, J (ed.). Haskell '12 Proceedings of the 2012 Haskell Symposium. ICFP 2012 The 17th ACM SIGPLAN International Conference on Functional Programming. Copenhagen, Denmark: Association for Computing Machinery. pp. 131–136. ISBN 978-1-4503-1574-6.
  32. ^ Lippmeier, Ben (May 2010). Type Inference and Optimisation for an Impure World (PDF) (PhD). Australian National University. pp. 45–46. Archived (PDF) from the original on 2018-09-27.
  33. ^ Dolstra, Eelco; LÖH, Andres; Pierron, Nicolas (November 2010). "NixOS: A Purely Functional Linux Distribution". Journal of Functional Programming. 20 (5–6): 577–615. doi:10.1017/S0956796810000195. ISSN 0956-7968.
메모들

추가 정보

외부 링크

Wikimedia Commons에는 Xmonad 관련 미디어가 있습니다.