Channel 9 - Entries tagged with FSharp Microsoft http://mschnlnine.vo.llnwd.net/d1/Dev/App_Themes/C9/images/feedimage.png Channel 9 - Entries tagged with FSharp http://channel9.msdn.com/Tags/fsharp Channel 9 keeps you up to date with the latest news and behind the scenes info from Microsoft that developers love to keep up with. From LINQ to SilverLight – Watch videos and hear about all the cool technologies coming and the people behind them. http://channel9.msdn.com/Tags/fsharp en Mon, 13 Feb 2012 05:21:36 GMT Mon, 13 Feb 2012 05:21:36 GMT Rev9 30 2 25 Tao Liu: F# Design Patterns Tao Liu, an engineer on the F# team, explains (and demonstrates) the importance and value of design patterns for F#. Many programmers who work on large or complex software systems are accustomed to employing design patterns in the development of these systems.  For experienced C# developers wanting to add F# to their toolchain for large scale software development, design patterns play a very important role. Historically, there have been little to no formal design patterns for F#. This is no longer the case. Tune in.

Further reading and sample code employing design patterns in F# 3.0:

http://fsharp3sample.codeplex.com/

]]> http://channel9.msdn.com/posts/Tao-Liu-F-Design-Patterns Tao Liu, an engineer on the F# team, explains (and demonstrates) the importance and value of design patterns for F#. Many programmers who work on large or complex software systems are accustomed to employing design patterns in the development of these systems.  For experienced C# developers wanting to add F# to their toolchain for large scale software development, design patterns play a very important role. Historically, there have been little to no formal design patterns for F#. This is no longer the case. Tune in.Further reading and sample code employing design patterns in F# 3.0:http://fsharp3sample.codeplex.com/ 803 http://channel9.msdn.com/posts/Tao-Liu-F-Design-Patterns Mon, 17 Oct 2011 20:47:27 GMT http://channel9.msdn.com/posts/Tao-Liu-F-Design-Patterns Charles Charles 36 http://channel9.msdn.com/posts/Tao-Liu-F-Design-Patterns/rss Design Patterns FSharp Functional Programming F# and Windows Azure with Don Syme (#3 of 4) David Gristwood grabs his camera, and heads down to the Microsoft Research Centre in Cambridge with Dave Brown, an architect at the Microsoft Technology Centre, to talk to Don Syme, a Principal Researcher at Microsoft Research, about F# in part 3 of this video series. Don, who created F#, demonstrates the language with live coding examples in F# Interactive, focussing on Windows Azure.

Links:

•       Microsoft F# Developer Center, http://www.fsharp.net

•       Don Syme’s blog, http://blogs.msdn.com/b/dsyme/

]]> http://channel9.msdn.com/Blogs/David+Gristwood/F-and-Windows-Azure-with-Don-Syme-3-of-4 David Gristwood grabs his camera, and heads down to the Microsoft Research Centre in Cambridge with Dave Brown, an architect at the Microsoft Technology Centre, to talk to Don Syme, a Principal Researcher at Microsoft Research, about F# in part 3 of this video series. Don, who created F#, demonstrates the language with live coding examples in F# Interactive, focussing on Windows Azure. Links: •       Microsoft F# Developer Center, http://www.fsharp.net •       Don Syme’s blog, http://blogs.msdn.com/b/dsyme/ 1180 http://channel9.msdn.com/Blogs/David+Gristwood/F-and-Windows-Azure-with-Don-Syme-3-of-4 Mon, 27 Sep 2010 09:20:01 GMT http://channel9.msdn.com/Blogs/David+Gristwood/F-and-Windows-Azure-with-Don-Syme-3-of-4 David Gristwood David Gristwood 2 http://channel9.msdn.com/Blogs/David+Gristwood/F-and-Windows-Azure-with-Don-Syme-3-of-4/RSS .NET .NET Framework FSharp Microsoft Research MS Research MSR UKDevTeam Windows Azure An F# Tutorial with Don Syme (#2 of 4) David Gristwood grabs his camera, and heads down to the Microsoft Research Centre in Cambridge with Dave Brown, an architect at the Microsoft Technology Centre, to talk to Don Syme, a Principal Researcher at Microsoft Research, about F# in part 2 of this video series. Don, who created F#, demonstrates the language with live coding examples, such as analysing a real-time Twitter feed using F# Interactive.

 Links:

•       Microsoft F# Developer Center, http://www.fsharp.net

•       Don Syme’s blog, http://blogs.msdn.com/b/dsyme/

]]> http://channel9.msdn.com/Blogs/David+Gristwood/An-F-Tutorial-with-Don-Syme-2-of-4 David Gristwood grabs his camera, and heads down to the Microsoft Research Centre in Cambridge with Dave Brown, an architect at the Microsoft Technology Centre, to talk to Don Syme, a Principal Researcher at Microsoft Research, about F# in part 2 of this video series. Don, who created F#, demonstrates the language with live coding examples, such as analysing a real-time Twitter feed using F# Interactive.  Links: •       Microsoft F# Developer Center, http://www.fsharp.net •       Don Syme’s blog, http://blogs.msdn.com/b/dsyme/ 1606 http://channel9.msdn.com/Blogs/David+Gristwood/An-F-Tutorial-with-Don-Syme-2-of-4 Mon, 27 Sep 2010 09:19:50 GMT http://channel9.msdn.com/Blogs/David+Gristwood/An-F-Tutorial-with-Don-Syme-2-of-4 David Gristwood David Gristwood 3 http://channel9.msdn.com/Blogs/David+Gristwood/An-F-Tutorial-with-Don-Syme-2-of-4/RSS .NET .NET Framework FSharp Microsoft Research MS Research MSR UKDevTeam An Introduction to F# with Don Syme (#1 of 4) David Gristwood grabs his camera, and heads down to the Microsoft Research Centre in Cambridge with Dave Brown, an architect at the Microsoft Technology Centre, to talk to Don Syme, a Principal Researcher at Microsoft Research, about F# in part 1 of this video series. Don, who created F#, introduces the language and describes the best way to begin developing with F#.

Links:

•      Microsoft F# Developer Center,http://www.fsharp.net

•      Don Syme’s blog, http://blogs.msdn.com/b/dsyme/

Books

•      “F# Survival Guide”, http://www.ctocorner.com/fsharp/book/

•      “Programming F#”, http://oreilly.com/catalog/9780596801359/

•      “Real World Functional Programming”,http://functional-programming.net/

•      “Beginning F#”, http://www.apress.com/book/view/1430223898 

