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.

Reply via email to