4 ms·
> 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?
by hellofunk 9y ago
> 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?
- dragonwriter 9y agoPerl 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.
- hellofunk 9y agoSuch 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.
- mannykannot 9y ago> 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.