[Galene] OT: generics [was: Heads up: Galene now requires Go 1.16]

[Juliusz Chroboczek <jch@irif.fr>]

> btw, what are your feelings about go generics?

They are smartly done, unlike C++ generics they don't impose a single
implementation strategy.  They're done in Church style (where
instantiation consists in passing a type parameter), while I tend to
prefer Curry style (where instantiation is modelled as a case of
subtyping).  They don't support specialisation (where the user writes
a specially optimised implementation for the types they really care
about), which might or might not be a limitation.

We'll see if we get any nice libraries.  I'd love to see an implementation
of B-trees with good cache locality that is type-safe and efficient at all
types.

-- Juliusz