ZuriHac 2016 - Meet Hadrian: A New Build System for GHC

Channel:
United States Google TechTalks
Subscribers:
348,000
Published on ● Video Link: https://www.youtube.com/watch?v=uLzP8YEfl9o


Duration: 36:47
1,111 views
15

A Google TechTalk, July 22, 2016, presented by Andrey Mokhov
ABSTRACT: 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. As we'll see in this talk, there are a few issues that cause build systems major scalability challenges, and many pervasively used build systems (e.g. Make) do not scale well.

We use functional programming to design abstractions for build systems and overcome these challenges. I'll introduce a new build system for GHC, called Hadrian, that we engineered using these abstractions. The result is more scalable, faster, and spectacularly more maintainable than its Make-based predecessor.

You can find more details in this paper: https://www.staff.ncl.ac.uk/andrey.mokhov/Hadrian.pdf

Hadrian is still under active development: https://github.com/snowleopard/hadrian

https://wiki.haskell.org/ZuriHac2016



Other Videos By Google TechTalks


2016-10-20AQC 2016 - Quantum Monte Carlo vs Tunneling vs. Adiabatic Optimization
2016-10-20AQC 2016 - Simulated Quantum Annealing Can Be Exponentially Faster Than Classical
2016-10-20AQC 2016 - Quantum Monte Carlo Simulations and Quantum Annealing
2016-10-20AQC - 2016 Quantum vs. Classical Optimization - A Status Report on the Arms Race
2016-10-20AQC 2016 - What is the Computational Value of Finite Range Tunneling?
2016-10-20AQC 2016 - Opening Remarks: Why We Believe Quantum Annealing Will Succeed
2016-10-14Tracing Android
2016-10-12Programming Line-Rate Routers
2016-09-15Grammatical Framework: Formalizing the Grammars of the World
2016-09-06ZuriHac2016: Parallelizing and Distributing Scientific Software in Haskell
2016-09-06ZuriHac 2016 - Meet Hadrian: A New Build System for GHC
2016-09-06ZuriHac 2016: Generic (and type-level) Programming with Generics-sop
2016-09-06ZuriHac 2016 - Low-level Haskell: An Interactive Tour Through the STG
2016-09-06ZuriHac 2016: Monad Homomorphisms
2016-09-06ZuriHac 2016: Functional Programming at LumiGuide
2016-09-06ZuriHac 2016: Spock - Powerful Elegant Web Applications
2016-05-31Dreamscapes (DeepDream scaled up to Operate on Multi-Hundred Megapixel Images)
2016-05-16Flutter's Rendering Pipeline
2016-05-16Tetsuya Miyamoto: Creator of KenKen
2016-05-05The Mahogany Staircase - Flutter's Layered Design
2016-04-14How Tech is Disrupting Human Trafficking


Tags:
google techtalk
zurihac 2016
haskell