Replace polysemy by effectful

[janmasrovira]

The following benchmark compares juvix 0.6.0 with polysemy and a new version (implemented in this pr) which replaces polysemy by effectful.

Typecheck standard library without caching

hyperfine --warmup 2 --prepare 'juvix-polysemy clean' 'juvix-polysemy typecheck Stdlib/Prelude.juvix' 'juvix-effectful typecheck Stdlib/Prelude.juvix'
Benchmark 1: juvix-polysemy typecheck Stdlib/Prelude.juvix
  Time (mean ± σ):      3.924 s ±  0.143 s    [User: 3.787 s, System: 0.084 s]
  Range (min … max):    3.649 s …  4.142 s    10 runs

Benchmark 2: juvix-effectful typecheck Stdlib/Prelude.juvix
  Time (mean ± σ):      2.558 s ±  0.074 s    [User: 2.430 s, System: 0.084 s]
  Range (min … max):    2.403 s …  2.646 s    10 runs

Summary
  juvix-effectful typecheck Stdlib/Prelude.juvix ran
    1.53 ± 0.07 times faster than juvix-polysemy typecheck Stdlib/Prelude.juvix

Typecheck standard library with caching

hyperfine --warmup 1 'juvix-effectful typecheck Stdlib/Prelude.juvix' 'juvix-polysemy typecheck Stdlib/Prelude.juvix' --min-runs 20
Benchmark 1: juvix-effectful typecheck Stdlib/Prelude.juvix
  Time (mean ± σ):      1.194 s ±  0.068 s    [User: 0.979 s, System: 0.211 s]
  Range (min … max):    1.113 s …  1.307 s    20 runs

Benchmark 2: juvix-polysemy typecheck Stdlib/Prelude.juvix
  Time (mean ± σ):      1.237 s ±  0.083 s    [User: 0.997 s, System: 0.231 s]
  Range (min … max):    1.061 s …  1.476 s    20 runs

Summary
  juvix-effectful typecheck Stdlib/Prelude.juvix ran
    1.04 ± 0.09 times faster than juvix-polysemy typecheck Stdlib/Prelude.juvix

[arybczak]

I was curious about this PR because this is a nice example of effectful vs polysemy, but I'm very surprised at the second benchmark results.

I suspect something's not right with the translation and I was curious enough that I tried to reproduce this locally and I can, but when I tried to build the project with profiling to see what's going on, GHC fails to compile the repline/haskeline module because you do some weird things there and apparently GHC gets confused 😕

[janmasrovira]

I was curious about this PR because this is a nice example of effectful vs polysemy, but I'm very surprised at the second benchmark results.

I suspect something's not right with the translation and I was curious enough that I tried to reproduce this locally and I can, but when I tried to build the project with profiling to see what's going on, GHC fails to compile the repline/haskeline module because you do some weird things there and apparently GHC gets confused 😕

We were also surprised with that benchmark and we are investigating the cause. I'll share the findings as soon as we have them.
Ufortunately, I can't help you with the profiling problem. We are able to compile with profiling flags in linux but not in mac.

[janmasrovira]

@arybczak it seems like b311abd solved the problem. I've updated the results to reflect that. We believe the gains in the test with caching are close to null because 90+ percent of the execution time is spent doing IO.