title: Does (or will) C# include features for side-effects verification?
body: <p>I know C# is getting a lot of parallel programming support, but AFAIK there is still no constructs for side-effects verification, right?</p>
  
  <p>I assume it's more tricky now that C# is already laid out. But are there plans to get this in? Or is F# the only .NET language that has constructs for side-effects verification?</p>