•      “F# for Scientists”, http://eu.wiley.com/WileyCDA/WileyTitle/productCd-0470242116.html

•      “Visual F# 2010 for Technical Computing”,http://www.ffconsultancy.com/products/fsharp_for_technical_computing/index.html

•      “Expert F# 2.0”, http://www.apress.com/book/view/9781430224310

 

]]> http://channel9.msdn.com/Blogs/David+Gristwood/An-Introduction-to-F-with-Don-Syme-1-of-4 David Gristwood grabs his camera, and heads down to the Microsoft Research Centre in Cambridge with Dave Brown, an architect at the Microsoft Technology Centre, to talk to Don Syme, a Principal Researcher at Microsoft Research, about F# in part 1 of this video series. Don, who created F#, introduces the language and describes the best way to begin developing with F#.Links:•      Microsoft F# Developer Center,http://www.fsharp.net•      Don Syme’s blog, http://blogs.msdn.com/b/dsyme/Books•      “F# Survival Guide”, http://www.ctocorner.com/fsharp/book/•      “Programming F#”, http://oreilly.com/catalog/9780596801359/•      “Real World Functional Programming”,http://functional-programming.net/•      “Beginning F#”, http://www.apress.com/book/view/1430223898 •      “F# for Scientists”, http://eu.wiley.com/WileyCDA/WileyTitle/productCd-0470242116.html•      “Visual F# 2010 for Technical Computing”,http://www.ffconsultancy.com/products/fsharp_for_technical_computing/index.html•      “Expert F# 2.0”, http://www.apress.com/book/view/9781430224310  1612 http://channel9.msdn.com/Blogs/David+Gristwood/An-Introduction-to-F-with-Don-Syme-1-of-4 Mon, 27 Sep 2010 09:19:38 GMT http://channel9.msdn.com/Blogs/David+Gristwood/An-Introduction-to-F-with-Don-Syme-1-of-4 David Gristwood David Gristwood 0 http://channel9.msdn.com/Blogs/David+Gristwood/An-Introduction-to-F-with-Don-Syme-1-of-4/RSS .NET .NET Framework FSharp UKDevTeam Teaching programming language concepts with F#, part 2 Teaching programming language concepts with F#, part 2

By Peter Sestoft, Professor IT University of Copenhagen, Denmark.

In this second part, Peter finishes the first "demo" lecture of the F#-based programming language course (started in part 1, found here:

http://channel9.msdn.com/posts/martinesmann/Teaching-programming-language-concepts-with-F-part-1/.

Peter Sestoft at ITU.dk: http://www.itu.dk/people/sestoft

Lecture notes and other downloads: http://www.itu.dk/courses/BPRD/E2010/

]]> http://channel9.msdn.com/Blogs/martinesmann/Teaching-programming-language-concepts-with-F-part-2 Teaching programming language concepts with F#, part 2By Peter Sestoft, Professor IT University of Copenhagen, Denmark.In this second part, Peter finishes the first "demo" lecture of the F#-based programming language course (started in part 1, found here:http://channel9.msdn.com/posts/martinesmann/Teaching-programming-language-concepts-with-F-part-1/.Peter Sestoft at ITU.dk: http://www.itu.dk/people/sestoftLecture notes and other downloads: http://www.itu.dk/courses/BPRD/E2010/ 1235 http://channel9.msdn.com/Blogs/martinesmann/Teaching-programming-language-concepts-with-F-part-2 Thu, 02 Sep 2010 07:59:00 GMT http://channel9.msdn.com/Blogs/martinesmann/Teaching-programming-language-concepts-with-F-part-2 martinesmann martinesmann 2 http://channel9.msdn.com/Blogs/martinesmann/Teaching-programming-language-concepts-with-F-part-2/RSS C9 Lectures DPEDK FSharp Peter Sestoft Teaching programming language concepts with F#, part 1 Teaching programming language concepts with F#, part 1

By Peter Sestoft, Professor IT University of Copenhagen, Denmark.

In this first part, Peter introduces the curriculum, lecture plan and lecture notes for the course "Programs as data" that uses the functional programming concepts in F# to teach students language concepts and implementation details.

Peter also begins on the first lecture (continued in the  second part, found here:http://channel9.msdn.com/posts/martinesmann/Teaching-programming-language-concepts-with-F-part-2/).

Peter Sestoft at ITU.dk: http://www.itu.dk/people/sestoft

Lecture notes and other downloads: http://www.itu.dk/courses/BPRD/E2010/

]]> http://channel9.msdn.com/Blogs/martinesmann/Teaching-programming-language-concepts-with-F-part-1 Teaching programming language concepts with F#, part 1 By Peter Sestoft, Professor IT University of Copenhagen, Denmark.In this first part, Peter introduces the curriculum, lecture plan and lecture notes for the course "Programs as data" that uses the functional programming concepts in F# to teach students language concepts and implementation details.Peter also begins on the first lecture (continued in the  second part, found here:http://channel9.msdn.com/posts/martinesmann/Teaching-programming-language-concepts-with-F-part-2/). Peter Sestoft at ITU.dk: http://www.itu.dk/people/sestoft Lecture notes and other downloads: http://www.itu.dk/courses/BPRD/E2010/ 2249 http://channel9.msdn.com/Blogs/martinesmann/Teaching-programming-language-concepts-with-F-part-1 Thu, 02 Sep 2010 07:59:00 GMT http://channel9.msdn.com/Blogs/martinesmann/Teaching-programming-language-concepts-with-F-part-1 martinesmann martinesmann 11 http://channel9.msdn.com/Blogs/martinesmann/Teaching-programming-language-concepts-with-F-part-1/RSS C9 Lectures DPEDK FSharp Peter Sestoft ELC 2010: Rich Hickey and Joe Pamer - Perspectives on Clojure and F# Emerging Languages Camp 2010, I caught up with two of the day's presenters, Clojure creator Rich Hickey (you've met Rich before in an Expert to Expert episode with Brian Beckman) and F# compiler developer Joe Pamer. Clojure is a dynamic language that compiles to byte code/IL, targeting both the JVM and the CLR. Clojure is a Lisp. F# is a strongly-typed hybrid language that targets the CLR and employs a dual programming model—functional and object-oriented imperative.

