Introduction to functional programming with OCaml

Why functional programming. And why do it with OCaml.

Hi, I'm Manas

5 years ago…

I was looking for a change. From web development.

I eventually found myself

Maintaining esy

Long term contract with Ligo

Things I did and how it changed my career trajectory.

  1. Open source collabs
  2. Book clubs
  3. Meetups
  4. Build and gain experience in non-web dev project. Eg. esy the package manager

Problems with imperative programming

  1. State
  2. DRY is hard. Shared functions lose identity
  3. why assignment operator is the problem

What. Not How.

Dont ask the machine what to do. Specify what to do. Helps us programs build legos that compose

Pathway to formal methods

Why OCaml?

What is OCaml?

OCaml vs Haskell

OCaml vs LISPs

OCaml vs Rust

What is Reason?

Low level design choices

Tools to get started

  1. Melange playground
  2. Separate meetup discussing the tools

Content recommendations

Books

  1. SICP
  2. Real World OCaml

Streamers

Search for OCaml on Twitch

Should we start too?

Thank you

I'm @ManasJayanth on twitter.

You can email me at hello [at] manas-jayanth [dot] com

These slides can be found at slides.manas-jayanth.com