Blog

The OCaml Planet

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.

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.

Lean 4: When Sound Programs become a Choice

Monitoring Edge Technical Endeavours As a company specialized in strongly-typed programming languages with strong static guarantees, OCamlPro closely monitors the ongoing trend of bringing more and more of these elements into mainstream programming languages. Rust is a relatively recent example of t...

07 Mar 2024

OCamlPro

Read Article
A Time for Change: Our Response to the White House Cybersecurity Press Release

As seasoned proponents of safety-by-design, we were pleased to see the February 26th White House press release titled "Future Software…

07 Mar 2024

Tarides

Read Article
Functions & Solving Problems in OCaml

Getting Started with writing Functions & Problem-Solving in OCaml

06 Mar 2024

Debajyati's Blog

Read Article
Two Major Improvements in odoc: Introducing Search Engine Integration

In the world of OCaml documentation generation, there have been two significant enhancements that promise to make navigating OCaml…

28 Feb 2024

Tarides

Read Article
Data Types in OCaml

Learn OCaml's diverse data types in functional programming, their features, and efficient usage in code.

27 Feb 2024

Debajyati's Blog

Read Article
26 Feb 2024

26 Feb 2024

Ryan Gibb's Blog

Read Article