https://github.com/klntsky/purescript-fusion-poc

A proof-of-concept showing how fusion can be implemented ad-hoc for some set of fusion laws in purescript
https://github.com/klntsky/purescript-fusion-poc

Last synced: 5 days ago
JSON representation

A proof-of-concept showing how fusion can be implemented ad-hoc for some set of fusion laws in purescript

• Host: GitHub
• URL: https://github.com/klntsky/purescript-fusion-poc
• Owner: klntsky
• Created: 2019-04-11T18:04:18.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-04-11T18:04:45.000Z (over 5 years ago)
• Last Synced: 2024-11-09T15:47:42.540Z (2 months ago)
• Language: PureScript
• Homepage:
• Size: 229 KB
• Stars: 7
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# purescript-fusion

A proof-of-concept showing how fusion, a.k.a. deforestation, can be implemented ad-hoc for some set of fusion laws in purescript. Laws are defined as instances of the `Fusion` class - see the code for more info.

This approach is not extensible: the user is not able to define their own laws.

There are other issues (note the green line on the first image, which appears higher than it should).

# Benchmarks

![identity](benchmarks/results/identity.png)

![foldrMapFusion](benchmarks/results/foldrMapFusion.png)

![mapFusion](benchmarks/results/mapFusion.png)