On Wednesday, 23 September 2020 at 18:49:28 UTC, data pulverizer wrote:
On Wednesday, 23 September 2020 at 18:37:45 UTC, wjoe wrote:
[...]

A class at compile time is it's own static type, OOP polymorphism is a runtime feature not compile time. You have to write your own traits for specific objects to get them to relate to each other using static overloading.

It doesn't occur to me that the compiler doesn't know at compile time that

interface IFoo{}
class Foo: IFoo {}

class Foo implements interface IFoo.

Reply via email to