すみません、タイトルがちょっと間違っています。メソッドバインディングについて考えていたので、この質問が出てきました。いくつかの疑似コードの例..
interface A
interface B
val z: A & B = [object of a class that implements A and B];
この機能をサポートする静的言語はありますか?
-> 両方のタイプの z への参照の解決。
それとも、論理的な問題があり、それは不可能ですか?
すみません、タイトルがちょっと間違っています。メソッドバインディングについて考えていたので、この質問が出てきました。いくつかの疑似コードの例..
interface A
interface B
val z: A & B = [object of a class that implements A and B];
この機能をサポートする静的言語はありますか?
-> 両方のタイプの z への参照の解決。
それとも、論理的な問題があり、それは不可能ですか?