Principal Software EngineerTarides
Tim McGilchrist is a Principal Software Engineer at Tarides, where he leads the CI and Ops team. They are responsible for the infrastructure and CI systems supporting Tarides and the OCaml programming language. Tim has many years of practical experience delivering business solutions based on Functional Programming languages. He has used OCaml, Haskell, Erlang, Lisp, and functional smart contracting languages, to deliver solutions for a range of businesses in the finance, IOT and data science industries. He is interested in language design and compiler development, systems engineering, and distributed systems.
Tarides is an international software company founded in 2018 by pioneers of secure systems and functional programming, with close links to INRIA, University of Cambridge and IIT Madras. It works on various OCaml based systems including most recently delivering multicore and algebraic effects for the OCaml language, and the MirageOS unikernel. Tarides aims to empower developers, communities, and organisations to adopt OCaml as their primary programming language by providing training, expertise, and development services.
Talks I've Given
-
Practical Haskell Performance
Featuring Tim McGilchrist
Great you’ve written some elegant Haskell application using the latest in burrito and type system hackery. It all type checks and you adversary Senior QuickCheck can’t find any holes in your logic. Winning at life, now to push that into production and pat yourself on the back. Hold...
practice -
A Crash Course in OCaml Modules
Featuring Tim McGilchrist
When people hear about functors in OCaml they probably immediately think of map and the Functor type class in Haskell. Then when they start looking into what OCaml calls functors they’re likely to be confused, finding something quite unexpected.
This talk will aim to introduce people to the...
technique -
RAFT: Implementing Distributed Consensus with Erlang
Featuring Tim McGilchrist
Increasingly systems are required to include ideas from distributed systems to achieve their goals of availability, performance and maintenance. As people dive into the distributed systems literature, they often have problems with finding practical information about building distributed systems....
technique
Tim McGilchrist is a Principal Software Engineer at Tarides, where he leads the CI and Ops team. They are responsible for the infrastructure and CI systems supporting Tarides and the OCaml programming language. Tim has many years of practical experience delivering business solutions based on Functional Programming languages. He has used OCaml, Haskell, Erlang, Lisp, and functional smart contracting languages, to deliver solutions for a range of business in the finance, IOT and data science industries. He is interested in language design and compiler development, systems engineering, and distributed systems.
Tarides is an international software company founded in 2018 by pioneers of secure systems and functional programming, with close links to INRIA, University of Cambridge and IIT Madras. It works with OCaml based systems including most recently delivering multicore and algebraic effects for the OCaml language, and the MirageOS unikernel.