2 ms·
The problem with advanced type inference is that the exact algorithm needs to be part of the standard for compability reasons (not just between compilers but al
by legulere 8y ago
The problem with advanced type inference is that the exact algorithm needs to be part of the standard for compability reasons (not just between compilers but also between compiler versions).
So for me it makes more sense to have everything that’s beyond basic in something like a lsp-language server/ide.
- gergoerdi 8y ago> The problem with advanced type inference is that the exact algorithm needs to be part of the standard for compability reasons I don't think that's true -- if you have principal types, you can just say in your language spec that the principal type is inferred.
- lifthrasiir 8y agoIt can be really tedious to list the cases where principal types do not exist. Haskell has a separate section for ambiguous overloading [1] for that reason, and more ad-hoc or advanced type systems will be harder to describe. [1] https://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-790004.3.4 https://www.haskell.org/onlinereport/haskell2010/haskellch4....