deepakgouda / Intro-To-OCaml

Introduction to OCaml

Installation

Linux

Run the following commands as sudo:

apt-get update
apt-get install ocaml -y

This will get ocaml setup, which can be verified by the ocaml --version command.

$ ocaml --version
The OCaml toplevel, version 4.08.1

I will be using utop for this introduction. Utop is an improved toplevel (i.e., Read-Eval-Print Loop) for OCaml. It can run in a terminal or in Emacs. It supports line editing, history, real-time and context sensitive completion, colors, and more.

sudo apt-get install utop

Getting Started

Typing utop in the terminal will open up the REPL which can be used to play around with OCaml.

Links

1. A First Hour with OCaml

Examples

Lists

• Tail of a list

  let rec last = function
  | [] -> None
  | [x] -> Some x
  | _ :: t -> last t;;

• Eliminate consecutive duplicates

  let rec compress = function
  | f :: (s :: _ as t) -> if f = s then compress t else f :: compress t
  | small_one -> small_one;;

• Pack consecutive duplicates

  let rec pack = function
  | f :: (s :: _ as t) -> let (hp :: tp as rec_result) = pack t in (if f = s then ((f :: hp) :: tp) else [f] :: rec_result)
  | [x] -> [[x]]
  | [] -> [];;