문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 Haskell (문단 편집) == 하스켈로 만들어진 프로그램들 == 당연하겠지만, 윈도우보다는 프로그래밍 애호가들의 장인 유닉스 쪽에서 많이 사용된다. 대표적인것은 darcs 라는 [[버전 관리 시스템]]과 xmonad 라는 타일링 윈도우 매니저이다. xmonad는 dwm 의 하스켈 버전이다. dwm 의 특징은 1000 줄 미만의 단일 C 프로그램으로, 세팅도 헤더파일을 변경하는식으로 이루어지는 하드코어 윈도우 매니저인데, xmonad 도 역시 하스켈 소스파일을 직접 변경하는식으로 세팅이 이루어지는데, 하스켈이라는 고생산성 언어를 사용한덕에 dwm 에 비해 지원하는 기능이 훨씬 많다. 다만, 사용하기 위해서는 200 메가가 넘는 ghc 라는 의존이 딸려오기 때문에 꺼리는 사람들도 종종 있는편. xmonad 의 코어는 매우 주의깊게 디자인되었고, Coq 라는 Theorem prover(수학적 증명 보조 프로그램, 4색정리도 이 프로그램의 도움으로 증명되었다.)까지 사용하여 검증하는것으로 유명하다. darcs 는 하스켈 프로그램답게 구조와 디자인면에서는 많은 찬사를 받는 버전 컨트롤 시스템이다. ~~하지만, 퍼포먼스에서 C 로 짜여진 git 에 비해 많이 밀리기 때문에 현재는 알다시피 [[Git]]에 거의 점령당한 상태.~~ 하스켈 컴파일러인 GHC조차 ~~매우 거대해진 몸집을 감당하지 못해~~ 2011년 darcs에서 Git으로 넘어갔다. ~~새로운 이론적 배경·디자인을 가진 [[http://projects.haskell.org/camp/|Camp]]가 준비되고 있다.~~ Camp는 아직 희망이 보이지 않고, 그에 반해 darcs 는 [[http://darcs.net/Benchmarks]]에서 볼 수 있는 것처럼 지속적으로 퍼포먼스가 개선되고 있다. Git에게 밀리는 것은 darcs는 [[GitHub]]만큼 훌륭한 접근성을 제공하는 open source server가 없기 때문(...)이다. 문서 상호 변환 프로그램으로 프로그램/라이브러리로서 [[http://pandoc.org|Pandoc]]이 있다. 매우 널리 쓰이는 프로그램이지만, 주로 backend로 사용되기 때문에 일반 유저는 그런게 있는지는도 모른다. 소스를 직접 compile하다보면 가끔 요구되는 것을 볼 수 있다. Haskell로 만든 운영체제로, [[http://programatica.cs.pdx.edu/House/|House]]가 있다. 함수형 언어로 시스템 프로그래밍을 하는 일종의 [[도전과제]] 비슷한 개념이지만 꽤 잘 작동한다. 관심있는 사람은 받아서 분석해보는 것도 괜찮을듯. 다만 현재의 컴퓨터 구조로는 아직 함수형 언어의 장점과 성능을 살리기 어렵기에 느려터진 것은 감수해야 한다. 2015년에 공개된 오픈소스 프로젝트로는 [[페이스북]]에서 공개한 스팸 필터[* 공개된 부분은 필터의 일부인 데이터 액세스 라이브러리. 스팸 필터 중에서 가장 부하가 큰 부분이라고. 당연하지만 스팸 필터 그 자체는 공개 안 했다.]인 Haxl가 있다. 개발 책임자의 말을 빌면, 기존의 C++ 베이스로 작업하던 FXL[* 2013년부터 사용되었다. 이 또한 순수 함수형 언어의 특징을 따온 DSL이었다. 하루에도 몇번이나 코드가 갱신되기 때문에 인터프리팅을 통해서 실행하고 있었지만 너무 느렸다고. 대신 컴파일해서 실행·교체(hot code swapping: CPU나 하드디스크를 실행중에 바꿔끼는 ~~묘기~~ hot swapping의 소프트웨어 버전)할 수 있는 하스켈에는 상대가 되지 않았다고.]이라는 물건으로는 ~~물밀듯이 밀려오는 스팸을~~ 도저히 감당할 수 없어서 포기하고 하스켈로 개발을 시작했다고 한다. 결과적으로 실제 상황에서 20~30% 정도의 성능 향상을 얻을 수 있었고, 특히 복잡한 문제일수록 더 빨라졌다고 한다.[* 공개된 정보에 따르면 x3 이상] 다만 하스켈 개발자는 구하기 어려워서, 언젠가 Haxl을 C++로 포팅하는 수순을 밟을지도 모른다고. 실제로 이번 시스템 개발과정에만 하스켈 언어·컴파일러 톱 디자이너만 두명이나 참가했다(...). [[http://www.wired.com/2015/09/facebooks-new-anti-spam-system-hints-future-coding/|인터뷰]] [[https://code.facebook.com/posts/745068642270222/fighting-spam-with-haskell/|#]] [[https://code.facebook.com/posts/302060973291128/open-sourcing-haxl-a-library-for-haskell/|#]] [[https://wiki.haskell.org/wikiupload/c/cf/The_Haxl_Project_at_Facebook.pdf|하스켈로 뭘 했는지 간단히 살펴볼 수 있는 슬라이드]] 2017년 10월 1일 발행된 암호화폐 [[에이다(암호화폐)|에이다]]의 블록체인 [[카르다노]]가 하스켈로 작성되었다. 카르다노가 디앱의 스마트컨트랙트를 필수로 요구하는 플랫폼 블록체인을 지향하는데도 불구하고, 그걸 하필 하스켈로 만들었기에 업데이트용 하드포크가 항상 지연되어왔다는 지적을 5년간 받고 있다.[* 카르다노바 만들어진지 무려 4년반만에 꼴랑 디앱 하나가 돌아가고 있다. 그 이름은 탈중앙화 거래소 역할의 디앱인 [[선데스왑]]이다. 그 사이에 이더리움은 디앱 1만개를 확보하였다. ] 2019년 [[GitHub]]에서 개발한 소스코드 분석 프로그램 Semantics[[https://github.com/github/semantic|#]]가 하스켈로 작성되었다. 왜 하스켈을 선택했는지 [[https://github.com/github/semantic/blob/master/docs/why-haskell.md|여기]]에 잘 나와있다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기