|
|
|
|
|
|
by dgb23
1990 days ago
|
|
|
I find the proposal interesting. Type constraints might help to reason about a given abstraction. If I understand correctly they behave quasi like sum types over interfaces. From skimming here: https://go.googlesource.com/proposal/+/master/design/go2draf... They don't feel like generics in for example Java (my Java is rudimentary), but rather like an abstraction over interfaces. Can anyone elaborate on this? |
|
|