LogoClawIndex
案例技能关于
LogoClawIndex

ClawIndex

OpenClaw Skills 与 Use Case 索引

ClawIndex 是一个生态驱动的 OpenClaw Skills 与真实 Use Case 索引站。

索引

Skills·
Cases

Meta

关于·
声明·
邮箱·
GitHub
© 2026 ClawIndex 保留所有权利。

ocaml - OCaml类型推断函数式编程

用于.ml文件的带类型推断的函数式编程

标签

更新于: 2026-02-12
函数式编程类型推断编译器并发

能力

典型输入

典型输出

该技能可以做什么

  • 编写带类型推断的OCaml代码
  • 创建.ml文件
  • 使用模块和函子
  • 实现代数效应
  • 使用Eio处理并发

输入

  • .ml文件
  • OCaml源代码

输出

  • 编译的程序
  • 类型推断结果

要求

  • OCaml v5
  • dune构建系统
  • opam包管理器
  • Eio异步I/O库

来源

  • 规范: SKILL.md
编写带类型推断的OCaml代码
创建.ml文件
使用模块和函子
实现代数效应
.ml文件
OCaml源代码
编译的程序
类型推断结果