On Wed, Aug 12, 2020 at 9:58 AM Markus Heukelom <[email protected]> wrote: > > > > On Mon, Aug 10, 2020 at 8:30 PM Ian Lance Taylor <[email protected]> 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/golang-nuts/CAOyqgcU%3DZcZ1SmUa-uqn1QrdvMZE3yTjptCUNRVePx6%2BHHZ4gw%40mail.gmail.com.
