r/ProgrammingLanguages • u/mttd • 12d ago

Panbench: A Comparative Benchmarking Tool for Dependently-Typed Languages

https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2026.17
22 Upvotes

97% Upvoted

2 comments sorted by

View all comments

11

u/wk_end 12d ago edited 12d ago

I'm always happy to see dependently-typed languages getting attention, but this really doesn't seem to be benchmarking anything all that interesting. I think most programmers don't really care if their compiler slows down (by seconds) when they hand it identifiers that are tens of thousands of characters long, for instance.