Unsafe (Grade A)Habilidade de dados de segurança testada para Claude AI. Grau A. Proíbe funções Haskell inseguras como unsafePerformIO, unsafeCoerce e outras funções com prefixo unsafe. Use ao escrever ou revisar código Haskell

— (0)

Avaliado por Daniel Nikulshyn·Atualizado julho de 2026

Visão geral

Esta habilidade proíbe funções Haskell inseguras como unsafePerformIO, unsafeCoerce e outras funções com prefixo unsafe. É usada ao escrever ou revisar código Haskell que utilize qualquer função com prefixo unsafe. O objetivo é prevenir o uso de funções que comprometam a transparência referencial e a segurança de tipos em Haskell, que são garantias fundamentais da linguagem. Funções inseguras podem levar a comportamentos imprevisíveis, crashes ou vulnerabilidades de segurança. A habilidade aconselha contra o uso de funções inseguras e sugere alternativas mais seguras.

Funcionalidades principais

Detecta e proíbe funções com prefixo unsafe
Fornece orientação sobre alternativas mais seguras
Suporta bindings FFI e variáveis globais mutáveis com NOINLINE

Preços

Modelo: Free
Categoria: Habilidades
Avaliação: Ainda sem avaliações

Casos de uso

Revisão de Código Haskell

Use esta habilidade para revisar código Haskell e garantir que ele não use funções com prefixo unsafe.

Escrevendo Código Haskell Seguro

Use esta habilidade para escrever código Haskell seguro, evitando funções com prefixo unsafe e seguindo as melhores práticas.

Prós e contras

Prós

Previne o uso de funções que comprometem as garantias da linguagem
Encoraja práticas de codificação mais seguras
Ajuda a prevenir comportamentos imprevisíveis e crashes

Contras

Pode limitar otimizações de desempenho em alguns casos
Requer justificativa explícita para design de API seguro

Avaliações

Entra para deixar uma avaliação.

Ainda sem avaliações. Sê o primeiro!

Perguntas e respostas

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

Faz uma pergunta

Alternativas a Habilidades

Using Git Worktrees (Grade A)Habilidades

Habilidade de dados de segurança testada para Claude AI. Grau A. Use ao iniciar o trabalho de recurso que precisa de isolamento do espaço de trabalho atual ou antes de executar planos de implementação - cria worktrees git isolados

— (0)

Free

Ga4 Bigquery Schema (Grade A)Habilidades

Habilidade de dados-IA testada por segurança para Claude AI. Nota A. Referência do Esquema de Exportação GA4 BigQuery - referência de campo completa, estruturas aninhadas, padrões de consulta e dicas de desempenho

— (0)

Free

Meta Capi (Grade A)Habilidades

Habilidade de dados-IA testada em segurança para Claude AI. Grau A. Referência de configuração do Meta Conversions API (CAPI) — arquitetura, tipos de eventos, hash de informações de cliente, deduplicação, exemplos de implementação, AEM

— (0)

Free

Callees (Grade A)Habilidades

Habilidade de desenvolvimento testada por segurança para Claude AI. Nota A. Lista o que uma função/método chama (gráfico de chamadas direto)

— (0)

Free

Test Module Name (Grade A)Habilidades

Habilidade de dados de segurança testada para Claude AI. Grau A.

— (0)

Free

Board Of Directors (Grade A)Habilidades

Habilidade de dados-IA testada para segurança para Claude AI. Grau A. Simula uma deliberação de um conselho de 5 membros especialistas para decisões importantes. Use ao avaliar planos, escolhas de arquitetura, designs de recursos ou qualquer decisão

— (0)

Free

Advpl Mvc Avancado (Grade A)Habilidades

Skill de desenvolvimento testada quanto à segurança para o Claude AI. Grade A. MVC avançado via PE (Pontos de Entrada) — adicionar grids customizadas em telas MVC padrão (CNTA300/MATA070/MATA440/MATA460/FINA040 via *STRU)

— (0)

Free

Docs Writer (Grade A)Habilidades

Habilidade de segurança testada para desenvolvedores para Claude AI. Grau A. **HABILIDADE DE FLUXO DE TRABALHO** — Mantém a precisão e atualidade da documentação do repositório em todo o site de documentação, arquivos de agente e changelog. QUANDO: "atualizar documentação"

— (0)

Free