Matthias Blume <····@my.address.elsewhere> wrote:
> Dirk Thierbach <··········@gmx.de> writes:
>> Nobody expects static typing to guard against race conditions.
> Why not?
[...]
> In fact, static analysis (although perhaps not in form of type
> systems)
Because it's static analysis, and not a static type system.
> is your best (some may say: only) bet against the possibility
> of race conditions and their ilk.
Yes. I know.
- Dirk