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. Meta Garbage Collection: Using OCaml's GC to GC Rust (soteria-tools.com)
   75 points by annieversary 17 days ago | 2 comments
2. Taking OCaml and Eio for a Spin (mattjhall.co.uk)
   61 points by mattjhall 17 days ago | 6 comments
3. Guarded Methods in OCaml (xvw.lol)
   5 points by birdculture 2 days ago | discuss
4. Reusing Buffers in Multicore OCaml (gazagnaire.org)
   4 points by matt_d 12 days ago | discuss
5. xs: Concatenative array language inspired by kdb+/q in OCaml (cryptm.org)
   3 points by tosh 25 days ago | 1 comments
6. Taking OCaml and Eio for a Spin (mattjhall.co.uk)
   3 points by ingve 16 days ago | discuss
7. Meta Garbage Collection: Using OCaml's GC to GC Rust (soteria-tools.com)
   2 points by birdculture 16 days ago | discuss
8. Oxidizing OCaml with Modal Memory Management (2024) (dl.acm.org)
   2 points by lioeters 20 days ago | discuss
9. Pricklypear: Vibeslop Interpreted Lisp with Postgres AST, Written in OCaml (pricklypear.rocks)
   1 points by sroerick 20 days ago | 1 comments
10. Show HN: Learn OCaml, exercises checked by WASM in browser (ocamllearn.vercel.app)
    1 points by ioma8 24 days ago | discuss
11. Show HN: Sighthound - open-source vulnerability scanner for source code (github.com)
    19 points by asadeddin 28 days ago | discuss
12. Show HN: Earde – an indexed Discord alternative just for open-source projects (earde.com)
    4 points by tolarianwiz about 13 hours ago | 2 comments
13. Ask HN: Are OSS projects allowing vibe-coding?
    1 points by raphaelj 30 days ago | 1 comments
14. Draws fractals defined by iterated function systems (IFS) using the chaos game (opam.ocaml.org)
    2 points by cedricbonhomme 9 days ago | discuss
15. Define less, check more: Pyrefly now supports attrs (pyrefly.org)
    6 points by ocamoss 17 days ago | discuss
16. 2026 Python Type System and Tooling Survey (discuss.python.org)
    2 points by ocamoss about 11 hours ago | discuss
17. Why I love OCaml (2023) (mccd.space)
    391 points by art-w 9 months ago | 296 comments
18. OCaml as my primary language (xvw.lol)
    384 points by nukifw 12 months ago | 285 comments
19. A better build system for OCaml (blog.janestreet.com)
    355 points by gaws over 1 year ago | 210 comments
20. OxCaml - a set of extensions to the OCaml programming language. (oxcaml.org)
    313 points by lairv about 1 year ago | 118 comments
21. 8 months of OCaml after 8 years of Haskell in production (2023) (chshersh.com)
    264 points by droideqa over 1 year ago | 277 comments
22. Writing a Game Boy Emulator in OCaml (2022) (linoscope.github.io)
    257 points by ibobev about 1 year ago | 76 comments
23. A new C++ back end for ocamlc (github.com)
    237 points by glittershark 4 months ago | 20 comments
24. How the OCaml type checker works (2022) (okmij.org)
    219 points by mooreds almost 2 years ago | 42 comments
25. Learn OCaml (ocaml-sf.org)
    203 points by smartmic about 1 year ago | 80 comments
26. Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml (coalton-lang.github.io)
    203 points by b-man 2 months ago | 42 comments
27. OCaml Onboarding: Introduction to the Dune build system (ocamlpro.com)
    168 points by andrewstetsenko 2 months ago | 34 comments
28. We chose OCaml to write Stategraph (stategraph.dev)
    163 points by lawnchair 9 months ago | 123 comments
29. Evolving the OCaml Programming Language (2025) [pdf] (kcsrk.info)
    159 points by matt_d 11 months ago | 48 comments
30. OCaml Programming: Correct and Efficient and Beautiful (cs3110.github.io)
    138 points by smartmic about 1 year ago | 54 comments
31. OCaml Syntax Sucks (2016) (xahlee.info)
    121 points by Qem over 1 year ago | 136 comments
32. Compiling OCaml to the TI-84 CE Calculator (farlow.dev)
    110 points by farlow about 1 year ago | 5 comments
33. OCaml's Wings for Machine Learning (github.com)
    108 points by musha68k over 1 year ago | 69 comments
34. Improvements to OCaml code editing: the basics of a refactor engine (tarides.com)
    99 points by nukifw 12 months ago | 18 comments
35. Neocaml – Rubocop Creator's New OCaml Mode for Emacs (github.com)
    94 points by TheWiggles 5 months ago | 13 comments
36. Linux mode setting, from the comfort of OCaml (roscidus.com)
    84 points by ibobev 9 months ago | 29 comments
37. Eon – An Effects-Based OCaml Nameserver (ryan.freumh.org)
    67 points by Bogdanp 10 months ago | 3 comments
38. Frustrations with the OCaml ecosystem while developing a synthesizer library (www.gridbugs.org)
    66 points by stevebox almost 2 years ago | 27 comments
39. Show HN: dk – A script runner and cross-compiler, written in OCaml (diskuv.com)
    61 points by beckford about 1 year ago | 9 comments
40. Pain Points of OCaml (quamserena.com)
    58 points by quamserena 9 months ago | 80 comments
41. Property-Based Testing of OCaml 5's Runtime System [pdf] (janmidtgaard.dk)
    44 points by todsacerdoti 10 months ago | 1 comments
42. A mechanically verified garbage collector for OCaml [pdf] (kcsrk.info)
    40 points by matt_d over 1 year ago | 4 comments
43. X Design Notes: Unifying OCaml Modules and Values (blog.polybdenum.com)
    35 points by todsacerdoti 11 months ago | discuss
44. Bringing Emacs Support to OCaml's LSP Server with OCaml-Eglot (tarides.com)
    34 points by nukifw 8 months ago | discuss
45. Writing Micro Compiler in OCaml (2014) (troydm.github.io)
    28 points by notagoodidea 12 months ago | discuss
46. Why Lean 4 replaced OCaml as my Primary Language (kirancodes.me)
    27 points by gopiandcode 12 months ago | 5 comments