Unsafe (Grade A)Тестований на безпеку набір функцій для Claude AI. Клас A. Забороняє небезпечні функції Haskell, такі як unsafePerformIO, unsafeCoerce та інші функції з префіксом unsafe.
Огляд
Ключові функції
- Виявляє та забороняє функції з префіксом unsafe
- Надає рекомендації щодо безпечніших альтернатив
- Підтримує FFI зв'язки та глобальні змінні з NOINLINE
Ціни
- Модель
- Free
- Категорія
- Мовні здібності
- Рейтинг
- Поки немає відгуків
Кейси використання
Ревізія коду Haskell
Використовуйте цей набір функцій для перегляду коду Haskell та забезпечте, щоб він не використовував функції з префіксом unsafe.
Написання безпечного коду Haskell
Використовуйте цей набір функцій для написання безпечного коду Haskell, уникаючи функцій з префіксом unsafe і дотримуючись кращих практик.
Плюси і мінуси
Плюси
- Запобігає використанню функцій, що порушують гарантії мови
- Заохочує безпечні практики кодування
- Допомагає запобігти непередбачуваній поведінці та збоям
Мінуси
- Може обмежити оптимізації продуктивності в деяких випадках
- Потребує явного обгрунтування безпечного дизайну 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
Постав питання
Альтернативи Мовні здібності
Using Git Worktrees (Grade A)Мовні здібностіПеревірена на безпеку навичка data-ai для Claude AI. Клас A. Використовуйте, коли розпочинаєте розробку функцій, що потребують ізоляції від поточного робочого простору, або перед виконанням плану реалізації – створює ізольовані git worktrees.
Ga4 Bigquery Schema (Grade A)Мовні здібностіБережно перевірений дані-технологічний навичок для системи AI Claude. Атестовано вищою оцінкою «А». Встановлення структури експорту схеми GA4 в BigQuery - повний перелік полів, вкладені структури, шаблони запитів та поради щодо виконання.
Meta Capi (Grade A)Мовні здібностіТестований на безпеку інструмент даних та штучного інтелекту для Claude AI. Клас А.
Callees (Grade A)Мовні здібностіБезпеково перевірена розробчі уміння для Claude AI. Ступінь А. Список того чого функція/метод звертається до.
Test Module Name (Grade A)Мовні здібностіБезпеково перевірена навичка data-ai для Claude AI. Клас A.
Board Of Directors (Grade A)Мовні здібностіЗастосованість перевіреної безпеки даних-які навички для Claude AI. Відзнака А. Імітується експертна обговорення п'ятичленної ради з питань важливих рішень. Використовуйте, коли оцінюючі плани, вибори архітектури, проектування функцій або будь-яке рішення, передбачає багатоглядяну експертну оцінку.
Advpl Mvc Avancado (Grade A)Мовні здібностіОпрацювання безпеки для розвитку чатбота Claude AI зі значенням A
Безпекова розроблена інженерія для майстра Claude AI. Хвиля С — Утримує точність та новизну документації репозиторію поперек сторінки документів, агентський файли та журнал дій.
Trending now
Biology AIОсвітня технологія AIДовірена Поміч із Поясненнями по Біології
Reducto AIПлатформи розробки штучного інтелекту та агентівAPI розумного документу, що парсить, розділяє, виконує OCR і видобуває структуру даних з комплексних PDF, презентацій та електронних таблиць.
Pixtral 12B 24.09ЛМК (Модель Мислення Лінійної Зв'язковості)Відкрита багатомодальна модель 12B, що обробляє перемішані зображення та текст з контекстним вікном 128K токенів.
AdCrierРинок реклами та маркетингуСпонсорські відповіді за гроші за клік