Imagine creating a customized container in TypeScript. Let's consider this straightforward example:
class Container<T> {
val: T;
constructor(t: T) {
this.val = t;
}
}
Now, let's say you want to implement a function that can generate a new container by adding the values of two containers with numeric data.
class Container<T> {
val: T;
constructor(t: T) {
this.val = t;
}
add(c: Container<number>): Container<number> {
return new Container(this.val + c.val);
}
}
However, there's a challenge in getting the above code to pass the typecheck parameter. Since the type of this.val is undefined, it becomes complex to constrain the add method for instances where T == number. Is there a solution using TypeScript?
The example mentioned above is just simplification. The ultimate goal is to establish a TypeScript interface for applicative functors. Essentially, an applicative functor includes a method that could be defined for Container similar to this:
ap<A, B>(c: Container<A>): Container<B> {
return new Container(this.val(c.val));
}
This would require ensuring that T == (a: A) => B. On a broader scale, the intention is to define an interface like this:
interface Applicative<T> {
...
ap: <A, B>(a: Applicative<A>) => Applicative<B> // where T == (a: A) => B
...
}
Does TypeScript provide a solution for these scenarios?