Go: Support for Generic Methods

TL;DR

Buying for a business?Offer from Amazon

Get business pricing on monitors, keyboards and dev gear

• Business-only prices and quantity discounts
• Tax-exempt purchasing
• Multiple users, one account, clear invoices

Create a free Business account →Free to register

As an affiliate, we earn on qualifying purchases.Hide

The Go language team has proposed a new syntax to support generic methods, enabling functions with type parameters to be declared with receivers. This change aims to improve code organization without requiring interface implementation. The proposal is under discussion and not yet implemented.

The Go language proposal introduces syntax for generic methods, allowing functions with type parameters to have receivers, addressing long-standing requests from the community. This change aims to improve code organization and flexibility without tying methods to interface implementation, which has been a point of contention.

The proposal suggests modifying the syntax of method declarations to include type parameters, making them resemble generic functions with receivers. Currently, Go’s syntax only allows functions to have type parameters, not methods, due to the language’s design around interface implementation. The new syntax would make method declarations explicitly accept type parameters, aligning with existing function syntax.

Type arguments for these generic methods can be supplied explicitly or inferred, similar to generic functions. Existing features like method expressions and method values would continue to work seamlessly, with the only change being the syntax for declaring methods. The proposal emphasizes that generic methods can exist independently of interfaces, addressing previous concerns that adding such features might imply the need for generic interface methods.

Why It Matters

This development matters because it addresses a long-standing feature request from the Go community to support generic methods. It enhances code organization by allowing methods to be generic without tying them to interfaces, potentially leading to cleaner and more flexible codebases. The change could influence future language evolution and library design in Go.

Background

Historically, Go’s design has limited methods to non-generic functions with receivers, partly because of the language’s emphasis on interface implementation. Proposals for generic methods date back to 2021, with significant community support, as evidenced by over 900 positive emojis on the initial proposal. The discussion reflects ongoing efforts to balance language simplicity with advanced features like generics, which have been introduced in recent Go versions for types and functions but not yet for methods.

“Generic concrete methods are useful by themselves, even if they don’t implement interface methods.”

— Go language proposal author

“The syntax of method declarations should accept type parameters as do function declarations.”

— Go language design discussion

What Remains Unclear

It is not yet clear how the Go community will receive this proposal or whether it will be adopted into the language. The implementation details, especially regarding backward compatibility and integration with existing features, remain under discussion. The timeline for potential inclusion in future Go releases is also uncertain.

What’s Next

The proposal will undergo further review and discussion within the Go language design team and community forums. If accepted, the next steps include drafting language specification updates, implementing syntax changes in the compiler, and testing in experimental branches. Broader community feedback and developer testing will inform the final decision.

Key Questions

What is a generic method in Go?

A generic method in Go is a method that can have type parameters, allowing it to operate on different types without rewriting the method for each type. It is similar to generic functions but with a receiver, enabling more flexible code organization.

How does this proposal differ from existing Go features?

Currently, Go only supports generic functions with type parameters. This proposal introduces syntax for methods to also be generic, allowing functions with receivers to have type parameters, independent of interface implementation.

Will generic methods require changes to existing code?

No, existing code will remain compatible. The syntax change is additive, allowing new style method declarations with type parameters. Existing non-generic methods and functions will continue to work as before.

When might this feature be available in Go?

The proposal is still under discussion, with no official timeline. If accepted, it could be included in a future major release after thorough testing and community review.

Source: Hacker News