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. Evolving the OCaml Programming Language (2025) [pdf] (kcsrk.info)
   159 points by matt_d 14 days ago | 48 comments
2. Improvements to OCaml code editing: the basics of a refactor engine (tarides.com)
   99 points by nukifw 30 days ago | 18 comments
3. X Design Notes: Unifying OCaml Modules and Values (blog.polybdenum.com)
   35 points by todsacerdoti 13 days ago | discuss
4. OCaml，an industrial-strength functional programming language (ocaml.org)
   17 points by jinqueeny 2 days ago | 6 comments
5. Why Lean 4 replaced OCaml as my primary language (kirancodes.me)
   4 points by fanf2 14 days ago | discuss
6. OCaml for Kafka stream processing, analytics and telemetry data (github.com)
   3 points by tingfirst 10 days ago | 3 comments
7. Faux Type Theory: three minimalist OCaml simple proof checker implementations (github.com)
   3 points by matt_d 6 days ago | 1 comments
8. Real World OCaml (dev.realworldocaml.org)
   3 points by signa11 16 days ago | discuss
9. Fun OCaml 2025 (fun-ocaml.com)
   3 points by mrtz 26 days ago | discuss
10. Vif, a new webframework for OCaml 5 (discuss.ocaml.org)
    3 points by dinosaure 29 days ago | discuss
11. Show HN: Bootstrapped Terraform Orchestration in OCaml
    2 points by sausagefeet 10 days ago | discuss
12. Dream – Tidy Web Framework for OCaml and ReasonML (aantron.github.io)
    2 points by smartmic 20 days ago | discuss
13. Porting My Toy OCaml Build System to Windows (www.gridbugs.org)
    2 points by stevebox 21 days ago | discuss
14. Show HN: dk, a Windows-friendly, Nix-like build system (github.com)
    1 points by beckford about 11 hours ago | discuss
15. YOCaml, a framework for static site generator (discuss.ocaml.org)
    2 points by smartmic 28 days ago | discuss
16. Scamlexity: When agentic AI browsers get scammed (guard.io)
    204 points by mindracer 25 days ago | 193 comments
17. Scamlexity (guard.io)
    14 points by microflash 29 days ago | discuss
18. From Krivine's machine to the Caml implementations [pdf] (xavierleroy.org)
    2 points by fanf2 25 days ago | discuss
19. Demanding DARPA: Transparency on AI Autonomy
    1 points by freemuserealai 6 days ago | discuss
20. We Put Agentic AI Browsers to the Test – They Clicked, They Paid, They Failed (guard.io)
    5 points by croes 29 days ago | 1 comments
21. OCaml as my primary language (xvw.lol)
    384 points by nukifw about 1 month ago | 285 comments
22. A better build system for OCaml (blog.janestreet.com)
    355 points by gaws 8 months ago | 210 comments
23. OxCaml - a set of extensions to the OCaml programming language. (oxcaml.org)
    313 points by lairv 3 months ago | 118 comments
24. 8 months of OCaml after 8 years of Haskell in production (2023) (chshersh.com)
    264 points by droideqa 10 months ago | 277 comments
25. Writing a Game Boy Emulator in OCaml (2022) (linoscope.github.io)
    257 points by ibobev 3 months ago | 76 comments
26. How the OCaml type checker works (2022) (okmij.org)
    219 points by mooreds about 1 year ago | 42 comments
27. Learn OCaml (ocaml-sf.org)
    203 points by smartmic 3 months ago | 80 comments
28. OCaml: a Rust developer's first impressions (pthorpe92.github.io)
    173 points by qsantos almost 2 years ago | 152 comments
29. Higher-kinded bounded polymorphism in OCaml (2021) (okmij.org)
    141 points by tinyspacewizard about 1 year ago | 10 comments
30. OCaml Programming: Correct and Efficient and Beautiful (cs3110.github.io)
    138 points by smartmic about 2 months ago | 54 comments
31. OCaml Syntax Sucks (2016) (xahlee.info)
    121 points by Qem 10 months ago | 136 comments
32. Compiling OCaml to the TI-84 CE Calculator (farlow.dev)
    110 points by farlow 4 months ago | 5 comments
33. OCaml's Wings for Machine Learning (github.com)
    108 points by musha68k 5 months ago | 69 comments
34. Frustrations with the OCaml ecosystem while developing a synthesizer library (www.gridbugs.org)
    66 points by stevebox about 1 year ago | 27 comments
35. OCaml as the Universal Translator – DkSDK Merry Christmas 2023 (gitlab.com)
    66 points by beckford over 1 year ago | 7 comments
36. Show HN: dk – A script runner and cross-compiler, written in OCaml (diskuv.com)
    61 points by beckford 3 months ago | 9 comments
37. Comparing OCaml and Standard ML (2008) (adam.chlipala.net)
    60 points by nequo over 1 year ago | 26 comments
38. A mechanically verified garbage collector for OCaml [pdf] (kcsrk.info)
    40 points by matt_d 7 months ago | 4 comments
39. Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml (tarides.com)
    33 points by asplake over 1 year ago | discuss
40. Writing Micro Compiler in OCaml (2014) (troydm.github.io)
    28 points by notagoodidea about 1 month ago | discuss
41. Why Lean 4 replaced OCaml as my Primary Language (kirancodes.me)
    27 points by gopiandcode about 1 month ago | 5 comments
42. OCaml Web Development: Essential Tools and Libraries in 2025 (tarides.com)
    27 points by birdculture 4 months ago | 4 comments
43. Dream-HTML – render HTML, SVG, MathML, Htmx markup from OCaml (github.com)
    22 points by todsacerdoti over 1 year ago | 6 comments
44. Basic dependency injection in OCaml with objects (gr-im.github.io)
    22 points by nukifw about 1 month ago | 3 comments
45. OCaml 5.2.0 (ocaml.org)
    22 points by hackandthink over 1 year ago | 1 comments
46. Release of OCaml 5.3.0 (ocaml.org)
    18 points by art-w 8 months ago | 1 comments
47. Why do frame pointers matter for OCaml? (lambdafoo.com)
    18 points by lambda_foo 7 months ago | discuss
48. My First Experience with OCaml (pliutau.com)
    16 points by pltvss about 1 year ago | 4 comments
49. Making OCaml Safe for Performance Engineering [video] (www.youtube.com)
    13 points by Shoop 6 months ago | 3 comments
50. 8 months of OCaml after 8 years of Haskell (discourse.haskell.org)
    13 points by marcle over 1 year ago | 1 comments