On Tue, 18 Sep 2018 09:51:03 -0700 (PDT) xingtao zhao <zhaoxing...@gmail.com> wrote:
> contract Foo(T) { > int(T) || float64(T) || complex128(T) // underlying type: int, float64, > complex128 > InterfaceA(T) // at the same time, it > should satisfy InterfaceA > } CGG https://github.com/ohir/gonerics proposal already has contracts as you described. Thanks for your support :) -- 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.