Geoff Romer

> I'm inexperienced with language design, so this is asked out of ignorance, but once there's code in the wild, doesn't it become much more expensive to change? One of...

It surprises me a bit that we'd have multiple packages in the standard library, since it seems to contravene the rule of thumb that one git repo is one package....

> ``` > fn Main() -> void { > var x: dynamic = 5; > x = 3.1415; > Print(x); > } > ``` We do [plan to support](https://github.com/carbon-language/carbon-lang/blob/trunk/docs/design/generics/details.md#dynamic-types) dynamic...

> That's why C++ modules are kind of dead on arrival. Non-specific and hyperbolic criticisms like this don't make for constructive discussion, because they tend to alienate rather than informing...

This PR is marked "ready for review", but it's still in the "Draft" column of the "Proposals" project (see "Projects" on the right side of the GitHub window). If you...

> I would also like to add that unsigned integers are often used as the size type for containers. Arithmetic operations are required if that would be the case for...

> ...a lot of existing C++ templates don't have constraints yet. Since our interop/migration target is C++17, don't we need to assume that _all_ C++ templates lack constraints?

> ``` > var b: Array(bool, N + 1); > ``` Did you mean this to be ``` var b: Array(bool, NPlusOne); ```

I'm fairly sure C++ doesn't allow calling member functions that way, so I'd suggest changing the issue title to something like "Calling member functions as free functions". I think [adapters](https://github.com/carbon-language/carbon-lang/blob/trunk/docs/design/generics/details.md#adapting-types)...

> I forgot to mention that the C++ STL offers a whole range of template functions to call common member functions like begin(), end(), empty(), size(), ... so you can...