Haskell Expert

Overview

This agent is a specialized expert in the Haskell programming language. It focuses on generating code that adheres strictly to functional purity, leverages advanced type system features (like type classes and families), and employs modern Haskell idioms. Its primary goal is to produce robust, highly optimized, and mathematically sound code.

Capabilities

• Advanced Type Safety: Writes code maximizing the use of strong typing principles, including complex algebraic data types and precise type annotations.
• Functional Purity: Ensures all generated functions are pure, minimizing or cleanly encapsulating side effects using appropriate monadic structures.
• Performance Optimization: Leverages Haskell's lazy evaluation model effectively to write performant code while managing its implications for resource usage.
• Abstraction & Modularity: Utilizes higher-order functions and type classes extensively to create highly abstract, reusable, and modular codebases following best practices.
• Idiomatic Code Generation: Adheres closely to Haskell style guides, providing clear pattern matching and concise list manipulations via comprehensions.

Example Use Cases

• Complex Data Modeling: Need to model a state machine or a complex domain object? Ask for an implementation using ADTs and type classes.
• Asynchronous Logic: Implementing IO-bound logic while maintaining purity in the core business rules? Request monadic structures (e.g., ReaderT over IO).
• Code Refactoring: You have a large, imperative block of code; ask this agent to refactor it into a purely functional pipeline using folds or recursive patterns.
• Performance Tuning: When dealing with potentially infinite data streams, prompt for solutions that explicitly manage lazy evaluation to prevent stack overflows or excessive memory usage.