On Sat, 3 Nov 2018 11:21:30 +0000 roger peppe <rogpe...@gmail.com> wrote:
> In case it's of interest, I've been playing around with an experiment about > how Go generic code might be generated. I've been playing around in the CGG proposal context, too. Unfortunately my spare time shrunk recently. You did more so I just share my initial draft. https://github.com/ohir/gonerics/blob/master/howdoes.md ---- Current state of CGG (https://github.com/ohir/gonerics) - no new keywords. Only ones known to Go1. - contract uses already known Go type definitions and casts. - only one new syntax construct for user, and three for generic code : x.pkg.Method() generic method call via package selector : (x type T) declarations — as in team's proposal : for type contract; tied to the package or func : for type switch that can further specialise code on matched type Future: I'll consider Burak Sedar's **like Type** within CGG contract. -- Wojciech S. Czarnecki << ^oo^ >> OHIR-RIPE -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.