Ocaml-Fundamentals

Hello World in OCaml

Every programming journey starts with Hello World. Let’s write our first OCaml program and explore what makes this functional language special.

The Code

Create a file named hello.ml:

1 …

Variables and Types in OCaml

In most languages, variables are mutable containers that hold values. OCaml takes a different approach. With its roots in the ML family of functional languages, OCaml uses let bindings — names bound …

Operators in OCaml

Operators are the building blocks of expressions. In OCaml they have characteristics that surprise newcomers from C-family languages: arithmetic operators are not overloaded between integers and …

Control Flow in OCaml

Control flow determines the order in which your program’s logic executes. OCaml is a multi-paradigm language, so it gives you two distinct styles: the functional approach built on expressions, …

Functions in OCaml

In OCaml, functions are not just a way to organize code - they are the central building block of the entire language. As a functional language, OCaml treats functions as first-class values: you can …

I/O Operations in OCaml

Input and output are where OCaml’s functional core meets the messy, stateful outside world. Unlike Haskell, OCaml does not wrap I/O in a monad - it takes a pragmatic, multi-paradigm stance. I/O …