[ Note: this particular position has now been filled - thanks! ] A position has arisen within the Applied Games Team at MSR Cambridge for a Software Development Engineer (SDE). The role of the SDE will be to design, implement and maintain solutions...

One of the things we added to F# in version 1.9.2 is a syntax for computation expressions . These are a generalization of the sequence expressions added in F# 1.9.1. In this post I'll drill down on some more technical details on sequence expressions and...

Vlad Levin from the Static Driver Verifier team at Microsoft has posted a job announcement for a software verification engneer using F#/OCaml . Here are some excerpts: Are you interested in working on cutting edge program analysis tools to find...

Jon Harrop recently recorded an interview about F# on .NET Rocks . It's a good listen - the conversation moves between some of the concepts often associated with functional programming (e.g. tree manipulation and laziness) and discussions about F#...

Jason Hogg is one of the Microsoft incubation team members behind the SecPAL project, a joint intiative between Microsoft Research Cambridge and the incubation teams in Redmond . He's just recently been using F# to write the simplified English grammar...

Robert Pickering has been very busy of late. In two recent blog entries he's described An MSBuild provider for F# (more on MSBuild here) A protoype of an F# mode for #Develop (more on #Develop / SharpDevelop here) Good work, Robert!

Robert Pickering has just posted his second article on the topic of incremental evaluation in F# . His first article is here. His first article is here. In his second article he looks at testing code that prices European options. To quote: I...

It's been quiet around here lately. Put another way, this has been simply the best holiday/vacation I've ever taken. No internet for the last week, no email for large chunks of time, lots of fresh air in the Swiss Alps, and three wonderful companions...