mypy VS edX

mypy Reviews

edX Reviews

mypy mentions (48)

• 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 / 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: 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: about 1 year 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

edX mentions (235)

• So I made a python script to add entries to your dynamic config.yml file dynamically

  Let me know what you think and if you have suggestions to resolve that bug. I'm learning programming and have next to no python experience, I am taking CS50 through edx.org and the AI at chatgpt did most of the work. Source: 10 months ago

• Think I might change my name...

  Im sorry man I want to be sympathetic but people like you cost an incalculable amount of people far more than you could even imagine and I truly believe that if hell exists you will be going there. I am serious though about seeking mental help you seem to still not have any impact on your mind or soul of how you affected other people just how your actions affected you that is some sociopath shit right there and if... Source: 10 months ago

• I’m homeschooled but my parents don’t teach me a thing

  Khanacademy.org is a fantastic resource for math, as well as many other courses. If you have access to the internet, try taking some of the courses there. They mirror what is taught in public schools with classes for all grade levels. There are other resources like edx.org that can provide free courses in topics like computer science and business. Source: 10 months ago

• Is there a way to learn AI during my engineering degree?

  u can always self study, u aren’t limited to learn only what’s in ur degree. Go on edx and check our some of their free courses. Ur life is a lot more than the degree ur pursuing. Source: 11 months ago

• What I Learned from Two Years of Teaching High School CS

  The "best" professors/teachers I saw yet, where radiating an exhuberant joy while talking about their topic. It is fun to listen. They where a russian teaching in america who recorded a series about physics for TTC, The Teaching Company. He got voted best professor in america twice.The other one was David Malan of Harvards CS50 on [0]. Beware though, it sadly spoils you for later lectures by others. [0]... - Source: Hacker News / 11 months ago