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

Source

Tarides 227 Anil Madhavapeddy's Blog 221 Watch OCaml 204 Caml Weekly News 189 OCamlPro 170 Marc Elvers 148 Jane Street Tech Blog 124 MirageOS 79 Coq 78 Frama-C 76 Robur Cooperative 70 Caml INRIA 53 Jon Ludlam's Blog at recoil.org 53 Daniel Bünzli 42 Bozhidar Batsov 31

Keyword

opam 289 compiler 201 mirageos 197 dune 191 functional programming 163 unikernel 134 ppx 132 async 125 multicore 124 parser 118 eio 116 functor 116 odoc 116 merlin 106 domain 105 lwt 104 effect 103 monad 100 js_of_ocaml 90 concurrency 88

Year

2026 319 2025 434 2024 307 2023 245 2022 149 2021 197 2020 145 2019 118 2018 110 2017 103 2016 100 2015 107 2014 137 2013 99 2012 60 2011 52 2010 72 2009 35 2008 19 2007 9 2006 3 2005 4 2004 4 2003 2 2002 2

Author

Anil Madhavapeddy 235 Tarides 226 Unknown 213 Caml Weekly News 182 Mark Elvers 148 Jane Street Tech Blog 112 Coq 78 Frama-C 74 Jane Street 71 Robur Cooperative 70 Jon Ludlam 54 Caml INRIA 53 Daniel Bünzli 42 Bozhidar Batsov 29 Mathématiques et informatique - Collège de France 28

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: functional programming (remove) Clear all
My Experience With Tarides at ICFP 2023!

ICFP 2024 will be upon us sooner than you might think! The call for papers closes on the 28th of February, and I wish everyone submitting…

conference dune eio functional programming icfp kcas lwt lwt_eio multicore tarides

21 Feb 2024

Tarides

Read Article
Concepts of Functional Programming

This post explores the concepts of functional programming, including immutability, pure functions, higher-order functions, recursion, and more. It also delves into the history of functional programming and introduces Lambda Calculus. If you're new to functional programming or want to deepen your understanding, this post is for you.

currying factorial functional functional programming immutability programming referential square sum_of_squares tail recursion

16 Jan 2024

Emil Privér

Read Article
Effective geospatial code in OCaml

effect eio environmental functional programming gdal geospatial high-level multicore parallelism yirgacheffe

01 Jan 2024

Anil Madhavapeddy's Blog

Read Article
camel head illustration

[ARTICLE]
OCaml Survey: Developers' Perception, Interest, and Perceived Barriers

Tarides is conducting a survey targeting non-OCaml programmers to learn their thoughts about this functional programming language and…

adoption barriers functional programming garbage collection interest learning misconceptions perceived respondents survey

20 Dec 2023

Tarides

Read Article
OCaml: Memory Safety and Beyond

Your choice of programming language matters. A recent press release from the US National Security Agency (NSA), in tandem with the US…

beyond cybersecurity formal verification functional programming immutability memory mirageos safety security unikernel

14 Dec 2023

Tarides

Read Article
Maturing Learn-OCaml to version 1.0: Gateway to the OCaml World

From the very start OCamlPro has been trying to help ease the learning of the OCaml language. OCaml has been used around the world to teach about a variety of Computer Science domains, from algorithmic to calculus, or functional programming and compilation. The language had been long taught in Acade...

functional programming grading kickstarted learn-ocaml louis platform shepherded teachers unhospitable world

13 Dec 2023

OCamlPro

Read Article
Unix Module Considered Harmful

Recently I was working on a socket pool for a new scheduler for OCaml 5 (multicore baby!) and I ran into a strange issue. This new socket pool works by spinning up a series of lightweight processes to accept connections. Every one of those will wait for a client to

caml_unix_write functional programming libc multicore ofs signal signals sys syscalls unix

29 Nov 2023

Practical OCaml

Read Article
camel head illustration

[ARTICLE]
Tutorial: How to Port Lwt Applications to Eio

Thomas Leonard and Jonathan Ludlam hosted a tutorial on porting Lwt applications to OCaml 5 and Eio at arguably the world's largest…

async backtraces cohttp concurrency domainslib eio functional programming lwt multicore tutorial

27 Sep 2023

Tarides

Read Article
A Year of SpaceOS: Showing the World the Benefits of OCaml

I have had the pleasure of attending some great conferences over the past year, where I have presented some of the latest and most exciting…

congress functional programming india iot iotshow mirageos satellites space spaceos unikernel

20 Sep 2023

Tarides

Read Article
The State of the Art in Functional Programming: Tarides at ICFP 2023

ICFP 2023 The 28th ACM Sigplan International Conference on Functional Programming is taking place in Seattle as I’m typing. This is the…

art concurrency eio functional programming icfp kcas lwt lwt_eio multicore odoc

08 Sep 2023

Tarides

Read Article
... 3 4 5 ... 17