My name is Tim McGilchrist. I'm a Principal Software Engineer at Tarides, where I work on the OCaml compiler and runtime.
My current focus is making OCaml programs easier to debug and profile. That means getting backtraces to actually work, adding frame pointers and CFI support across architectures (Power, RISC-V, ARM64, s390x), and making tools like perf, eBPF, and LLDB useful for OCaml. I'm building debugging infrastructure through libraries like mach, object, and durin (for parsing DWARF debug info). I also work on garbage collection internals and general systems hacking.
Before OCaml, I worked extensively with Haskell. I contributed to Hedgehog (property-based testing), icicle (a streaming query language), and Cloud Haskell (distributed computing). I've also spent time with Erlang, Lisp, and Standard ML.
I maintain several OCaml libraries including ocaml-grpc and ocaml-gitlab. I help organise FP-Syd, Sydney's functional programming meetup.
I give talks at conferences and user groups. If you're interested in having me speak, email me at timmcgil@gmail.com.