mypy Reviews

ifttt Reviews

mypy mentions (49)

• 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 / 28 days 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 / 6 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 / 8 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: about 1 year 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: about 1 year ago

ifttt mentions (179)

• Todoist + Google Calendar + IFTTT: How I created a GTD "tickler" for recurring events

  What I've done instead is, for any recurring event that isn't really due on that date, like "book a haircut" or "fertilize roses", I add an event on a Google Calendar called "Tickler" with the desired recurrence. I then have an IFTTT (https://ifttt.com/explore) integration that creates a Todoist event in my inbox whenever that event shows up on my calendar. It doesn't show up with a due date so I can schedule it... Source: 12 months ago

• what are your recommendations

  Or head to the Explore page and see if anything grabs your attention. Source: over 1 year ago

• Messages after death

  Slack has a feature to schedule messages, also a bunch of bots that do various scheduling tasks… Also you could use a email marketing tool like Mailchimp that could allow you scheduling Mails far a head. But any service you choose should be around somewhat longterm right? It will probably require some money and a bit of luck for the service or app of choice to stay around for a while. So ideally something relying... Source: over 1 year ago

• They air tagged nana because she kept running the streets.

  I don’t know about the air tag nativity, which it probably does. But you can do that with any smartphone they has gps; with an app / website called ifttt. Source: over 1 year ago

• Trying to create Alexa routine to automate thermostat changes when both my and my wife's phones are gone

  There's also some automation that you can do with something like https://ifttt.com/explore. Source: over 1 year ago