Unsafe (Grade A)Drošības pārbaudīta datu-AI kompetence Claude AI. Grāds A. Aizliegti nebezpiečasti Haskell funkciji kā unsafePerformIO, unsafeCoerce un citi unsafe-prefixed funkciji. Izmantojiet, rakstot vai pārskatot Haskell.

— (0)

Pārskatījis Daniel Nikulshyn·Atjaunināts 2026. g. jūlijs

Pārskats

Šī kompetence aizliedz nebezpiečastus Haskell funkcijus, piemēram, unsafePerformIO, unsafeCoerce un citus unsafe-prefixed funkcijus. Tā tiek izmantota, rakstot vai pārskatot Haskell kodu, kas izmanto jebkuru unsafe-prefixed funkciju. Mērķis ir novērst funkciju izmantošanu, kas kompromitē referencējošo caurspīdīgumu un tipa drošību Haskell, kas ir valodas pamattiesības. Nebezpiečasti funkciji var izraisīt neparedzētu uzvedību, avārijas vai drošības ievainojamības. Kompetence ieteic neizmantot nebezpiečastus funkcijus un ieteic drošākas alternatīvas.

Galvenās funkcijas

Identificē un aizliedz unsafe-prefixed funkcijas
Nodrošina vadlīnijas uz drošāku alternatīvu
Atbalsta FFI saistības un globālus mainīgos ar NOINLINE

Cenas

Modelis: Free
Kategorija: Taktu
Vērtējums: Nav atsauksmju

Lietošanas gadījumi

Haskell koda pārskatīšana

Izmantojiet šo kompetenci, lai pārskatītu Haskell kodu un pārliecinātos, ka tas neizmanto unsafe-prefixed funkcijas.

Drošu Haskell koda rakstīšana

Izmantojiet šo kompetenci, lai rakstītu drošu Haskell kodu, izvairoties no unsafe-prefixed funkcijām un ievērojot labākās prakses.

Plusi un mīnusi

Plusi

Aizliedz funkciju izmantošanu, kas kompromitē valodas garantijas
Veicina drošāku kodēšanas praksi
Palīdz novērst neparedzētu uzvedību un avārijas

Mīnusi

Var ierobežot veiktspējas optimizēšanu dažos gadījumos
Prasa skaidru justifikāciju droša API izstrādē

Atsauksmes

Pieslēdzies, lai atstātu atsauksmi.

Vēl nav atsauksmju. Esi pirmais!

Jautājumi

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

Uzdod jautājumu

Taktu alternatīvas

Using Git Worktrees (Grade A)Taktu

Saugamības pārbaudīta datu-AI prasmju funkcija Claude AI. Grēds A. Izmantojiet, kad sākat funkciju darbu, kas prasa izolāciju no pašreizējās darba vietas vai pirms izpildes plānu - izveido izolēti git worktrees

— (0)

Free

Ga4 Bigquery Schema (Grade A)Taktu

Drošības pārbaudīts datu-AI uzdevums Claude AI. Grēds A. GA4 BigQuery Eksporta shēmas atsauce — pilnīga lauku atsauce, iekļautas struktūras, vaicājumu modeļi un veiktspējas padomi

— (0)

Free

Meta Capi (Grade A)Taktu

Drošības pārbaudīta datu AI prasme Claude AI. Grads A.

— (0)

Free

Callees (Grade A)Taktu

Sekuritātes testētu izstrādes iemaņu kalāšana ar Claude AI. Kvalitāti A. Saraksts, ko viena funkcija/metode saistījušas

— (0)

Free

Test Module Name (Grade A)Taktu

Drošības pārbaudīta datu-AI prasmju rīks Claude AI. Grēds A. Nosauciet Haskell testa moduļus pēc testējamā modula ar Spec sufiksu tajā pašā nosaukuma telpā. Lietojiet, kad rakstāt vai pārskatāt Haskell testa moduli.

— (0)

Free

Board Of Directors (Grade A)Taktu

Izvēlētais dati-IA spēks par Claude AI. Grade A. Simulēt 5 dalībnieku ekspertu padomes diskusiju svarīgām lēmumiem. Lietot, lai novērtētu plānu, arhitektūras izvēles, funkciju dizainu vai nekādus citus lēmumus, kas prasību dažādus ekspertu skatu pārstāvju pārskatu.

— (0)

Free

Advpl Mvc Avancado (Grade A)Taktu

Rīkotāja, kas testēta kārtībā, lai izmantotu Claude AI. A klasē ar MVC. Pārstāv ADVPL peles — izveidot atstājīgs gridus MVC standarta tēlēs.

— (0)

Free

Docs Writer (Grade A)Taktu

Drošības pārbaudīta devops prasmība Claude AI. Grēds A. **WORKFLOW SKILL** — Uztur repozitorija dokumentācijas precizitāti un svaigumu visā dokumentācijas vietnē, agenta failos un izmaiņu žurnālā. KAD: "update docs"

— (0)

Free