[J3] Generics for Go

[Damian Rouson]

Good idea, Ondrej.  I would join a call.  

D

Sent from my iPhone

> On Oct 17, 2020, at 16:44, Ondřej Čertík via J3 <j3 at mailman.j3-fortran.org> wrote:
> 
> Hi Bob and Vipul,
> 
>> On Sat, Oct 17, 2020, at 9:47 AM, Robert Corbett via J3 wrote:
>> I have been studying the
>> programming language Go
>> for a few years now.  I read
>> the news section on the
>> golang website this morning.
>> I learned that some people
>> are again trying to add generics
>> to the language.  There was
>> a previous effort to do so, but
>> apparently it was too ambitious.
> 
> 
> Thanks for the link. I read it and my understanding of it is that they are doing  templates + strong concepts (using C++ terminology), which we have determined in the Generics subgroup is the way to go. The Go proposal shows on an example how it differs from C++ templates.
> 
> They specifically show that the constraint causes the compiler to check both the user code (instantiation) and the library code (generics code). That's called the strong concept in C++.
> 
> Is anybody interested in having a video call next week to make some more progress on generics?
> 
> Here is our current status:
> 
> https://github.com/j3-fortran/generics/issues/9
> 
> Ondrej