Have you ever been looking for a snippet of F# code for converting an object/from to JSON? For getting a key from the Windows Registry? For defining Perl-style "?" regular expression matching operators? Or hundreds of other common tasks? The new F# Snippets site by Tomas Petricek now has hundreds of snippets of F# code prepared … Continue reading The Wonderful F# Snippets Site!
Tag: F# Announcements
The F# Team Are Hiring! Come and be the Senior Program Manager for F#…
The F# Team are Hiring!!! Do you have a love for modern, industry-leading programming technologies? Can you help us take the F# language to the next level? Do you have the vision to combine functional programming with cutting edge technologies for data, cloud, web, finance and technical computing? Do you have a passion for delivering great visual … Continue reading The F# Team Are Hiring! Come and be the Senior Program Manager for F#…
Come and join the F# Compiler & Tools team!
The F# team are looking for a world class developer to join the team in Redmond! Come and help us shape the future of F#! We are seeking a talented and highly motivated software engineer with experience in compilers, language tools and data-consumptive programming to help us ship the next version of F#. The ideal … Continue reading Come and join the F# Compiler & Tools team!
My Talk at TechEd Europe 2010: A Taste of F# – Today and Future
Recently I gave a talk at TechEd Europe, in Berlin, entitled A Taste of F# - Today and Future, available below as slides + audio. If you don't get the player below, then here's the site with the raw WMV files. I was happy with how this talk went. I hope it is a good resource … Continue reading My Talk at TechEd Europe 2010: A Taste of F# – Today and Future
F# New York User Group Meetup
The F# New York City User Group has started recently, and the liftoff meetup is a week from now, next Monday, Dec 6 Location Microsoft, 6th floor 1290 Avenue of the AmericasNew York, NY 10019 This first meeting of the New York City F# User group will be hosted by Richard Minerich and Howard Mansell. We'll be … Continue reading F# New York User Group Meetup
The F# Asynchronous Programming Model, PADL 2011
[ The draft was updated on 22/10/10 and 8/11/10 ] The F# asynchronous programming model dates to 2007, and was published in product documentation and Expert F#. However, until now we haven't had a submitted, succinct conference-style description of the core idea of the model: language integrated asynchronous programming. As a result Tomas Petricek, Dmitry Lomov … Continue reading The F# Asynchronous Programming Model, PADL 2011
Don talking in London Tonight
I'll be talking at the F#unctional Londoner's Meetup Group at 6:30pm tonight, held at the SkillsMatter exchange in London. I'll be giving an overview of F#, some case studies, some demos and taking questions on any F# topics. After, there will be a chance to wind down at one of the nearby pubs. Details: GROUP: London … Continue reading Don talking in London Tonight
F# Windows Phone 7 (Silverlight) Templates Now On Visual Studio Gallery
Dan Mohl from the F# community has added some F# Windows Phone 7 (Silverlight) templates on Visual Studio Gallery. Screen shot below. Cheers! don (Note: A WP7 FSharp.Core.dll has been included as part of these templates. It is also part of the Microsoft F# August 2010 CTP.)
Announcing the F# 2.0 Free Tools Update
[ Note: if installing F# for Mono, you must download mono.snk. The location of this file has changed since release, you can now find it at http://github.com/mono/mono/raw/master/mcs/class/mono.snk %5D The F# team are very pleased to announce the update of August 2010 release of the F# 2.0 free download MSI and ZIP, for .NET 2.0-4.0, Mono and … Continue reading Announcing the F# 2.0 Free Tools Update
A standing invitation to F# users to “get in touch”
Over the years at the F# team we've managed to keep in touch with many of F# users, including individuals, universities and corporations. This is one of the things that makes the work really interesting! The F# community is growing steadily, and this is becoming harder. However, it's still very useful for us to know who … Continue reading A standing invitation to F# users to “get in touch”
F# Case Study: Banking Firm Uses Functional Language to Speed Development
A customer case study in the use of F# has been made available on http://www.microsoft.com. Enjoy! Don P.S. The company in question has a policy of anonymity, a common restriction in this sector. Financial Services Firm Banking Firm Uses Functional Language to Speed Development by 50 Percent A large financial services firm in Europe sought … Continue reading F# Case Study: Banking Firm Uses Functional Language to Speed Development
The San Francisco Bay Area F# Users Group
Matt Harrington and others have started a San Francisco Bar Area F# Users Group. The inaugural meeting was around 10 days ago, and the group now has quite a few signed up members. SF# is a group of developers in the San Francisco Bay Area who have an interest in the F# programming language. Novices … Continue reading The San Francisco Bay Area F# Users Group
HTML5 Programming with F#
Today I spent the afternoon with Manuel Serrano, designer of Hop, a Scheme variation for cross-tier web programming, targeting JVM and Javascript. This is highly related to WebSharper, which lets you program HTML/Javascript/Ajax with F#. I was very pleasantly surprised to see that WebSharper includes demos of HTML5 programming with F#. For example: · HTML5 Canvas Sample … Continue reading HTML5 Programming with F#
F# PowerPack May 2010 – now for Silverlight
Dmitry Lomov from the F# team has announced the May 2010 version of the F# PowerPack: Today we release a new version of F# PowerPack - an open-source collection of libraries and tools for use with F# programming language provided by F# team at Microsoft. Starting from this release, F# PowerPack installation includes PowerPack libraries built … Continue reading F# PowerPack May 2010 – now for Silverlight
F# on Silverlight 4
F# on Silverlight 4 is here! Dmitry has the full details: Earlier this week we have released F# runtime for Silverlight 4 as part of Microsoft Silverlight 4 Tools for Visual Studio 2010 (this is a single download that contains everything you need to develop for Silverlight for under VS2010). Download Microsoft Silverlight 4 Tools … Continue reading F# on Silverlight 4
“Expert F# 2.0” on its way!!
I'm very pleased to announce that Expert F# 2.0 is now heading to the printing presses! Expert F# 2.0 is freshly revised for F# 2.0, released in April 2010. We've also incuded new material on units of measure and Windows Presentation Foundation, and revised some of our explanations and examples. We trust you enjoy the book! … Continue reading “Expert F# 2.0” on its way!!
F# 2.0 Released
[ Note, if you want to use the free download of F# 2.0, you should use the August 2010 release of the F# 2.0 free download MSI and ZIP. This release extends the existing availability of free-for-use F# programming tools to .NET 4.0. ] Today sees the launch of Visual Studio 2010, at five … Continue reading F# 2.0 Released
Professor Robin Milner
It is with sadness that I mention the death of Professor Robin Milner, the great British computer scientist, who passed away 11 days ago. In addition to his ground breaking work of LCF (Logic for Computable Functions) and CCS and many other seminal contributions, Robin was the acknowledged father of ML, from which F#, OCaml, SML … Continue reading Professor Robin Milner
Contract Position in the F# Team: Compiler and Visual Tools Software Engineer for Cross-Platform F#
We are now seeking applications for a contract position with the F# team! Contract length: 6 months – 1 yearHiring Group: Microsoft Research, CambridgeLocation: Cambridge UK. Remote working possible. F# is a cross-platform language executing on any CLI implementation, including those found on Windows, Mac OS/X, Linux, Silverlight, XBox 360 and mobile phones. We are seeking a … Continue reading Contract Position in the F# Team: Compiler and Visual Tools Software Engineer for Cross-Platform F#
F# London Meetup Group
Carolyn Miller has just started an F# London Users Group on Meetup, with a good number of initial members! The next meetup is currently planned for April 21 . Enjoy! [ed: an earlier version of this post mistakenly said Feb 21 ] F#unctional Londoners is a newly launched meetup group that aims to bring together Londoners with an … Continue reading F# London Meetup Group
Detailed Release Notes for F# February 2010 Release
Today we have announced the February 2010 release of the F# language. The detailed release notes for this release are below. Language XML Doc Comments. You can now specify <summary>, <remarks>, <parameters> and other attributes explicitly. XML Doc comments are checked for basic validity when the comments are displayed by the F# Visual Studio … Continue reading Detailed Release Notes for F# February 2010 Release
Announcing the F# February 2010 Release
[ NOTE: Please uninstall any older version of F# before installing VS 2010 RC. If you don't, you will need to uninstall everything, then reinstall ] [ NOTE: Please uninstall Visual Studio 2010 Beta2 before installing F# ] I’m very pleased to announce the February 2010 release of the F# language This release of F# is … Continue reading Announcing the F# February 2010 Release
F# Tutorial and Talk Today at TechDays, Paris (Late Announcement!)
There is an F# tutorial and an F# talk today at TechDays, Paris, presented jointly with Adam Granicz and Robert Pickering. The tutorial is at 13:30-14:30, Feb 9 and will be a light introduction to F# The talk is at 17:30-18:30, Feb 9, and will include a section from Adam Granicz, the founder of Intellifactory, on WebSharper, the F# framework … Continue reading F# Tutorial and Talk Today at TechDays, Paris (Late Announcement!)
F# Seminar at University of Washington, Seattle, Thursday, Jan 28
I'll be giving a talk at UW in Seattle on Thursday, Jan 28, this week. Hope to see you there! Don Syme (Microsoft Research, Cambridge)Host: Dan GrossmanParallel and Asynchronous Programming with F#CSE 520 ColloquiumThursday, January 28, 20103:30pm, Abstract F# is a succinct and expressive typed functional programming language in the context of a modern, applied … Continue reading F# Seminar at University of Washington, Seattle, Thursday, Jan 28
F# Seminar Tomorrow, Tuesday, 26/1, at Berkeley
I'll be giving a seminar tomorrow, Tuesday, at Berkeley, visitng Benjamin Hindman and Rastislav Bodik. The talk will be from 1:00 pm to 2:00 pm - room 320 in Soda Hall (moved from room 511). All welcome! Title: Parallel and Asynchronous Programming with F# Abstract: F# is a succinct and expressive typed functional programming language … Continue reading F# Seminar Tomorrow, Tuesday, 26/1, at Berkeley
Programming F#, By Chris Smith
Programming F# is out! (Well, it has been out for a while, but I forgot to blog about it!) This is an absolutely fantastic introduction to F#, and is one of the primary books I recommend for people learning F# - others are Beginning F#, by Robert Pickering, plus there is so much great online … Continue reading Programming F#, By Chris Smith
Updates to the F# JAOO Tutorial Code
In September 2009 I posted the slides and code for the F# tutorial at JAOO 2009. I've now updated this tutorial code for the F# Visual Studio 2010 Beta2 release (with matching CTP release for Visual Studio 2008). We've also added some more content and explanatory comments. For example, we've added the samples of LINQ queries using … Continue reading Updates to the F# JAOO Tutorial Code
Unleash those transistors! General Purpose GPU and x64 Data Parallel Multicore Programming with Accelerator from F#
One of my colleagues at MSR Cambridge, Satnam Singh, has written his very first blog entry, and what a beauty it is! Data parallel multicore programming from F# targeting both CPU and GPU - what joy! Microsoft recently released a preview of the Accelerator V2 GPU and x64 multicore programming system on Microsoft Connect. This system provides a … Continue reading Unleash those transistors! General Purpose GPU and x64 Data Parallel Multicore Programming with Accelerator from F#
WebSharper: F#-based Rich Client/Server Web Applications
My co-author on Expert F#, Adam Granicz, has been leading Intellifactory to develop the F#-based WebSharper platform for developing client-server applications that execute as Javascript in the browser and as compiled .NET code on the server. Intellifactory seem to have set about answering the question of "just how simple, clean and productive can you make developing rich web applications that target Javascript?" … Continue reading WebSharper: F#-based Rich Client/Server Web Applications
F# related job at Future Social Experiences (FUSE) Lab UK
Are you interested in using probabilistic techniques to analyze online data and build new social experiences around it? The FUSE group located at Microsoft Research in Cambridge is hiring. The group use F# a lot and have applied it successfully on many projects. https://careers.microsoft.com/JobDetails.aspx?jid=9575 The Future Social Experiences (FUSE) Lab UK team is a newly founded group … Continue reading F# related job at Future Social Experiences (FUSE) Lab UK
A Great Blog Series on Algorithmic Programming in F#
I've just discovered Julien's great blog series on algorithmic programming in F#, a very useful resource. And if that doesn't whet your appetite, he also has a series on food :-) Here are some of his recent posts: Technical analysis indicators in F# This is the first part of a series on technical analysis indicators in … Continue reading A Great Blog Series on Algorithmic Programming in F#
F# 1.9.7 Language Specification Now Available
The F# 1.9.7 Language Specification is now available, in PDF and HTML, matching the recent release of F# in Visual Studio 2010 Beta2, with matching CTP udpate for Mono and Visual Studio 2008. The latest language specification can also always be found via http://www.fsharp.net Many thanks to all those who sent so much helpful feedback on the … Continue reading F# 1.9.7 Language Specification Now Available
F# in Visual Studio 2010 Beta2 is now available ( plus matching F# CTP Update for VS2008)
The latest release of F# is now out! This is included in Visual Studio 2010 Beta2 , released today for MSDN Subscribers, with the matching release of the F# CTP for Visual Studio 2008, and a compiler ZIP for Mono. The detailed release notes are here. (Note: general download availability of Visual Studio 2010 Beta2 will begin in … Continue reading F# in Visual Studio 2010 Beta2 is now available ( plus matching F# CTP Update for VS2008)
Release Notes for the F# October 2009 release
(These notes apply to the F# October 2009 CTP update and Visual Studio 2010 Beta2) Summary Release F# in Visual Studio2010 Beta2 can build applications for .NET 2.0/3.0/3.5/4.0 and Silverlight 2/3. Updated F# CTP for Visual Studio 2008 F# PowerPack available as part of the CTP Update, and can be used with either … Continue reading Release Notes for the F# October 2009 release
F# Tutorial Code and Slides
[ The attached tutorial code has now been updated for the F# Visual Studio 2010 Beta2 release (with matching CTP update for Visual Studio 2008) ] One of the great pleasures of my job is to go to conferences like JAOO and present on F# and other topics. This year I presented both a tutorial … Continue reading F# Tutorial Code and Slides
F# Job: Credit Suisse GMAG seek Trader Tools Project Lead
Over the last few years the F# team at Microsoft have been very glad to work with the Credit Suisse GMAG group . GMAG (Global Modelling and Analytics)are successful adopters of F#, as they reported on at CUFP 2008. This continues strongly and the group continue to provide essential feedback on the design and implementation of the F# language … Continue reading F# Job: Credit Suisse GMAG seek Trader Tools Project Lead
Keynote at EclipseCon Europe, 2009: Taking Functional Programming Into the Mainstream
Just to mention that I'll be giving a keynote lecture at the Eclipse Summit in Ludwigsburg, Germany on Wed 28 Oct. 2009. I haven't been to EclipseCon before. am looking forward to learning a lot about the Eclipse community. In the past few years, my work has been in the context of Visual Studio, but I've definitely learned … Continue reading Keynote at EclipseCon Europe, 2009: Taking Functional Programming Into the Mainstream
F# at JAOO 2009, Aarhus, 4-6 October
I’m excited to be giving a tutorial, a presentation and a panel at JAOO 2009 in Aarhus in early October. I’ve had the good fortune to be involved with JAOO and QCon a few times over the last few years, and am honoured to be presenting in Aarhus, the home of it all. I’ve … Continue reading F# at JAOO 2009, Aarhus, 4-6 October
Detailed Release Notes for the F# May 2009 CTP Update and Visual Studio 2010 Beta1 releases
The main announcement for this release is here. Summary Release F# is integrated into Visual Studio 2010 Beta1 F# in Visual Studio2010 can build applications for .NET 4.0 Beta1 Updated F# CTP for Visual Studio 2008 and .NET 2.0/3.0/3.5 F# PowerPack is a separate download for Visual Studio 2010 F# binaries compiled with this … Continue reading Detailed Release Notes for the F# May 2009 CTP Update and Visual Studio 2010 Beta1 releases
Visual Studio 2010 Beta1 with F# is now available, plus matching F# CTP Update for VS2008
The F# team are thrilled to announce that Visual Studio 2010 Beta1 is now available , including the latest version of F#. Today we are also releasing a matching F# May 2009 CTP for use with Visual Studio 2008 (MSI, ZIP). Further below is a screen shot, more here. If you’re new to F#, consider watching the PDC … Continue reading Visual Studio 2010 Beta1 with F# is now available, plus matching F# CTP Update for VS2008
Talks I’m Giving This Week: Göteborg, Aarhus, Copenhagen
I’ve a busy week ahead! Tuesday (tomorrow!), 10am: Informal talk at Chalmers University, Göteborg: F# in Visual Studio 2010, courtesy of John Hughes Tuesday (tomorrow!), 1pm: SDC 2009, Scandinavian Developers Conference, Göteborg: Functional and Parallel Programming with F# Wednesday, 12noon-2pm: Aarhus University: Why is Microsoft Investing in Functional Programming? And A Look … Continue reading Talks I’m Giving This Week: Göteborg, Aarhus, Copenhagen
Specify your C# and F# code using NaturalSpec, from the Dynamics NAV team
Some members of the Dynamics NAV team have announced NaturalSpec, a DSL/language/tool/methodology you can use to specify and test .NET code, e.g. code written in C# or F#. The tool is implemented in F#, and looks like a great addition to the .NET ecosystem. The idea of NaturalSpec is to give domain experts the possibility to … Continue reading Specify your C# and F# code using NaturalSpec, from the Dynamics NAV team
F# Programming Contest, by Kean at AutoDesk
Kean over at AutoDesk (think AutoCAD etc.) is running an F# programming contest! I've included his post below: F# programming contest ... So to start 2009 with a bang (or a pop, at least) I'm going to run a programming contest. The basic idea is to generate some cool examples of using functional programming (more specifically … Continue reading F# Programming Contest, by Kean at AutoDesk
F# to ship as part of Visual Studio 2010
Last year, the head of the Microsoft’s Developer Division, S. Somasegar, announced that Microsoft had begun investing in F# as one of Microsoft’s supported languages on the .NET platform. I am now thrilled to announce one result of this investment: F# will ship as part of Visual Studio 2010! Since the September 2008 CTP of … Continue reading F# to ship as part of Visual Studio 2010
.NET Implementations of Excel Financial Functions, in F#
The one and only Luca Bolognese has released his model .NET implementations of Excel financial functions in F#. You can get it from here. What is it? This is a .NET library that provides the full set of financial functions from Excel. The main goal for the library is compatibility with Excel, by providing the same … Continue reading .NET Implementations of Excel Financial Functions, in F#
Coherent PDF announces Beta of .NET SDK for their PDF Command Line Toolkit, written in F#
John Whitington of Coherent PDF recently announced the availability of a .NET SDK version of their PDF Command Line Toolokit, written in 20,000 lines of cross-compiling OCaml/F#. Here's an excerpt of what he had to say on the F# list: Thanks for all your help with this project thus far. We’re almost ready to … Continue reading Coherent PDF announces Beta of .NET SDK for their PDF Command Line Toolkit, written in F#
“From Parallel F# to Parallel FPGAs”, from Avalda
One of the most intriguing F# announcements recently is "Avalda FPGA Developer". Here's the descripton from Stephen Afande, the brains behind Avalda: The compiler enables folks to compile [a subset of] F# code to an HDL netlist output suitable for running on an FPGA. From Avalda's home page: compile parallel F# scripting code to FPGA netlist … Continue reading “From Parallel F# to Parallel FPGAs”, from Avalda
F# Job: Senior role at Credit Suisse in Functional Programming
Credit Suisse is seeking to recruit an expert in functional programming for a senior role in the Global Modelling and Analytics Group (GMAG) in the Securities Division. Cross-posted from http://cs.hubfs.net/forums/thread/7066.aspx: The group consists of about 140 people worldwide. The majority of the group are mathematicians engaged in developing mathematical models for financial products traded by … Continue reading F# Job: Senior role at Credit Suisse in Functional Programming
F# CTP release update
It’s been a week now since we posted the F# September 2008 CTP release, and it’s been fantastic to see the great response from existing and new F# users alike. We’ve received a lot of good feedback too, and a big thank you to everyone who has taken the time to email us with suggestions … Continue reading F# CTP release update
F# Optimization Modeling Language Sample Utilizing Microsoft Solver Foundation
The first version of the F# Optimization Domain Specific Language (ODSL) sample is now available, built with the new Microsoft Solver Foundation. Solver Foundation is a framework of solvers and modeling services enabling planning, risk modeling, and scheduling for .NET developers. It is integrated with the full power of the NETfx 3.5+ platform including LINQ for … Continue reading F# Optimization Modeling Language Sample Utilizing Microsoft Solver Foundation
An introduction to Units of Measure by Andrew Kennedy
Andrew Kennedy has published the first part of a tutorial introduction to Units of Measure in F#. Do you remember NASA's Mars Climate Orbiter? It was lost in September 1999 because of a confusion between metric and so-called "English" units of measurement. The report into the disaster made many recommendations. In all likelihood, the accident could … Continue reading An introduction to Units of Measure by Andrew Kennedy
Detailed Release Notes for the F# September 2008 CTP release
These are the detailed release notes for the F# September 2008 CTP release. The release announcement is here. We will be publishing a known issues list here shortly and augmenting it as new issues are found. [ Update: The following issues were addressed in the 1.9.6.2 update to the CTP on 6 Sep 2008 … Continue reading Detailed Release Notes for the F# September 2008 CTP release
The F# September 2008 CTP is now available!
I’m very pleased to announce the availability of the F# September 2008 CTP Release, launched via the new MSDN F# Developer Center. This release represents an important step in the evolution of the F# language as we progress it towards a fully supported language for the .NET platform. A huge thank you to both the F# team and … Continue reading The F# September 2008 CTP is now available!
F# for Scientists now available!
I can't believe I missed posting about this - F# for Scientists is now out! I haven't got my hardcopy just yet, but I read a draft of this book, and was really very impressed. The 3D visualization chapter is stunning in its simplicity and power, the parallel programming techniques presented are simple and powerful, … Continue reading F# for Scientists now available!
FSCheck 0.2
Kurt Schelfthout has jsut updated FSCheck, an F# version of QuickCheck. Here's how Kurt described FSCheck in his v0.1 announcement: FsCheck is a tool for testing F# programs automatically. The programmer provides a specification of the program, in the form of properties which functions should satisfy, and FsCheck then tests that the properties hold in … Continue reading FSCheck 0.2
F# and ArcGIS/ArcObjects
Ray Vernagus has posted an introduction to using F# with ArcGIS through ArcObjects. One of the things I like most about F# is how it allows typed functional programming to be applied to data-rich domains such as Machine Learning, Computer Aided Design (CAD) and Geographical Information Systems (GIS). GIS is of particular interest to me … Continue reading F# and ArcGIS/ArcObjects
1.9.4.19 release
We've posted a minor update to version 1.9.4 (called 1.9.4.19). The change notice is in the README and below. There are three fixes/changes in this release Ø There was a glitch that prevented F# version 1.9.4.17 programs working well on Mono. A workarounds was mentioned here http://laurent.le-brun.eu/site/index.php/2008/06/05/36-how-to-use-fsharp-1-9-4-17-on-mono, though this workaround should now no longer be needed. … Continue reading 1.9.4.19 release
Updated Specification for the 1.9.4 “Spring Refresh” Release
I've just updated the links on the F# manual pages to point to the updated draft language specification (one big HTML page, or PDF) for the 1.9.4 release. This is a major revision of the old spec to cover much of the language work done in the 1.9.4 release. It's from us at Microsoft Research, so isn't … Continue reading Updated Specification for the 1.9.4 “Spring Refresh” Release
From Script to .NET Component: Huffman Coding with F#
Luke Hoban has a very nice blog entry that shows an implementation of Huffman Coding with F#. This not only shows of F# as an algorithmic problem-solving language, but, just as importantly, shows just how elegant and smooth it is to take this code and produce a .NET object-oriented component that encapsulates a Huffman encoder for use from other .NET … Continue reading From Script to .NET Component: Huffman Coding with F#
F# Talks at TechDays in Paris: Slides and Videos
It's taken me a while, but I've finally posted the slides from the two talks I gave at TechDays in Paris Introduction to F# (beginner) F# and Parallel Programming (joint talk with Robert Pickering, slides here - Robert's slides cover web services and using Parallel Extensions from F#) Videos are also available Enjoy! Don
Detailed Release Notes for F# 1.9.4
These are the full release notes for F# 1.9.4. The download link is on the main announcement page. We'll also use this page to note known issues with the release as we find them. Summary Language Symmetric Operator Overloading Additional nullness checking 'base' variables must now be called 'base'. Intrinsic members take predence … Continue reading Detailed Release Notes for F# 1.9.4
F# 1.9.4 Now Available: Making F# Simpler and More Consistent
[ Note: we have made a minor update to 1.9.4 called 1.9.4.19. The download links below point to this release. If you need 1.9.4.17 go to our downloads page. ] [ Note: download links updated to point to the MSI correctly ] We're very glad to announce the release of F# 1.9.4, the Spring Refresh of F#, uploaded … Continue reading F# 1.9.4 Now Available: Making F# Simpler and More Consistent
F# at TechEd Israel
Luke Hoban will be presenting F# at TechEd Israel in a couple of days time. Enjoy!
Tackling the F# Productization
Over the last few months the F# team has been diving deep into the technical work needed to productize F#. In this post I'd like to give a bit of a picture for what that means and how the team has been ramping up on our work. Firstly, the team! In Cambridge we have myself and James Margetson, … Continue reading Tackling the F# Productization
Update to the F# 1.9.3 Release
Hi all, An update to the F# 1.9.3 release has been posted to the Microsoft Research Downloads site. Additional changes between1.9.3.7 and 1.9.3.14 are: Constructed classes may now be mutually recursive with other types, fixing an incompletness in the language implementation The Microsoft.FSharp.Core.Func module is deprecated (this contained a few rarely used functions related to … Continue reading Update to the F# 1.9.3 Release
Greg Neverov: Software Transactional Memory for F#
Greg Neverov (of active patterns fame) has placed an implementation of Software Transactional Memory for F# up on hubFS. Here's the description: I have written a library for using software transactional memory in F#. The library exposes memory transactions as a monad using F#’s new computation expression feature. It can be downloaded here. Software transactional … Continue reading Greg Neverov: Software Transactional Memory for F#
Dustin Campbell and F# on Hansel Minutes
F# is on the podcasts again! Scott Hanselman interviewed Dustin Campbell who gives a compelling description of F# and functional programming. Dustin also has some fun notes on how to talk on a podcast :-) He's has also started a blog series on F# - here are the first two entries: Why I Love F#: The … Continue reading Dustin Campbell and F# on Hansel Minutes
Come and work with us!
The F# team continue to have a small number of positions open for compiler and language tools experts. Positions can be based in Cambridge, UK or Redmond. If you're interested in helping to bring a typed functional programming language into Visual Studio and think you have skills relevant to the achieving this, then please contact me or another … Continue reading Come and work with us!
Expert F# now available, really!
The book Expert F# is now available from book sellers! It's been shipping for a while, but there were some early reports of delivery delays so I delayed in announcing it. As regular readers will know, the book is by myself, Adam Granicz and Antonio Cisternino. It offers a single resource to learning the 1.9.3 release of … Continue reading Expert F# now available, really!
The FParsec library by Stephan Tolksdorf
Stephan Tolksdorf has been a regular F# user of late and has provided us with much excellent feedback, including bug reports and design suggestions. Stephan has just announced version 0.4 of FParsec, an F# adaptation of Parsec, the popular parser combinator library for Haskell by Microsoft Research's very own Daan Leijen. Stephan describes it in … Continue reading The FParsec library by Stephan Tolksdorf
Full Release Notes for F# 1.9.3.7 and 1.9.3.14
I'm glad to say that a release candidate for F# 1.9.3 is now available (download via main post). The changes up to 1.9.3.7 are documented further below. Additional changes between1.9.3.7 and 1.9.3.14 are: Constructed classes may now be mutually recursive with other types, fixing an incompletness in the language implementation Microsoft.FSharp.Core.Func module is deprecated (this … Continue reading Full Release Notes for F# 1.9.3.7 and 1.9.3.14
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 documented with the release notes below ] I'm very glad to say that an updated release candidate for F# 1.9.3 is now available (MSI, ZIP). This is F# 1.9.3.14. Here are the full release notes for 1.9.3.14. This is primarily a stabilization … Continue reading F# 1.9.3 Candidate Release Now Available!
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 prover, a great new .NET and native component out of Microsoft Research Redmond. Recent work on F#'s math libraries, together with the latest release of Z3 make for a pretty powerful mixture. In particular I find it … Continue reading Making use of F#’s math libraries together with Z3
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 himself and the language: ...As of a few weeks ago, I've traded in my C# Compiler PM role for the newly created F# PM job! As you can probably tell from some of my previous blog … Continue reading F#, brought to you by Luke
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 you have the chance to meet the one and only Tomáš Petříček who is helping out on the Visual Studio Ask the Experts booth for the week along with Luke Hoban and myself. Tomas is one of the most … Continue reading F# at TechEd Developer: Tomas and Luke at Ask the Experts
F# At TechEd Developers in Barcelona
I've just arrived in Barcelona, for TechEd Developers. What an event! First, on the product side, there are just so many great things going on: Visual Studio 2008 is on show, the Microsoft Sync Framework has been announced, the ultra-cool Popfly shows how non-traditional development can be on the client side, as well as the host of … Continue reading F# At TechEd Developers in Barcelona
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 website: We are looking for an experienced Software Design Engineer in Test to work on testing the F# language and compiler. Opportunities include working with some of the brightest minds in the community on the latest … Continue reading Software Development Engineer in Test: Position on the F# Team
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 … Continue reading Software Development Engineer Position on the F# Team
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 … Continue reading Expert F# Available by end of November!
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 … Continue reading S. Somasegar on taking F# forward
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 … Continue reading Position Available: Research Software Developer at MSR Cambridge
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 … Continue reading F# Job at MSR Cambridge: Software Engineer in Data Mining and Machine Learning
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!
New Codeplex Project: F# Programming Samples
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, FYI, I’ve set up a samples project for F# stuff on CodePlex to try and educate more programmers about the benefit … Continue reading New Codeplex Project: F# Programming Samples
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 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() = use outp = File.CreateText(@"playlist.txt") … Continue reading Introducing “use” bindings in F# 1.9.2
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 := ... | e1.[range1] | e1.[range1,range2] range := e2..e3 | ..e3 | e2.. | * represent slicing from a 1D or 2D data structures that supports associative lookup on ordered keys. In … Continue reading Full Release Notes for F# 1.9.2.7
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# 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 installing on Orcas Beta2 ] [ … Continue reading F# 1.9.2.7 released!
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 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 language, with a fully fledged client-side execution … Continue reading Game of Life in Silverlight and F#
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 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-level introduction to F# programming. Speaking … Continue reading F# Books, and F#/XAML
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 solution for a problem that has been present in F# programming from the start, but is not present in many other languages. In particular, the functions int, float, float32 etc. are now defined as overloaded conversion operators. For example, you can replace … Continue reading More on the overloaded conversion operators in 1.9.1.9
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 link: http://research.microsoft.com/research/downloads/details/c8d270ce-dc93-4b82-8125-2c57036520b3/details.aspx This is in general a bug fix release over 1.9.1.8, with some exceptions We've added two great new features: Overloaded numeric conversion functions. The functions int, float, float32 etc. now overloaded conversion operators. For example, you can … Continue reading F# 1.9.1.9 available (currently MSI only): Includes overloaded numeric conversion functions and checked arithmetic
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 HDCaml, by Tom Hawkins, though rapidly acquiring a life of its own. I blogged about version 0.1 a while back. Here are his release highlights: The project has moved home. Now at http://code.google.com/p/hdfs/ and http://groups.google.com/group/hdfsharp Revised circuit design API. Where … Continue reading HDFS – Hardware Design Using F#, version 0.2
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 Margetson and Gregory Neverov. I've included the draft as an attachment to this post. In the paper we cover How we combine total, partial and parameterized active patterns in one unified mechanism Examples of using active patterns to … Continue reading Draft Paper on F# Active Patterns
F# 1.9.1.8 Released!
[ Note: An update to this release has been announced: see version 1.9.1.9 at http://blogs.msdn.com/dsyme/archive/2007/05/06/f-1-9-1-9-available-currently-msi-only-includes-overloaded-numeric-conversion-functions-and-checked-arithmetic.aspx %5D I am very pleased to announce that F# 1.9.1 is now available for download. This is a major release for us, a first step toward F# 2.0, and incorporating two exiciting new features: Active Patterns and Implicit Class Construction. The … Continue reading F# 1.9.1.8 Released!
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# which I'm currently in the process of co-authoring (thanks to James Huddleston at Apress for permission to post these). This is one of two F# books planned for publication by Apress in 2007, the other being Foundations … Continue reading New drafts of chapters from “Expert F#”
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. You can download this release from http://research.microsoft.com/fsharp/release.aspx . A summary of the changes in this release is given below (in some cases these updating the changes in the README-fsharp.html from the distribution) Enjoy! Don and James … Continue reading F# 1.1.13 detailed release notes
F# 1.1.13 now available!
I’m pleased to announce that F# 1.1.13 is now available! You can download this release from http://research.microsoft.com/fsharp/release.aspx . This is an exciting release, containing many important enhancements to the language that make F# programming simpler, more powerful and easier to explain and understand. We’re particularly pleased with comprehensions, which, although found in other languages, … Continue reading F# 1.1.13 now available!
F# for Scientists announced by Jon Harrop
I'm very excited to see that Jon Harrop has announced his intention to produce F# for Scientists. Jon is a PhD in Computational Chemistry from the University of Cambridge, and also the author of the absolutely must-have book Ocaml for Scientists. One review of this fantastic book said: What do you take with you when police are banging … Continue reading F# for Scientists announced by Jon Harrop
F# on Channel 9
Recently I had the pleasure of talking with Mike Hall and a DV Camera for an hour, the end result being two F# videos/interviews recently posted on Channel 9. There are two parts: Interview by Mike Hall The F# WebCrawler and DirectX demos Thanks to Damien Watkins for arranging this :-)

