Software Engineering

Should an interface covariant on T ever implement an interface invariant on it?

I was reading through the Hacklang docs on Collections, and came across this curious definition [paraphrased slightly]: interface KeyedIterable ... interface ConstVector implements KeyedIterable ... Of course, KeyedIterable must be read-only with respect to Tv, and indeed it is since its methods cannot modify its type. It could be specified to be covariant on at least Tv, but isn't. I was wondering what impetus there could be to do this? Edit: I read the definition wrong, KeyedIterable is actually defined as KeyedIterable, so this definition makes perfect sense. I'm just realizing now that it's not so much "should or should not", but rather "this is never possible".

Apr 23, 2025 - 17:20
 0
Should an interface covariant on T ever implement an interface invariant on it?

I was reading through the Hacklang docs on Collections, and came across this curious definition [paraphrased slightly]: 

interface KeyedIterable ...
interface ConstVector<+Tv> implements KeyedIterable  ...

Of course, KeyedIterable must be read-only with respect to Tv, and indeed it is since its methods cannot modify its type. It could be specified to be covariant on at least Tv, but isn't.

I was wondering what impetus there could be to do this?

Edit: I read the definition wrong, KeyedIterable is actually defined as KeyedIterable, so this definition makes perfect sense. I'm just realizing now that it's not so much "should or should not", but rather "this is never possible".

Read More

Tags:

Previous Article

Cybersecurity – Protect What Matters Most

Next Article

Subnautica 2 kicks off its road to early access with its first dev vlog, diving ...

Related Posts

use of minOccurs="0" without nillable="true" in SOAP

use of minOccurs="0" without nillable="true" in SOAP

Mar 19, 2025  0

Is there any idea to display the progress information when the data is synchronized?

Is there any idea to display the progress information w...

Apr 8, 2025  0

Using partials to automate form inputs creation

Using partials to automate form inputs creation

Mar 10, 2025  0