3 ms·
Is Fortress the same language that required exponential time constraint solving for its type system?
by klibertp 5y ago
Is Fortress the same language that required exponential time constraint solving for its type system?
- naasking 5y agoType checking is not exponential last I checked. However, languages with global type inference have exponential behaviour when inferring types for some pathological programs.