U tweetove putem weba ili aplikacija drugih proizvođača možete dodati podatke o lokaciji, kao što su grad ili točna lokacija. Povijest lokacija tweetova uvijek možete izbrisati. Saznajte više
I’ve seen a few static typing fans advancing the “dynamically typed languages are like statically typed languages that have just one type” argument. This is sometimes a useful perspective to take, but it usually isn’t. Dynamically typed languages have different types of values.
Likewise, I’ve seen people pointing out that you can do everything you can do in Python in Haskell because you can implement a Python interpreter in Haskell. This is also technically true but not at all practically useful. Please stop making these arguments.
Indeed. Someone should write a blog post about that ...
incredibly kind of you to step up and volunteer your time like this, Sam
Can you explain what those different types of values are?
Well, sure. They’re strings and numbers and pairs and dates and pictures and XML documents and URLs and buttons and threads and locks and so on. The usual things.
Sadly, not in a way that is useful for proving anything. Abstractions die the moment you stop enforcing them. The meaning of a program (fragment) is in the entirety of things you can do with it, not the tiny subset that you find useful.
Dynamically typed languages enforce types (+ 1 “2”) is a type error in Clojure or Common Lisp. It’s just checked at execution time rather than compile time.
A colleague once told me that Java is a dynamically typed language. I don't think I managed to convince him otherwise.
Java has both a static and a dynamic type system! They coincide in a lot of places, but not everywhere. In general Java is a lot more “dynamic” than people assume. Dynamic class loading, compilation, introspection, class redefinition, ...
I almost universally see this used as a way of dismissing dynamic languages and it makes me think less of people who say it; at least, less open to having a genuine or respectful conversation about it.
It’s just the worst kind word squatting. If there were people planting their flag on Pype Theory and claiming runtime values actually had Pags attached to them then it would be simply pedantic. But these are common words.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.
