私はここ数年、Haskellの主要な処理系であるGHCに趣味で貢献しています。この記事では、今年（2025年）行なった貢献を紹介します。バグ報告のみ（修正は他の人）のものも含みますが、その場合はその旨を書いています。
去年の記事は「GHCへの私の貢献2024」です。今年は「GHCデバッグ日誌 CI編」という記事も書きました。
続きを読む「Haskell」カテゴリーアーカイブ
「関数の副作用の有無」よりも大事なもの
プログラミングをやっていると、「関数に副作用がある」とか「副作用がない」あるいは「純粋である」という話をちょいちょい耳にする。そして、「外界の状態を読み取るけど変更はしない関数」、例えば
function getTime() {
return Date.now();
}のような関数に副作用があるか？みたいな議論が始まったりする。
くだらない議論だ。
何か概念を定義するときは、それが「役に立つ」場面を提示できる必要がある。「関数の副作用」を定義するときは、「関数の副作用」がわかったときに何をしたいのかをはっきりさせる必要がある。「関数のどういう側面に注目したいか」を決めずに「副作用の有無」を論じるのはナンセンスだ。
ここでは、言語処理系（コンパイラー）を実装する者の立場で、関数の副作用について論じてみたい。
続きを読むGHCデバッグ日誌 CI編
GHCのSIMDサポートの進捗：整数ベクトルの演算
ブログ等にちょいちょい書いていますが、私はこの数ヶ月ほどGHCのSIMDサポートの改善を進めています。
- Haskell/GHCのSIMDについて考える（2023年8月）
- HaskellでEDSLを作る：SIMD編（2024年12月）
- GHCへの私の貢献2024（2024年12月）
- 言語処理系にSIMD命令を実装することについて（主にx86向け）（2025年2月）
この3ヶ月間はx86 NCGで整数のSIMD演算を使えるようにするパッチを書いており、数日前にマージされました。一つのマイルストーンだと思うので記事にしておきます。
続きを読むnever型があると便利か（言語処理系実装者の観点から）
TypeScriptをはじめとするいくつかのプログラミング言語には、never型という型がある。この型は典型的には「制御を返さない関数」の返り値として使われる：
function f(x: string): never {
console.error(x);
throw new Error();
}never型は型システム的には「値を持たない型」「任意の型の部分型」として特徴づけられる。
他のプログラミング言語、例えば私が作っているLunarMLにもnever型があると便利だろうか？
続きを読むGHCへの私の貢献2024
この記事はHaskell Advent Calendar 2024の24日目の記事です。
私はここ数年、Haskellの主要な処理系であるGHCに趣味で貢献しています。この記事では、今年（2024年）行なった貢献を紹介します。バグ報告のみ（修正は他の人）のものも含みますが、その場合はその旨を書いています。
同様の記事を去年（2023年）も書きました：GHCへの私の貢献2023
GHC 9.12に入ったものは「GHC 9.12の新機能」でも触れています。
こういう記事を書く目的は、一つにはOSSへの貢献の対価として名誉が欲しいというものがあります。そのほかに、自分用の備忘録という目的もあります（あのバグはどのバージョンで修正されたんだっけ、ということがたまにあります）。あとは、単純にGHCの開発状況やホットな話題を皆さんに知って欲しいというのもあります（私の趣味全開なので、非常に偏った視点ではありますが）。
GHCへの貢献方法は去年の記事を読んでください。
続きを読むコンパイル時定数しか受け付けない引数
普通のプログラミング言語の普通の関数は、実行時に決まる値を受け取ることができます。
# 疑似コード
def foo(x: int, y: int) = print(x + y)
x = parseInt(readLine())
# x の値は実行時に決まる
foo(x + 4, 2 * x) # x + 4 や 2 * x の値も実行時に決まるこれに対して、「コンパイル時に決まる値しか受け付けない引数」を表現できると便利な場面があるのではないかと思うことが最近ありました。
続きを読む技術書典16に、Haskellでの型レベルプログラミングの本を出します
今度の5月26日（日）に池袋でオフライン開催される技術書典16に、サークル「だめぽラボ」で新刊「Haskellでの型レベルプログラミング」を出します。既刊も在庫があるものは頒布します。
続きを読むGHCへの私の貢献2023
この記事は Haskell Advent Calendar 2023 の6日目の記事です。
私はここ数年、HaskellコンパイラーであるGHCに貢献しています。この記事では、今年（2023年）に私が行った貢献を紹介します。
GHCの開発は独自ホストされたGitLab上で行われています。
続きを読むHaskell/GHCのSIMDについて考える
最近のコンピューターの性能を活用するには、何らかの並列化が必須です。具体的にはSIMDの活用やマルチコア（それとGPU）です。プログラミング言語でこれらを利用できれば「C言語よりも速い」を名乗れます。この記事では並列化技術のうち、SIMDを考えます。
HaskellコンパイラーであるGHCにはSIMDのプリミティブ（データ型と関数）が実装されています。しかし、広く使われているとは言い難いです。
続きを読む