Microsoft released F# Tools for Visual Studio Express for Web, making F# 3.0 components freely available. Since then Microsoft has updated both the Try F# website and the F# Language Specification.
F# provides strongly typed functional programming, and there are F# tools for Mac, Android, HTML5, Cloud, and the Web. Microsoft includes Visual F# in Visual Studio, and the language is also open source under an OSS-approved license and is available across multiple platforms through the F# Open Source Group.
F# 3.0, which is part of Visual Studio 2012, has been designed for information rich programming and the latest additions to its resources should help it fulfill its potential, as outlined in this short video:
The major new feature in F# 3.0 is Type Providers which generate types based on structured data thus making it easier to access diverse sources of data. Type providers for the commonly used data sources, including OData (Open Data); database connections such as SQL; database schema; data specified the Entity Data Model format; and Web services in the WSDL format are included in the F# library and there are also walkthroughs of how to use each of them. You can author your own type providers and for help on how to do this see the tutorial Creating a Type Provider (F#) which is also in the library.
A new report from Microsoft Research authored by Don Syme and the F# team. describes the design and implementation of the type provider mechanism in F# 3.0 and its applications to typed programming with web ontologies, web-services, systems management information, database mappings, data markets, content management systems, economic data and hosted scripting.
Query Expressions is a new feature in F# 3.0 which implements LINQ for F# and allows you to write queries in a SQL-like syntax in the F# language. New library features support query expressions and its QueryBuilder type defines the query computation expression. The updated F# language specification covers the extensions to computation expressions to enable query expressions are this almost hour long video provides an overview of computation expressions in F# and the new features added in F# 3.0.
F# 3.0 also introduced auto-implemented properties which lets you now declare properties without also declaring a backing store for the property. This is another feature covered in the updated F# language specification.
F# 3.0 also sees enhancements in the editor and IDE:
Parameter Help. When typing a function or method call, information on each parameter now appears as you type.
Enhanced IntelliSense. These features provide helpful information in tooltips as you write code in F#.
There is also a new code editor that is part of the Try F# website, which like the language itself was originally developed by Microsoft Research.
Features of the new editor include:
Code is automatically colored based on F# syntax.
Errors are underlined with red squiggles.
Type information is quickly discoverable using tooltips.
A number of keyboard shortcuts are provided to facilitate editing code
Try F# has also had a revamp, although it remains in beta. As well as updated tutorials, resources, and tools, it also has a new “create and share” option where you can share code snippets or F# script files with other developers. One cautionary note, the Learn and Create sections of the website offer limited functionality when Silverlight is not available on the browser and the beta includes only limited notification when this happens so you may not see the prompt to install Silverlight unless you open the Canvas area to see the image link. Also it does not support touch screen navigation.
This this video gives a guided tour to the website:
or you can simply sign in, with your Windows or Facebook log on, and try it for yourself.