待验证50% 置信事实精确时间

OCaml属于ML家族，「ML」最初是「Meta Language」的缩写，由Robin Milner在1970年代为定理证明系统LCF设计

1

来源数

50%

置信度

长期有效

时效性

2026/9/11

首次发现

来源

用OCaml学编程：函数式语言如何重塑编程入门教育

涉及实体

OCamlproduct MLconcept Robin Milnerperson LCFproduct

相关事实

待验证runc源自Docker早期的libcontainer库，后被捐赠给OCI作为参考实现53% 相似待验证OCaml 是 ML 语言家族的一员，诞生于法国国家信息与自动化研究所（INRIA），距今已有近 30 年历史51% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/896797

API

curl https://kongchang.com/api/v1/knowledge/claims/896797

MCP

get_claim(id=896797)