Unverified50% confidenceFactExact time

OCaml belongs to the ML family; 'ML' was originally an abbreviation for 'Meta Language,' designed by Robin Milner in the 1970s for the theorem-proving system LCF.

1

Sources

50%

Confidence

Long-term

Relevance

9/11/2026

First Seen

Sources

Learning Programming with OCaml: How Functional Languages Are Reshaping Introductory Programming Education

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)