[J3] Generics for Go

[Mark LeAir]

I'm available for a conference call after 11am Pacific Time.

-Mark


-----Original Message-----
From: J3 <j3-bounces at mailman.j3-fortran.org> On Behalf Of Ondrej Certík via J3
Sent: Sunday, October 18, 2020 12:20 PM
To: Damian Rouson <damian at sourceryinstitute.org>; J3 Mailinglist <j3 at mailman.j3-fortran.org>
Cc: Ondřej Čertík <ondrej at certik.us>
Subject: Re: [J3] Generics for Go

External email: Use caution opening links or attachments


Awesome, thank you Damian.

I setup a pool for this week:

https://doodle.com/poll/mahvsiqyiw52bwyp

Anybody interested please note your times, I will announce on Tuesday morning when we'll do the call.

Ondrej

On Sun, Oct 18, 2020, at 9:08 AM, Damian Rouson wrote:
> 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
>