Ocaml
OCaml functional programming with type inference. Use for .ml files.From its SKILL.md
npx -y skills add G1Joshi/Agent-Skills --skill ocamlAssembled from the repository path, not quoted from the project. Check it against their README if it does not work.
One thing to look at
- 12 stars12 stars. Stars are a popularity signal and not a quality one, but at this level it is likely that nobody has read this closely except its author, and you would be relying on your own review.
SKILL.md
1.0 KB, 236 tokens by cl100k_base, as published. Nobody here has run it
OCaml
OCaml v5 brings Multicore support to the language, removing the Global Interpreter Lock (GIL). It combines functional safety with imperative speed.
When to Use
- Compilers: Rust, Haxe, and Flow are written in OCaml.
- Financial Trading: Jane Street uses OCaml for everything.
- Formal Verification: Coq proof assistant is OCaml.
Core Concepts
Strong Static Types
Inference is so good you rarely write types.
Modules (Functors)
Parametrized modules (functions that return modules).
Effects (v5)
Algebraic Effects for concurrency (e.g., Eio).
Best Practices (2025)
Do:
- Use
dune: The standard build system. - Use
opam: The package manager. - Use
Eio: The modern async I/O library for OCaml 5.
Don't:
- Don't use
Threadsdirectly: Use domains/effects for parallelism.
References
What ships with it
Read from the repository
Just SKILL.md. No reference files, no scripts.