lor.sh is one of the many independent Mastodon servers you can use to participate in the fediverse.
lor.sh is yet another mastodon instance.

Administered by:

Server stats:

368
active users

Andrija Petrovic

Separating the design-time logic from run-time logic brought me up to speed with development.
affects (almost) only the design-time; as a newbie, I treat it as an _assignment checker_.
In run-time, a program runs as . No dynamic casts.
It seems to me that my efficiency and productivity are boosted because of switching to from . It's only a couple of days, though, but I already see that because of type/assignment checking my code is better organized than before.

@crnkovic static typing practically tests (code-level) contracts at compilation time.

It also enforces developers to add some structure to things, and this structure is explicit and (self)documented by types.

After experience with both. I strongly prefer statically typed languages. It's not that it's impossible to work with dynamically typed codebases, and maintain them. But, it's not what I want to spend my time & effort on.