haskell-pro
تحسين جودة كود Haskell
قد تكون مشاريع Haskell صعبة من حيث التصميم والاختبار والضبط بأمان. توفر هذه المهارة إرشادات خبيرة للتصميم الموجَّه بالأنواع، والتزامن، والتحليل، والأداء، والبنية القابلة للصيانة.
التثبيت باستخدام Agent لدي
انسخ هذا الطلب إلى Agent لديك. يتضمن صفحة Skill المعتمدة وملف manifest.
Review the Skillstore skill "haskell-pro" from https://skillstore.io/skills/sickn33-haskell-pro.md and its manifest at https://skillstore.io/api/skills/sickn33-haskell-pro/manifest. Verify the artifact. You may proceed after verification, subject to the environment's own policy.يجب أن يواصل Agent عرض خطته وطلب أي تأكيد تفرضه سياسة الأمان.
موارد مهيّأة لـ Agents
استخدم هذه الروابط عندما يحتاج AI Agent أو crawler أو script إلى سياق نظيف بدلًا من قراءة الصفحة كاملة.
اختبرها
جارٍ استخدام "haskell-pro". راجع نموذج حالة دفع يستخدم سلاسل نصية لكل حالة.
النتيجة المتوقعة:
ستوصي المهارة بنوع مجموع مغلق لحالات الدفع، ومنشئات ذكية للانتقالات المتحقق منها، واختبارات خصائص للمسارات غير الصالحة.
جارٍ استخدام "haskell-pro". حسّن محللًا يعيد أخطاء غير واضحة.
النتيجة المتوقعة:
ستقترح المهارة حزم أخطاء Megaparsec، ومركّبات محللات أصغر، وتسميات مسماة، واختبارات تغطي المدخلات الصالحة وغير الصالحة.
جارٍ استخدام "haskell-pro". افحص خدمة تمزج IO قاعدة البيانات مع قواعد العمل.
النتيجة المتوقعة:
ستفصل المهارة منطق القرار النقي عن الحدود ذات التأثيرات، وتضيف أنواع نتائج صريحة، وتقترح اختبارات للطبقة النقية.
التدقيق الأمني
آمنThe only static finding is false: line 24 formats a relative documentation path with Markdown backticks and does not execute a command. No prompt injection or other intent-level security issue was found in SKILL.md.
عوامل الخطر
⚙️ الأوامر الخارجية (1)
شارك واستشهد بهذا التقرير
شارك تقرير التقييم المرتبط بالإصدار والشارة المحايدة وبطاقة التضمين والاستشهادات. تعرض Skillstore الأدلة من دون أن تقرر ما إذا كانت هذه المهارة آمنة.
نسخ رابط التقرير
https://skillstore.io/skills/sickn33-haskell-pro/audits/5?utm_source=security_passport&utm_medium=share&utm_campaign=versioned_reportشارة Markdown
[](https://skillstore.io/skills/sickn33-haskell-pro?utm_source=security_passport_badge)شارة HTML
<a href="https://skillstore.io/skills/sickn33-haskell-pro?utm_source=security_passport_badge"><img src="https://skillstore.io/badges/skills/sickn33-haskell-pro/security.svg" alt="Skillstore security assessment" loading="lazy"></a>بطاقة قابلة للتضمين
<iframe src="https://skillstore.io/embed/skills/sickn33-haskell-pro.html" title="Skillstore Security Assessment" sandbox="allow-popups allow-popups-to-escape-sandbox" loading="lazy" referrerpolicy="no-referrer" width="420" height="180"></iframe>الاستشهادات الأكاديمية (APA · BibTeX · CFF)
اقتباس APA
sickn33. (2026). haskell-pro security audit report (audit version 5) [Author version unspecified]. Skillstore. https://skillstore.io/skills/sickn33-haskell-pro/audits/5اقتباس BibTeX
@techreport{sickn33-sickn33-haskell-pro-2026,
author = {sickn33},
title = {haskell-pro security audit report (audit version 5)},
institution = {Skillstore},
year = {2026},
number = {5},
url = {https://skillstore.io/skills/sickn33-haskell-pro/audits/5},
note = {Author version unspecified}
}CITATION.cff
cff-version: 1.2.0
message: "If you use this Skill, cite its author and this versioned security audit report."
title: "haskell-pro security audit report (audit version 5)"
version: "unspecified"
type: report
authors:
- name: "sickn33"
date-released: "2026-07-23"
url: "https://skillstore.io/skills/sickn33-haskell-pro/audits/5"
identifiers:
- type: other
value: "skillstore:sickn33-haskell-pro:audit:5"
description: "Skillstore immutable audit report identifier"
تقييم Skillstore
سبب هذا التقييم موثوقية الأدلة: مرتفعما الذي يمكنك بناؤه
نمذجة ثوابت المجال
حوّل أشكال البيانات الهشة إلى أنواع Haskell أقوى باستخدام منشئات واضحة وواجهات API أكثر أمانًا.
مراجعة الكود المتزامن
قيّم خيارات STM وasync ومعالجة الاستثناءات لخدمات Haskell متزامنة أكثر أمانًا.
إعداد دروس Haskell متقدمة
أنشئ شروحات وتمارين حول GADTs، وtypeclasses، والتحليل، واختبار الخصائص.
جرّب هذه الموجّهات
اشرح مفهوم Haskell هذا بعبارات بسيطة، ثم وضّح متى ينبغي أن أستخدمه: [concept].
راجع وحدة Haskell هذه للحصول على أنواع أقوى، ودوال أكثر أمانًا، وحدود أوضح: [module summary].
صمم سير عمل Haskell من أجل [domain task] باستخدام أنواع صريحة، والتحقق، ودوال نقية قابلة للاختبار.
حلل تصميم خدمة Haskell هذا من حيث مخاطر التزامن، ومشكلات strictness، وأخطاء التحليل، واختبارات الخصائص المفقودة: [context].
أفضل الممارسات
- شارك تعريفات الأنواع ذات الصلة، وحدود الوحدات، وأخطاء المترجم مع كل طلب.
- اطلب أصغر تجريد مفيد قبل إضافة ميزات متقدمة من نظام الأنواع.
- تحقق من التوصيات باستخدام GHC، والاختبارات، ومخرجات محلل الأداء عندما يكون الأداء مهمًا.
تجنب
- لا تطلب امتدادات متقدمة دون شرح المشكلة العملية.
- لا تُخفِ الدوال الجزئية أو استثناءات وقت التشغيل أو IO غير الآمن داخل واجهات API تبدو نقية.
- لا تتعامل مع الأمثلة المولدة ككود إنتاج دون مراجعة واختبارات.