From ceff0d8381c981e8ed3a72ae44f6f5dcac3c3dd1 Mon Sep 17 00:00:00 2001 From: Ivan Levkivskyi Date: Sun, 4 Dec 2022 14:43:27 +0000 Subject: [PATCH] Advertise mypy daemon in README --- README.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 95cacb05d682..136ab9875746 100644 --- a/README.md +++ b/README.md @@ -109,9 +109,13 @@ programs, even if mypy reports type errors: python3 PROGRAM You can also try mypy in an [online playground](https://mypy-play.net/) (developed by -Yusuke Miyazaki). +Yusuke Miyazaki). If you are working with large code bases, you can run mypy in +[daemon mode], that will give much faster (often sub-second) incremental updates: + + dmypy run -- PROGRAM [statically typed parts]: https://mypy.readthedocs.io/en/latest/getting_started.html#function-signatures-and-dynamic-vs-static-typing +[daemon-mode]: https://mypy.readthedocs.io/en/stable/mypy_daemon.html Integrations