OCaml
Why Lean 4 replaced OCaml as my Primary Language
Ecosystem
language-design
,
stdlib
,
dune
,
critical
yawaramin
Split this topic
September 3, 2025, 4:15pm
47
4 posts were split to a new topic:
Synchronous discussion channel for contributors
show post in topic
Related topics
Topic
Replies
Views
Activity
Advantages of OCaml over Rust
Community
76
32541
September 4, 2019
What I dislike about OCaml
Community
ocaml
117
12711
November 5, 2022
OCaml - first impressions
Learning
26
2399
September 20, 2020
Next priority for OCaml?
Community
124
9296
September 5, 2023
Why did you learn OCaml?
Community
144
16076
November 7, 2025