Don Syme's WebLog on F# and Related Topics
F# 1.9.3 Candidate Release Now Available!
[ Update: The release candidate has been updated to F# 1.9.3.14. The additional changes are...
Author: dsyme Date: 11/30/2007
Making use of F#'s math libraries together with Z3
Byron Cook, of Terminator fame, has just been looking at using F# in conjunction with the Z3 theorem...
Author: dsyme Date: 11/15/2007
F#, brought to you by Luke
Luke Hoban is now full time as program manager on F#, and has just posted a short introduction about...
Author: dsyme Date: 11/15/2007
F# at TechEd Developer: Tomas and Luke at Ask the Experts
Yesterday I mentioned that F# is making an appearance at TechEd Developer this week. As part of this...
Author: dsyme Date: 11/07/2007
How to write an Autodesk Inventor Add-In using F#
Daniele over on hubFS has been doing interesting things with AutoDesk and F# in the last few days....
Author: dsyme Date: 11/06/2007
F# At TechEd Developers in Barcelona
I've just arrived in Barcelona, for TechEd Developers. What an event! First, on the product side,...
Author: dsyme Date: 11/06/2007
Software Development Engineer in Test: Position on the F# Team
The F# team is hiring! This position is for a QA engineer on the F# team. From the Microsoft...
Author: dsyme Date: 10/30/2007
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...
Author: dsyme Date: 10/30/2007
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,...
Author: dsyme Date: 10/25/2007
S. Somasegar on taking F# forward
Today is an exciting day for the F# team. The Corporate VP for the Microsoft Developer Division, S....
Author: dsyme Date: 10/17/2007
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...
Author: dsyme Date: 10/15/2007
Position Available: Research Software Developer at MSR Cambridge
SLAyer is a software analysis tool that automatically proves properties about the data-structures...
Author: dsyme Date: 10/13/2007
Introducing F# Asynchronous Workflows
[ Update: Robert pickering has a very nice summary of using asynchonous workflows with web services...
Author: dsyme Date: 10/10/2007
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...
Author: dsyme Date: 09/27/2007
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...
Author: dsyme Date: 09/21/2007
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...
Author: dsyme Date: 09/19/2007
Jon Harrop on .NET Rocks
Jon Harrop recently recorded an interview about F# on .NET Rocks. It's a good listen - the...
Author: dsyme Date: 09/14/2007
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...
Author: dsyme Date: 09/14/2007
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...
Author: dsyme Date: 09/03/2007
Robert on "Recalculating Values Only When Dependencies Change"
Robert Pickering has just posted his second article on the topic of incremental evaluation in F#....
Author: dsyme Date: 09/03/2007
Mountains, Lakes, Children
It's been quiet around here lately. Put another way, this has been simply the best holiday/vacation...
Author: dsyme Date: 09/03/2007
New Codeplex Project: F# Programming Samples
Granville Barnett has started a new CodePlex project called "F# Samples", at...
Author: dsyme Date: 08/03/2007
Epiphanies by Mark
My old office mate Mark has had an epiphany about web services by using F#, or else an epiphany...
Author: dsyme Date: 08/02/2007
Introducing "use" bindings in F# 1.9.2
F# 1.9 is seeing the rollout of a number of additions to the F# language, and this is the first of a...
Author: dsyme Date: 07/31/2007
Building LINQ Queries at Runtime
Tomas Petricek has a nice article on how his recent work with the F# team at Microsoft Research has...
Author: dsyme Date: 07/29/2007
Full Release Notes for F# 1.9.2.7
Here are the full release notes for F# 1.9.2.7. Slicing syntax The following syntax forms expr :=...
Author: dsyme Date: 07/26/2007
F# 1.9.2.7 released!
[ Update: F# 1.9.3 has been posted, and we don't expect any more 1.9.2 releases. ] [ Update: the F#...
Author: dsyme Date: 07/26/2007
A Sample of the Memoization Pattern in F#
Pieter Breed has been asking some useful questions on the F# list recently about using the "Map"...
Author: dsyme Date: 05/31/2007
Game of Life in Silverlight and F#
Robert Pickering (the author of Foundations of F#) has just posted on a blog entry on the Game of...
Author: dsyme Date: 05/25/2007
Using F# active patterns with LINQ expression trees
Luis Diego Fallas has written a nice blog entry on using F# active patterns to ease the process of...
Author: dsyme Date: 05/20/2007
Dell announces a Latitude Tablet PC
OK, this one isn't about F# :-) Normally I don't write about hardware, but I'm very glad to see that...
Author: dsyme Date: 05/20/2007
F# Books, and F#/XAML
I'm glad to report that Robert Pickering's book Foundations of F# will be out soon. I'll be writing...
Author: dsyme Date: 05/19/2007
F# for Visualization (by Jon Harrop)
Some people ask me if "Jon Harrop" is an alter-ego. I wish he was, since then I'd be a lot smarter...
Author: dsyme Date: 05/16/2007
More on the overloaded conversion operators in 1.9.1.9
F# 1.9.1.9 includes an addition that can substantially simplify F# numeric code. This provides a...
Author: dsyme Date: 05/05/2007
F# 1.9.1.9 available (currently MSI only): Includes overloaded numeric conversion functions and checked arithmetic
Hi all, I'm glad to announce the availability of F# 1.9.1.9. It's available for download from this...
Author: dsyme Date: 05/05/2007
Some F# Links: SPiM, F# News, FFT, Multi-core
Andrew Phillips' Stochastic Pi Simulator (SPiM) is implemented in F# (and also OCaml) and has been...
Author: dsyme Date: 04/17/2007
HDFS - Hardware Design Using F#, version 0.2
On hubFS AndyMan has recently announced "Hardware Design F#", HDFS, Version 0.2, based on a port of...
Author: dsyme Date: 04/09/2007
Draft Paper on F# Active Patterns
I'm glad to announce the availability of a draft paper on F# Active Patterns, co-authored with James...
Author: dsyme Date: 04/07/2007
Detailed Release notes for 1.9.1.8
Detailed Release Notes for release 1.9.18 of the F# Compiler and Tools....
Author: dsyme Date: 04/06/2007
F# 1.9.1.8 Released!
[ Note: An update to this release has been announced: see version 1.9.1.9 at...
Author: dsyme Date: 04/06/2007
F# and Scala in Lovely Lausanne
A quick update to my last posts: F# 1.9.1 is undergoing a few minor updates as we take on some...
Author: dsyme Date: 03/22/2007
For Jim Huddleston
In my email I have had hundreds of messages over the last year from Jim Huddleston, the editor at...
Author: dsyme Date: 03/04/2007
F# 1.9 almost ready!
In 2 hours I'm flying off to TechFest 2007 in Redmond. This really is one of the highlights of the...
Author: dsyme Date: 03/04/2007
Mary J Foley on F#
Mary J Foley has a nice article on F# at RedmondDeveloper. Dominic Cooney was one of the people...
Author: dsyme Date: 02/23/2007
Jon Harrop on symbolic manipulations with F#
Jon Harrop has a post on some simple symbolic manipulations with F#.
Author: dsyme Date: 02/20/2007
New drafts of chapters from "Expert F#"
I'm very glad to announce the availability of drafts of Chapters 2-7 of Expert F#, of a book on F#...
Author: dsyme Date: 12/18/2006
Writing XBox 360 games with F# and XNA Game Studio Express (courtesy of Jack Palevich)
Whoa! F# for games on the XBox 360!? Microsoft XNA Game Studio Express got launched today, and is...
Author: dsyme Date: 12/12/2006
HDFS - Hardware design using F#
Andy Ray applies F# to hardware design and simulation, called HDFS, based on a port of HDCaml, by...
Author: dsyme Date: 12/07/2006
F# helps show we're not Neanderthals
Well, sort of :-) One of our most recent scientific users of F# is Darren Platt, head of...
Author: dsyme Date: 12/05/2006
F# 1.1.13 detailed release notes
I’m pleased to announce that F# 1.1.13 has been released. The original release announcement is here....
Author: dsyme Date: 11/29/2006