mypy Reviews

Elixir 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 / 15 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 / 7 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: 12 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: about 1 year ago

Elixir mentions (74)

• Install mutiple Erlang and Elixir with vfox

  If you've been using asdf to manage and maintain multiple versions of Erlang and Elixir, then vfox is also a good choice for you. - Source: dev.to / 26 days ago

• Perfect Elixir: Environment Setup

  I’m on MacOS and erlang.org, elixir-lang.org, and postgresql.org all suggest installation via Homebrew, which is a very popular package manager for MacOS. - Source: dev.to / 2 months ago

• Reliability in Legacy Software

  But regardless of their reasons, they'll note that the service is easily meeting its SLOs. It was written in a highly performant, if idiosyncratic language, and uses patterns which give it a high level of resilience and the ability to recover from many situations automatically. The service is steady as a rock, and left to its own devices will more or less chug along indefinitely once deployed. - Source: dev.to / 2 months ago

• Meet entr, the standalone file watcher

  As you might have guessed, one of the main use cases for entr is to rerun tests whenever files change. I'm an Elixir engineer, and I use entr to run mix test continuously whenever I save an Elixir file. - Source: dev.to / 7 months ago

• Good Bye CRUD APIs, Hello Sync: Realtime PostgreSQL with ElectricSQL

  The diagram demonstrates the communication pathway between the browser and the Postgres database through the Electric service. Essentially, Electric Sync Service, an Elixir application, orchestrates active-active data replication between the user's local DB and Postgres. - Source: dev.to / 7 months ago