特定のメソッドの汎用クラスを制約できますか？

Question

たとえば、TypeScriptでコンテナを作成します。これは、任意のコンテナかもしれないが、私は次の簡単な例を使用します：

class Container<T> { 
    val: T; 
    constructor(t: T) { 
    this.val = t; 
    } 
} 

は、私が番号を持つ2個のコンテナを持っている場合、私は簡単で新しいコンテナを作成できるように、私は機能を提供したいと言いますそれらの数字は一緒に追加されました。

class Container<T> { 
    val: T; 
    constructor(t: T) { 
    this.val = t; 
    } 
    add(c: Container<number>): Container<number> { 
    return new Container(this.val + c.val); 
    } 
} 

しかし、上記のコードの型チェックを行うことができるかどうかはわかりません。問題は、私がthis.valについて知っているのは、タイプT（これは何もありません）ということです。私は何とかaddメソッドを制限して、Container<T>のインスタンスでしか呼び出せないようにしたいと思っています。T == numberです。それはTypeScriptで可能ですか？

上記はちょっとした例です。私が実際にやりたいことは、アプリケーションファンクタのためのTypeScriptインターフェイスを作成することです。

ap<A, B>(c: Container<A>): Container<B> { 
    return new Container(this.val(c.val)); 
} 

したがって、この場合には、私はT == (a: A) => Bことを知っている必要があります：応用的機能はContainerのために、このようになります方法があります。より一般的には、このインターフェースを定義できるようにしたいと考えています：

interface Applicative<T> { 
    ... 
    ap: <A, B>(a: Applicative<A>) => Applicative<B> // where T == (a: A) => B 
    ... 
} 

これはどれですか？

Answer 1

あなたがすることはできません単一の方法に適用されるTの制限があります。あなたはクラスレベルでしかそれらを持つことができません。

Answer 2

ジェネリック型に制約を追加できます。あなたのケースでは

あなたはこのような何か行うことができます：

interface HasNumber { 
    x: number; 
} 

class Container<T extends HasNumber> { 
} 

をしかし、あなたは、このような数値、文字列、ブール値などの基本的なタイプを使用して制約を持つことができません...