Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

No, not acually.

Generics in Go are vastly different than templates in C++. They might be used for similar things, but whereas Go's generics actually build up on Go's structural typing, templates are ... something completely different again.

I mean; C++ templates are Turing complete. They are in the same ballpark as Scala's type machinery. And I say that with adoration.



> I mean; C++ templates are Turing complete.

that's not a very high milestone to achieve. Even java generics are turing complete (https://arxiv.org/abs/1605.05274)


Holy crap, indeed!

The older I get, the more icky I find subtyping. It just makes things messy...




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: