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…
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:…
By Nikolai Tillmann and Mike BarnettLearn how Code Contracts provides a set of tools for design-by-contract programming and how Pex is an advanced unit-testing tool that uses automated program exploration to intelligently create unit tests with high code coverage.
See…
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…
by Michel Baladi, Matchride.net.In this screen cast you will get a short introduction to the new sensor and location API’s in Windows 7 and how to use these API’s from Visual Studio 2010 with .NET framework 4.0 as well as from Silverlight 4 using COM interop from Silverlight’s the new…
/v Brian Keller, Senior Technical Evangelist, Microsoft Corp.In this demo-rich session we will take a tour of many of the new capabilities of Visual Studio 2010 for application lifecycle management. This includes a look at the new build automation, project management, branching and merging, and…
The .NET services bus is part of the new Microsoft Cloud Computing Windows Azure initiative, and arguably, it is the most accessible, ready to use, powerful, and needed piece. The service bus allows clients to connects to services across any machine, network,
firewall, NAT, routers, load…
af Marcus Wendt, Composite..NET 4 introduces covariance and contravariance in generic interfaces and delegates. Covariance is the ability to use a more derived type than originally specified and will enable you to pass a IEnumerable<T2> as a IEnumerable<T1> if T2 derives from T1.
This…
/v Brian Keller, Senior Technical Evangelist, Microsoft Corp.This session is part 2 of 2; it is recommended, though not required, that you attend part 1 of this session in order to benefit most. In this demo-rich session we examine the end-to-end software testing capabilities of Visual Studio 2010.…
/v Clemens Reijnen, Software Architect, Sogeti and Microsoft Most Valuable Professional (MVP)Testing is an important part in the application lifecycle. Integrating testing completely within this lifecycle has major benefits. It increases the efficiency of the entire application life cycle and…