# Type-Based Resource Analysis on Haskell

## TL;DR

This paper introduces a type-based amortized resource analysis for Haskell, enabling precise resource usage estimation directly on real Haskell code by leveraging GHC's plugin API and a linear upper bounds system.

## Contribution

It presents the first resource analysis method for Haskell that operates directly on actual code using GHC plugins and a linear bounds type system.

## Key findings

- Supports real Haskell code analysis
- Uses GHC Core for simplified representation
- Provides linear upper bounds on resource usage

## 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.