Hackernews posts about OCaml

OCaml is a modern, compiled functional programming language that combines the benefits of imperative and object-oriented programming with the expressiveness of a functional language.

1. Learning OCaml: PPX for Mere Mortals (batsov.com)
   13 points by DASD 15 days ago | 1 comments
2. Seeking maintainers for our OCaml SIP server, gRPC, and HTTP/2 libraries (discuss.ocaml.org)
   3 points by DASD 19 days ago | discuss
3. Training a small model to write better OCaml with RLVR and GRPO (blog.nilenso.com)
   2 points by sriharis 2 days ago | discuss
4. Hyperpolyglot ML Dialects and Haskell: SML, OCaml, F#, Haskell (hyperpolyglot.org)
   2 points by lambertsimnel 4 days ago | discuss
5. Shrinking the OxCaml JS_of_OCaml bundle: 285 MB to 4 MB (kcsrk.info)
   2 points by ibobev 12 days ago | discuss
6. Ask HN: Why didn't functional programming work for you?
   16 points by rienbdj 23 days ago | 1 comments
7. How do you organize files?
   2 points by dekdrop 16 days ago | 5 comments
8. Capsules: Compile-time lock discipline in OxCaml (kcsrk.info)
   3 points by ibobev 12 days ago | discuss
9. Capsules: Compile-time lock discipline in OxCaml (kcsrk.info)
   3 points by matt_d 15 days ago | discuss
10. Data Race Freedom in OxCaml (kcsrk.info)
    3 points by ibobev 15 days ago | discuss
11. Data Race Freedom in OxCaml (kcsrk.info)
    2 points by matt_d 15 days ago | discuss
12. Understanding the Garbage Collector (ocaml.org)
    1 points by jkxyz 3 days ago | discuss
13. A Path Not Taken for OxCaml (joel.place)
    1 points by salted-cacao 23 days ago | discuss
14. Pyrefly v1.0 is here (fast type checker and language server for Python) (pyrefly.org)
    41 points by ocamoss 10 days ago | 9 comments
15. Right Types, Wrong Code: Surprising Bugs a Python Type Checker Catches (pyrefly.org)
    3 points by ocamoss 17 days ago | discuss
16. Adding Pyrefly Type Checking to Your Agentic Loop (pyrefly.org)
    2 points by ocamoss 18 days ago | discuss
17. O(x)Caml in Space (gazagnaire.org)
    243 points by yminsky 8 days ago | 55 comments
18. Comparing Objective Caml and Standard ML (adam.chlipala.net)
    14 points by lambertsimnel 2 days ago | 2 comments
19. Why I love OCaml (2023) (mccd.space)
    391 points by art-w 7 months ago | 296 comments
20. OCaml as my primary language (xvw.lol)
    384 points by nukifw 9 months ago | 285 comments
21. A better build system for OCaml (blog.janestreet.com)
    355 points by gaws over 1 year ago | 210 comments
22. OxCaml - a set of extensions to the OCaml programming language. (oxcaml.org)
    313 points by lairv 11 months ago | 118 comments
23. 8 months of OCaml after 8 years of Haskell in production (2023) (chshersh.com)
    264 points by droideqa over 1 year ago | 277 comments
24. Writing a Game Boy Emulator in OCaml (2022) (linoscope.github.io)
    257 points by ibobev 11 months ago | 76 comments
25. A new C++ back end for ocamlc (github.com)
    237 points by glittershark about 2 months ago | 20 comments
26. How the OCaml type checker works (2022) (okmij.org)
    219 points by mooreds almost 2 years ago | 42 comments
27. Learn OCaml (ocaml-sf.org)
    203 points by smartmic 11 months ago | 80 comments
28. We chose OCaml to write Stategraph (stategraph.dev)
    163 points by lawnchair 7 months ago | 123 comments
29. Evolving the OCaml Programming Language (2025) [pdf] (kcsrk.info)
    159 points by matt_d 9 months ago | 48 comments
30. Higher-kinded bounded polymorphism in OCaml (2021) (okmij.org)
    141 points by tinyspacewizard almost 2 years ago | 10 comments
31. OCaml Programming: Correct and Efficient and Beautiful (cs3110.github.io)
    138 points by smartmic 10 months ago | 54 comments
32. OCaml Syntax Sucks (2016) (xahlee.info)
    121 points by Qem over 1 year ago | 136 comments
33. Compiling OCaml to the TI-84 CE Calculator (farlow.dev)
    110 points by farlow about 1 year ago | 5 comments
34. OCaml's Wings for Machine Learning (github.com)
    108 points by musha68k about 1 year ago | 69 comments
35. Improvements to OCaml code editing: the basics of a refactor engine (tarides.com)
    99 points by nukifw 9 months ago | 18 comments
36. Neocaml – Rubocop Creator's New OCaml Mode for Emacs (github.com)
    94 points by TheWiggles 3 months ago | 13 comments
37. Linux mode setting, from the comfort of OCaml (roscidus.com)
    84 points by ibobev 6 months ago | 29 comments
38. Eon – An Effects-Based OCaml Nameserver (ryan.freumh.org)
    67 points by Bogdanp 7 months ago | 3 comments
39. Frustrations with the OCaml ecosystem while developing a synthesizer library (www.gridbugs.org)
    66 points by stevebox over 1 year ago | 27 comments
40. Show HN: dk – A script runner and cross-compiler, written in OCaml (diskuv.com)
    61 points by beckford 11 months ago | 9 comments
41. Comparing OCaml and Standard ML (2008) (adam.chlipala.net)
    60 points by nequo almost 2 years ago | 26 comments
42. Pain Points of OCaml (quamserena.com)
    58 points by quamserena 7 months ago | 80 comments
43. Property-Based Testing of OCaml 5's Runtime System [pdf] (janmidtgaard.dk)
    44 points by todsacerdoti 8 months ago | 1 comments
44. A mechanically verified garbage collector for OCaml [pdf] (kcsrk.info)
    40 points by matt_d about 1 year ago | 4 comments
45. X Design Notes: Unifying OCaml Modules and Values (blog.polybdenum.com)
    35 points by todsacerdoti 9 months ago | discuss
46. Bringing Emacs Support to OCaml's LSP Server with OCaml-Eglot (tarides.com)
    34 points by nukifw 6 months ago | discuss
47. Writing Micro Compiler in OCaml (2014) (troydm.github.io)
    28 points by notagoodidea 9 months ago | discuss
48. Why Lean 4 replaced OCaml as my Primary Language (kirancodes.me)
    27 points by gopiandcode 9 months ago | 5 comments