himari

A standard library for Haskell to replace rio

注意

[!IMPORTANT] himariはrioとは完全に同じように使えるわけではありません。 ここで主な注意点を挙げます。

重大なランタイムの非互換性

ログの出力先の変更

rioは基本的に標準出力にログを出力しますが、 himariはデフォルトのガイドラインに従うと標準エラー出力にログを出力します。

ログは標準エラー出力に出すべきだと考えているためです。

変更したい時は出力先をstderrからstdoutなどに変更することで簡単に変更可能です。

部分関数への対処方法の違い

rioは部分関数を独自のモジュールでexportして提供していますが、 himariはそのままオリジナルのモジュールを使ってもらいます。

よってhimariは部分関数を除去していません。

なのでhimariはhlintのルールで警告を出すことで対処しています。 詳細はセットアップを参照してください。

セットアップ

himariを使うプロジェクトでは、 以下の設定ファイルをコピーすることを強く推奨します。

hlint

himariは部分関数を除去する代わりに、 hlintで警告を出すことで対処しています。 プロジェクトルートにある.hlint.yamlファイルをコピーしてください。 既存のhlint.yamlがある場合はマージしてください。

curl -L 'https://raw.githubusercontent.com/ncaq/himari/master/.hlint.yaml' -o '.hlint.yaml'

fourmolu

fourmoluはHaskellのフォーマッタです。 fourmoluは演算子の優先順位(fixity)を正しく解決するために、 カスタムPreludeがどのモジュールをre-exportしているかを知る必要があります。

プロジェクトルートにあるfourmolu.yamlファイルのreexportsセクションをコピーしてください。 既存のfourmolu.yamlがある場合はreexportsセクションをマージしてください。

curl -L 'https://raw.githubusercontent.com/ncaq/himari/master/fourmolu.yaml' -o 'fourmolu.yaml'

[!NOTE] fourmolu.yamlにはhimari固有のフォーマット設定(indentation, column-limitなど)も含まれています。 素朴な設定ですが、プロジェクトに合わせて適宜変更してください。

背景

私は、 commercialhaskell/rio: A standard library for Haskell の思想が好みで長く使っています。

しかしrioの好みではない点もいくつかあります。 単純に質の問題であれば私がコントリビュートすれば良いのですが、 非互換な選択である部分が多いため、 それは受け入れられないだろうと考えて、 rioに似たライブラリであるhimariを作成することにしました。

目標

依存関係が大きくなることを恐れない

rioは依存関係を小さくしようと考えているのか、 lens: Lenses, Folds and Traversals ではなく、 microlens: A tiny lens library with no dependencies を採用しています。

しかし実際のライブラリでは本家のlensに依存していることも多く、 結局使おうとしてコンフリクトすることが多いです。

Haskellは静的にビルドする言語なので、 依存関係が多いことはあまり怖くありません。

使うとは限らない依存関係もドシドシimportしてしまいます。

バージョンごとの依存関係の解決が大変なのはNixなどのパッケージマネージャのレイヤーで解決することにします。

なるべく一行で済ませたい

himariは基本的には以下の一行で代替Preludeを提供することを目指します。

import Himari

色々と書くのは面倒ですからね。 これで衝突しない範囲はたくさんimportしてしまいます。

同じシンボル名をexportしていて衝突してしまうものは仕方がないのでqualified importを使ってもらいます。

なるべく独自のシンボルを定義しない

himariはrioで言うRIO.Textのような独自のシンボルを定義することをなるべく避けます。 LLMのコーディングエージェントに独自のシンボルを使うことを守ってもらうのが難しいからです。 しばしばオリジナルのシンボルをimportしてしまいます。

ただしHimari.Preludeのサブモジュール(Himari.Prelude.Aesonなど)は例外的に存在します。 これはHaddockの制限により、hidingを使ったre-exportはシンボルが全て展開されてドキュメントが肥大化してしまうためです。 サブモジュールでhidingを隠蔽することで、Himari.Preludeのドキュメントをコンパクトに保っています。

これらのサブモジュールはHimari.Preludeから自動的にre-exportされるため、 rioのRIO.Textのように個別にimportする必要はありません。 万が一誤ってサブモジュールを直接importした場合でも、 Himari.Preludeと重複importすることになり、GHCが警告を出してくれます。

Nix

このプロジェクトはhaskell.nixを使用しています。

nix flake showが失敗する場合

haskell.nixはIFD(Import From Derivation)を使用するため、 複数システムをサポートするflakeでnix flake showを実行すると、 異なるシステム向けのビルドを評価しようとして失敗することがあります。

これはhaskell.nixの既知の制限であり、 現在のところ完全な回避策はありません。