The F# team are hiring! We have two positions open right now. The first is a software development engineer specializing in Visual Studio. We’re looking for an exceptional developer to work on integration with the Visual Studio editor and debugger,...

At last! We've finally sent off the very last proofs of Expert F# to Apress - this time the index, TOC etc. Adam, Antonio and myself are grateful to have Erik Meijer writing the foreword for us, and Apress are dealing with the small metter of putting...

Today is an exciting day for the F# team. The Corporate VP for the Microsoft Developer Division, S. Somasegar , has announced the formation of a team to take F# forward . This will be a partnership with the current F# team at Microsoft Research. This...

Robert Pickering has just posted a nice blog entry showing how programs look if you don't have asynchronous workflows. As Don Syme points out in his piece on asynchronous workflows , they are not about getting the whole of concurrency right but...

SLAyer is a software analysis tool that automatically proves properties about the data-structures constructed/modified by concurrent systems-level code. Terminator is an additional componenet designed to prove termination and liveness properties. The...

[ Update: Robert pickering has a very nice summary of using asynchonous workflows with web services ] F# 1.9.2.9 includes a pre-release of F# asynchronous workflows . In this blog post we'll take a look at asynchronous workflows and how you might use...

[ 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...

Granville Barnett has started a new CodePlex project called " F# Samples ", at http://www.codeplex.com/fsharpsamples . I think everyone is welcome to join the project and contribute to the samples. Here's how Granville described it: Hi Don, ...

My old office mate Mark has had an epiphany about web services by using F# , or else an epiphany about F# by using web services - he's not sure which :-)

F# 1.9 is seeing the rollout of a number of additions to the F# language, and this is the first of a series of blog entries on these. For starters, the 1.9.2 release has seen the addition of "use" bindings. Here is a simple example: let writePlayList...

Tomas Petricek has a nice article on how his recent work with the F# team at Microsoft Research has inspired techniques to do dynamic query construction for LINQ-to-SQL from C# . Since the first beta versions of LINQ we could hear comments that...

[ Update: F# 1.9.3 has been posted, and we don't expect any more 1.9.2 releases. ] [ Update: the F# samples got dropped from this release - we'll be fixing that this week ] [ Update: Granville has just posted a blog entry on how to get this version...

Pieter Breed has been asking some useful questions on the F# list recently about using the "Map" type. I really appreciate it when people take the time to let us know when data structures are tricky to learn to use in F#. Looking at Pieter's blog made...

Robert Pickering (the author of Foundations of F# ) has just posted on a blog entry on the Game of Life in Silverlight and F# . Very nice work Robert! You can run it here . What amazes me about this is that it "all just works". Here we have a functional...

Luis Diego Fallas has written a nice blog entry on using F# active patterns to ease the process of working with LINQ expression trees . This kind of "meta-programming" application is absolutely one of the key reasons why Greg Neverov, James Margetson...

OK, this one isn't about F# :-) Normally I don't write about hardware, but I'm very glad to see that Dell have announced a Tablet PC . Now, normally Tablets are talked about for the business market, but I really want one that fits with both home and...

I'm glad to report that Robert Pickering's book Foundations of F# will be out soon. I'll be writing more on this soon - it was a pleasure to work with Robert and Jim Huddleston as technical editor on this book, and I'm sure you will find it a great entry...

Some people ask me if "Jon Harrop" is an alter-ego. I wish he was, since then I'd be a lot smarter than I am :-) We (the F# and all the Microsoft .NET teams) can make the language and the framework, but Jon is one of those many users who helps make it...