search

utahplt / static-python-perf

Benchmarking Static Python
4 stars 1 forks source link

Convert GTP benchmarks #2

Open bennn opened 1 year ago

bennn commented 1 year ago

Can we port the Racket GTP Benchmarks to Static Python?

https://docs.racket-lang.org/gtp-benchmarks/index.html

It will be tough, but it'll be good for us and for the GTP suite.

vivaan2006 commented 1 year ago

I think the 2nd official step would be a good option. We could maybe install the package, get the sample benchmarking script, and change it so that it runs the benchmarks and measures the performance. Im not sure how we can implement this or whether it is possible, but we could try.

bennn commented 1 year ago

The real problem is that the benchmarks are Racket code. We'll need to port them to Python.

It's not easy!

To see why, try porting the untyped sieve code to Python. Very hard.

bennn commented 5 months ago

benchmark idea, from Craig White via email: https://github.com/gerzytet/star-battles-solver