haskell-pro
Mejorar la calidad del código Haskell
Los proyectos Haskell pueden ser difíciles de diseñar, probar y ajustar de forma segura. Esta skill ofrece orientación experta para diseño guiado por tipos, concurrencia, análisis sintáctico, rendimiento y arquitectura mantenible.
Instalar con mi Agente
Copia esta solicitud en tu Agente. Incluye la página canónica del Skill y el manifiesto.
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.Tu Agente debe seguir mostrando su plan y solicitar cualquier confirmación exigida por la política de seguridad.
Recursos legibles por agentes
Usa estos enlaces cuando un agente de IA, crawler o script necesite contexto limpio en vez de leer la página completa.
Pruébalo
Usando "haskell-pro". Revisar un modelo de estado de pagos que usa strings para cada estado.
Resultado esperado:
La skill recomendaría un tipo suma cerrado para los estados de pago, constructores inteligentes para transiciones validadas y pruebas de propiedades para rutas inválidas.
Usando "haskell-pro". Mejorar un parser que devuelve errores poco claros.
Resultado esperado:
La skill sugeriría paquetes de errores de Megaparsec, combinadores de parser más pequeños, etiquetas con nombre y pruebas que cubran entradas válidas e inválidas.
Usando "haskell-pro". Revisar un servicio que mezcla IO de base de datos con reglas de negocio.
Resultado esperado:
La skill separaría la lógica de decisión pura de los límites con efectos, añadiría tipos de resultado explícitos y propondría pruebas para la capa pura.
Auditoría de seguridad
SeguroThe 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.
Factores de riesgo
⚙️ Comandos externos (1)
Compartir y citar este informe
Comparte el informe de evaluación versionado, la insignia neutral, la tarjeta insertable y las citas. Skillstore presenta evidencias sin decidir si este Skill es seguro.
Copiar enlace del informe
https://skillstore.io/skills/sickn33-haskell-pro/audits/5?utm_source=security_passport&utm_medium=share&utm_campaign=versioned_reportInsignia Markdown
[](https://skillstore.io/skills/sickn33-haskell-pro?utm_source=security_passport_badge)Insignia 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>Tarjeta para insertar
<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>Citas académicas (APA · BibTeX · CFF)
Cita APA
sickn33. (2026). haskell-pro security audit report (audit version 5) [Author version unspecified]. Skillstore. https://skillstore.io/skills/sickn33-haskell-pro/audits/5Cita 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"
Puntuación de Skillstore
Por qué esta puntuación Confianza de la evidencia: AltoLo que puedes crear
Modelar invariantes de dominio
Convierte estructuras de datos frágiles en tipos Haskell más sólidos con constructores claros y APIs más seguras.
Revisar código concurrente
Evalúa elecciones de STM, async y manejo de excepciones para servicios Haskell concurrentes más seguros.
Preparar lecciones avanzadas de Haskell
Crea explicaciones y ejercicios para GADTs, typeclasses, análisis sintáctico y pruebas basadas en propiedades.
Prueba estos prompts
Explica este concepto de Haskell en términos sencillos y luego muestra cuándo debería usarlo: [concept].
Revisa este módulo Haskell para obtener tipos más sólidos, funciones más seguras y límites más claros: [module summary].
Diseña un flujo de trabajo Haskell para [domain task] usando tipos explícitos, validación y funciones puras comprobables.
Analiza este diseño de servicio Haskell para detectar riesgos de concurrencia, problemas de strictness, errores de análisis sintáctico y pruebas de propiedades faltantes: [context].
Mejores prácticas
- Comparte definiciones de tipos relevantes, límites de módulos y errores del compilador en cada solicitud.
- Pide la abstracción útil más pequeña antes de añadir características avanzadas del sistema de tipos.
- Verifica las recomendaciones con GHC, pruebas y salida del perfilador cuando el rendimiento importe.
Evitar
- No solicites extensiones avanzadas sin explicar el problema práctico.
- No ocultes funciones parciales, excepciones en tiempo de ejecución ni IO inseguro dentro de APIs que parecen puras.
- No trates los ejemplos generados como código de producción sin revisión y pruebas.