mypy
optional static typing for Python
Command lineDevelopmentLinters, formatters and code tools
Not tested on a device yet. What that means
mypy in Breadstick
Breadstick runs Debian's own mypy package for ARM64, the build a Debian 13 computer with an ARM processor installs, so mypy should behave as it does on a Linux PC. It is a command line program rather than an app with a window of its own: you run it by typing its command in Breadstick's Terminal, or in any terminal window on the Linux desktop, and it needs no Desktop or Floating session running.
Commands in the package
mypydmypymypycstubgenstubtest
Type one in Breadstick's Terminal to run it.
Linters, formatters and language servers run on the device's own processor, and editors on the Linux desktop or in the Terminal can call them as they would on a Linux PC. More in the docs: The Terminal.
About mypy
From Debian's package description
Add type annotations to your Python programs, and use mypy to type check them. Mypy is essentially a Python linter on steroids, and it can catch many programming errors by analyzing your program, without actually having to run it. Mypy has a powerful type system with features such as type inference, gradual typing, generics and union types.
This package provides the command-line interface.
From Debian's description of the mypy package, under that package's license.
Related apps
- pylintPython 3 code static checker and UML diagram generatorCommand line
- Cppchecktool for static C/C++ code analysis (CLI)Command line
- ipython3Enhanced interactive Python 3 shellTerminal
- blackuncompromising Python code formatter (Python 3)Command line
- yapf3Python code formatter for different styles (Python 3)Command line
- shellchecklint tool for shell scriptsCommand line
Sources and licenses
- Name: the Debian package name.
- Summary: Debian's short description of the mypy package, under that package's license.
- Description: Debian's description of the mypy package, under that package's license.
- Versions and sizes: Debian's archive for ARM64, as on packages.debian.org.
- Popularity: Debian Popularity Contest counts.
More in About the catalog.