القائمة
Forbid unsafe Haskell functions such as unsafePerformIO, unsafeCoerce, and other unsafe-prefixed functions. Use when writing or reviewing Haskell code that uses any unsafe-prefixed function.
التثبيت باستخدام 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 | unsafe |
| description | Forbid unsafe Haskell functions such as unsafePerformIO, unsafeCoerce, and other unsafe-prefixed functions. Use when writing or reviewing Haskell code that uses any unsafe-prefixed function. |
| user-invocable | false |
名前にunsafeが付く関数は、
参照透過性や型安全性といったHaskellの根幹の保証を破壊するため、
原則として使用を禁止します。
unsafe接頭辞は「これを使うと言語の保証が効かなくなる」という作者からの警告です。
IOアクションを純粋なコンテキストで実行します。
参照透過性を破壊します。 GHCの最適化により評価回数や評価順序が変わったり、 共有によって一度しか実行されなかったりするため、 副作用のタイミングを予測できなくなります。
unsafePerformIOの制約をさらに緩めたものです。
複数のスレッドから同時に、
あるいは重複して実行される可能性があり、
unsafePerformIOよりも危険です。
IOアクションを遅延実行します。
実際に値が必要になるまで実行が遅延されるため、
副作用の発生タイミングが完全に非決定的になります。
遅延IOにまつわる諸問題の原因です。
IOにおける不動点を計算します。
まだ定まっていない値を参照するとデッドロックや実行時エラーになります。
ある型の値を無検査で別の型へ変換します。 型システムを完全に迂回するため、 誤用するとセグメンテーション違反など、 Haskellでは本来起こり得ないクラッシュを引き起こします。
bytestringのunsafeIndexや、
vectorのunsafeReadなど、
ライブラリにも境界チェックを省略するunsafe接頭辞の関数があります。
これらもパフォーマンスのために安全性を犠牲にしているので、
原則として安全版であるindexMaybeや!?などを使ってください。
Data.Coerce.coerceはunsafeCoerceと名前も用途も似ていますが別物です。
coerceはCoercible制約によってコンパイル時に安全性が保証されるため、
こちらは禁止しません。
newtypeの包み直しなどではunsafeCoerceではなくcoerceを使ってください。
FFIのバインディングや、
NOINLINEと組み合わせたグローバルな可変変数の定義など、
unsafePerformIOが事実上の定石になっている領域があります。
そうした場合でも、 ライブラリやモジュールの内部に閉じ込めて、 外部には純粋で安全なAPIだけを公開してください。 そしてなぜ安全と言えるのかをコメントで必ず明示してください。
