Blog

The OCaml Planet RSS

Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.

Type

All Article Video

Want your Blog Posts or Videos to Show Here?

To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.

Add your RSS feed!

Filtering by: Keyword: language Clear all

A hardware description language using OCaml effects

circuit clash description domain effect fixed-length functional programming hardware language module system

01 Mar 2025

Anil Madhavapeddy's Blog

Read Article

[ARTICLE]

An imperative, pure and effective specification language

domain effect hazel holes imperative interative investigate javascript-compiled language specification

01 Aug 2024

Anil Madhavapeddy's Blog

Read Article

[ARTICLE]

Implementing a higher-order choreographic language

algortihms chorcaml choreographic dmirtij implementing language multi-participant pirouette rokas urbonas

01 Aug 2024

Anil Madhavapeddy's Blog

Read Article

[ARTICLE]

A Quick Introduction to the OCaml Programming Language

Discover a fresh approach to learn OCaml with my tutorial series. Explore how it sets itself apart from other languages & more.

absolute effect expression immutability language oriented statements tail recursion type checker type inference

23 Feb 2024

Debajyati's Blog

Read Article

OCaml wins the ACM Programming Language Software award

OCaml wins 2023 ACM Programming Languages Software Award for its impact on research and tools.

acm association astree award compiler functional programming language programming sigplan software

19 Jun 2023

Anil Madhavapeddy's Blog

Read Article

[ARTICLE]

Six Surprising Reasons the OCaml Programming Language is Good for Business

Functional programming languages have been around since the 1950's, when the first high-level languages were used to program early computers…

eio hyper language multicore parallelism pattern matching programming secure-by-design takeaway type inference

22 Nov 2022

Tarides

Read Article

Language design with Leo White

design kind language languages leo people really ron think yeah

21 Oct 2020

Signals and Threads

Read Article

Learning a New Language

Generally, every program I write, regardless of what useful thing it actually does, and regardless of what programming language it is written in, has to do certain things, which usually includes Im…

absorb concentrate domain fluently horrific knowing language regardless rosetta whatever

10 Feb 2019

Gaius Hammond

Read Article