1. 導入：なぜエラー処理が重要なのか
コマンドラインツールを作るとき、ユーザーが引数を間違えることは避けられません。その際に「プログラムが突然クラッシュする」のではなく、「何が間違っていて、どうすれば直るのか」を明確に示すことは、ツールの使いやすさを左右する非常に重要な要素です。Haskellの定番ライブラリである optparse-applicative を使えば、この「親切なエラーメッセージ」を最小限のコードで、かつ自動的に実装することができます。
2. 基礎知識：Applicativeが解決する仕組み
optparse-applicative は、その名の通り Applicative Functor の仕組みを活用しています。コマンドラインの各引数は「パーサー」として定義され、それらを <> 演算子で組み合わせることで、複雑な引数構造を構築します。
このライブラリの最大の利点は、パース処理の構造を定義するだけで、ライブラリ側が「どの引数が不足しているか」「どの型が間違っているか」を内部で自動的に追跡し、失敗した瞬間に美しいヘルプメッセージを生成して終了してくれる点にあります。
3. 実装：エラー処理を意識した構造化
実装のポイントは、パーサーの定義を「型」として宣言し、それを `execParser` で実行することです。これにより、パース失敗時の処理を自分で書く必要はなくなり、ライブラリが提供する標準的なエラーハンドリングに任せることができます。
4. サンプルプログラム
以下のコードを `Main.hs` として保存し、実行してみてください。引数なしで実行したり、間違った形式で実行したりすると、自動的にヘルプが表示されます。
import Options.Applicative
— コマンドライン引数を格納するデータ型
data Config = Config
{ name :: String
, age :: Int
} deriving Show
— パーサーの定義
configParser :: Parser Config
configParser = Config
<$> strOption
( long “name”
<> metavar “NAME”
<> help “あなたの名前を入力してください” )
<> option auto
( long “age”
<> metavar “AGE”
<> help “あなたの年齢を入力してください（数値）” )
main :: IO ()
main = do
— execParserがパース失敗時のエラーハンドリングをすべて引き受けます
cfg <- execParser opts
print cfg
where
opts = info (configParser <> helper)
( fullDesc
<> progDesc “これは挨拶プログラムです”
<> header “Hello World – optparse-applicativeの練習” )
5. 応用・注意点
現場で役立つポイント：
1. helperの重要性： 上記サンプルの `<> helper` は非常に重要です。これをつけることで、ユーザーが `–help` を入力した際に自動的にヘルプが表示されるようになります。これを忘れるとユーザーが困惑します。
2. デフォルト値の活用： `value` 関数を使うことで、引数が省略された場合にデフォルト値を割り当てることができます。これにより、エラー処理を減らし、ツールの利便性を高めることができます。
3. 型安全性の恩恵： `option auto` を使用すると、自動的に型変換（この場合は `Int` への変換）が行われます。もしユーザーが数値を入力しなかった場合、ライブラリが適切に「数値ではありません」というエラーを出してくれるため、手動でのバリデーションコードを書く必要はありません。
まずは「型を定義して、パーサーを構築する」という流れを意識してみてください。それだけで、あなたの書くツールは一気にプロフェッショナルな品質に近づきます。
コメント