[OT, but getting closer]: reddit discussion on C++ Concepts: A Postmortem

[Andrei Alexandrescu]

On 07/07/2010 08:42 PM, bearophile wrote:
> Bartosz Milewski:
>> It's the same phenomenon you have in weakly typed languages,<
>
> I think he means dynamically typed languages. An example of partially
> weakly typed language is C.

I made the same exact point while reviewing! I'm not sure why he stuck 
with the "weakly" misnomer. Here's my comment:

===========
"weakly typed languages" -> "dynamically typed languages" throughout 
(just to avoid antagonizing anyone gratuitously, plus it's more correct 
as C is weakly typed but can't detect type errors).
===========

> For example Python3 is almost as strongly
> typed as D.
>
>
>> Concepts do introduce a lot of complexity into the language but
>> they reduce and organize the complexity of programs.<
>
> There are features more important for library developers and other
> features that are enough for application writers.

Yah, though I pointed out that dedicating too complex features to the 
very few is an indication that something has gone wrong in the design of 
the language. It's the beauty-of-the-part at the expense of the whole 
fallacy.


Andrei