菜单
Avoid partial functions such as head, fromJust, read, and (!!) in Haskell. Prefer total functions, Maybe-returning variants, and other safe alternatives. Use when writing or reviewing Haskell code that accesses lists, parses strings, or handles Maybe.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Generate a commit message from staged changes and let the user review before committing. Use when the user wants to commit changes or create a git commit.
Generate a GitHub pull request title and body from the current branch and let the user review before creation. Use when the user wants to create a pull request.
Investigate any topic by querying multiple external sources (web, official docs, GitHub, MCP servers). Use whenever a question requires information not already in the working context, including library behavior, API specifications, error diagnostics, version comparisons, or general factual lookup.
himari is ncaq's rio-like custom Haskell Prelude. Import it with a single `import Himari`, never `import Himari.Prelude` or other submodules directly. Use when writing or reviewing Haskell code in a project that depends on the himari package.
Prefer the most specific built-in method over general-purpose ones in TypeScript/JavaScript. Use includes over indexOf, some over filter().length, find over filter()[0], flatMap over map().flat(), at(-1) over length-based access, startsWith/endsWith/includes over indexOf on strings, structuredClone over JSON round-trip. Use when writing or reviewing code that searches, tests, transforms arrays, objects, or strings.
Avoid for loops (C-style, for...of, for...in) in TypeScript/JavaScript. Prefer higher-order Array methods like map, filter, find, some, every, reduce. Use when writing or reviewing loops or iteration over arrays, objects, Map, Set, or String.
| name | partial-function |
| description | Avoid partial functions such as head, fromJust, read, and (!!) in Haskell. Prefer total functions, Maybe-returning variants, and other safe alternatives. Use when writing or reviewing Haskell code that accesses lists, parses strings, or handles Maybe. |
| user-invocable | false |
純粋関数であるにもかかわらず、 特定の入力に対して例外を投げる部分関数の使用は禁止します。
部分関数は型の上ではすべての入力を受け付けるように見えますが、 実際には一部の入力でしか正しく動作しません。 そのため型検査を通過しても実行時にクラッシュする原因になります。
純粋関数空間では安全な方法では例外を捕捉することが出来ないため、 エラーの処理が困難になります。
遅延評価と組み合わせると、 例外が発生するタイミングが予測できなくなり、 例外を捕捉しているはずなのに別の場所で評価された時に例外が発生することもあります。
全域関数や、
失敗をMaybeやEitherなどで返す関数に置き換えてください。
Maybeの中身を取り出しますが、
Nothingに対しては例外を投げます。
fromMaybeでデフォルト値を与えるか、
maybeやパターンマッチでNothingの場合を明示的に処理してください。
文字列をパースしますが、 失敗すると例外を投げます。
readMaybeや、
導入されていればreadMayを使い、
失敗をMaybeとして受け取ってください。
空リストに対して例外を投げます。
先頭要素が欲しいだけならlistToMaybeやパターンマッチを使ってください。
導入されていればheadMayなどのMaybeを返すバージョンを使ってください。
空でないことが事前条件であるなら、
NonEmptyで型として表現すれば、
NonEmpty.headは全域関数になります。
範囲外のインデックスに対して例外を投げます。
Data.List.(!?)のように、
Maybeを返す添字アクセスを使ってください。
そもそもリストの添字アクセスはパフォーマンスが悪いので、 可能な限り走査するようなコードを書いてください。
空のコンテナに対して例外を投げます。
NonEmpty版を使うか、
初期値を与える安全なバージョンを使ってください。
