LogoClawIndex
CasesSkillsAbout
LogoClawIndex

ClawIndex

OpenClaw Skills & Use Case Index

ClawIndex is an ecosystem-driven index of OpenClaw skills and real-world use cases.

Index

Skills·
Cases

Meta

About·
Disclaimer·
Email·
GitHub
© 2026 ClawIndex All Rights Reserved.

ocaml - OCaml Functional Programming with Type Inference

Functional programming with type inference for .ml files

Tags

Updated: 2026-02-12

Capabilities

Typical Inputs

Typical Outputs

What this skill does

  • Write OCaml code with type inference
  • Create .ml files
  • Use modules and functors
  • Implement algebraic effects
  • Handle concurrency with Eio

Inputs

  • .ml files
  • OCaml source code

Outputs

  • Compiled programs
  • Type inference results

Requirements

  • OCaml v5
  • dune build system
  • opam package manager
  • Eio async I/O library

Source

  • Spec: SKILL.md
functional programming
type inference
compiler
concurrency
Write OCaml code with type inference
Create .ml files
Use modules and functors
Implement algebraic effects
.ml files
OCaml source code
Compiled programs
Type inference results