On Wed, 12 Sep 2018 07:05:55 -0700
Ian Lance Taylor wrote:
> I don't see a description of generic types, I only see generic functions.
CGG in its current shape does not allow for **declaring** generic named types
out of thin air. But it allows for instantiating such types
(now p 3.2 in draft):
On Wed, Sep 12, 2018 at 6:47 AM, Wojciech S. Czarnecki wrote:
>
> https://github.com/ohir/gonerics
>
> Thanks to all for your insights and stated concerns.
>
> Changes:
>
> 1. "Out" (return) type constraints are out. Might return as optional.
> 2. enumerated "T is assignable to" constraint added
>
https://github.com/ohir/gonerics
Thanks to all for your insights and stated concerns.
Changes:
1. "Out" (return) type constraints are out. Might return as optional.
2. enumerated "T is assignable to" constraint added
3. "Rationale" clarified.
--
Wojciech S. Czarnecki
<< ^oo^ >> OHIR-RIPE
--