Tune in. ]]> http://channel9.msdn.com/Blogs/Charles/Emerging-Langs-Clojure-and-F After a long day of sessions at Emerging Languages Camp 2010, I caught up with two of the day's presenters, Clojure creator Rich Hickey (you've met Rich before in an Expert to Expert episode with Brian Beckman) and F# compiler developer Joe Pamer. Clojure is a dynamic language that compiles to byte code/IL, targeting both the JVM and the CLR. Clojure is a Lisp. F# is a strongly-typed hybrid language that targets the CLR and employs a dual programming model—functional and object-oriented imperative.Tune in. 1435 http://channel9.msdn.com/Blogs/Charles/Emerging-Langs-Clojure-and-F Mon, 09 Aug 2010 16:51:00 GMT http://channel9.msdn.com/Blogs/Charles/Emerging-Langs-Clojure-and-F Charles Charles 3 http://channel9.msdn.com/Blogs/Charles/Emerging-Langs-Clojure-and-F/RSS Clojure Compilers Emerging Langs 2010 FSharp Programming Languages C9 Lectures: Dr. Don Syme - Introduction to F#, 3 of 3 F# is Microsoft's first functional programming language to be included as one of Visual Studio's official set of languages. F# is a succinct, efficient, expressive functional/object-oriented programming language under joint development by Microsoft Developer Division and Microsoft Research.

In Part 3 of this 3-part lecture series, Dr. Don Syme elaborates further on:

Patterns
Object Basics
Imperative Programming

Part 1
Part 2

Get the slides for this lecture series here.
Read Don's Blog

The F# Team says: We’re excited to announce that we have made available a new release of F# along with the Visual Studio 2010 RC and a matching February 2010 F# CTP for VS2008. 

]]> http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Don-Syme-Introduction-to-F-3-of-3 F# is Microsoft's first functional programming language to be included as one of Visual Studio's official set of languages. F# is a succinct, efficient, expressive functional/object-oriented programming language under joint development by Microsoft Developer Division and Microsoft Research. In Part 3 of this 3-part lecture series, Dr. Don Syme elaborates further on:PatternsObject BasicsImperative ProgrammingPart 1Part 2Get the slides for this lecture series here.Read Don's BlogThe F# Team says: We’re excited to announce that we have made available a new release of F# along with the Visual Studio 2010 RC and a matching February 2010 F# CTP for VS2008.  1741 http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Don-Syme-Introduction-to-F-3-of-3 Thu, 18 Feb 2010 19:05:00 GMT http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Don-Syme-Introduction-to-F-3-of-3 Charles Charles 9 http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Don-Syme-Introduction-to-F-3-of-3/RSS C9 Lectures Don Syme FSharp Functional Programming Programming Languages C9 Lectures: Dr. Don Syme - Introduction to F#, 2 of 3 F# is Microsoft's first functional programming language to be included as one of Visual Studio's official set of languages. F# is a succinct, efficient, expressive functional/object-oriented programming language under joint development by Microsoft Developer Division and Microsoft Research. During the course of Erik Meijer's fantastic lecture series on functional programming fundamentals several of you asked for examples of specific topics in F#.

In part 2 of this 3 part lecture series (see part 1 here), Dr. Syme provides an overview of the following topics:

Functional Data
Pattern Matching
Imperative Basics
Sequences

NOTE: Announcing the F# February 2010 Release!

The F# Team says: We’re excited to announce that we have made available a new release of F# along with the Visual Studio 2010 RC and a matching February 2010 F# CTP for VS2008. 

In addition, we’ve launched the F# PowerPack as a CodePlex project, enabling this set of valuable F# extensions to continue to grow and improve separately
from the stable core F# releases.

Part 1
Part 3

Get the slides for this lecture series here.

Read Don's Blog

]]> http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Don-Syme-Introduction-to-F-2-of-3 F# is Microsoft's first functional programming language to be included as one of Visual Studio's official set of languages. F# is a succinct, efficient, expressive functional/object-oriented programming language under joint development by Microsoft Developer Division and Microsoft Research. During the course of Erik Meijer's fantastic lecture series on functional programming fundamentals several of you asked for examples of specific topics in F#.In part 2 of this 3 part lecture series (see part 1 here), Dr. Syme provides an overview of the following topics:Functional DataPattern MatchingImperative BasicsSequencesNOTE: Announcing the F# February 2010 Release!The F# Team says: We’re excited to announce that we have made available a new release of F# along with the Visual Studio 2010 RC and a matching February 2010 F# CTP for VS2008.  In addition, we’ve launched the F# PowerPack as a CodePlex project, enabling this set of valuable F# extensions to continue to grow and improve separately from the stable core F# releases.Part 1Part 3Get the slides for this lecture series here.Read Don's Blog 2277 http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Don-Syme-Introduction-to-F-2-of-3 Thu, 11 Feb 2010 18:48:00 GMT http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Don-Syme-Introduction-to-F-2-of-3 Charles Charles 18 http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Don-Syme-Introduction-to-F-2-of-3/RSS C9 Lectures Don Syme FSharp Functional Programming Programming C9 Lectures: Dr. Don Syme - Introduction to F#, 1 of 3 F# is Microsoft's first functional programming language to be included as one of Visual Studio's official set of languages. F# is a succinct, efficient, expressive functional/object-oriented programming language under joint development by Microsoft Developer Division and Microsoft Research. During the course of Erik Meijer's fantastic lecture series on functional programming fundamentals several of you asked for examples of specific topics in F#. Well, we listened.

