[Dlang-internal] Is there any chance to introduce concepts/traits/typeClasses in dlang?
sighoya at gmail.com
Sun Dec 15 13:11:35 UTC 2019
and collision by multiple inheritance wasn't ever an issue which
can be easily solved by scoping the super interfaces.
Another biworld are final classes and structs which seemingly
equal in ther purpose, from a type theoretic viewpoint they
represent the same type, so why have to version of the
abstraction, choosing only structs as value or reference type
would excitingly solve the issue.
Nevertheless, w can't changed everything in a backward-compatible
way. I hope some of you are happy to discuss ideas about concepts
in this thread.
More information about the Dlang-internal