mypy Reviews and details

Social recommendations and mentions

• Embracing Modern Python for Web Development

  Mypy is "an optional static type checker for Python that aims to combine the benefits of dynamic (or "duck") typing and static typing". As Python is dynamically typed, Mypy adds an extra layer of safety by checking types at compile time (based on type annotations conforming to PEP 484), catching potential errors before runtime. - Source: dev.to / 5 months ago

• A Tale of Two Kitchens - Hypermodernizing Your Python Code Base

  Mypy stands as an essential static type-checking tool. Its primary function is to verify the correctness of types in your codebase. However, manually annotating types in legacy code can be laborious and time-consuming. - Source: dev.to / 6 months ago

• Lua: The Little Language That Could

  Lua is a great language for embedding, but one thing I wish it had was some form of optional type annotations that could be checked by a linter. Something like mypy for Lua would be super-useful. Source: 11 months ago

• Please critique my Collatz conjecture code

  Python is a dynamically typed language (unlike C or java which are statically typed) meaning that there's no enforcement on the type. This var ; type syntax is called Type Hints, and they are just that, merely hints. So they serve as a reminder to developers of what types of variables a function should receive and output, but they implement no real restrictions. So if you try to pass a string to collatz for... Source: 12 months ago

• Why is every crate pre-1.0?

  Mypy (https://mypy-lang.org/), the static type checker for python, so quite an important project in the python ecosystem. Source: about 1 year ago

• Python w/ strict typechecker

  Google, Facebook and Microsoft have published their static type checkers for Python. The one I will cover here is mypy; it’s one of the most famous ones out there. - Source: dev.to / over 1 year ago

• 8 Levels of Using Type Hints in Python

  Then use http://mypy-lang.org/ to do actual type checking :). Source: over 1 year ago

• Why must you pencil necked geeks make things so unnecessarily complicated?

  One reason why many people enjoy statically typed languages, or in context of Python, using mypy, even if it isn't the complete solution. Source: over 1 year ago

• py-template: one-click extensive GitHub Actions pipelines for your Python projects!

  Code quality control with flake8, Mypy and auto fixing with black (and many more). Source: over 1 year ago

• Python 3.11.0 final is now available

  This is being solved through mypy: http://mypy-lang.org/ A large majority of packages are still missing typing hints, but the ecosystem is moving in the right direction on that issue. - Source: Hacker News / over 1 year ago

• Why Rust?

  Mypy type hints are referred to as "optional static typing" Http://mypy-lang.org/. Source: over 1 year ago

• Python for C++ Programmer

  In the case of Dropbox, this was helped by them employing Guido van Rossum, creator of Python, for a while. You may not be aware that the Dropbox desktop application was written in Python and they use a lot of Python for the back-office work. Hence the development of Mypy. Source: over 1 year ago

• Statically type & compile Python code

  You can write Python code in a statically typed way using type hints, check for type errors using mypy, and you can compile any Python using Nuitka. So, if you mix them both, you get statically typed, compiled Python code! - Source: dev.to / over 1 year ago

• Going all-in on Rust

  Personally, I'm partial to the PyO3+PyQt/PySide option because Qt's QWidget APIs are a very polished and mature way to build a portable "as native as feasible without writing a separate frontend for each platform" GUI with great quality-of-life things like QMainWindow::saveState, PyQt-compatible bindings for addons like Qt Advanced Docking System, and tooling like MyPy. (It also helps that, as a KDE user, QWidget... Source: almost 2 years ago

• The REGAL Architecture

  If your code as a definite shape, a compiler can help you. Things like Haskell, Scala/Gleam, TypeScript, Python Typings with mypy, and Rust have really good compilers to get you “close” to correctness. Meaning, you’ll no longer have syntax errors when you run your code. - Source: dev.to / almost 2 years ago

• Will strongly typed languages become deprecated?

  You might want to look at mypy if you want a static type checker for python. Source: almost 2 years ago

• Parsing Lambda Error Logs in ReScript & Python

  If you’re an imperative or Object Oriented programmer in Python, this may look not just unpythonic, but super weird. We write functional code in Python much like we’d do it in JavaScript or ReScript; by using a Monadic interface provided by either the language (e.g. Promise in JavaScript or Result in ReScript), or a library (e.g. Folktale for Result in JavaScript). In Python, we’re using PyMonad. While... - Source: dev.to / almost 2 years ago

• Making Django Global Settings Dynamic: The Singleton Design Pattern

  It is assummed that readers are pretty familiar with Django and JavaScript as well as the typed extension of Python using mypy, typing built-in module, and PEP8. - Source: dev.to / almost 2 years ago

• "Community is essential to programmers" - Eric Matthes

  Nowadays it's good practice to use virtual environments and to annotate your code with types (mypy helps with that). I also recommend using pylint. Source: about 2 years ago

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

  MyPy can be used to validate type safety via type hints before runtime. http://mypy-lang.org/. - Source: Hacker News / about 2 years ago

• C++ Show and Tell - April 2022

  Have you used the Clang Python Bindings, but wanted type hints in your IDE? Have you ever wanted to use mypy tools on a project that uses Clang but gotten errors due to lack of type annotations? This package is a PEP 561 stub package which provides type information for Clang. Source: about 2 years ago