Dr. Don Syme is a principal researcher in MSR Cambridge. He has a rich history in programming language research, design, and implementation (C# generics being one of his most recognized implementations), and is the principle creator of F#. Who better to lecture on the topic than Don? This three part series will serve as an introduction to F#, including insights into the rationale behind the history and creation of Microsoft's newest language.

Part 2
Part 3

Get the slides for this lecture here.

Read Don's Blog. ]]> http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Don-Syme-Introduction-to-F-1-of-3 F# is Microsoft's first functional programming language to be included as one of Visual Studio's official set of languages. F# is a succinct, efficient, expressive functional/object-oriented programming language under joint development by Microsoft Developer Division and Microsoft Research. During the course of Erik Meijer's fantastic lecture series on functional programming fundamentals several of you asked for examples of specific topics in F#. Well, we listened.Dr. Don Syme is a principal researcher in MSR Cambridge. He has a rich history in programming language research, design, and implementation (C# generics being one of his most recognized implementations), and is the principle creator of F#. Who better to lecture on the topic than Don? This three part series will serve as an introduction to F#, including insights into the rationale behind the history and creation of Microsoft's newest language.Part 2Part 3Get the slides for this lecture here. Read Don's Blog. 2262 http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Don-Syme-Introduction-to-F-1-of-3 Thu, 04 Feb 2010 22:15:00 GMT http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Don-Syme-Introduction-to-F-1-of-3 Charles Charles 16 http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Don-Syme-Introduction-to-F-1-of-3/RSS C9 Lectures Don Syme FSharp Programming Programming Languages Missile Launchers with F# hasKitty Chris Smith had a talk at the CodeMash conference in January 2010 titled “Being an Evil Genius with F# and .NET”.  Chris created a post about his talk and doing Computer Vision, Speech Recognition, and shooting missiles at people all with F#! 

Here is a bit of his speech recognition code using the System.Speech.dll:

let recognizerEvent = getWordRecognizer()

// Main handler - convert spoken text into RL commands
let handleWord spokenText =
    printfn "Recognized Word: %s" spokenText
    let action = 
        match spokenText with
        | "up"  // Has a hard time recognizing this :(
        | "north" -> MoveUp(20)
        | "down"  -> MoveDown(20)
        | "left"  -> MoveLeft(20)
        | "right" -> MoveRight(20)

        | "fire"  -> Fire

        | _ -> NoOp
        
    performAction rocketLauncher action |> ignore

// Exit handler - specifically look for exit/quit
let terminateLoop = ref false
let terminateLoopHandler = function | "exit" 
                                    | "quit" -> terminateLoop := true
                                    | _      -> ()

// Hook up event handlers
recognizerEvent.Add(handleWord)
recognizerEvent.Add(terminateLoopHandler)

while terminateLoop.Value = false do
    System.Threading.Thread.Yield() |> ignore
()

Chris happily provided the source code as well, RocketLauncher_v1.0.zip. 

]]> http://channel9.msdn.com/coding4fun/blog/Missile-Launchers-with-F Chris Smith had a talk at the CodeMash conference in January 2010 titled “Being an Evil Genius with F# and .NET”.  Chris created a post about his talk and doing Computer Vision, Speech Recognition, and shooting missiles at people all with F#!  Here is a bit of his speech recognition code using the System.Speech.dll: let recognizerEvent = getWordRecognizer() // Main handler - convert spoken text into RL commands let handleWord spokenText = printfn "Recognized Word: %s" spokenText let action = match spokenText with | "up" // Has a hard time recognizing this :( | "north" -> MoveUp(20) | "down" -> MoveDown(20) | "left" -> MoveLeft(20) | "right" -> MoveRight(20) | "fire" -> Fire | _ -> NoOp performAction rocketLauncher action |> ignore // Exit handler - specifically look for exit/quit let terminateLoop = ref false let terminateLoopHandler = function | "exit" | "quit" -> terminateLoop := true | _ -> () // Hook up event handlers recognizerEvent.Add(handleWord) recognizerEvent.Add(terminateLoopHandler) while terminateLoop.Value = false do System.Threading.Thread.Yield() |> ignore () Chris happily provided the source code as well, RocketLauncher_v1.0.zip.  http://channel9.msdn.com/coding4fun/blog/Missile-Launchers-with-F Mon, 25 Jan 2010 14:48:56 GMT http://channel9.msdn.com/coding4fun/blog/Missile-Launchers-with-F Clint Rutkas Clint Rutkas 0 http://channel9.msdn.com/coding4fun/blog/Missile-Launchers-with-F/RSS FSharp speech recognition c4fnews Computer Vision Juan Chen and Nikhil Swamy: FINE, Functional Programming for End-to-End Security Verification Juan Chen and Nikhil Swamy, two researchers at the Research in Software Engineering group, present FINE, a new programming language for .NET.

Software systems are governed by increasingly complex security policies. Ensuring that a system properly enforces its policy is hard. FINE is a new programming language (similar to F#) whose type system can be used to check that rich, stateful authorization and information flow policies are properly enforced. FINE is compiled to DCIL, a new minimal extension of .NET CIL. Our compiler carries type information throughout and allows DCIL programs to be verified independently for security.

In this video, Juan an Nikhil give the big picture and a shiny demo of FINE.

 The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/FINE-a-Compiler-for-End-to-End-Security-Verification Juan Chen and Nikhil Swamy, two researchers at the Research in Software Engineering group, present FINE, a new programming language for .NET.Software systems are governed by increasingly complex security policies. Ensuring that a system properly enforces its policy is hard. FINE is a new programming language (similar to F#) whose type system can be used to check that rich, stateful authorization and information flow policies are properly enforced. FINE is compiled to DCIL, a new minimal extension of .NET CIL. Our compiler carries type information throughout and allows DCIL programs to be verified independently for security.In this video, Juan an Nikhil give the big picture and a shiny demo of FINE.Try Fine in your web browser at http://rise4fun.com/fine!FINE home page Read the article about FINE  The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 903 http://channel9.msdn.com/Blogs/Peli/FINE-a-Compiler-for-End-to-End-Security-Verification Thu, 10 Dec 2009 19:12:00 GMT http://channel9.msdn.com/Blogs/Peli/FINE-a-Compiler-for-End-to-End-Security-Verification Peli de Halleux Peli de Halleux 3 http://channel9.msdn.com/Blogs/Peli/FINE-a-Compiler-for-End-to-End-Security-Verification/RSS FSharp Functional Programming Programming Languages RiSE Security Software Engineering Research verification Lists in F#

In this video, programming writer, Gordon Hogenson explains and gives examples of lists in F#. 

You can also learn more in the topic Lists (F#)


Kathleen McGrath
Visual Studio User Education
http://blogs.msdn.com/kathleen
Visual Studio and .NET Framework Content Survey

]]> http://channel9.msdn.com/Blogs/kmcgrath/Lists-in-FSharp In this video, programming writer, Gordon Hogenson explains and gives examples of lists in F#.  You can also learn more in the topic Lists (F#) Kathleen McGrathVisual Studio User Educationhttp://blogs.msdn.com/kathleenVisual Studio and .NET Framework Content Survey 1439 http://channel9.msdn.com/Blogs/kmcgrath/Lists-in-FSharp Wed, 11 Nov 2009 17:36:00 GMT http://channel9.msdn.com/Blogs/kmcgrath/Lists-in-FSharp Kathleen McGrath Kathleen McGrath 2 http://channel9.msdn.com/Blogs/kmcgrath/Lists-in-FSharp/RSS Beta 1 FSharp Visual Studio Visual Studio 2010 Discriminated Unions in F# In this video, programming writer, Gordon Hogenson explains and gives examples of discriminated unions in F#. 

 

You can also learn more in the topic Discriminated Unions (F#)

 

Kathleen McGrath
Visual Studio User Education
http://blogs.msdn.com/kathleen

]]> http://channel9.msdn.com/Blogs/kmcgrath/Discriminated-Unions-in-FSharp In this video, programming writer, Gordon Hogenson explains and gives examples of discriminated unions in F#.&nbsp; &nbsp;You can also learn more in the topic Discriminated Unions (F#)&nbsp;Kathleen McGrathVisual Studio User Educationhttp://blogs.msdn.com/kathleen 928 http://channel9.msdn.com/Blogs/kmcgrath/Discriminated-Unions-in-FSharp Tue, 03 Nov 2009 17:20:00 GMT http://channel9.msdn.com/Blogs/kmcgrath/Discriminated-Unions-in-FSharp Kathleen McGrath Kathleen McGrath 0 http://channel9.msdn.com/Blogs/kmcgrath/Discriminated-Unions-in-FSharp/RSS FSharp Visual Studio 2010 Andrew Kennedy: F# Units of Measure units of measure, which are typically used to indicate length, volume, mass, and so on. The built-in type float takes an optional unit-of-measure parameter, written in angle brackets, in a similar way that types such as IEnumerable take a type parameter, as in IEnumerable<int>.

