News for hackers. Stuff that matters.

A comment on Yes, Python is Slow, and I Don’t Care. Parent comment

Re:Yes, Python is Slow, and I Don’t Care by kazinator on Friday September 08, 2017 @12:52PM (#15201830)
> A type can't tell you that.

Yes, it can! --- but you don't necessarily want to confound your program with such a thing.

The old adage about the cure being worse than the disease applies.

[ Parent | on HN ]
Re:Yes, Python is Slow, and I Don’t Care by hellofunk on Friday September 08, 2017 @01:30PM (#15202252)
> Yes, it can!

Ok, how? Other than an Ada example, or dependently-typed languages that aren't use in production, can you offer an example?

[ Parent | on HN ]
Re:Yes, Python is Slow, and I Don’t Care by mannykannot on Monday September 11, 2017 @12:32PM (#15219769)
> Other than an Ada example, or dependently-typed languages that aren't use in production...

Every time someone gives you an answer, you modify the question to exclude it. Eventually you will have excluded everything that refutes the fallacy in your original post, but it is still there.

[ Parent | on HN ]
Re:Yes, Python is Slow, and I Don’t Care by dragonwriter on Friday September 08, 2017 @02:28PM (#15202780)
Perl 6, for instance, supports subset types such as:

  subset Positive of Int where * > -1
OTOH, while some Perl 6 supports some static type checking, subsets of this kind seem to support only dynamic, not static, enforcement.
[ Parent | on HN ]
Re:Yes, Python is Slow, and I Don’t Care by hellofunk on Friday September 08, 2017 @05:28PM (#15204092)
Such subsets are readily available in all dynamic languages I've used. But the issue here is really about compile-time checking these things, and that's a different animal.
[ Parent | on HN ]