Type-Based Resource Analysis on Haskell
Programming Languages
2019-08-20 v1
Abstract
We propose an amortized analysis that approximates the resource usage of a Haskell expression. Using the plugin API of GHC, we convert the Haskell code into a simplified representation called GHC Core. We then apply a type-based system which derives linear upper bounds on the resource usage. This setup allows us to analyze actual Haskell code, whereas previous implementations of similar analyses do not support any commonly used lazy functional programming languages.
Cite
@article{arxiv.1908.06478,
title = {Type-Based Resource Analysis on Haskell},
author = {Franz Siglmüller},
journal= {arXiv preprint arXiv:1908.06478},
year = {2019}
}
Comments
In Proceedings DICE-FOPARA 2019, arXiv:1908.04478