By using quantities with units, you enable the compiler to verify that arithmetic relationships have the correct units, which helps prevent programming errors like the one that led to NASA's Mars Climate Orbiter being lost in September 1999. This was due to confusion between metric and so-called "English" units of measurement.  The accident could have been prevented if the NASA engineers had been able to annotate their program code with units, and then employed static analysis tools or language-level type-checking to detect and fix any unit errors.

Andrew Kennedy is an MSR research scientist who implemented units of measure for F#. What did this involve? How does it work, exactly? What's next? Meet Andrew and learn all about F#'s latest language feature, units of measure.

Enjoy.

Information sources: http://msdn.com and http://blogs.msdn.com/andrewkennedy/ ]]> http://channel9.msdn.com/Blogs/Charles/Andrew-Kennedy-F-Units-of-Measure Floating point values in F# can have associated units of measure, which are typically used to indicate length, volume, mass, and so on. The built-in type float takes an optional unit-of-measure parameter, written in angle brackets, in a similar way that types such as IEnumerable take a type parameter, as in IEnumerable&lt;int&gt;.By using quantities with units, you enable the compiler to verify that arithmetic relationships have the correct units, which helps prevent programming errors like the one that led to NASA's Mars Climate Orbiter being lost in September 1999. This was&nbsp;due to&nbsp;confusion between metric and so-called &quot;English&quot; units of measurement.&nbsp; The accident could have been prevented if the NASA engineers had been able to annotate their program code with units, and then employed static analysis tools or language-level type-checking to detect and fix any unit errors.Andrew Kennedy&nbsp;is an MSR research scientist who implemented units of measure for F#. What did this involve? How does it work, exactly? What's next? Meet Andrew and learn all about F#'s latest language feature, units of measure.Enjoy. Information sources: http://msdn.com and&nbsp;http://blogs.msdn.com/andrewkennedy/ 1964 http://channel9.msdn.com/Blogs/Charles/Andrew-Kennedy-F-Units-of-Measure Tue, 22 Sep 2009 21:00:00 GMT http://channel9.msdn.com/Blogs/Charles/Andrew-Kennedy-F-Units-of-Measure Charles Charles 19 http://channel9.msdn.com/Blogs/Charles/Andrew-Kennedy-F-Units-of-Measure/RSS FSharp Microsoft Research MS Research MSR Programming Programming Languages Units of Measure Active Patterns (F#) In this video, programming writer, Gordon Hogenson, continues the discussion of patterns by talking about active patterns, which you can use to customize and extend F#’s pattern matching capabilities. Active patterns are an amazingly flexible language feature, and in this video we just scratch the surface of what can be done with them.  You can learn more in the topic: Active Patterns.

 

Gordon would also like to thank Chris Smith and Brian McNamara, of the F# team, for giving him some ideas for how to use active patterns.  Some similar examples to those in the video are discussed in F# team blog postings, such as in Chris Smith’s blog posting on active patterns.  For those interested in exploring further, you can read a paper on active patterns by Don Syme, James Margetson, and Gregory Nemerov.

 

Kathleen McGrath
Visual Studio User Education
http://blogs.msdn.com/kathleen/

]]> http://channel9.msdn.com/Blogs/kmcgrath/Active-Patterns-F In this video, programming writer, Gordon Hogenson, continues the discussion of patterns by talking about active patterns, which you can use to customize and extend F#’s pattern matching capabilities. Active patterns are an amazingly flexible language feature, and in this video we just scratch the surface of what can be done with them.&nbsp; You can learn more in the topic: Active Patterns. &nbsp; Gordon would also like to thank Chris Smith and Brian McNamara, of the F# team, for giving him some ideas for how to use active patterns.&nbsp; Some similar examples to those in the video are discussed in F# team blog postings, such as in Chris Smith’s blog posting on active patterns.&nbsp; For those interested in exploring further, you can read a paper on active patterns by Don Syme, James Margetson, and Gregory Nemerov. &nbsp; Kathleen McGrath Visual Studio User Education http://blogs.msdn.com/kathleen/ 962 http://channel9.msdn.com/Blogs/kmcgrath/Active-Patterns-F Fri, 10 Jul 2009 03:59:00 GMT http://channel9.msdn.com/Blogs/kmcgrath/Active-Patterns-F Kathleen McGrath Kathleen McGrath 1 http://channel9.msdn.com/Blogs/kmcgrath/Active-Patterns-F/RSS FSharp Visual Studio 2010 Patterns and Match Expressions in F# In this video, programming writer, Gordon Hogenson explains and gives examples of patterns in F# and explains the use of the match expression to control branching based on patterns in data. But first, a disclaimer Gordon wanted to make: “Regrettably, I have not been able to retrain myself yet to use the word value instead of variable. In F#, all values are immutable by default, so it’s not really correct to use the term variable, as I do in the video.”   See Part 2 of this video: http://channel9.msdn.com/posts/kmcgrath/Active-Patterns-F/

 

You can also learn more in the topics Patterns and Match Expressions.

 

