News for hackers. Stuff that matters.

A comment on Expectations for generics in Go 1.18. Parent comment

Re:Expectations for generics in Go 1.18 by Zababa on Thursday October 28, 2021 @09:35AM (#29025935)
Do you mean that in contrast to affine types, that are here for borrow checking?
[ Parent | on HN ]
Re:Expectations for generics in Go 1.18 by masklinn on Saturday October 30, 2021 @02:40PM (#29051238)
No, I mean that in contrast to the other side of the discussion (zig’s errors).

And affine types are not here for borrow checking, it’s closer to the opposite. Affine types are a formalisation of RAII, borrow checking is a way to make references memory-safe without runtime overhead which mostly avoids unnecessary (and sometimes impossible requiring allocations & refcounting) copies of affine types.

[ Parent | on HN ]