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 – CSE Bytes: K C Sivaramakrishnan [video] (www.youtube.com)
   15 points by matt_d 21 days ago | discuss
2. CSCI 49201: Functional Programming in OCaml (a-nikolaev.github.io)
   3 points by tosh 16 days ago | discuss
3. Show HN: I vibed a better OCaml parser than Jane Street in 69 steps (github.com)
   2 points by yevbar 1 day ago | 1 comments
4. OCaml at First Glance (2022) (batsov.com)
   2 points by tosh 17 days ago | discuss
5. Pico-ML: A toy programming language which is a subset of OCaml (github.com)
   1 points by tosh 1 day ago | discuss
6. When magic meets multicore: OCaml and its elegant era of parallelism [video] (www.youtube.com)
   1 points by matt_d 18 days ago | discuss
7. Immuable, a full-fledged operating system in OCaml to serve a website (github.com)
   1 points by dinosaure 20 days ago | discuss
8. Show HN: Was tired of drowning in HN comments, so I built an AI Chief of Staff (hnsignals.com)
   5 points by rektlessness 27 days ago | 2 comments
9. Ochat – reproducible, diffable LLM workflows in a single Markdown file
   1 points by dakotamurphyucf 3 days ago | discuss
10. My fast zero-allocation webserver using OxCaml (anil.recoil.org)
    159 points by noelwelsh 20 days ago | 50 comments
11. My (very) fast zero-allocation webserver using OxCaml (anil.recoil.org)
    3 points by todsacerdoti 20 days ago | discuss
12. A Quick Introduction to OxCaml (noelwelsh.com)
    1 points by noelwelsh 18 days ago | discuss
13. Type Narrowing Patterns in Pyrefly That Make Type Checking More Intuitive (pyrefly.org)
    6 points by ocamoss 25 days ago | discuss
14. PyTorch Now Uses Pyrefly for Type Checking (pytorch.org)
    5 points by ocamoss 9 days ago | discuss
15. Making Pyrefly Diagnostics 18x Faster (pyrefly.org)
    5 points by ocamoss 12 days ago | discuss
16. Alice the Caml (www.gridbugs.org)
    2 points by todsacerdoti 13 days ago | discuss
17. Show HN: A state-based narrative engine for tabletop RPGs (github.com)
    5 points by KoeppyLoco 16 days ago | discuss
18. Why I love OCaml (2023) (mccd.space)
    391 points by art-w 4 months ago | 296 comments
19. OCaml as my primary language (xvw.lol)
    384 points by nukifw 6 months ago | 285 comments
20. A better build system for OCaml (blog.janestreet.com)
    355 points by gaws about 1 year ago | 210 comments
21. OxCaml - a set of extensions to the OCaml programming language. (oxcaml.org)
    313 points by lairv 8 months ago | 118 comments
22. 8 months of OCaml after 8 years of Haskell in production (2023) (chshersh.com)
    264 points by droideqa about 1 year ago | 277 comments
23. Writing a Game Boy Emulator in OCaml (2022) (linoscope.github.io)
    257 points by ibobev 8 months ago | 76 comments
24. How the OCaml type checker works (2022) (okmij.org)
    219 points by mooreds over 1 year ago | 42 comments
25. Learn OCaml (ocaml-sf.org)
    203 points by smartmic 8 months ago | 80 comments
26. We chose OCaml to write Stategraph (stategraph.dev)
    163 points by lawnchair 4 months ago | 123 comments
27. Evolving the OCaml Programming Language (2025) [pdf] (kcsrk.info)
    159 points by matt_d 6 months ago | 48 comments
28. Higher-kinded bounded polymorphism in OCaml (2021) (okmij.org)
    141 points by tinyspacewizard over 1 year ago | 10 comments
29. OCaml Programming: Correct and Efficient and Beautiful (cs3110.github.io)
    138 points by smartmic 7 months ago | 54 comments
30. OCaml Syntax Sucks (2016) (xahlee.info)
    121 points by Qem over 1 year ago | 136 comments
31. Compiling OCaml to the TI-84 CE Calculator (farlow.dev)
    110 points by farlow 9 months ago | 5 comments
32. OCaml's Wings for Machine Learning (github.com)
    108 points by musha68k 10 months ago | 69 comments
33. Improvements to OCaml code editing: the basics of a refactor engine (tarides.com)
    99 points by nukifw 6 months ago | 18 comments
34. Linux mode setting, from the comfort of OCaml (roscidus.com)
    84 points by ibobev 3 months ago | 29 comments
35. Eon – An Effects-Based OCaml Nameserver (ryan.freumh.org)
    67 points by Bogdanp 4 months ago | 3 comments
36. Frustrations with the OCaml ecosystem while developing a synthesizer library (www.gridbugs.org)
    66 points by stevebox over 1 year ago | 27 comments
37. Show HN: dk – A script runner and cross-compiler, written in OCaml (diskuv.com)
    61 points by beckford 8 months ago | 9 comments
38. Comparing OCaml and Standard ML (2008) (adam.chlipala.net)
    60 points by nequo over 1 year ago | 26 comments
39. Pain Points of OCaml (quamserena.com)
    58 points by quamserena 4 months ago | 80 comments
40. Property-Based Testing of OCaml 5's Runtime System [pdf] (janmidtgaard.dk)
    44 points by todsacerdoti 5 months ago | 1 comments
41. A mechanically verified garbage collector for OCaml [pdf] (kcsrk.info)
    40 points by matt_d 12 months ago | 4 comments
42. X Design Notes: Unifying OCaml Modules and Values (blog.polybdenum.com)
    35 points by todsacerdoti 6 months ago | discuss
43. Bringing Emacs Support to OCaml's LSP Server with OCaml-Eglot (tarides.com)
    34 points by nukifw 3 months ago | discuss
44. Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml (tarides.com)
    33 points by asplake almost 2 years ago | discuss
45. Writing Micro Compiler in OCaml (2014) (troydm.github.io)
    28 points by notagoodidea 6 months ago | discuss
46. Why Lean 4 replaced OCaml as my Primary Language (kirancodes.me)
    27 points by gopiandcode 6 months ago | 5 comments
47. OCaml Web Development: Essential Tools and Libraries in 2025 (tarides.com)
    27 points by birdculture 9 months ago | 4 comments