Kathleen McGrath
Visual Studio User Education
http://blogs.msdn.com/kathleen/

]]> http://channel9.msdn.com/Blogs/kmcgrath/Patterns-and-Match-Expressions-in-F In this video, programming writer, Gordon Hogenson explains and gives examples of patterns in F# and explains the use of the match expression to control branching based on patterns in data. But first, a disclaimer Gordon wanted to make: “Regrettably, I have not been able to retrain myself yet to use the word value instead of variable. In F#, all values are immutable by default, so it’s not really correct to use the term variable, as I do in the video.”&nbsp;&nbsp; See Part 2 of this video: http://channel9.msdn.com/posts/kmcgrath/Active-Patterns-F/ &nbsp; You can also learn more in the topics Patterns and Match Expressions. &nbsp; Kathleen McGrath Visual Studio User Education http://blogs.msdn.com/kathleen/ 1175 http://channel9.msdn.com/Blogs/kmcgrath/Patterns-and-Match-Expressions-in-F Tue, 07 Jul 2009 02:58:00 GMT http://channel9.msdn.com/Blogs/kmcgrath/Patterns-and-Match-Expressions-in-F Kathleen McGrath Kathleen McGrath 9 http://channel9.msdn.com/Blogs/kmcgrath/Patterns-and-Match-Expressions-in-F/RSS FSharp Visual Studio 2010 Taking Efficiency One Step Further - F#
This video is recorded at the Dutch DevDays in Den Haag The Netherlands in June 2009. DevDays is the largest industry event for developers in the Netherlands. Thousands of professional developers visit DevDays yearly to keep in touch with the latest developments in their field. ]]> http://channel9.msdn.com/Blogs/matthijs/Taking-Efficiency-One-Step-Further-FSharp Microsoft Research describes F# as &quot;a scripted/functional/imperative/object-oriented programming language&quot;. Combining all those aspects in one language is certainly not an easy task, but they've done a good job of it. F# is interesting both as a language to actually consider for your projects and as a source of features that might make it into the mainstream .NET languages tomorrow. The session uses many examples to give you a good general overview of F#. This video is recorded at the Dutch DevDays in Den Haag The Netherlands in June 2009. DevDays is the largest industry event for developers in the Netherlands. Thousands of professional developers visit DevDays yearly to keep in touch with the latest developments in their field. 4792 http://channel9.msdn.com/Blogs/matthijs/Taking-Efficiency-One-Step-Further-FSharp Fri, 19 Jun 2009 11:23:00 GMT http://channel9.msdn.com/Blogs/matthijs/Taking-Efficiency-One-Step-Further-FSharp Matthijs Hoekstra Matthijs Hoekstra 4 http://channel9.msdn.com/Blogs/matthijs/Taking-Efficiency-One-Step-Further-FSharp/RSS DevDays 2009 NL FSharp Netherlands Oliver Sturm Creating Your First F# Program with Visual Studio 2010 This video demonstrates some of the tasks described in Walkthrough: Creating Your First F# Program with Visual Studio.  I show you how to declare simple variables, write and test functions, and create tuples and lists.

 

Kathleen McGrath
Visual Studio User Education

]]> http://channel9.msdn.com/Blogs/kmcgrath/Creating-Your-First-FSharp-Program-with-Visual-Studio-2010 This video demonstrates some of the tasks described in Walkthrough: Creating Your First F# Program with Visual Studio.&nbsp; I show you how to declare simple variables, write and test functions, and create tuples and lists. &nbsp; Kathleen McGrath Visual Studio User Education 309 http://channel9.msdn.com/Blogs/kmcgrath/Creating-Your-First-FSharp-Program-with-Visual-Studio-2010 Fri, 05 Jun 2009 01:03:00 GMT http://channel9.msdn.com/Blogs/kmcgrath/Creating-Your-First-FSharp-Program-with-Visual-Studio-2010 Kathleen McGrath Kathleen McGrath 3 http://channel9.msdn.com/Blogs/kmcgrath/Creating-Your-First-FSharp-Program-with-Visual-Studio-2010/RSS FSharp Visual Studio 2010 Luke Hoban: Latest version of F# Released - What's the story? What's next? release of VS 2010 Beta 1 today, F# is officially a part of the in-box VS family in the sense that it ships with VS 2010 as a first class language for use in building your .NET projects that require the power and flexibility of the functional approach to program composition. For VS 2008, a great IDE and toolset that you have at your disposal today, you can install the equivalent version of F# that ships with VS2010 Beta 1 as an add-in install. Right on!

Here, F# Program Manager Luke Hoban talks with me about F#, generally and what people have been doing with it, the current state of the technology, what F# enables, etc. You'll even see some code Luke's written, but this is mainly an Old School Channel 9 conversation. You know the drill.

Enjoy.

Learn more:

Don Syme's announcement of the F# 2010 beta release: http://blogs.msdn.com/dsyme/archive/2009/05/20/visual-studio-2010-beta1-with-f-is-now-available-plus-matching-f-ctp-update-for-vs2008.aspx

The F# Dev Center: http://fsharp.net/ ]]> http://channel9.msdn.com/Blogs/Charles/Luke-Hoban-Latest-version-of-F-Released-Whats-the-story-Whats-next With the release of VS 2010 Beta 1 today, F# is officially a part of the in-box VS family in the sense that it ships with VS 2010 as a first class language&nbsp;for use in building&nbsp;your .NET projects that require the power and&nbsp;flexibility of the functional approach to program composition.&nbsp;For VS 2008, a great IDE and toolset that you have at your disposal today, you can&nbsp;install the equivalent version of F# that ships with VS2010 Beta 1 as an add-in install. Right on!Here, F# Program Manager Luke Hoban talks with me about F#, generally and what people have been doing with it, the current state of the technology, what F# enables, etc. You'll even see some code Luke's written, but this is mainly an Old School Channel 9 conversation. You know the drill.Enjoy.Learn more:Don Syme's&nbsp;announcement of the F#&nbsp;2010 beta&nbsp;release: http://blogs.msdn.com/dsyme/archive/2009/05/20/visual-studio-2010-beta1-with-f-is-now-available-plus-matching-f-ctp-update-for-vs2008.aspx The F# Dev Center: http://fsharp.net/ 2784 http://channel9.msdn.com/Blogs/Charles/Luke-Hoban-Latest-version-of-F-Released-Whats-the-story-Whats-next Wed, 20 May 2009 22:24:00 GMT http://channel9.msdn.com/Blogs/Charles/Luke-Hoban-Latest-version-of-F-Released-Whats-the-story-Whats-next Charles Charles 19 http://channel9.msdn.com/Blogs/Charles/Luke-Hoban-Latest-version-of-F-Released-Whats-the-story-Whats-next/RSS FSharp Luke Hoban Programming Languages Visual Studio Jason Olson: Composing Programming Languages, F# and OO C9. He's a long time Niner and has always been passionate about languages. I've known Jason for a long time and it's great to see him take his passionate intelligence and apply it to both learning several languages and writing his own. This is awesome to see! I caught up with Jason at Lang.NET 2009 where he gave two very interesting talks, one on F# and one on modern object orientation. Here, we talk about his presentations and his perspectives on object orientation, F# and his own language.

