Welcome to MSDN Blogs Sign in | Join | Help

September 2007 - Posts

Thursday, September 27, 2007 7:46 PM

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
Posted by dsyme | 1 Comments
Saturday, September 22, 2007 1:39 AM

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
Posted by dsyme | 7 Comments
Wednesday, September 19, 2007 12:31 PM

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
Posted by dsyme | 1 Comments
Filed under:
Friday, September 14, 2007 5:07 PM

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
Posted by dsyme | 1 Comments
Filed under:
Friday, September 14, 2007 4:58 PM

Jason Hogg implements the SecPAL for simplified English grammar in 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
Posted by dsyme | 2 Comments
Filed under:
Tuesday, September 04, 2007 3:30 AM

MSBuild and #Develop support for F# programming

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!
Posted by dsyme | 1 Comments
Tuesday, September 04, 2007 3:22 AM

Robert on "Recalculating Values Only When Dependencies Change"

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 decided to
Posted by dsyme | 1 Comments
Filed under:
Tuesday, September 04, 2007 3:13 AM

Mountains, Lakes, Children

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
Posted by dsyme | 1 Comments
Filed under:
 
Page view tracker