JeenaAug 17, 2024

1 hour in Java

https://piefed.jeena.net/post/33729

1 hour in Java

Show threadlugalAug 17, 2024

But one compiling error is Java is 7 run time errors in python.

There is a type error and you couldn’t have known it beforehand? Thanks for nothing

Show threadscrion
With type annotations, this problem is mostly alleviated in practice, while still keeping the productivity gains of duck typing.
Aug 17, 2024 at 6:00pmWeb
Show threadEpheraAug 17, 2024
In my experience, Python’s type annotations are annoying as hell, because there’s no inference.
Show threadcatastrophicbluesAug 17, 2024
You can use mypy and/or Pydantic.
Show threadEpheraAug 18, 2024

Neither of those provide type inference? Type inference is when you give the compiler only occasional type hints and it can still figure out what the types are behind the scenes.

For example:

name = "World" greeting = "Hello " + name compile_error = greeting / 42

In a type-inferred language, the compiler would automatically know that:

  • the first line is of type String, because it’s trivially initiated as one.
  • the second line is of type String, because String + String results in a String.
  • the third line is non-sense, because greeting is a String and cannot be divided by a number. It could tell this before you run the program.

    • Mypy on the other hand can only tell these things, if you give the first two lines an explicit type hint:

    name: String = "World" greeting: String = "Hello " + name

    Having to do this on every line of code is extremely noisy and makes refactoring annoying. I can absolutely understand that Python folks think you get productivity gains from duck typing, if this is the version of static typing they’re presented.

    And we did excessively use mypy + type hints + pydantic on my most recent Python project. These are not the silver bullet you think they are…

    Show threadcatastrophicbluesAug 19, 2024
    If you’re going to post a code example, at least check that it works. Here’s your example, with no type hints, giving me errors both from the LSP, and when trying to run via mypy: imgur.com/a/Hq5Y5Gt.
    imgur.com

    Discover the magic of the internet at Imgur, a community powered entertainment destination. Lift your spirits with funny jokes, trending memes, entertaining gifs, inspiring stories, viral videos, and so much more from users.

    Imgur