Learn OCaml basics, functional programming, type inference, and advanced function design with practical examples.