by Marcel Garus · 1 minute read · available at

Marcel Garus

Enfieldstr. 85
45966 Gladbeck
+49 15751770663

This website contains links to external websites – mainly the URLs redirect to external websites. In general, I do not have control over their content. Therefore, I do not accept any liability for this third-party content. The respective provider or operator is ultimately responsible for the content of the linked pages.

Thanks for reading!

If you liked this article, feel free to share it using this shortlink:

By the way, I wrote other articles about interesting topics. Here's an article I recommend:

A Critical Look at Static Typing

2022-01-23 · 6 minute read · programming language design

Nowadays, there are soooo many programming languages. One critical differentiation point among them is how their type systems work. You can sort programming languages into two camps:

  • Statically-typed languages determine what sort of values can be stored in variables just by looking at the program.

  • Dynamically-typed languages can't statically infer what sort of values can be stored in variables. They have to run the program to find out.

If given a choice, I prefer statically-typed languages. Because they know the types of variables, they can offer clever suggestions. Additionally, the compiler catches many errors while you write the code, so you get immediate feedback.

On the other hand, most type systems limit what you can express in a language. In comparison, dynamic languages feel more flexible.