AndrasKovacs/staged-fusion

This is stars and forks stats for /AndrasKovacs/staged-fusion repository. As of 08 May, 2024 this repository has 50 stars and 1 forks.

staged-fusion This is a small experiment about acceptably robust fusion in Haskell, using typed Template Haskell. You can find examples in Benchmarks.hs. The value proposition is that you have to use clunky TH but get the highest possible assurance of fusion. Introduction By fusion we loosely mean program transformations which remove intermediate data structures. The Functor laws for lists are the archetypal example: map id = id map f . map g = map (f . g) By rewriting programs left-to-right along...