#ocaml

// 4 pages tagged #ocaml · every tag

• Algebraic Effects in OCaml 5, From a Haskell and Rust Perspective note
  A practical tour of OCaml 5 effect handlers, resumable control, and the closest ideas in Haskell and Rust.
• GADTs Through a Small Typed Expression Evaluator note
  Use indexed expression trees to make ill-typed syntax impossible before evaluation.
• OCaml Modules vs Rust Traits vs Haskell Typeclasses note
  Three ways to package behaviour, and the design choices they make visible.
• OCaml — learning log note
  Notes, gotchas, and small discoveries from picking up OCaml.