LinuxCommandLibrary
GitHubF-DroidGoogle Play Store

dmypy

mypy daemon for fast incremental type checking

TLDR

Start mypy daemon
$ dmypy start
copy
Run type check via daemon
$ dmypy run [file.py]
copy
Check entire project
$ dmypy run -- --strict [.]
copy
Stop the daemon
$ dmypy stop
copy
Check daemon status
$ dmypy status
copy
Restart the daemon
$ dmypy restart
copy
Kill daemon forcefully
$ dmypy kill
copy

SYNOPSIS

dmypy command [options] [files...]

DESCRIPTION

dmypy is the daemon interface for mypy, Python's static type checker. It keeps mypy running as a background process, dramatically reducing type checking time by maintaining cached state between runs.The daemon pre-computes and caches type information, making incremental checks nearly instantaneous. This is particularly valuable for large codebases where full mypy runs would be slow.dmypy integrates with editors and CI systems that need fast, repeated type checks. It handles the daemon lifecycle and forwards type checking requests to the running mypy instance.

PARAMETERS

COMMAND

Operation: start, stop, run, status, restart, kill.
start
Start the mypy daemon.
stop
Stop the daemon gracefully.
run [FILES]
Type check files via daemon.
status
Show daemon status.
restart
Restart the daemon.
kill
Forcefully terminate daemon.
--status-file FILE
Custom status file location.
--help
Display help information.

INSTALL

sudo apk add py3-mypy
copy

CAVEATS

Daemon must be restarted after configuration changes. Memory usage increases with project size. May need restart if mypy version changes. Not suitable for parallel type checking.

HISTORY

dmypy was introduced as part of mypy, originally created by Jukka Lehtosalo at Dropbox. The daemon mode was added to address performance concerns with large codebases requiring frequent type checks during development.

SEE ALSO

mypy(1), python(1), pyright(1)

RESOURCES

Braincup
Open source brain training for math, memory and focus
Braincup mini-games
41 mini-games · Apache-2.0
No ads · No tracking
Play in browser
Download Braincup on the App StoreGet Braincup on Google PlayGet Braincup on F-Droid
276 stars
From the maker of Linux Command Library
Copied to clipboard
Braincup
Open source brain training for math, memory and focus. 41 mini-games, from mental arithmetic to Sudoku, N-Back and Solo Chess.
Apache-2.0 licensed · No ads · No tracking · No account
From the maker of Linux Command Library
Download Braincup on the App StoreGet Braincup on Google PlayGet Braincup on F-Droid