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.

主要功能

Handles suspension and EOD (End of Data) cases in streaming code
Distinguishes control flow effects from error-handling exceptions
Implements layered design principles to keep parsers pure and testable
Provides reusable patterns for source-level effect handling
Guides integration with Eio and affect schedulers
13 GitHub stars

使用场景

Migrating legacy OCaml code to utilize OCaml 5 multicore capabilities
Designing protocol parsers that remain effect-agnostic while working with Eio
Implementing custom schedulers using explicit effect patterns from the affect library

关于

主要功能

Handles suspension and EOD (End of Data) cases in streaming code
Distinguishes control flow effects from error-handling exceptions
Implements layered design principles to keep parsers pure and testable
Provides reusable patterns for source-level effect handling
Guides integration with Eio and affect schedulers
13 GitHub stars

使用场景

Migrating legacy OCaml code to utilize OCaml 5 multicore capabilities
Designing protocol parsers that remain effect-agnostic while working with Eio
Implementing custom schedulers using explicit effect patterns from the affect library