Grow benchmark suite

[dhil]

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

[phischu]

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

Handlers in Action

• State
• Flat Pipes
• Nested Pipes
• N Queens
• Aspect Oriented

Extensible Effects

• Single State
• Single Error
• Reader over State
• Reader under State
• State Error Pure
• Pythagorean Triples
• Pythagorean Triples State
• Representing Nondeterminism

Freer Monads, More Extensible Effects

• Reader over State
• Reader under State
• Single State
• Single Error
• Pythagorean Triples
• Countdown
• Count over Logging
• Count under Logging

Fusion for Free

• Count 1
• Count 2
• Count 3
• Grammar
• Pipes

Compiling Effect Handlers in Capability-Passing Style

• Triple
• Queens
• Count
• Generator
• Primes
• Chameneos

Effect Handlers, Evidently

• Counter
• Count-mod5
• Layered
• N Queens

Effect Handlers for the Masses

• Stateloop
• Recursive Once
• Recursive Many
• Skynet
• Skynet Suspend
• Countdown
• Countdown8
• N Queens

Efficient Compilation of Algebraic Effect Handlers

• N Queens One
• N Queens All
• Stateful Counter
• Generator List
• Generator Sum
• Exception Arithmetic
• Stateful Arithmetic
• Pure Tree
• Reader Tree
• Stateful Tree

[phischu]

I identified the following benchmarks

• Countdown
• Count over Writer
• Count under Writer
• Readers over State
• Readers under State
• Single Error
• State Error Pure
• Emitter
• Pythagorean Triples
• Pythagorean Triples State
• Triples
• N Queens One
• 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