Scott sits down with Mike Barnett and Rustan Leino of Microsoft Research and talks about the Spec# programming language. The compiler enables Design By Contract and extends C#. The team needs your help to get these features in the next version of C#!
don't worry if you don't have an account with us, we'll create one
[{"meta":{"author":"Hanselminutes with Scott Hanselman","authorlink":""},"src":"https:\/\/cdn.simplecast.com\/audio\/248323\/24832310-78fe-4898-91be-6db33696c4ba\/f5c7fad0-c773-4e5a-8807-f08dd8a1441c\/b2edbb81_tc.mp3?aid=rss_feed&feed=gvtxUiIf","thumb":{"src":"https:\/\/lystnimg.b-cdn.net\/podcastsnw-202208\/10b4e6-2c1d-e6fc-319180_800.jpg"},"title":"Microsoft Research: Spec#","link":"javascript:;","id":"item-788269"}]
