|
Why Lean 4 replaced OCaml as my Primary Language
|
|
49
|
5618
|
October 15, 2025
|
|
Have anonymous variants ever been proposed for OCaml?
|
|
2
|
629
|
November 14, 2024
|
|
Using GADTs to track properties of a state type. Help and alternative approaches?
|
|
3
|
376
|
January 6, 2025
|
|
Vote: would you like to try a new language designed as better OCaml?
|
|
0
|
267
|
October 30, 2024
|
|
Good examples of the value of functors, in terms of expressivity
|
|
3
|
578
|
July 16, 2024
|
|
A language with non-escaping stack allocations and regions
|
|
14
|
2089
|
April 4, 2024
|
|
Kinds of types in abstract syntax tree
|
|
2
|
506
|
September 12, 2022
|
|
[Discussion] Writing a transpiler from PHP to polyglot PHP+C code
|
|
3
|
1102
|
August 18, 2022
|
|
How to "rewind" when traversing a syntax tree?
|
|
10
|
1659
|
April 30, 2021
|
|
Tag the AST after each pass to enforce a specific order
|
|
0
|
597
|
April 17, 2021
|
|
Add support for stack allocation
|
|
28
|
4071
|
January 11, 2021
|
|
How fit is ocaml after 3 decades?
|
|
6
|
1588
|
April 13, 2020
|
|
Why are OCaml function arguments evaluated right-to-left?
|
|
2
|
6892
|
November 30, 2017
|
|
Major OCaml pain points
|
|
33
|
3728
|
January 16, 2020
|
|
Is the pain from untracked side effects real for production applications?
|
|
0
|
835
|
January 15, 2019
|
|
Concise Module Syntax
|
|
23
|
4716
|
January 5, 2018
|
|
Value names with initial uppercase ...?
|
|
3
|
3790
|
September 3, 2017
|
|
New category idea: Proposals
|
|
14
|
2103
|
August 16, 2017
|
|
Why there is no easy pattern matching for strings?
|
|
6
|
9034
|
May 28, 2017
|