DEV Community

Cover image for Is JavaScript Statically Typed or Dynamically Typed? πŸ€”

Is JavaScript Statically Typed or Dynamically Typed? πŸ€”

Jagroop Singh on November 18, 2024

JavaScript – the language that powers the web! But when it comes to its typing system, people often wonder: Is JavaScript statically typed or dynam...
Collapse
 
pengeszikra profile image
Peter Vivo

For example hard to exactly typed a dynamical changed DOM query result, because the if the given tag type is different then the corresponding attributes and function list also different.

Also problematic set exact type to the generator functions because that may have a different return values on different yield.

Also will be problematic if user pass a complex maybe union types to a module which is according this generic-union give back another generic types related to user defined one. Like my jsdoc-duck module does.

Collapse
 
jagroop2001 profile image
Jagroop Singh • Edited

What are you saying ?

Image description

Collapse
 
pengeszikra profile image
Comment marked as low quality/non-constructive by the community. View Code of Conduct
Peter Vivo • Edited

You absolute right, I just talking about the using HTML comes many situation, where your type maybe a real complex question. Plus do not forget each function also have a type, where we can pass variable, we also also ability to pass a function.

Certainly! Let's clarify my previous:

  1. Difficulty in Typing Dynamically Changed DOM Query Results:

    • Explanation: When you query the DOM for elements, the types of those elements can vary depending on the tag names. For example, an element retrieved as <div> will have different attributes and methods compared to an <input> element.
    • Issue: Because the specific type of the element isn't known at compile timeβ€”especially if the tag types can change dynamicallyβ€”it's hard to assign an exact type. Each tag type comes with its own set of properties and methods, making static typing challenging in such dynamic scenarios.
  2. Problems with Setting Exact Types for Generator Functions:

    • Explanation: Generator functions can yield different types of values at different points during their execution.
    • Issue: Assigning a single, exact return type to a generator function is problematic because the yield statements may produce varying types. This variability makes it difficult to define a type that accurately represents all possible outputs of the generator.
  3. Handling Complex Union Types with Generic Modules (e.g., jsdoc-duck:

    • Explanation: When a user passes complex or union types to a module that uses generics, the module may return another generic type that's related to the user-defined input.
    • Issue: Managing and ensuring type safety with these complex or union types becomes challenging. The module has to account for all possible variations of the input types, which can complicate the type definitions and lead to potential type errors or inconsistencies.

Summary:

  • Dynamic Types: Static typing struggles with elements that can change type at runtime, like dynamic DOM queries.
  • Generators: Generators that yield multiple types complicate type definitions since their output isn't uniform.
  • Generic Modules with Union Types: Modules that return types based on complex or union input types have difficulty maintaining accurate and useful type information.

Possible Solutions:

  • Type Guards or Type Assertions: Use runtime checks to narrow down types where possible.
  • Union or Intersection Types: Define types that encompass all possible variations.
  • Advanced Type Features: Utilize features like conditional types or mapped types if the language supports them.
Thread Thread
 
hraifi profile image
sewiko

too much ChatGPT in this comment. Come On , don't be too lazy to write your review that much.

Thread Thread
 
miketalbot profile image
Mike Talbot ⭐ • Edited

But his initial comment wasn't ChatGPT; this one, where he tries to explain an answer to a question about his comment, is - his original point, and these are entirely legitimate points about why JavaScript is dynamically typed and what the advantages of that are. If English isn't your first language, I can understand how explaining complex concepts must be highly frustrating.

Collapse
 
leegee profile image
Lee Goddard

If you can't exactly type the element, then type it more loosely: all elements have a type in common...

Collapse
 
jagroop2001 profile image
Jagroop Singh

Yes, agreed !!
We can say in that way as well.

Thread Thread
 
miketalbot profile image
Mike Talbot ⭐ • Edited

If any wasn't frowned upon then that's true. What if you want to access those different properties, what if you want to use optional chaining to access elements and you don't want to write a lot of boilerplate casts and checks, because you don't need to. What if you want to add a Symbol property to everything you've scanning in a list before etc - this is all the power of a dynamic language.

Collapse
 
wfreeth profile image
waynef

Love dynamic typing, once you know the rules you can build stuff so much faster without the type gymnastics.

Collapse
 
sc7639 profile image
Scott Crossan

Then when the next dev comes along and adds random stuff or changes the land everything breaks. Types prevent that, as it warns your ender you broke instead of going ooh let's see at run time πŸ™ˆ

Collapse
 
vandeurenglenn profile image
Glenn Vandeuren

Then it means it's just a bad dev.

Thread Thread
 
jagroop2001 profile image
Jagroop Singh

May be he just starting out and it's normal because "Master is once a noob"

Thread Thread
 
vandeurenglenn profile image
Glenn Vandeuren

Also valid.

Collapse
 
jagroop2001 profile image
Jagroop Singh

Yes, I feel the same!

Collapse
 
jagroop2001 profile image
Jagroop Singh

Absolutely! @wfreeth

Collapse
 
jeffrey_tackett_5ef1a0bdf profile image
Jeffrey Tackett

The way to visualize dynamically typed languages like JavaScript, Python, etc., you have to understand that the value is what retains the type instead of the variable name. When you understand this, you then can grasp the complexity of JavaScript type conversion -- which is something that most languages avoid and instead require the developer to use conversion functions/methods. JavaScript was made for automating forms and with that the need for it to do it's best to not fail leaf the team to create the conversation rules that dictate what type will be returned when two different types are used.

That is why every month or so another article is written about this behavior, as it is the most unique experience in programming and has been a source of many bugs for those who don't understand how it determines a type.

Collapse
 
jagroop2001 profile image
Jagroop Singh

Exactly! In dynamically typed languages, the type is tied to the value, not the variable, making type coercion a key (and sometimes tricky) feature.

Collapse
 
ks_4ef2e5f4b profile image
Kiran Sarpotdar

The types in languages are effect of reserving memory in RAM. Languages like Javascript have dynamic allocation and I personally believe that that's how it should be as we have better RAM management. Of course the main kernel RAM management should be efficient. I personally prefer Javascript dynamically. JavaScript also offers flexibility of no compilation everytime. One can see immediate effect of the code change rather than everytime compilers has to work consuming more CPU and RAM anyways.

Those who prefer statically types can use Typescript. I don't prefer typescript. Langauge must be flexible and programmer must be better in programming.

Of course another issue in JavaScript is the variable naming and the case sensitive that causes issue but it's a separate issue. That issue takes whole lot of time of programmers if done mistakes in coding.

Collapse
 
jagroop2001 profile image
Jagroop Singh

well, I agree!

Collapse
 
sc7639 profile image
Scott Crossan

For me working in a large team types or unit tests are essential to give you the feedback of the initially intended outcome of a function. It's why we use typescript on the frontend and enable strict types in PHP on the bankend, saves so many headaches

Collapse
 
jagroop2001 profile image
Jagroop Singh

Yes !! typescript is life Savior !!

Collapse
 
aniruddhaadak profile image
ANIRUDDHA ADAK

wow amazing .

Collapse
 
jagroop2001 profile image
Jagroop Singh

thanks @aniruddhadak !!