News for hackers. Stuff that matters.
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.
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.