Trunk.io Check Reviews

mypy Reviews

Trunk.io Check mentions (3)

• 82% of Open-Source Projects Suffer from Tool Rot

  Unfortunately, the best solution, according to this blog post, is, surprise, surprise, to subscribe to their product (which also encourages devs to embrace brain-dead practices like empty commit messages and squash-merges, which gives me little faith in their product, but I digress). So I guess those of us who can't or won't cough up a subscription fee are just hosed. Source: over 2 years ago

• An ex-Googler's guide to dev tools

  I would say any styleguide that is in prose form and not machine enforced is deficient. Modern linting and formatting tools are the best, most efficeiect means for enforcing style. No religious arguments are needed if the tooling decides what is correct. Shameless plug for https://trunk.io/products/check - which will handle universal enforcement of all the tooling for all of the pieces of your tech stack. - Source: Hacker News / almost 3 years ago

• 5% of 666 Python repos had comma typo bugs (inc V8, TensorFlow and PyTorch)

  I actually recently joined a startup working on this problem! One of our products is a universal linter, which wraps the standard open-source tools available for the different toolchains, simplifies the setup/installation process for all of them, and a bunch of other usability things (suppressing existing issues so that you can introduce new linters with minimal pain, CI integration, and more): you can read more... - Source: Hacker News / over 3 years ago

mypy mentions (50)

• Java in the Small

  I've always admired many of Java's features, but let's not act like the reason for using Java for scripting is the pitfalls of Python. It's just because of an underlying preference for Java. 1. https://mypy-lang.org/. - Source: Hacker News / 5 months ago

• Moving your bugs forward in time

  ‍I’m not here to tell people which languages they should love. But if you do find yourself writing production code in a dynamically typed language like Python, Ruby, or JavaScript, I would give serious consideration to opting into the type-checking tools that have become available in those ecosystems. In Python, consider requiring type hints and adding mypy checks to your CI to move your type safety bugs forward... - Source: dev.to / 12 months ago

• 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 / over 1 year 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 / over 1 year 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: almost 2 years ago