News for hackers. Stuff that matters.
Re:On Learning Rust and Go: Migrating Away from Python by jsjohnst on Sunday March 24, 2019 @08:19AM (#19475905)
> I began to think that a strong type system

You’re confusing static/dynamic and strong/weak. Python is a strongly typed language, but also is dynamicly typed language.

Need proof? Try doing this:

a = 3

b = “3”

c = a + b

> having to use lots of assert(isinstance(arg, type))

Python has type hinting now, try using a current version of Python and this isn’t needed.

Re:On Learning Rust and Go: Migrating Away from Python by mjw1007 on Sunday March 24, 2019 @08:54AM (#19476062)
I think that example shows that Python's type system isn't the weakest out there, but it's still pretty weak.

For example, it doesn't have a built-in way to make a dictionary-whose-keys-must-be-integers (so with your example above if you wrote thedictionary.get(b) rather than thedictionary.get(a) you'd get an error rather than None).

I've often seen learners have trouble with this sort of thing (you read a number from a file, neglect to call int(), and get mysterious lookup failures).

Re:On Learning Rust and Go: Migrating Away from Python by UncleEntity on Sunday March 24, 2019 @09:23AM (#19476195)
> so with your example above if you wrote thedictionary.get(b) rather than thedictionary.get(a) you'd get an error rather than None

Technically, dict.get() returns None if the item isn't found and you don't provide a different value for its default.

thedictionary[b] would throw a KeyError on the other hand.

One could always subclass dict if they wanted to ensure the keys were always integers or whatever.

> I've often seen learners have trouble with this sort of thing (you read a number from a file, neglect to call int(), and get mysterious lookup failures).

Not sure if you're arguing for a stronger type system or having the language promote the string to an int as (I've heard) other scripting languages do.

Though, once you figure out the language doesn't automagically parse files for you you're well on the way to finding more fun and exciting ways to get python to throw error messages at you.

Re:On Learning Rust and Go: Migrating Away from Python by bill1124 on Sunday March 24, 2019 @08:34AM (#19475967)
strong type system != strongly typed.

Type hinting does not guarantee to catch everything, but for Python proponents 95% is apparently "good enough".

Re:On Learning Rust and Go: Migrating Away from Python by LawnboyMax on Sunday March 24, 2019 @10:14AM (#19476437)
I am using the current Python version and tried type hinting. I don't see how it can help much, since types are not enforced;especially when interfacing with not-so-well-tested modules that don't use type hinting and can sometimes return values of unexpected type.

It's definitely a neat feature when writing an application from scratch that interfaces with few other modules or only the well-tested ones.

Re:On Learning Rust and Go: Migrating Away from Python by flyinglizard on Sunday March 24, 2019 @08:26AM (#19475932)
The point is that your example will not break anything until run time, unless some static analysis tools are deployed (which are much more limited compared to what a compiler can achieve).