Python’s “Type Hints” are a bit of a disappointment to me

Programming Language Code Analysis Regular Expressions

mypy Landing Page
1

mypy

Mypy is an experimental optional static type checker for Python that aims to combine the benefits of dynamic (or "duck") typing and static typing.
Pricing:
- Open Source
#Code Analysis #Code Coverage #Code Review 48 social mentions
Nim (programming language) Landing Page
2

Nim (programming language)

The Nim programming language is a concise, fast programming language that compiles to C, C++ and JavaScript.
Pricing:
- Open Source
> What I want is this: Some language that’s as easy to use as Python and it should be compiled and with good static typing... Well, there's always Nim. [0] > ...but it should also not be compiled because then it wouldn’t be as easy to use as Python anymore. Whoops? Eh, there's Nimscript? [1] 0. https://nim-lang.org/.

#Programming Language #Generic Programming Language #OOP 141 social mentions
Productivity Power Tools Landing Page
3

Productivity Power Tools

Extension for Visual Studio - A set of extensions to Visual Studio 2012 Professional (and above) which improves developer productivity.
Pricing:
- Open Source
MyPy isn’t the only checker of course, there’s also Microsoft’s Pyright, among others. Pyright is fast and natively integrated in Microsoft’s Pylance VSCode extension, so these days I use Pyright’s type checking in real time even when I can’t be bothered to set up MyPy (no difficult, just not important for, say, <1000 line scripts). https://github.com/microsoft/pyright https://marketplace.visualstudio.com/items?itemName=ms-python.vscode-pylance.

#Regular Expressions #Programming Tools #Development 356 social mentions