this post was submitted on 06 Jul 2023
78 points (100.0% liked)

Programming

17344 readers
265 users here now

Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!

Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.

Hope you enjoy the instance!

Rules

Rules

  • Follow the programming.dev instance rules
  • Keep content related to programming in some way
  • If you're posting long videos try to add in some form of tldr for those who don't want to watch videos

Wormhole

Follow the wormhole through a path of communities [email protected]



founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 4 points 1 year ago (2 children)

I agree, but I imagine dynamic type fans would say they don't understand why explicitly stating types can be helpful.

[–] [email protected] 2 points 1 year ago (1 children)

Optional typing is pretty useful, especially if the tooling is such that it catches most issues. I use Python's optional typing quite a bit, and my general approach is to add types if the function is intended to be reused or if it took more than three seconds to figure out what it does. We also use Typescript, and typing isn't necessary there either.

If your type system is too strict, it can be really annoying to work with and make simple things take longer. If it's too loose, you'll introduce stupid bugs.

[–] [email protected] 1 points 1 year ago

If your type system is too strict, it can be really annoying to work with and make simple things take longer.

Swift has entered the chat.

[–] [email protected] 1 points 1 year ago

Yeah I think it’s a misunderstanding. There’s no way they aren’t encountering issues from dynamic types.