3 ms·
Even in Hindley-Miller type systems it is considered good practice to add types as documentation to top-level constructs (see Haskell). In Python it is also con
by daivd 14y ago
Even in Hindley-Miller type systems it is considered good practice to add types as documentation to top-level constructs (see Haskell). In Python it is also considered good practice to add argument and return type info in the doc string. In a dynamic language you would also have to add a unit test or two for cases for some of the things that the compiler can catch for you.
Looking at the complete picture makes a language with local type inference (like C++11) more or less as verbose as one with complete type inference.
- longlivedeath 14y ago> it is considered good practice to add types as documentation to top-level constructs But with type inference your tools can do that for you (e.g. C-u C-c C-t in haskell-mode).
- lmm 14y agoA good IDE can fill in the types in C++ too.
- longlivedeath 14y agoIs there a C++ IDE that can figure out the function signature after you have written something like _ f(_ a, _ b, _ c) { YOUR; CODE; HERE; } ?