On Wed, Aug 12, 2020 at 9:58 AM Markus Heukelom <markus.heuke...@gain.pro> wrote: > > > > On Mon, Aug 10, 2020 at 8:30 PM Ian Lance Taylor <i...@golang.org> wrote: >> >> Go is a strictly typed languages, and constraints are the meta-types >> of type parameters. > > > I just realised there might be a distinction between strictly typed and > strongly typed languages. Would it be correct to say C++ is strongly typed, > but not strictly typed wrt templates (up C++20 at least)? Did you mean it in > that sense?
I'm not sure about the exact terminology here. I would agree that C++ is only weakly typed at the template meta level. As I understand it (and I may not), C++20 introduces optional strict typing at the template meta level. In the current generics design draft we are requiring strict meta-types at the generic level. Ian -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/golang-nuts/CAOyqgcU%3DZcZ1SmUa-uqn1QrdvMZE3yTjptCUNRVePx6%2BHHZ4gw%40mail.gmail.com.