Unsafe (Grade A) logo

Unsafe (Grade A)ניסיון-מבטחני בתחום נתונים-AI ל-Claude AI. דרג A. אסר על תכונות Haskell אסורות, כגון unsafePerformIO, unsafeCoerce, ותכונות אחרות ששמן מתחיל ב-unsafe.

(0)
Daniel Nikulshynנבדק על ידי Daniel Nikulshyn·עודכן יולי 2026

סקירה

מאפשרת זיהוי ואסר על תכונות Haskell-אסורות כגון unsafePerformIO, unsafeCoerce, ותכונות אחרות ששמן מתחיל ב-unsafe. משמשת בעת כתיבת קוד Haskell שהוא משתמש בתכונה-אסורה. המטרה היא למנוע שימוש בתכונות שמאפילות על טיפוסיות וגיהוצ'ט של השפה, שהם אבטיפוס' קריטיים של ה- Haskell. תכונות-אסורות יכולות לבגוד במצבי-ביצוע ולהוביל לאסונות, חשבוניות, או להזוייה. המבט'יה מעודד 'טיפוח' של תכונות-אסורות ומציע 'אלטרנטיבות טוח'ן.

תכונות עיקריות

  • מזהה ואסר על תכונות-אסורות
  • מעריך על תכונות טוחן
  • תומך- FFI -Bindings ומשתנים-אפקט-אס"מ 'שאינם- IN -LINE']
  • pros
  • :
  • מקדמם,א- שימוש, ב-ש-לס- ק. עם-,א'ש- ט-פ- ש-ט- 'ב-',ל'פ- ה-'- פ-, ,ה-' ,
  • cons
  • :
  • " , , , ,
  • useCases
  • :
  • [object Object],[object Object]

תמחור

מודל
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

שאל שאלה

חלופות למיומנויות

Manage Headers (Grade A) logo
Manage Headers (Grade A)מיומנויות

רמת אבטחה מובחנת לטכניקת הפיתוח Claude AI. תוצרת רמת A. Inspects ומכוונת את הראשיות האבטחה שאתר Power Pages שולח לדפדפנים — צו Content Security Policy, פרוטקציה של תיבות והטמנה

(0)
Free
Using Git Worktrees (Grade A) logo
Using Git Worktrees (Grade A)מיומנויות

Security-tested data-ai skill for Claude AI. Grade A. שימוש בעבודות Git (קצב A)

(0)
Free
Ga4 Bigquery Schema (Grade A) logo
Ga4 Bigquery Schema (Grade A)מיומנויות

מיומנות מבודקת ביטחונית של נתונים-בינה ל-Claude AI. דרג א'. GA4 BigQuery Export Schema Reference — רפרנס מושלם של שדות, מבנים מקוננים, דפוסי שאילתות וטיפים לביצועים

(0)
Free
Meta Capi (Grade A) logo
Meta Capi (Grade A)מיומנויות

כלי נתוני-אי זהירות לביצועי מטה, רייטינג A. קביעת מקור CAPI (CAPI) של מטה - מדריך ייעוץ, תכנון, סוגים של אירועים, פענוח מידע לקוח, תחבורת סיוע, דוגמאות, AEM.

(0)
Free
Callees (Grade A) logo
Callees (Grade A)מיומנויות

מיומנות פיתוח בטוחה ל- Claude AI. Grade A. רשימת מה שפונקציה/שיטה קוראת (גרף קריאות ישיר)

(0)
Free
Test Module Name (Grade A) logo
Test Module Name (Grade A)מיומנויות

מודל ניתוח אבטחתי לראשונה- AI השקל ל Claude AI. דרג A. תן לקרום תעלת-שידור- תשמע את שם המנוע המערכת כהשם- עם סי ָ Suffix spec באתמ נו Suffix ה-אחד

(0)
Free
Board Of Directors (Grade A) logo
Board Of Directors (Grade A)מיומנויות

מיומנות בינה מלאכותית עם אבטחה נבדקת עבור Claude AI. כיתה א'. הדמיה של דיון מועצת מנהלים של 5 מומחים להחלטות גדולות.

(0)
Free
Advpl Mvc Avancado (Grade A) logo
Advpl Mvc Avancado (Grade A)מיומנויות

כישורה בפיתוח מבוססת בדיקת אבטחה לקלוד AI. דירוג A. MVC מתקדם דרך PE (נקודות כניסה) - הוספת מatriçot customizadas במסכי MVC רגיל (CNTA300/MATA070/MATA440/MATA460/FINA040 via *STRU)

(0)
Free