Unsafe (Grade A) logo

Unsafe (Grade A)Skill di dati-AI sicurezza-testata per Claude che ottiene il voto A. Vieta le funzioni Haskell non sicure, comprese quelle di unsafePerformIO, unsafeCoerce, e altre funzioni con prefisso non sicuro. Utilizzare quando si scrive o si valuta codice Haskell.

— (0)
Daniel NikulshynRecensito da Daniel Nikulshyn·Aggiornato luglio 2026

Panoramica

Questa abilità vieta funzioni Haskell non sicure, come unsafePerformIO, unsafeCoerce, e altre funzioni con prefisso non sicuro. Viene utilizzata quando si scrive o si valuta codice Haskell che utilizza qualsiasi funzione con prefisso non sicuro. L'obiettivo è prevenire l'uso di funzioni che compromettono la trasparenza di riferimento e la sicurezza di tipo nel linguaggio Haskell, che sono garanzie fondamentali del linguaggio. Le funzioni non sicure possono portare a comportamenti imprevedibili, crash o vulnerabilità di sicurezza. L'abilità consiglia di non utilizzare funzioni non sicure e suggerisce alternative più sicure.

Funzionalità chiave

  • Detta e vieta funzioni con prefisso non sicuro
  • Fornisce orientamenti su alternative più sicure
  • Supporta legami FFI e variabili mutabili globali con NOINLINE

Prezzi

Modello
Free
Categoria
Competenze
Valutazione
Nessuna recensione

Casi d’uso

Valutazione del codice Haskell

Usa questa abilità per valutare il codice Haskell e assicurarti che non utilizzi funzioni con prefisso non sicuro.

Scrittura di codice Haskell sicuro

Usa questa abilità per scrivere codice Haskell sicuro, evitando funzioni con prefisso non sicuro e seguiendo le migliori pratiche.

Pro & contro

Pro

  • Previenuta l'uso di funzioni che compromettono le garanzie linguistiche
  • Incentiva pratiche di codifica più sicure
  • Aiuta a prevenire comportamenti imprevedibili e crash

Contro

  • Potrebbe limitare ottimizzazioni di prestazioni in alcuni casi
  • Richiede giustificazioni esplicite per il progetto di API sicuro
  • Richiede giustificazioni esplicite per il progetto di API sicuro

Recensioni

Accedi per lasciare una recensione.

Nessuna recensione. Sii il primo!

Domande e risposte

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

Fai una domanda

Alternative a Competenze

Using Git Worktrees (Grade A) logo
Using Git Worktrees (Grade A)Competenze

Skill di sicurezza testata ai dati-ai per Claude AI. Classificata A. Usare quando si inizia il lavoro di feature che richiede l'isolamento dallo stato attuale del workspace o prima di eseguire i piani di implementazione - crea un repository git worktree isolato.

— (0)
Free
Ga4 Bigquery Schema (Grade A) logo
Ga4 Bigquery Schema (Grade A)Competenze

Skill di dati ai testata per la sicurezza di Claude AI. Schema di esportazione di BigQuery GA4 di classe A.

— (0)
Free
Meta Capi (Grade A) logo
Meta Capi (Grade A)Competenze

Skill per la sicurezza dei dati-ai per Claude AI. Classe A. Riferimento di configurazione della piattaforma Meta Conversions API (CAPI)

— (0)
Free
Callees (Grade A) logo
Callees (Grade A)Competenze

Competenza di sviluppo testata a livello di sicurezza per Claude AI. Grade A. Elenco di tutto ciò a cui una funzione o metodo invoca (call graph diretto)

— (0)
Free
Test Module Name (Grade A) logo
Test Module Name (Grade A)Competenze

Modulo di test sicuro per abilità AI dati da Claude AI. Grade A. Nome i moduli di test Haskell dopo il modulo da testare con suffisso Spec nel medesimo namespace. Utilizzare quando si scrivono o si vengono recensiti i moduli di test Haskell.

— (0)
Free
Board Of Directors (Grade A) logo
Board Of Directors (Grade A)Competenze

Skill di AI dati con prova di sicurezza di alta qualità per Claude AI. Classe A. Simula una deliberazione di un collegio di esperti con 5 membri per le maggiori decisioni. Utilizzare quando si valuta i piani, le scelte di architettura, i progetti di design o qualsiasi altra decisione

— (0)
Free
Advpl Mvc Avancado (Grade A) logo
Advpl Mvc Avancado (Grade A)Competenze

Skill di sviluppo testata per la sicurezza per Claude AI. Grade A. MVC avanzato tramite PE (Pontos de Entrada) — aggiungere griglie personalizzate in schermate MVC standard (CNTA300/MATA070/MATA440/MATA460/FINA040 via *STRU)

— (0)
Free
D
Docs Writer (Grade A)Competenze

Skill per DevOps segnalata da test di sicurezza per Claude AI. Grado A. **ABILITÀ DI FLOW DI LAVORO** — Mantiene l'accuratezza e la freschezza dell'accuratezza dei documenti nel repository, accross il sito dei documenti, i file degli agenti, e il changelog. QUANDO: "aggiorna documenti

— (0)
Free