Unsafe (Grade A)安全性经过校验的数据AI技能。A级。禁止Haskell中的无安全函数，例如unsafePerformIO、unsafeCoerce以及其他以"unsafe-"开头的函数。适用于编写或审查Haskell 代码

— (0)

审阅者 Daniel Nikulshyn·更新 2026年7月

概览

这个技能禁止了Haskell中的无安全函数，例如unsafePerformIO、unsafeCoerce以及其他以"unsafe-"开头的函数。它用于编写或审查使用任何以"unsafe-"开头函数的Haskell代码。目标是防止破坏Haskell中参考透明性和类型安全性的语言保证。无安全函数可能导致不可预测的行为、崩溃或安全性问题。这个技能建议不要使用无安全函数，提供更安全的替代方案。

主要功能

检测和禁止无安全前缀函数
提供更安全替代方案的指导
支持FFI绑定和全局可变变量（NOINLINE）

价格

模型: Free
分类: 育言活动
评分: 暂无评价

使用场景

Haskell 代码审查

使用这个技能审查Haskell代码，确保它不使用无安全前缀函数。

编写安全的Haskell代码

使用这个技能编写安全的Haskell代码，避免无安全前缀函数，遵循最佳实践。

优点 & 缺点

优点

预防破坏语言保证的函数
促进更安全的编码实践
帮助预防不可预测的行为和崩溃

缺点

可能在某些情况下限制性能优化
要求明确的安全API设计的正当理由

评测

登录以留下评测。

暂无评测。来当第一个吧!

问答

What alternatives does the skill suggest for unsafe functions?

It recommends safer equivalents like using the safe versions of library functions (e.g., indexMaybe instead of unsafeIndex), using Data.Coerce.coerce instead of unsafeCoerce, and designing APIs that avoid unsafePerformIO by encapsulating side‑effects internally.

Asked by Rina Desai · Dec 29, 2025

Can I still use unsafe functions for FFI bindings or global mutable variables?

Yes, the skill allows unsafe functions in limited cases such as FFI bindings or when combined with NOINLINE for global mutable variables, but they must be confined to internal modules and exposed only through a safe pure API with explicit justification comments.

Asked by Hiroshi Tanaka · Dec 26, 2025

What specific Haskell functions does the Unsafe skill block?

It forbids any function whose name starts with the unsafe prefix, including unsafePerformIO, unsafeDupablePerformIO, unsafeInterleaveIO, unsafeFixIO, unsafeCoerce, and library functions like unsafeIndex or unsafeRead that skip safety checks.

Asked by Cristina Moreno · Nov 21, 2025