3 ms·
> most of them have "var" or an equivalent which saves on typing Do you mean type inference? Most typed-languages have that, even Haskell/Scala. It gets iffy
by fabianhjr 3y ago
> most of them have "var" or an equivalent which saves on typing
Do you mean type inference? Most typed-languages have that, even Haskell/Scala.
It gets iffy on dependent type systems like Agda/Idris.
- seanmcdirmid 3y agoScala type inference isn't as powerful as Haskell's primarily due to nominal subtyping. Dependent type systems are so power that they defy type inference (in general, the more expressive your types, the harder it is to infer subtyping relationships, which is the primary complexity of type inference).