Skip to content

Effect Handlers Benchmarks - #629

Merged
LPTK merged 9 commits into
hkust-taco:hkmc2from
CAG2Mark:effects-bench
Nov 9, 2026
Merged

LPTK merged 9 commits into
hkust-taco:hkmc2from
CAG2Mark:effects-bench

Conversation

@CAG2Mark

@CAG2Mark CAG2Mark commented Nov 7, 2026

Copy link
Copy Markdown
Contributor
  • Port one-shot effect handler benchmarks from https://github.com/effect-handlers/effect-handlers-bench. Answers were verified against the Koka implementation.
  • Fix the benchmark module.
  • I found a bug in the product_early benchmark which I have fixed, though it should not affect the running time at all.
  • Added :exit to the top of the other benchmarks, which I think should be the default. They can be uncommented when needed.

I also noticed that the LazySpreads benchmark is broken. Might be good to take a look at some point.

@LPTK LPTK left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Great! But please review #623 first so that we can use new resolution here.

@LPTK

LPTK commented Nov 9, 2026

Copy link
Copy Markdown
Contributor

@CAG2Mark pls update the branch and use new resolution everywhere.

@AnsonYeung

Copy link
Copy Markdown
Contributor

Isn't it better to match the bug of product_early?

@CAG2Mark

CAG2Mark commented Nov 9, 2026

Copy link
Copy Markdown
Contributor Author

Isn't it better to match the bug of product_early?

I'm mostly indifferent. But if you look at the code, it should make no difference in the actual benchmark anyway.

@LPTK LPTK left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thx.

@LPTK
LPTK merged commit f877ced into hkust-taco:hkmc2 Nov 9, 2026
1 check passed
@LPTK
LPTK deleted the effects-bench branch November 9, 2026 12:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants