Craig Ferguson

Working on OCaml open-source tooling and distributed storage.

Living in Paris, under the careful supervision of those who can speak French.

📝  POSTS

Mostly discussion of OCaml design patterns and tooling:

• Generalised signatures – March 16th, 2021(~ 11 min)
• Polymorphic type constraints – October 5th, 2020(~ 10 min)
• The _intf trick – April 7th, 2020(~ 6 min)
• Tail recursion modulo cons – February 2nd, 2020(~ 3 min)
• Testing manpages – January 30th, 2020(~ 1 min)
• Pitfalls of polymorphic ignore – January 20th, 2020(~ 1 min)

🛠  PROJECTS

• Irmin, a high-performance distributed database with Git-based semantics;

• Alcotest, a testing framework with combinators and coloured output;

• Repr, run-time representations of OCaml types;

• Progress, a small library for defining and using progress bars;

• Brands, tiny library for lightweight higher-kinded polymorphism in OCaml;

• Oskel, a skeleton-builder for modern OCaml projects;

• ... see my GitHub profile.

I've also recently been working on an operator lookup tool for OCaml.

🎙  TALKS

• CausalRPC, in which I discuss the design trade-offs of creating a type-safe RPC framework using Git-based semantics. Given at the OCaml workshop at ICFP 2019 (23rd August). Recording of the talk forthcoming.

• Particle Swarm Optimisation, in which I give a brief introduction to swarm intelligence and its practical applications. Presented to my fellow Churchill Computer Scientists during my degree.

🏺  ARTEFACTS

• Curriculum Vitae. LaTeX styles available here.

• CausalRPC (4.85 MB). My Part II dissertation, documenting the creation of a Git-inspired RPC framework. Won the G-Research Prize for the Best Individual Project.