Andrey Mokhov
Andrey Mokhov's general interests are in applying abstract mathematics and functional programming to solving large-scale engineering problems.
In the last few years, Andrey was working on build systems: he is one of the developers of Hadrian, a new build system for the Glasgow Haskell Compiler, and is a co-author of the paper "Build Systems à la Carte" that provides executable models of popular build systems such as Make, Shake and Bazel.
After a long academic career, Andrey has recently joined the Tools and Compilers team at Jane Street London, where he works on the OCaml build system Dune.
Talks I've Given
-
Build Systems à la Carte
Featuring Andrey Mokhov
Build systems are used by every developer around the world but are rarely the object of study.
shake bazel dune nix haskell build-systems -
Algebraic Graphs
Featuring Andrey Mokhov
Are you tired of fiddling with sets of vertices and edges when working with graphs? Would you like to have a simple tree-like data type for representing graphs and manipulating them using familiar functional programming abstractions? In this talk, you will learn a new way of thinking about graphs...
haskell haskellx graph algebra -
Meet Hadrian: a new build system for GHC
Featuring Andrey Mokhov
Most build systems start small and simple, but over time grow into hairy monsters that few dare to touch. Our favourite Glasgow Haskell Compiler is no exception. In this talk, you will learn that there are a few issues that cause build systems major scalability challenges, and many pervasively...
haskellx haskell hadrian ghc