[klibertp]

Is Fortress the same language that required exponential time constraint solving for its type system?

[naasking]

Type checking is not exponential last I checked. However, languages with global type inference have exponential behaviour when inferring types for some pathological programs.