facebook / facebook/flow

Support for recursive type bounds

Aperta
#3,437 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub
feature request
Lingua principale
Rust
Stelle
22.3k
Fork
1.9k
Metriche di merge delle PR
Nessuna PR unita negli ultimi 30g

Descrizione

It would be nice to support recursive type bounds.

I was trying to do something like the following:

```swift
interface Vector {
subVectors(a :VT, b :VT) :VT;
}

class VecRange> {
create() :VectorT {
throw new Error("abstract");
}

constructor(min :VectorT, max :VectorT) {
this.gamut = this.create().subVectors(max, min);
}
}
```

but such fanciness appears not to be supported. This sort of thing is quite common in Java &c where you might do something like:

```java
interface Vector {
public VT sub (VT a, VT b);
}

abstract class VecRange> {
public abstract VectorT create();
public VectorT gamut (VectorT max, VectorT min) {
return this.create().sub(max, min);
}
}

class Vector3 implements Vector {
public Vector3 sub (Vector3 a, Vector3 b) { return null; /*stub*/ }
}

class VecRange3 extends VecRange {
public Vector3 create() {
return new Vector3();
}
}
```

Guida per i contributori

Apri la guida per i contributori

Valutazione

Questa issue non è ancora stata valutata.

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.