Software Development Engineer Position on the F# Team

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, and with Technical Computing libraries. You will be a key designer/engineer on our team, responsible…


Expert F# Available by end of November!

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 everything on paper and getting it shipped to…


S. Somasegar on taking F# forward

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 is a huge step for us and we believe a great step forward…


Robert on "Understanding how Asynchronous Workflows Work"

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 rather about getting asynchronous I/O right.  I think that to fully appreciate the beauty…


Position Available: Research Software Developer at MSR Cambridge

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 joint SLAyer/Terminator team is looking for a developer interested in building the first production version of these tools. This position is in Microsoft’s Research…


Introducing F# Asynchronous Workflows

[ Update: Robert pickering has a very nice summary of using asynchonous workflows with web services ] F# 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 them in practice. Asynchronous workflows are an application of F#’s computation expression syntax….


F# Job at MSR Cambridge: Software Engineer in Data Mining and Machine Learning

[ 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 based on new technology in the very competitive web search and…


Some Details on F# Computation Expressions

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 computation expressions, as a preliminary for later posts showing their use. If you’re new to…


F#/OCaml Job at Microsoft: Static Driver Verifier and PreFast for Drivers

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 bugs in source code? Do you want to help get rid of those pesky blue screens…


Jon Harrop on .NET Rocks

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# itself and its role in the world of .NET. I particularly liked how Jon describes how both…