http://mschnlnine.vo.llnwd.net/d1/Dev/App_Themes/C9/images/feedimage.pnghttp://channel9.msdn.com/tags/Eiffel/eiffelhttp://channel9.msdn.com/tags/Eiffel/en-usMon, 27 Apr 2009 19:07:05 GMTMon, 27 Apr 2009 19:07:05 GMTEvNet (EvNet, Version=1.0.3608.3122, Culture=neutral, PublicKeyToken=null)<img src="http://mschnlnine.vo.llnwd.net/d1/ch9/5/6/9/6/6/4/LangNET2009EmmanuelStapfEiffel_small_ch9.png" border="0" />The <a href="http://en.wikipedia.org/wiki/Eiffel_%28programming_language%29">Eiffel programming language</a> is an object-oriented language that is based on a fixed set of powerful principles like Design by Contract and Command-Query Separation. It's a very powerful language that has impacted the evolution of the more popular general purpose OO languages such as Java and C#. Here, one of the developers of Eiffel, <a href="http://archive.eiffel.com/general/people/stapf.html" target="_blank">Emmanuel Stapf</a>, sits down with one of the C# language designers, Mads Torgersen, to discuss the language level code contracts in Eiffel and the general principles of contract oriented programming.<img src="http://channel9.msdn.com/466965/WebViewBug.aspx?EVT=0" height="1" width="1" alt="" />http://channel9.msdn.com/posts/Charles/Emmanuel-Stapf-Eiffel-and-Contract-Oriented-Programming/http://channel9.msdn.com/posts/Charles/Emmanuel-Stapf-Eiffel-and-Contract-Oriented-Programming/Wed, 29 Apr 2009 18:43:00 GMThttp://mschnlnine.vo.llnwd.net/d1/ch9/5/6/9/6/6/4/LangNET2009EmmanuelStapfEiffel_2MB_ch9.wmv29696http://channel9.msdn.com/466965/WebViewBug.aspx?EVT=0The <a href="http://en.wikipedia.org/wiki/Eiffel_%28programming_language%29">Eiffel programming language</a> is an object-oriented language that is based on a fixed set of powerful principles like Design by Contract and Command-Query Separation. It's a very powerful language that has impacted the evolution of the more popular general purpose OO languages such as Java and C#. Here, one of the developers of Eiffel, <a href="http://archive.eiffel.com/general/people/stapf.html" target="_blank">Emmanuel Stapf</a>, sits down with one of the C# language designers, Mads Torgersen, to discuss the language level code contracts in Eiffel and the general principles of contract oriented programming.Charles0http://channel9.msdn.com/posts/Charles/Emmanuel-Stapf-Eiffel-and-Contract-Oriented-Programming/RSS/http://channel9.msdn.com/466965/Trackback.aspxEiffelLangNET 2009Programming Languages<a href="http://en.wikipedia.org/wiki/Bertrand_Meyer">Bertrand Meyer</a> is a programming language guru,&nbsp;computer&nbsp;scientist and arguably the uncle of object oriented programming :). Bertrand created the <a href="http://en.wikipedia.org/wiki/Eiffel_%28programming_language%29">Eiffel programming language</a>. Eiffel is an object-oriented language that is based on a fixed set of powerful principles like Design by Contract and Command-Query Separation. It's a very powerful language that has impacted the evolution of the more popular general purpose OO languages such as Java and C#. <BR><BR>With the arrival of multi-core and soon-to-arrive many-core chipsets concurrency and parallelism are top-of-mind for general purpose language designers these days. Bertrand has introduced the SCOOP model on top of Eiffel. SCOOP is a comprehensive effort to make concurrent and distributed programming simple and safe, taking advantages of Eiffel's object technology and Design by Contract.<BR><BR>General purpose programming language designer and passionate functional programmig advocate <a href="http://research.microsoft.com/~emeijer/">Erik Meijer</a> leads the discussion in this addition of Expert to Expert. You all know <a href="http://channel9.msdn.com/tags/erik+meijer>Erik </a>by now. He's one of our favorite technical celebrities. He and his small team of innovators continue to&nbsp;build <a href="http://labs.live.com/volta/">great tools</a> for software developers.<BR><BR>Very special guest star and famous mathematical logician&nbsp;<a href="http://www.cs.sfu.ca/research/groups/CL/people/gurevich_bio.htm">Yuri Gurevich</a> joins us for the first half of the conversation (He happened to be in Bertrand's office when we arrived - very lucky for us indeed!&nbsp;:)).<BR><BR>This is a long conversation that I hope you eenjoy as much as I do. Find yourself some quality time to listen and learn from this chat amongst some the world's finest programming thinkers.<BR><BR>Enjoy!<BR><BR><a href="http://mschnlnine.vo.llnwd.net/d1/ch9/0/E2EMeijerMeyerGurevich_512kbs.wmv">Low res file here</a>.<img src="http://channel9.msdn.com/249684/WebViewBug.aspx?EVT=0" height="1" width="1" alt="" />http://channel9.msdn.com/shows/Going+Deep/Expert-to-Expert-Erik-Meijer-and-Bertrand-Meyer-Objects-Contracts-Concurrency-Sleeping-Barbers/http://channel9.msdn.com/shows/Going+Deep/Expert-to-Expert-Erik-Meijer-and-Bertrand-Meyer-Objects-Contracts-Concurrency-Sleeping-Barbers/Thu, 27 Mar 2008 18:32:29 GMThttp://mschnlnine.vo.llnwd.net/d1/ch9/0/E2EErikMeijerBetrandMeyer.wmv25197http://channel9.msdn.com/249684/WebViewBug.aspx?EVT=0<a href="http://en.wikipedia.org/wiki/Bertrand_Meyer">Bertrand Meyer</a> is a programming language guru,&nbsp;computer&nbsp;scientist and arguably the uncle of object oriented programming <img src='/emoticons/C9/emotion-1.gif' alt='Smiley' />. Bertrand created the <a href="http://en.wikipedia.org/wiki/Eiffel_%28programming_language%29">Eiffel programming language</a>. Eiffel is an object-oriented language that is based on a fixed set of powerful principles like Design by Contract and Command-Query Separation. It's a very powerful language that has impacted the evolution of the more popular general purpose OO languages such as Java and C#. <BR><BR>Charles24http://channel9.msdn.com/shows/Going+Deep/Expert-to-Expert-Erik-Meijer-and-Bertrand-Meyer-Objects-Contracts-Concurrency-Sleeping-Barbers/RSS/http://channel9.msdn.com/249684/Trackback.aspxEiffelErik MeijerExpert to ExpertFunctional ProgrammingMS ResearchParallel ComputingProgrammingSoftware Composability