Unsafe (Grade A)セキュリティテスト済みデータaiスキル。 Claude AI用。 Grade A。unsafePerformIO、unsafeCoerce、他のunsafe接頭辞関数 (unsafeprefixed functions) の使用禁止。

— (0)

レビュー: Daniel Nikulshyn·更新 2026年7月

概要

このスキルは、unsafePerformIO、unsafeCoerce、他のunsafe接頭辞関数 (unsafeprefixed functions) の使用を禁止します。このスキルは、Haskellコードにunsafe接頭辞関数を使用していないことを確認するためにまたはHaskellコードを安全に書くために使用されます。この機能の目的は、Haskellの基本的なガارانティである参照透過性と型安全性を損なうunsafefuncがHaskellコードに含まれないようにすることです。unsafefuncがあれば、予測不可能な動作、クラッシュ、またはセキュリティ脆弱性が生じる可能性があります。このスキルはunsafefunctionの使用を勧めず、より安全な代替の関数を提案します。

主な機能

unsafe接頭辞関数 (unsafeprefixed functions) を検出して禁止します。
saferな代替関数についてのガイダンスを提供します。
FFIバインディングおよびグローバルミュータブル変数 (global mutable variables) に対してNOINLINEをサポートします。

料金

モデル: Free
カテゴリー: 東学サェソー
評価: まだレビューはありません

ユースケース

Haskellコードレビュー

このスキルを使用してHaskellコードをレビューし、未安全な関数の使用を確認します。

安全なHaskellコードを書く

このスキルを使用して未安全な関数の使用を避け、Haskellコードを安全に書くためのベストプラクティスを実践します。

メリット & デメリット

メリット

言語のガارانティを破る関数の使用を防止します。
saferな開発慣行を促進します。
予測不可能な動作とクラッシュを防止します。

デメリット

実装上、性能最適化を制限する場合があります。
安全なAPI設計のための明示的な説明を必要とします。

レビュー

レビューを投稿するにはログインしてください。

まだレビューはありません。最初の一人になりましょう!

Q&A

unsafe 関数の代替として skill は何を推奨していますか？

safe なライブラリ関数（例：unsafeIndex の代わりに indexMaybe）を使用すること、Data.Coerce.coerce を unsafeCoerce の代わりに使うこと、unsafePerformIO を回避し副作用を内部に隠蔽した API を設計することを推奨しています。

Asked by Rina Desai · Dec 29, 2025

FFI バインディングやグローバル mutable 変数のために unsafe 関数を使うことはできますか？

はい、skill は FFI バインディングや NOINLINE と組み合わせたグローバル mutable 変数など、限定的なケースで unsafe 関数の使用を許可しています。ただし、内部モジュールに限定し、安全で純粋な API でのみ公開し、明示的な正当化コメントを付与する必要があります。

Asked by Hiroshi Tanaka · Dec 26, 2025

Unsafe スキルはどのような Haskell 関数をブロックしますか？

unsafe プレフィックスで始まる関数（例：unsafePerformIO、unsafeDupablePerformIO、unsafeInterleaveIO、unsafeFixIO、unsafeCoerce）と、安全チェックをスキップするライブラリ関数（例：unsafeIndex、unsafeRead）をすべて禁止します。

Asked by Cristina Moreno · Nov 21, 2025

質問する

東学サェソーの代替

Using Git Worktrees (Grade A)東学サェソー

セキュリティテスト済みデータAISHILL(Grade A)。クリュードAIと併用する。

— (0)

Free

Ga4 Bigquery Schema (Grade A)東学サェソー

セキュリティテスト済みのデータ・AIスキル用Claude AI。 Grade A。GA4 BigQuery Export Schemaの参照情報大全、ネスト構造、検索パターン、パフォーマンスのヒント

— (0)

Free

Meta Capi (Grade A)東学サェソー

Security-checked data-ai skill for Claude AI. Grade A. (Meta Conversions API (CAPI)のセットアップガイド — アーキテクチャ、イベントタイプ、顧客情報のハッシュ、削除、実装例、AEM)

— (0)

Free

Callees (Grade A)東学サェソー

Claude AI向けセキュリティ検証済開発スキル。 Grade A. 関数/メソッドはどこにコールしているかをリストする

— (0)

Free

Test Module Name (Grade A)東学サェソー

セキュリティテスト済みデータ-AIスキル、クラウド AI用 Grade A。モジュールをテストするモジュールと同じネームスペースのSpecサフィックスでモジュール名を付ける。クラウド AIのテストモジュールライティングまたはレビューに使用してください。

— (0)

Free

Board Of Directors (Grade A)東学サェソー

SECURITY TESTED DATA-AI SKILL FOR CLAUDE AI. GRADE A. マジョルな決定を実行者 5 人が協議しながらの実行者 5 人によるディレクトオフィス議論シミュレーション。プランの評価やアーキテクチャーセレクション、機能デザイン評価など、複数視点の専門分析を必要とするあらゆる決定を評価するには使用してください。

— (0)

Free