Unsafe (Grade A)Mit Sicherheit geprüftes Daten- und KI-Werkzeug für Claude AI. Qualität B. Verhindert die Verwendung von unsicheren Haskell-Funktionen wie unsafePerformIO, unsafeCoerce und anderen Funktionen mit dem Präfix 'unsafe'. Verwenden Sie es bei der Erstellung oder Überprüfung von Haskell-Codes, die jede Funktion mit dem Präfix 'unsafe' verwenden.
Übersicht
Hauptfunktionen
- Entdeckt und verbietet Funktionen mit dem Präfix 'unsafe'
- Bietet Anleitung zu sichereren Alternativen
- Unterstützt FFI-Bindings und globale mutable Variablen mit NOINLINE
Preise
- Modell
- Free
- Kategorie
- Fähigkeiten
- Bewertung
- Noch keine Bewertungen
Anwendungsfälle
Haskell-Code-Überprüfung
Verwenden Sie dieses Werkzeug, um Haskell-Codes zu überprüfen und sicherzustellen, dass sie keine Funktionen mit dem Präfix 'unsafe' verwenden.
Sichere Haskell-Code-Erstellung
Verwenden Sie dieses Werkzeug, um sicheren Haskell-Codes zu erzeugen, indem Sie sich ungesicherten Funktionen und -praktiken enthalten.
Pro & Contra
Pro
- Verhindert die Verwendung von Funktionen, die die Sprachgarantien von Haskell gefährden
- Fördert sichere Programmierpraktiken
- Hilft dabei, unvorhersehbares Verhalten und Abstürze zu vermeiden
Contra
- Kann in einigen Fällen die Leistungsoptimierung einschränken
- Bereitstellung einer expliziten Rechtfertigung für die sichere API-Design
Bewertungen
Melde dich an, um eine Bewertung abzugeben.
Noch keine Bewertungen. Sei die/der Erste!
Fragen & Antworten
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
Frage stellen
Alternativen zu Fähigkeiten
Manage Headers (Grade A)FähigkeitenSicherheitsgeprüfte Entwicklungsfähigkeit für Claude AI. Grad A. Prüft und konfiguriert die Sicherheitsheader, die eine Power Pages-Seite an Browser sendet – Content Security Policy, frame und clickjacking Schutz
Using Git Worktrees (Grade A)FähigkeitenSicherheitsgetesteter Daten- und KI-Workflows für Claude AI. Klasse A. Verwenden, wenn Sie Feature-Arbeiten starten, die von der aktuellen Arbeitsumgebung isoliert werden müssen, oder bevor Sie Implementierungspläne ausführen - erstellt isolated Git Worktrees
Ga4 Bigquery Schema (Grade A)FähigkeitenSicherheitsgetestete Daten-AI-Fähigkeit für Claude AI. (Grade A). GA4 BigQuery Export-Schema-Referenz — vollständiger Feldbezug, verknüpfte Strukturen, Abfragemuster und Leistungs-Tipps
Meta Capi (Grade A)FähigkeitenSicherheitsgeprüfte data-ai-Fähigkeit für Claude AI. Grade A.
Callees (Grade A)FähigkeitenSicherheitstests für die Entwicklung von Claude AI. Note: A. Aufrufgraph der direkten Aufrufe auflisten
Test Module Name (Grade A)FähigkeitenSicherheitsgetestete daten-AI-Fähigkeit für Claude AI. Grade A. Benenne Haskell-Testmodule nach dem zu testenden Modul mit einem Spec-Suffix im gleichen Namespace.
Board Of Directors (Grade A)FähigkeitenErforscht-geprüftes Datenspiel für AI. Bester Ruf. Simuliere eine Diskussion einer 5-köpfigen Expertenjury für wichtige Entscheidungen. Verwendung für die Bewertung von Plänen, Architekturauswahl, Funktionsdesigns oder jeder Entscheidung.
Advpl Mvc Avancado (Grade A)FähigkeitenSicherheitsgeprüfte Entwicklungsfertigkeit für Claude AI. Grade A. Fortgeschrittenes MVC über PE (Punkte des Eingangs) – benutzerdefinierte Grids zu Standard-MVC-Bildschirmen hinzufügen (CNTA300/MATA070/MATA440/MATA460/FINA040 via *STRU)
Trending now
Reducto AIPlattformen für die Entwicklung von Agenten mit künstlicher IntelligenzIntelligenter Dokument API zur Analyse, Trennung, OCR-Analyse und Strukturierung von komplexen PDFs, Präsentationen und Tabellenkalkulationen.
AdCrierMarketing & WerbungGepflichtete Antworten mit Provision pro Klick.
Biology AIBildung AIGenaue Hilfe bei Hausaufgaben mit ausführlichen Erklärungen
Pixtral 12B 24.09Large Language ModelOffenes multimodales 12B-Modell, das ineinander verschachtelte Bilder und Text mit einem Kontextfenster von 128 K verarbeitet.