DConf 2013 Day 3 Talk 2: Code Analysis for D with AnalyzeD by Stefan Rohe

[Don]

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.