Golang generics development tree?

[alex.be...@gmail.com]

Is there a publicly accessible tree used for generics development?

I recall that there's a tree with a completed syntax parser somewhere but I can't find it right now.

[Robert Griesemer]

At the moment theres's no new publicly accessible tree besides what I have posted after Gophercon 2017. We are working on a more full-featured prototype but it's not ready for public consumption at this time.

Below is what I sent out last year.

- gri

---------

I have updated and uploaded the CL implementing a parsing/printing prototype of the contracts design draft that we have presented at GopherCon 2018 in Denver.

See https://golang.org/cl/149638 .

This CL may be cherry-picked on top of current tip to build/install install a modified compiler. It makes it possible to play with the contracts/type parameter notation. See the CL description for details. Note that there are no semantic checks of any kind implemented at this time.

See also https://github.com/golang/go/issues/15292#issuecomment-438880159 .

This CL's primary purpose was for experimenting and gaining experience with the notation; for instance, it did help us find some of the minor syntactic ambiguities that we have pointed out in the design draft. The parser accepts a slightly larger language than defined syntactically, for better syntax error recovery; the intent is that a future type checker will point out remaining errors.

There is no intent to submit this in the current form (certainly not in the main Go repo).

On Sun, Mar 24, 2019 at 11:24 PM <alex.be...@gmail.com> wrote:

Is there a publicly accessible tree used for generics development?

I recall that there's a tree with a completed syntax parser somewhere but I can't find it right now.

--
You received this message because you are subscribed to the Google Groups "golang-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email to golang-dev+...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.