Grow benchmark suite - Githubissues

effect-handlers / effect-handlers-bench

Benchmark repository of polyglot effect handler examples

MIT License

20 stars 9 forks source link

Grow benchmark suite #16

Open dhil opened 2 years ago

dhil commented 2 years ago

We need more quantity. As a first step, we can collate benchmarks from papers.

phischu commented 1 year ago

These are the papers on effect handlers that present benchmarks. Did I forget one?

Handlers in Action

[x] State
[x] Flat Pipes
[x] Nested Pipes
[x] N Queens
[x] Aspect Oriented

Extensible Effects

[x] Single State
[x] Single Error
[x] Reader over State
[x] Reader under State
[x] State Error Pure
[x] Pythagorean Triples
[x] Pythagorean Triples State
[x] Representing Nondeterminism

Freer Monads, More Extensible Effects

[x] Reader over State
[x] Reader under State
[x] Single State
[x] Single Error
[x] Pythagorean Triples
[x] Countdown
[x] Count over Logging
[x] Count under Logging

Fusion for Free

[x] Count 1
[x] Count 2
[x] Count 3
[x] Grammar
[x] Pipes

Compiling Effect Handlers in Capability-Passing Style

[x] Triple
[x] Queens
[x] Count
[x] Generator
[x] Primes
[x] Chameneos

Effect Handlers, Evidently

[x] Counter
[x] Count-mod5
[x] Layered
[x] N Queens

Effect Handlers for the Masses

[x] Stateloop
[x] Recursive Once
[x] Recursive Many
[x] Skynet
[x] Skynet Suspend
[x] Countdown
[x] Countdown8
[x] N Queens

Efficient Compilation of Algebraic Effect Handlers

[x] N Queens One
[x] N Queens All
[x] Stateful Counter
[x] Generator List
[x] Generator Sum
[x] Exception Arithmetic
[x] Stateful Arithmetic
[x] Pure Tree
[x] Reader Tree
[x] Stateful Tree

phischu commented 1 year ago

I identified the following benchmarks

[x] Countdown
[ ] Count over Writer
[ ] Count under Writer
[ ] Readers over State
[ ] Readers under State
[x] Single Error
[ ] State Error Pure
[x] Emitter
[ ] Pythagorean Triples
[ ] Pythagorean Triples State
[x] Triples
[ ] N Queens One
[x] N Queens All
[ ] Stateloop
[ ] Recursive Once
[ ] Recursive Many
[ ] Skynet
[ ] Skynet Suspend
[ ] Exception Arithmetic
[ ] Stateful Arithmetic
[ ] Pure Tree
[ ] Reader Tree
[ ] State Tree
[ ] Representing Nondeterminism
[ ] Aspect Oriented Programming
[ ] Grammar
[ ] Flat Pipes
[ ] Deep Pipes
[ ] Primes
[ ] Chameneos