Enjoy! ]]> http://channel9.msdn.com/Blogs/Charles/Jason-Olson-Composing-Programming-Languages-F-and-OO Jason Olson is a programming language evangelist in addition to his duties as a managed&nbsp;(.NET)&nbsp;tools evangelist. You know him from C9. He's a long time Niner and has always been passionate about languages. I've known Jason for a long time and it's great to see him take his passionate intelligence and apply it to both learning several languages and writing his own. This is awesome to see! I caught up with Jason at&nbsp;Lang.NET 2009 where he gave two very interesting talks, one on F#&nbsp;and one on modern object orientation. Here, we talk about his presentations and his perspectives on object orientation, F# and his own language.Enjoy! 940 http://channel9.msdn.com/Blogs/Charles/Jason-Olson-Composing-Programming-Languages-F-and-OO Fri, 01 May 2009 17:15:00 GMT http://channel9.msdn.com/Blogs/Charles/Jason-Olson-Composing-Programming-Languages-F-and-OO Charles Charles 16 http://channel9.msdn.com/Blogs/Charles/Jason-Olson-Composing-Programming-Languages-F-and-OO/RSS FSharp Jason Olson LangNET 2009 OO Programming Programming Languages 10-4 Episode 17: F# Intro In this episode of 10-4, we take a quick look at F#, a new addition to the family of managed programming languages in Visual Studio 2010. F# is a multi-paradigm programming language. Though its focus is at functional programming, it's capable of producing object-oriented code like other .NET languages. Since it is a .NET language, it can interop just fine with other existing .NET languages.

There is a lot to F#, more than we could possibly cover in a single 10-4 episode. So in this episode, we are just taking a brief look at the basic data types in F# as well as some more intermediate features like recursion, pattern matching, and partially-applied functions.

For people wanting to following along with this episode, you can grab the latest F# CTP directly from the F# MSDN Dev Center:
http://msdn.microsoft.com/en-us/fsharp/default.aspx

For more 10-4 episodes, be sure to visit:
http://channel9.msdn.com/shows/10-4

hubFS: THE place for F#:
http://cs.hubfs.net/

Don Syme's Blog:
http://blogs.msdn.com/dsyme/

Dustin Campbell's Blog:
http://diditwith.net/

Chris Smith's Blog:
http://blogs.msdn.com/chrsmith/default.aspx

Luke Hoban's Blog:
http://blogs.msdn.com/lukeh/

10-4! Over and out!

]]> http://channel9.msdn.com/Shows/10-4/10-4-Episode-17-F-Intro In this episode of 10-4, we take a quick look at F#, a new addition to the family of managed programming languages in Visual Studio 2010. F# is a multi-paradigm programming language. Though its focus is at functional programming, it's capable of producing object-oriented code like other .NET languages.&nbsp;Since it&nbsp;is a .NET language, it can interop just fine with other existing&nbsp;.NET languages. There is a lot to F#, more than we could possibly cover in a single 10-4 episode. So in this episode, we are just taking a brief look at the basic data types in F# as well as some more intermediate features like recursion, pattern matching, and partially-applied functions. For people wanting to following along with this episode, you can grab the latest F# CTP directly from the F# MSDN Dev Center: http://msdn.microsoft.com/en-us/fsharp/default.aspx For more 10-4 episodes, be sure to visit: http://channel9.msdn.com/shows/10-4 hubFS: THE place for F#: http://cs.hubfs.net/ Don Syme's Blog: http://blogs.msdn.com/dsyme/ Dustin Campbell's Blog: http://diditwith.net/ Chris Smith's Blog: http://blogs.msdn.com/chrsmith/default.aspx Luke Hoban's Blog: http://blogs.msdn.com/lukeh/ 10-4! Over and out! 1041 http://channel9.msdn.com/Shows/10-4/10-4-Episode-17-F-Intro Fri, 01 May 2009 04:25:00 GMT http://channel9.msdn.com/Shows/10-4/10-4-Episode-17-F-Intro Jason Olson Jason Olson 12 http://channel9.msdn.com/Shows/10-4/10-4-Episode-17-F-Intro/RSS .NET .NET Framework .NET Framework 4.0 FSharp Visual Studio Don Syme: F# and functional programming in . NET The final stop on the tour was at Microsoft Development Center Copenhagen (mdcc.dk) for an open TechTalk on F# and functional programming on the .NET platform.

To make this talk as broadly available as possible, we just decided to recorded it Smiley

In the TechTalk Don touches on topics like asynchronous programming, graphics, why functional programming matters, just to mention a few topics … and everything explained with lots of samples and code! 

Want to learn more about F#?
Visit Don’s blog here: http://blogs.msdn.com/dsyme/
or the hubFS community site, http://cs.hubfs.net 

Enjoy! ]]> http://channel9.msdn.com/Blogs/martinesmann/Don-Syme-FSharp-and-functional-programming-in-NET Last week Don Syme joined me for an F# university tour here in Denmark. The final stop on the tour was at Microsoft Development Center Copenhagen (mdcc.dk) for an open TechTalk on F# and functional programming on the .NET platform. To make this talk as broadly available as possible, we just decided to recorded it In the TechTalk Don touches on topics like asynchronous programming, graphics, why functional programming matters, just to mention a few topics … and everything explained with lots of samples and code!&nbsp; Want to learn more about F#? Visit Don’s blog here: http://blogs.msdn.com/dsyme/ or the hubFS community site, http://cs.hubfs.net&nbsp; Enjoy! 4660 http://channel9.msdn.com/Blogs/martinesmann/Don-Syme-FSharp-and-functional-programming-in-NET Tue, 31 Mar 2009 20:00:00 GMT http://channel9.msdn.com/Blogs/martinesmann/Don-Syme-FSharp-and-functional-programming-in-NET martinesmann martinesmann 2 http://channel9.msdn.com/Blogs/martinesmann/Don-Syme-FSharp-and-functional-programming-in-NET/RSS Don Syme FSharp Functional Programming MDCC Erik Meijer and Matthew Podwysocki - Perspectives on Functional Programming Matthew Podwysocki is a senior consultant for Microsoft platform technologies in the D.C. area. He's been programming since he was a child and has a particular interest and passion for functional programming. Functional programming is all the rage these days. General purpose imperative languages (like C# and C++) are adding functional constructs to help improve software developer prodcutivity in an increasingly concurrent general purpose computing environment as notebooks and PCs with multiple processors are now the norm.

