search

stedolan / counterexamples

Counterexamples in Type Systems
http://counterexamples.org
372 stars 23 forks source link

Suggestion: overloading is exponential #24

Open reverofevil opened 3 weeks ago

reverofevil commented 3 weeks ago

Surprisingly it's still not well-known that arbitrary Java-style function overloading guarantees exponential typechecking time even in the most trivial situations.

The fashion show: