[Proposal]: Type Classes (aka Concepts, Structural Generic Constraints)

[MadsTorgersen]

Type Classes (aka Concepts, Structural Generic Constraints)

• Specification: Not created. See below.
• Discussion: Champion "Type Classes (aka Concepts, Structural Generic Constraints)" #8878

Summary

See

• https://github.com/MattWindsor91/roslyn/blob/master/concepts/docs/csconcepts.md
• https://c10109cf-a-62cb3a1a-s-sites.googlegroups.com/site/mlworkshoppe/2016-7.pdf
• https://github.com/MattWindsor91/roslyn
• Previously discussed at Please Add Type Classes to C# roslyn#16312

Design meetings

• https://github.com/dotnet/csharplang/blob/main/meetings/2022/LDM-2022-09-26.md#roles--extensions