Since the trait system is implemented in terms of the type system and multiple dispatch, I don’t see how it can be more general. It’s very convenient, though.
Related topics
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Why traits? | 5 | 1802 | November 19, 2023 | |
RFC: Language Support for Traits — Yay or Nay? | 45 | 4958 | February 8, 2023 | |
Is multiple inheritance allowed (or to be allowed) in Julia? | 4 | 2255 | June 6, 2017 | |
Trait inheritance | 4 | 601 | February 20, 2019 | |
Working on a pattern for interface-based dispatch that uses code-generation. Is this efficient? | 7 | 844 | May 6, 2019 |