On Wednesday, 12 June 2013 at 12:50:39 UTC, Andrei Alexandrescu
wrote:
Reddit:
http://www.reddit.com/r/programming/comments/1g6x9g/dconf_2013_code_analysis_for_d_with_analyzed/
Hackernews: https://news.ycombinator.com/item?id=5867764
Twitter:
https://twitter.com/D_Programming/status/344798127775182849
Facebook:
https://www.facebook.com/dlang.org/posts/655927124420972
Youtube: http://youtube.com/watch?v=ph_uU7_QGY0
Please drive discussions on the social channels, they help D a
lot.
Andrei
The restrictions on contracts were very interesting. Obviously
the static analysis could be more sophisticated than what you
currently have, but
I don't think contracts can be much use to a static analyzer if
they can contain arbitrary code.
I would be interested to see how much freedom is actually
required, in order to make contracts adequately expressive.
Perhaps it was a language mistake to allow arbitrary code inside
contracts, it might have been better to start with something very
restricted and gradually relax the rules.
