Top all-time · #2463
OCamlPro
Company blog · ocamlpro.com/blogprogramming
OCamlPro is the company blog at ocamlpro.com, writing about programming. Since 2011, 30 different Hacker News readers have linked it 47 times, most often “Autofonce, GNU Autotests Revisited”. It is still writing: the last post was on 2026-09-14, and you can follow it by feed.
OCamlPro tackles complex design challenges (Domain Specific Languages, Code Audit and Verification, Optimization) notably with the use of formal methods. For that purpose, we promote the use of state-of-the-art programming languages like OCaml and Rust.
Most-linked posts?
- /blog/2017_04_01_ezsudoku/2 people · 2 mentions · first linked 2023-10-20
- Autofonce, GNU Autotests Revisited2 people · 2 mentions · first linked 2023-07-04
- EzSudoku [Sudoku solver encoded in OCaml type system]2 people · 2 mentions · first linked 2017-04-12
- CPS Representation and Foundational Design Decisions in Flambda22 people · 2 mentions · first linked 2024-03-19
- Facebook's Flowtype Binaries (v. 0.19.1) for Windows2 people · 2 mentions · first linked 2015-12-17
What Hacker News says?
Flow is being ported to work on windows and there are now builds out there for it https://github.com/OCamlPro/flow & the binary downloads http://www.ocamlpro.com/pub/ocpwin/flow-builds/
Comment linking /pub/ocpwin/flow-builds/
on “JavaScript libraries should be written in TypeScript”Submitted An in-depth look at OCaml’s new “best-fit” garbage collector strategy as a story · 176 points
HN discussionCompanies using OCaml: https://ocaml.org/learn/companies.html What is OCaml used for? https://www.quora.com/What-is-OCaml-used-for?share=1 Further infos: awesome-ocaml - A curated collection of awesome OCaml tools, frameworks, libraries and articles: https://github.com/ocaml-community/awesome-ocaml OCamlPro Research and Development: https://www.ocamlpro.com/research-and-development/ OCaml Weekly News (RSS): http://a…
Comment linking /research-and-development/
on “OCaml on Baremetal Shakti RISC-V Processor”Submitted A look back on OCaml since 2011 as a story · 131 points
HN discussion> The goal is that we can play Sudoku in TypeScript while the type checker complains about mistakes. This is not about implementing a Sudoku solver. That goal could be extended to implement a Sudoku solver in the type system. One such solver was described at https://ocamlpro.com/blog/2017_04_01_ezsudoku/ for OCaml. TLDR: Your compiler can report the solution as an error message if your language supports refutation a…
Comment linking /blog/2017_04_01_ezsudoku/
on “Playing Sudoku in TypeScript while the type checker highlights mistakes”Submitted 2021 at OCamlPro as a story · 104 points
HN discussion> I don’t think you understand how F# implements units of measure. It’s not just another data type, they’re fully inferred and checked and work with generics Yes, units of measure are really cool, and I understand they support dimensional analysis out of the box. It's quite unique, and I fully agree that abstract types don't fully replace them. Just saying that that's what people do in OCaml. > I don’t think anyone…
Comment linking /2019/09/20/a-look-back-on-ocaml/
on “The Early History of F# [pdf]”Submitted 2020 at OCamlPro as a story · 60 points
HN discussionLove a good cheatsheet that actually respects the concept of being a SINGLE, fixed-layout page: http://www.ocamlpro.com/wp-content/uploads/2019/09/ocaml-lan... It's something of a lost art in the paperless and HTML era of documentation.
Comment linking /wp-content/uploads/2019/09/ocaml-lang.pdf
on “A look back on OCaml since 2011”Submitted Flambda2 Ep. 2: Loopifying Tail-Recursive Functions as a story · 51 points
HN discussionIndeed using the improved OCaml inliner ( http://www.ocamlpro.com/blog/2013/07/11/inlining-progress-re... ) on the original OCaml gives a speedup of 2.75.
Comment linking /blog/2013/07/11/inlining-progress-report.html
on “Comparing k-NN in Rust”Submitted New Ocaml Cheat Sheets from OcamlPro as a story · 28 points
HN discussionNot saying it's the closest to what you have in mind, but you could look at the Emacs Tuareg mode for OCaml. Here is a reference card: http://www.ocamlpro.com/files/tuareg-mode.pdf If you are a SLIME fan, you might notice that some of the key bindings to interact with the toplevel (the OCaml word for "REPL") are identical in Tuareg. That said, although this will sound tongue-in-cheek: Having used Isabelle and Coq wi…
Comment linking /files/tuareg-mode.pdf
on “Sum Types Are Coming (2015)”Submitted Reduced Memory Allocations with ocp-memprof as a story · 9 points
HN discussion#5 of Build Tools and Runtime would cover that (encapsulating all global state into a runtime context). The ongoing multicore work at OCamlPro is taking this approach [1]. Erlang-style actors or lightweight processes would be my dream multicore scenario (no more monads for concurrent IO!), but that's likely too difficult to graft onto the current runtime, which is otherwise extremely well-done. Also, I'd really like…
Comment linking /pub/multi-runtime.pdf.tar.gz
on “Fantasy World OCaml (2013)”Submitted Let's Encrypt Wildcard Certificates Made Easy with Agnos as a story · 8 points
HN discussionHere's a similar article that I read recently about using Ocaml's type system to implement a sudoku solver: https://ocamlpro.com/blog/2017_04_01_ezsudoku/ The author defines types to represent a valid sudoku board, and then uses the obscure syntax `-> .` to tell the compiler that a pattern should be unreachable. There is no compiler error when he compiles an unsolvable input. But when there is a solution, the compil…
Comment linking /blog/2017_04_01_ezsudoku/
on “Flappy Bird Implemented in TypeScript Types”Submitted Autofonce, GNU Autotests Revisited as a story · 5 points
HN discussionSee also a post about OCamlPro experience on migrating some COBOL projects to use GnuCOBOL[1]. [1] https://ocamlpro.com/blog/2023_03_18_autofonce/
Comment linking /blog/2023_03_18_autofonce/
on “Ancient programming language gets new life in the cloud thanks to Watsonx and AI”Submitted OCamlPro Highlights: May-June 2014 as a story · 5 points
HN discussionSubmitted Blog Post on “The Growth of the OCaml Distribution” as a story · 4 points
HN discussionSubmitted ASM.OCaml as a story · 4 points
HN discussionSubmitted Cumulus and ocp-memprof, a love story as a story · 4 points
HN discussionSubmitted Try Alt-Ergo in Your Browser as a story · 4 points
HN discussionSubmitted OCamlPro Releases Opam 2.3.0 as a story · 3 points
HN discussionSubmitted Optimisations you shouldn't do in OCaml as a story · 3 points
HN discussionSubmitted Yes, ocp-memprof (s)can(f) as a story · 3 points
HN discussionSubmitted Improving OCaml's inlining as a story · 3 points
HN discussionSubmitted OCaml Onboarding: Introduction to the Dune build system as a story · 2 points
HN discussionSubmitted Flambda2 Ep. 4: How to write a purely functional compiler as a story · 2 points
HN discussion
