Hacker News with Generative AI: OCaml

Why ML/OCaml are good for writing compilers (1998) (cs.yale.edu)
Let's use the term "ML" to mean SML or Objective Caml. I'm a devotee of Ocaml, but I have SML/NJ installed and although I prefer the distribution, tools and overall implementation of Ocaml, I'd be happy to write in SML/NJ if Ocaml wasn't around.

Programming Languages, Compilers, ML, OCaml

11 points by Tomte 3 days ago | 0 comments

Compiling OCaml to the TI-84 CE Calculator (farlow.dev)
In this post, I’ll explain how I compiled an OCaml program to run on a TI-84+ CE calculator. 🐪

Programming, Compilers, TI-84, OCaml

108 points by farlow 6 days ago | 5 comments

OCaml Web Development: Essential Tools and Libraries in 2025 (tarides.com)
Should you use OCaml for web projects? Web development trends are a hotly debated topic in the computer programming world and the familiar faces of languages and frameworks are unlikely to change: hypertext markup language or HTML, CSS, and JavaScript are the core technologies (with server-side technologies such as PHP, Python, etc.), and React, Vue, Svelte, and Angular are proving to be as popular as ever.

Web Development, Programming Languages, OCaml, Trends

27 points by birdculture 6 days ago | 4 comments

Why GADTs matter for performance (2015) (janestreet.com)
When GADTs (Generalized Algebraic Data Types) landed in OCaml, I wasn’t particularly happy about it. I assumed that it was the kind of nonsense you get when you let compiler writers design your programming language.

Programming Languages, OCaml, Performance, Functional Programming

83 points by hyperbrainer 13 days ago | 26 comments

OCaml Cross Compilation: An Experiment (chrisarmstrong.dev)
I've recently become interested in cross-compiling OCaml code for other platforms. It's always been a bit tricky with OCaml, and the existing ecosystem of cross-compilation is patchy and complex, and usually engineered to specific targets, such as mobile development1, building software for windows2, or embedded system use cases3. Each effort seems to be different, with everyone attempting to solve the same problems.

OCaml, Cross-Compilation, Programming Languages

8 points by cod1r 20 days ago | 0 comments

Opam's Nix system dependency mechanism (freumh.org)
On 22 Apr 2022, three years ago, I opened an issue in the OCaml package manager, opam, ‘depext does not support nixOS’. Last week, my pull request fixing this got merged!

Programming, Open Source, Package Management, OCaml

5 points by Smaug123 21 days ago | 0 comments

OCaml's Wings for Machine Learning (github.com/raven-ml)
Raven is a comprehensive ecosystem of libraries, frameworks, and tools that brings machine learning and data science capabilities to OCaml.

Machine Learning, Programming Languages, OCaml

108 points by musha68k 23 days ago | 69 comments

Making OCaml Safe for Performance Engineering [video] (youtube.com)

Programming Languages, Performance Optimization, OCaml

13 points by Shoop 48 days ago | 3 comments

Making OCaml Safe for Performance Engineering [video] (youtube.com)

Programming Languages, Performance Optimization, OCaml

10 points by todsacerdoti 50 days ago | 0 comments

A mechanically verified garbage collector for OCaml [pdf] (kcsrk.info)

Programming Languages, Verification, Garbage Collection, OCaml

40 points by matt_d 86 days ago | 4 comments

Why do frame pointers matter for OCaml? (lambdafoo.com)
At the end of last year at Tarides, my colleagues and I worked on improving the support for Frame Pointers in OCaml. While pitching the work internally, we were asked the question: Why do frame pointers matter for OCaml? In this post, I will share the response I gave.

OCaml, Programming Languages, Performance Optimization

18 points by lambda_foo 88 days ago | 0 comments

Why do frame pointers matter for OCaml? (lambdafoo.com)
At the end of last year at Tarides, my colleagues and I worked on improving the support for Frame Pointers in OCaml. While pitching the work internally, we were asked the question: Why do frame pointers matter for OCaml? In this post, I will share the response I gave.

Programming Languages, OCaml, Performance Optimization

5 points by todsacerdoti 88 days ago | 0 comments

A better build system for OCaml (janestreet.com)
A “build system” is one of the most important tools in a developer’s toolbox. Roughly, it figures out how to create runnable programs from a bunch of different source files by calling out to the compiler, setting up and executing test suites, and so on. Because you interact with it daily, above all it has to be fast – but it also has to be flexible.

OCaml, Programming Languages, Software Development, Tools

355 points by gaws 113 days ago | 210 comments

Release of OCaml 5.3.0 (ocaml.org)
We have the pleasure of celebrating Inge Lehmann's birthday by announcing the release of OCaml version 5.2.0.

Programming Languages, New Releases, OCaml

18 points by art-w 134 days ago | 1 comments

K/Simple in OCaml (uwaterloo.ca)

OCaml, Programming Languages, Functional Programming

7 points by tosh 140 days ago | 1 comments

MirageOS on OCaml 5 (ocaml.org)

MirageOS, OCaml, Operating Systems, Programming Languages

10 points by pjmlp 148 days ago | 2 comments

8 months of OCaml after 8 years of Haskell in production (2023) (chshersh.com)
I’ve been using Haskell in production for 8 years. I’ve been using OCaml in production for 8 months.

Programming Languages, Haskell, OCaml

264 points by droideqa 172 days ago | 277 comments

OCaml Syntax Sucks (2016) (xahlee.info)
OCaml's let … = … in … is very confusing. When nested, you can't tell how it's nested.

Programming Languages, OCaml, Syntax, Software Development

121 points by Qem 185 days ago | 135 comments

Switching to 5Ghz WiFi made the Raspberry Pi fly again (moritzhamann.com)
For the last few months my Raspberry Pi 4 was happily running on my desk, tucked away next to the monitor. It's serving a small web app in golang on the internal network and tailscale. I've never noticed any latency problems with it, so it took me by surprise when I deployed some OCaml experiments on the Pi and observed a lot of HTTP connection timeouts and name resolution errors while fetching some URLs concurrently.

Networking, Raspberry Pi, Performance, Golang, OCaml

32 points by mrtz 227 days ago | 20 comments

Gleam Is Pragmatic (drewolson.org)
I’ve spent the past several years working with functional programming languages in my free time – primarily Haskell and OCaml. I love both languages but also find aspects of each frustrating.

Functional Programming, Programming Languages, Haskell, OCaml

250 points by crowdhailer 229 days ago | 174 comments

My First Experience with OCaml (pliutau.com)
Recently I’ve been motivated to learn more about functional programming and the name OCaml came up quite a few times. I have seen some praise about it from the people I follow on social media and decided to give it a try. I finally finished a small project in OCaml and would like to share my first impressions while the memory is still fresh.

Functional Programming, OCaml, Programming Languages, Personal Projects

16 points by pltvss 248 days ago | 4 comments

Frustrations with the OCaml ecosystem while developing a synthesizer library (gridbugs.org)

Programming, Software Development, OCaml, Music

66 points by stevebox 260 days ago | 27 comments

(OCaml) dune developer preview (twitter.com)

OCaml, Programming Languages, Tools

5 points by yawaramin 277 days ago | 3 comments

How the OCaml type checker works (2022) (okmij.org)

Programming, Type Theory, OCaml, Compilers

219 points by mooreds 278 days ago | 42 comments

Higher-kinded bounded polymorphism in OCaml (2021) (okmij.org)