Matthew was in Redmond a few weeks ago, so we thought it would be awesome to invite Matthew into the the lair of our resident functional programming extremist (though I must say that Erik is mellowing out with age), high priest of the lamda calculus, category theorist and Expert to Expert host, Erik Meijer. Now, it's a little scary to be asked into Erik's den of functional orthodoxy (aka Erik's office) and be put to the task of explaining functional principals in a way that is widely accessible to developers who have little or no experience with thinking functional, but Matthew was up for the task and spends most of the time at Erik's whiteboard explaining important functional programming concepts (Haskell and F# are the languages used in the examples, but the language isn't that important - the concepts are), sharing some his very interesting history with us, waxing on future directions in programming, engaging us in a really interesting conversation. Great job, Matthew!

Enjoy!

Duration: 1:07:41 ]]> http://channel9.msdn.com/Shows/Going+Deep/Erik-Meijer-and-Matthew-Podwysocki-Perspectives-on-Functional-Programming Matthew Podwysocki&nbsp;is a senior consultant for Microsoft platform technologies in the D.C. area. He's been programming since he was a child and has a particular interest and passion for functional programming. Functional programming is all the rage these days. General purpose imperative languages (like C# and C&#43;&#43;)&nbsp;are adding functional constructs to help improve software developer prodcutivity in an increasingly concurrent general purpose computing environment as notebooks and&nbsp;PCs with&nbsp;multiple processors are now the norm.Matthew was in Redmond a few weeks ago, so we thought it would be awesome to invite Matthew into the the lair of our resident functional programming extremist (though I must say that Erik is mellowing out with age), high priest of the lamda calculus, category theorist and Expert to Expert host, Erik Meijer. Now, it's a little scary to be asked into Erik's den of functional orthodoxy (aka Erik's&nbsp;office)&nbsp;and be put to the task of explaining functional principals in a&nbsp;way that is widely&nbsp;accessible to developers who have little or no experience with thinking functional, but Matthew was up for the task and spends most of the time at Erik's whiteboard explaining important functional programming concepts (Haskell and F#&nbsp;are the languages used in the examples, but the language isn't that important - the concepts are), sharing some his very interesting history with us, waxing on future directions in programming, engaging&nbsp;us in a really interesting conversation. Great job, Matthew! Enjoy! Duration:&nbsp;1:07:41 4061 http://channel9.msdn.com/Shows/Going+Deep/Erik-Meijer-and-Matthew-Podwysocki-Perspectives-on-Functional-Programming Tue, 24 Mar 2009 15:50:00 GMT http://channel9.msdn.com/Shows/Going+Deep/Erik-Meijer-and-Matthew-Podwysocki-Perspectives-on-Functional-Programming Charles Charles 22 http://channel9.msdn.com/Shows/Going+Deep/Erik-Meijer-and-Matthew-Podwysocki-Perspectives-on-Functional-Programming/RSS Erik Meijer Expert to Expert FSharp Functional Programming Haskell Matthew Podwysocki Programming Programming Languages This Week on Channel 9: Clint Rutkas stops by, Project Velocity, Live Writer SDK, C9 bytes on IIS 7.0 and F#, and shameless self-promotion Clint Rutkas and we discuss:

]]> http://channel9.msdn.com/Shows/This+Week+On+Channel+9/This-Week-on-Channel-9-Clint-Rutkas-stops-by-Project-Velocity-Live-Writer-SDK-C9-bytes-on-IIS-70-and This Week on Channel 9, Dan and Brian are joined by&nbsp;Clint Rutkas and we discuss: Clint talks about MS 101 (0 - 1:00) SQL Server 2008&nbsp;RC0&nbsp;is now available (and we don't know why some teams start with a zero based array and others don't) (1:00 - 2:30) CTP of Project codename &quot;Velocity&quot; available, a Distributed object cache for Windows (2:30 - 3:40) New CTP for the&nbsp;Windows Live Writer SDK&nbsp;including a Twitter and DiggThis example&nbsp;and another Live Writer plug-in by&nbsp;Alik Levin for building Blog Post Templates (3:40 - 5:28) Scott Hanselman's BabySmash&nbsp;app makes Lifehacker&nbsp;(5:28 - 6:36) Drew Robbins&nbsp;demos&nbsp;the&nbsp;IIS 7.0 Admin Pack (6:36 - 9:58) Luke Hoban&nbsp;demos&nbsp;visualizing data using F# (9:58 - 13:23) Templex a&nbsp;Template Process Library&nbsp;for Team Foundation Server (13:23 - 15:04) Codeplex&nbsp;now include syntax highlighting for source code&nbsp;(15:04 - 16:00) xgamer posts on&nbsp;CamSpace in the Coffeehouse with demo goodness (16:00 - 17:57) Brian and Clint viciously throw 9 guys at Dan's head...in slow motion (17:57 - 18:11) Zafer Savas releases a&nbsp;cool Codeproject article showing eye tracking with a Web cam using C&#43;&#43;&nbsp;(18:46 - 19:30) Clint's Pick of the Week: Gary Farr's Coding4Fun&nbsp;RetroCommand arcade game using Silverlight and Expression Blend 2.5 Brian's Pick of the Week:&nbsp;The&nbsp;PDC ShowOff contest is launching&nbsp;with Brian and&nbsp;Dan&nbsp;hosting the event&nbsp;live at PDC&nbsp;(19:30 - 21:48) Dan's Pick of the Week:&nbsp;Dan plugs his Coding4Fun talk at TechEd which showed off YouTube, iTunes, Zune, P2P, and Warcraft programming (21:48 - ) 1386 http://channel9.msdn.com/Shows/This+Week+On+Channel+9/This-Week-on-Channel-9-Clint-Rutkas-stops-by-Project-Velocity-Live-Writer-SDK-C9-bytes-on-IIS-70-and Fri, 13 Jun 2008 15:51:00 GMT http://channel9.msdn.com/Shows/This+Week+On+Channel+9/This-Week-on-Channel-9-Clint-Rutkas-stops-by-Project-Velocity-Live-Writer-SDK-C9-bytes-on-IIS-70-and Dan Fernandez Dan Fernandez 16 http://channel9.msdn.com/Shows/This+Week+On+Channel+9/This-Week-on-Channel-9-Clint-Rutkas-stops-by-Project-Velocity-Live-Writer-SDK-C9-bytes-on-IIS-70-and/RSS C++ Coding4Fun FSharp IIS PDC08 Silverlight SQL Server TFS