Does this skill help with Haskell application architecture?

Yes, it specifically promotes the ReaderT pattern over deep monad transformer stacks and suggests MTL-style typeclasses for effect abstraction when necessary.

How does it handle Haskell concurrency?

It provides patterns for using STM (Software Transactional Memory) and TVars for shared state, as well as the async library for managing concurrent tasks and races.

What Haskell anti-patterns does this skill help avoid?

This skill actively prevents the use of partial functions like head and tail, lazy IO, using String for text data, and using boolean parameters instead of descriptive sum types.

Why does the skill prefer newtypes over raw types?

Using newtype wrappers for primitives like UserId or Email prevents domain errors and ensures that the compiler can catch accidental data mixing that raw Ints or Text wouldn't.

Haskell Idiomatic Patterns

Name: Haskell Idiomatic Patterns
Author: birdgg

bybirdgg

0•

開発者ツール

Enforces idiomatic Haskell conventions, type-safe design, and robust error handling patterns in generated code.

The haskell-patterns skill provides Claude with a comprehensive framework for writing production-grade Haskell. It moves beyond basic syntax to implement advanced type design using newtype wrappers and smart constructors, ensuring domain invariants are enforced at the type level. By prioritizing the ReaderT pattern, strict IO, and safe concurrency through STM, this skill helps developers avoid common pitfalls such as partial functions, lazy IO leaks, and deep monad transformer stacks. It is an essential tool for maintaining high standards of safety and maintainability in functional programming projects.

主な機能

01Application architecture guidance focused on the ReaderT pattern

020 GitHub stars

03Thread-safe concurrency patterns using STM and async libraries

04Type-safe domain primitives using newtype wrappers and smart constructors

05Modern error handling strategies using Either and ExceptT over partial functions

06Performance-oriented strictness patterns for Text and IO operations

ユースケース

01Designing robust domain models for complex backend services and APIs

02Refactoring legacy Haskell codebases to eliminate anti-patterns and partial functions

03Implementing safe concurrent systems with shared mutable state via STM

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add birdgg/haskell-claude haskell-patterns

For use in Claude.ai and ChatGPT

Download Skill