Haskell 커뮤니티에서 한 주 동안 있었던 소식을 요약해 전합니다.
URL: https://haskellweekly.news/issue/507.html
Title: Issue 507
Haskell Weekly의 또 다른 이슈에 오신 것을 환영합니다! Haskell은 빠르고 동시성을 갖춘 런타임을 제공하는 안전한 순수 함수형 프로그래밍 언어입니다. 이 뉴스레터는 커뮤니티에서 무슨 일이 일어나고 있는지에 대한 주간 요약입니다.
불행히도 GHC 9.12.3에서 주요 코드 생성 회귀(regression)를 발견했는데, 이로 인해 서브워드(sub-word) 나눗셈이 포함된 특정 연산에서 런타임 결과가 잘못됩니다. 현 시점에서는 이 마이너 릴리스로의 업그레이드를 피할 것을 권장합니다.
에든버러의 헤리엇-와트 대학교(Heriot-Watt University) 교수인 Kathrin Stark와 함께합니다. Kathrin은 증명 보조 도구(proof assistant)를 활용한 프로그램 검증을 연구하기 때문에, 초점이 정확히 Haskell 자체에 있지는 않지만, 대화형 정리 증명기(interactive theorem prover), 올바른 프로그램 작성, 그리고 이를 만들어내는 데 필요한 활동 등 Haskeller들의 마음에 가까운 주제들을 다룹니다. 우리는 증명과 명세의 여러 측면, 과정에 관여하는 언어들, 그리고 증명 가능하게 올바른 신경망을 검증하고 만들어내는 방법까지 폭넓게 논의합니다.
ICLP 2025(https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ICLP2025.18, https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?ICLP2025 의 일부)에서 발표한 새 논문을 공유하고자 합니다. 요지는 정적 타입의 논리 프로그래밍을 Haskell로 가져오는 방법을 설명하는 것입니다. 우리는 고차 종류 데이터(higher-kinded data)의 특정 변형을 활용합니다.
Bellroy에서 Haskell 사용을 확장해 가면서 “하우스 스타일” 또는 “엔지니어링 방언”을 다듬어 왔습니다. 하우스 스타일이란 전통적인 Haskell 의사결정 지점—선호하는 라이브러리와 언어 확장 선택—에 대해 결정을 내리는 것을 의미하는 게 분명하지만, 우리는 좋은 엔지니어링 방언이란 코드 표현 방식에 대한 견해를 형성하는 것까지 포함한다고 믿습니다. Haskell은 문법을 걷어내면 꽤 단순한 언어이며, 같은 아이디어도 매우 다양한 방식으로 표현될 수 있는데, 어떤 것은 다른 것보다 훨씬 명확합니다. 이 글에서는 우리가 채택한 몇 가지 작은 관용구를 공유합니다. 모두가 새롭지는 않을 수 있지만, 문서화할 가치가 있을 만큼 유용하다고 생각합니다.
새해가 본격적으로 시작되고 연휴 후 무기력함이 가라앉는 시점이니, 지금이야말로 상황을 점검하기 좋은 때라고 생각했습니다. 우리가 배운 것, 출시한 것, 그리고 다음에 집중할 것들을 공유합니다.
지난 몇 번의 릴리스 동안 DataFrame에 대한 여러 개선사항을 집중적으로 출하(shipping)해 왔고, “왜 신경 써야 하는지”를 요약(몇 가지 하이라이트 + 예시 몇 개 포함)해서 공유하고 싶었습니다.
이번 릴리스는 주요 개정이며 많은 변경 사항을 포함합니다. 전체 목록은 변경 로그를 확인하세요.
Mquickjs-hs - Micro QuickJS 자바스크립트 엔진을 위한 Haskell 래퍼 by Adrian Sieber
sparse-set v0.4.0: Haskell을 위한 효율적인 sparse set 자료구조 by Matt Hunzinger
sparse-set을 처음으로 소개하고자 합니다. 이는 효율적인 벡터 기반 sparse set으로, Haskell에서 사용할 수 있습니다. 이 패키지는 lazy, strict, mutable, unboxed 변형을 제공하며, 각각vector의 대응 구현을 감싸는 형태입니다.
최근 간단한 플로우차트를 렌더링하는 패키지(PiotrJustyna/wyvern)를 작성해 공개(hackage.haskell.org/package/wyvern-diagrams)했습니다. 이 패키지는 DRAKON 다이어그램 언어와 핵심 개념을 공유합니다(선이 교차하지 않으며, 비전공자에게도 다이어그램이 읽기 쉽습니다). 개인 생활/업무에서 사용하고 있고, 누군가에게 유용할 수도 있겠다 싶어 공유합니다.
1년 사망률 조사에서, 조사 시작 시점에 있던 90세 노인 250명 중 45명이 1년이 끝나기 전에 사망했습니다. 사망 확률이 0.2인지 검정하시오.
제42회 Agda Implementors’ Meeting(AIM XLII)이 2026-04-13부터 2026-04-18까지(월~토) 벨기에 루번(Leuven)에서 열립니다.
우리는 새로운 GHC 기여자들을 위한 온보딩 경험을 개선하려고 합니다. 장기 GHC 기여자들은 신규 기여자가 겪는 저항(마찰)의 정도를 가늠하기 어렵다는 점을 인지하고 있습니다. 과거에 GHC를 시작하는 데 어려움이 있었다면, 지금 여러분의 시간을 조금 내어 모두의 경험을 개선하는 데 도움을 줄 기회가 있습니다.
