因此,在这种情况下,将Either a称为多态类型构造函数并将Maybe称为具体类型构造函数是正确的吗?(我就是这样称呼他们的,他们在Haskell术语中的正式名称是什么?)我不知道该如何从概念上解释Either a (多态类型构造函数)是Functor的实例这一事实?同样,(->) r (也是Either a的同类动物)也是Functor。这些多态类型构造函数在哪里进行了更详细的描述和讨论?
我目前正在TypeScript中进行一个项目(2.9.2版),并且遇到了一个意想不到的多态行为。在像Java和C#这样的类中,接口定义多态行为和类一样多,也就是说,在下面,item1可以是A类型,也可以是B类型,而item2可以是C类型,就像它可以是D类型一样。,因为B实现了A,如果一个函数返回的是A类型的东西,那么它也应该能够返回一些B类型的东西。(method) Project.B.someFunction(str: string): B
部分问题似乎在于我在A中声明了一个构造函数。
我明白我的输出背后的原因是运行时的多态性。但是我不能弄明白是怎么回事?请解释运行时多态性、构造函数和继承之间的关系。 这是JAVA代码。我已经了解了运行时的多态性,但是我没能弄清楚。/ object of type A A1 a = new B2();
} } 我期望的结果如下 调用了构造函数但结果是 构造函数A()调用构