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.

Related: Python   C++   Emacs   Haskell   Vim   Scala   Bloomberg   the Erlang VM   Game Boy  
  1. Finally, found a good use-case for OCaml (ingresslabs.github.io)
    11 points by akrylov 14 days ago | 2 comments
  2. OCaml 5.5.0 (discuss.ocaml.org)
    10 points by cod1r 17 days ago | discuss
  3. OCaml 5.5 Released (discuss.ocaml.org)
    7 points by azhenley 16 days ago | discuss
  4. OCaml 5.5.0 Released (discuss.ocaml.org)
    6 points by birdculture 15 days ago | discuss
  5. Two Years of OCaml (borretti.me)
    6 points by tosh 24 days ago | discuss
  6. Language integrated LLMs as an OCaml function (anil.recoil.org)
    4 points by matt_d 21 days ago | 1 comments
  7. OCaml 5.5 Released (discuss.ocaml.org)
    4 points by lambda_foo 4 days ago | discuss
  8. WASM_of_OCaml on WASI: A Working Prototype Looking for a Production User (ocaml.org)
    4 points by TheWiggles 24 days ago | discuss
  9. OCaml 5.5.0 Released (discuss.ocaml.org)
    3 points by dtoma 14 days ago | discuss
  10. Two Years of OCaml (borretti.me)
    3 points by tosh 20 days ago | discuss
  11. Using OxCaml to implement type-safe reference counting between OCaml and Python (blog.janestreet.com)
    3 points by matt_d 21 days ago | discuss
  12. Using OxCaml to implement type-safe reference counting between OCaml and Python (blog.janestreet.com)
    2 points by pjmlp 20 days ago | discuss
  13. A line-by-line translation of the OCaml runtime from C to Rust (discuss.ocaml.org)
    2 points by bwuno 26 days ago | discuss
  14. An O(x)Caml book that runs (kcsrk.info)
    57 points by anirudh24seven 24 days ago | 19 comments
  15. An O(x)Caml book that runs (kcsrk.info)
    3 points by ibobev 22 days ago | discuss
  16. An O(x)Caml book that runs (kcsrk.info)
    3 points by matt_d 23 days ago | discuss
  17. The feature in OxCaml that more languages should steal (theconsensus.dev)
    21 points by tosh 3 days ago | 11 comments
  18. The feature in OxCaml that more languages should steal (theconsensus.dev)
    6 points by g0xA52A2A 9 days ago | 2 comments
  19. The feature in OxCaml that more languages should steal (theconsensus.dev)
    3 points by birdculture 8 days ago | discuss
  20. The feature in OxCaml that more languages should steal (theconsensus.dev)
    2 points by eatonphil 4 days ago | discuss
  21. Types for more than memory safety in OxCaml – Stephen Dolan – VeTSS 2026 [video] (www.youtube.com)
    2 points by matt_d 28 days ago | discuss
  22. Are you expected to run five Python type-checkers now? (pyrefly.org)
    168 points by ocamoss 29 days ago | 208 comments
  23. Thoughts on Python Typing – Guido van Rossum – PyCon US 2026 Typing Summit [video] (www.youtube.com)
    9 points by ocamoss 28 days ago | discuss
  24. Pyrefly v1.1 is here 27% faster, refactoring tools, tensor shapes (pyrefly.org)
    5 points by ocamoss 19 days ago | discuss
  25. How to get your agent to use Pyrefly for type checking [video] (www.youtube.com)
    4 points by ocamoss 20 days ago | discuss
  26. Tensor Shapes in the Python Type System – Avik Chaudhuri – PyCon Typing Summit (pyrefly.org)
    3 points by ocamoss 22 days ago | discuss
  27. Type Checking in Agentic Workflows – Conner Nilsen – PyCon US 2026 Typing Summit (pyrefly.org)
    3 points by ocamoss 25 days ago | discuss
  28. Talk: Python Type Checking in Agentic Workflows [video] (www.youtube.com)
    2 points by ocamoss 21 days ago | discuss
  29. Making Type Coverage Visible in Dify's CI (pyrefly.org)
    1 points by ocamoss 19 days ago | discuss
  30. Debootstrapping without archeology: stacked implementations in Camlboot (arxiv.org)
    3 points by fanf2 25 days ago | discuss
More