Matthew Pickering
Matthew is a PhD student at the University of Bristol and one of the core GHC contributors. His research interests are in program generation and multi-stage programming.
Talks I've Given
-
Gazing into the Void: Understanding Space (Leaks)
Featuring Matthew Pickering
Passing by any online Haskell meeting place you'll hear questions about why a program doesn't type check but seldom about why a program is a memory hog. It's widely assumed that the compiler will make your program fast enough and use a reasonable amount of memory.
haskell tooling memory-usage-of-programs -
A Look Inside GHC's Optimiser
Featuring Matthew Pickering
The joy of functional programming is writing high-level declarative code. The belief of Haskell programmers is that GHC should compile this code to remove the overhead of abstraction. The reality is that sometimes it does and sometimes it doesn't!
haskell haskellx functional-programming ghc optimisation -
A new foundation for refactoring - ghc-exactprint
Featuring Matthew Pickering
In this talk, I will describe the architecture and history of ghc-exactprint. ghc-exactprint is a library which enables programmers to easily specify refactoring operations by directly modifying the GHC AST. By leveraging the GHC parser and a suitable intermediate representation, we can refactor...
haskell functional-programming refactoring ghc-exactprint haskell-ghc apply-refact haskell-src-exts haskellx