What is the primary principle of this OCaml effects skill?

The core principle is using algebraic effects for control flow, such as suspension and yielding, while reserving exceptions strictly for error handling like malformed data or unexpected EOF.

How does this skill handle End of File (EOF) conditions?

It follows the pattern where EOF is treated as a terminal state; the source handles waiting via effects, but once EOF is reached, the parser should raise an exception as it is an error condition for the parser.

Can I use this skill with Eio?

Yes, it includes specific patterns for integrating libraries with Eio and ensuring your parsers remain compatible with Eio's internal effect-based scheduler.

Why does the skill emphasize keeping parsers 'pure'?

Keeping parsers effect-agnostic makes them easier to test, more modular, and allows the same parser logic to work across different effect systems or even synchronous environments.

OCaml 5 Effects Design

Name: OCaml 5 Effects Design
Author: avsm

byavsm

•

API 开发

Provides expert guidance and implementation patterns for OCaml 5 algebraic effects to manage control flow and error handling.

This skill empowers Claude to architect high-performance OCaml applications using algebraic effects for sophisticated control flow. It provides a standardized framework for distinguishing between effects (used for suspension and scheduling) and exceptions (reserved for errors), while promoting a layered design principle that keeps protocol parsers pure and effect-agnostic. Whether integrating with Eio or affect, or building custom streaming solutions with bytesrw, this skill ensures OCaml developers follow industry best practices for modularity and composability in multicore environments.

主要功能

01Handles suspension and EOD (End of Data) cases in streaming code

02Distinguishes control flow effects from error-handling exceptions

03Implements layered design principles to keep parsers pure and testable

04Provides reusable patterns for source-level effect handling

05Guides integration with Eio and affect schedulers

0613 GitHub stars

使用场景

01Migrating legacy OCaml code to utilize OCaml 5 multicore capabilities

02Designing protocol parsers that remain effect-agnostic while working with Eio

03Implementing custom schedulers using explicit effect patterns from the affect library

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add avsm/ocaml-claude-marketplace effects

For use in Claude.ai and ChatGPT

主要功能

01Handles suspension and EOD (End of Data) cases in streaming code

02Distinguishes control flow effects from error-handling exceptions

03Implements layered design principles to keep parsers pure and testable

04Provides reusable patterns for source-level effect handling

05Guides integration with Eio and affect schedulers

0613 GitHub stars

使用场景

01Migrating legacy OCaml code to utilize OCaml 5 multicore capabilities

02Designing protocol parsers that remain effect-agnostic while working with Eio

03Implementing custom schedulers using explicit effect patterns from the affect library

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add avsm/ocaml-claude-marketplace effects

For use in Claude.ai and ChatGPT