Unverified50% confidenceFactExact time

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

1

Sources

50%

Confidence

Long-term

Relevance

9/11/2026

First Seen

Sources

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

Related Entities

OCamlproduct MLconcept Robin Milnerperson LCFproduct

Related Claims

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

Cite This Claim

Stable URI

https://kongchang.com/claim/896797

API

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

MCP

get_claim(id=896797)