Re: [go-nuts] [Generics] Feedback on updated draft

2020-07-23 Thread Ian Lance Taylor
On Thu, Jul 23, 2020 at 1:12 AM Aleksey Tulinov wrote: > > First of all, thank you for taking your time to answer this topic. I > know some stuff i say is dumb, i appreciate your patience. > > To answer your question: i would assume that OR is about as useful as > AND or NOT. > > type Constraint

Re: [go-nuts] [Generics] Feedback on updated draft

2020-07-23 Thread Aleksey Tulinov
Ian, First of all, thank you for taking your time to answer this topic. I know some stuff i say is dumb, i appreciate your patience. To answer your question: i would assume that OR is about as useful as AND or NOT. type Constraint interface { Sequence && !Channel } With that said. So far

Re: [go-nuts] [Generics] Feedback on updated draft

2020-07-23 Thread Ian Lance Taylor
On Wed, Jul 22, 2020 at 9:41 PM Aleksey Tulinov wrote: > > This is Java-style inheritance. It isn't bad, but i think that > C++-style composition is somehow more in the spirit of Go. Strictly > personal opinion of course. Older proposal described constraints as > expressions, so to me it appears

Re: [go-nuts] [Generics] Feedback on updated draft

2020-07-22 Thread Aleksey Tulinov
I'm not sure if i understood everything correctly. type structField(type T) struct { a int x T } But this is a generic type, not a constraint for a type, isn't it? Constraint is this: type Custom interface{ type int, float64, uint64 } type structField(type T Custom) interface {

Re: [go-nuts] [Generics] Feedback on updated draft

2020-07-22 Thread lx . gulak
Hey! I would like to join the discussion and add my 5 cents here, since I have been criticizing the contracts draft and I would like to show what were my points in order to support the current design draft. I believe the original problem for the generics is to allow the same function to

Re: [go-nuts] [Generics] Feedback on updated draft

2020-07-22 Thread Ian Lance Taylor
On Wed, Jul 22, 2020 at 5:12 PM Aleksey Tulinov wrote: > > Hmm. I must have read the previous version, but it probably was some > time ago. I have to say that i like the previous version more than the > current one. > > I definitely don't like this: > > type structField interface { > type

Re: [go-nuts] [Generics] Feedback on updated draft

2020-07-22 Thread Aleksey Tulinov
Hmm. I must have read the previous version, but it probably was some time ago. I have to say that i like the previous version more than the current one. I definitely don't like this: type structField interface { type struct { a int; x int }, struct { b int; x float64 }, struct { c int;

Re: [go-nuts] [Generics] Feedback on updated draft

2020-07-22 Thread Ian Lance Taylor
On Wed, Jul 22, 2020 at 1:46 PM Aleksey Tulinov wrote: > > I'm not really a language designer and i don't use Go extensively, so > please take my words with a grain of salt. But I like Go and would > like to use it, and I'd like to put my 2 cents into the jar. I'm sorry > if this was already

[go-nuts] [Generics] Feedback on updated draft

2020-07-22 Thread Aleksey Tulinov
Hi, I'm not really a language designer and i don't use Go extensively, so please take my words with a grain of salt. But I like Go and would like to use it, and I'd like to put my 2 cents into the jar. I'm sorry if this was already discussed, I checked the mailing list but didn't find this. I've