Motivation GHC Core HERMIT Demo: Fib Commands Additions Summary

There is often a trade-off between the clarity and efficiency of a program. Useful to transform a clear program (specification) into an efficient program (implementation). We want to mechanise these transformations: less time-consuming and error prone than pen-and-paper reasoning no need to modify the source file Our work: transformations in the purely functional language Haskell Several existing transformation systems for Haskell programs e.g. HaRe, HERA, PATH, Ultra but they all operate on Haskell source code (or some variant) Haskell source code