F Sharp programming language

From Wikipedia, the free encyclopedia

The correct title of this article is F# programming language. The substitution or omission of a # sign is because of technical restrictions.

F# (pronounced F sharp) is a functional and object oriented programming language for the Microsoft .NET platform. It is typesafe, efficient, functional, object-oriented and type-inferred. A strength of F# is its setting within .NET. A key design aim is seamless .NET interoperability, both via direct use of .NET APIs from F# and authorship of natural .NET components in F#. Consequently, the main F# libraries are the .NET libraries themselves (e.g. DirectX, Windows Forms, and ASP.NET, as well as alternatives like Gtk#). A Visual Studio plugin provides a graphical development environment, including features such as background type-checking with feedback under the mouse, which is extremely helpful for those unfamiliar with type inference.

F# is developed by Microsoft Research, and has a core language that is similar to that of the Caml language: both are members of the ML programming language family.

F# also provides a standard library of its own, designed to be largely compatible with the OCaml standard library. Since the two languages also share a common language subset, it can thus be quite practical to compile a single codebase with both. This enables core Caml code to be ported to the .NET world, and core F# code to run with OCaml. Maintaining this basic compatibility is one of the primary goals of the project.

As a research project, F# demonstrates how .NET enables interoperability between different programming paradigms. It showcases a set of extensions to .NET's intermediate language IL, called ILX, which demonstrate how a strict curried functional language may be compiled efficiently.

As of June 2006, F# was in the beta stage of development.

1 Applications
2 Examples
3 See also
4 External links

[edit] Applications

The F# programming language has many applications ranging from scripting to cross-platform application development.

The properties of the F# language and environment make it an ideal platform for scientific computing, filling the gap between low-level but high-performance numerical languages like Fortran and high-level but slow languages like Mathematica. F# provides the performance of a compiled language (typically between that of C and Java) with the sophisticated language features of high-level languages, including safety, static typing, pattern matching, views, higher-order functions and currying.

The F# environment includes the ability to run interactive sessions, allowing users to run pieces of code at will, collecting and analysing the results without having to compile whole programs. Moreover, visualizations can be spawned from interactive sessions, giving F# the essential functionality of many expensive technical computing environments.

F# also provides easy access to a foreign function interface, allowing libraries such as LAPACK and FFTW to be used with only a small amount of binding code.

[edit] Examples

A very small sample follows:

open System.Windows.Forms
let form = new Form(Visible=true, TopMost=true, Text="Welcome to F#")

let x = 3 + (4 * 5)
do form.Text <- (if x = 23 then "Correct!" else "incorrect")

F# is compatible with the XNA Game Studio Express product, which permits construction of games for Windows and for the Xbox 360.

[edit] See also

C#
OCaml

[edit] External links

.NET Framework (Microsoft)

v • d • e

Architecture:	Common Language Infrastructure • .NET assembly • .NET metadata • Base Class Library
Common Language Infrastructure:	Common Language Runtime • Common Type System • Common Intermediate Language • Virtual Execution System
Languages:	C# • Visual Basic .NET • C++/CLI (Managed) • J# • JScript .NET • Windows PowerShell • IronPython • F#
Windows Foundations:	Presentation • Communication • Workflow • CardSpace
Related:	Windows Forms • ASP.NET • ADO.NET • .NET Remoting • XAML
Other Implementations:	.NET Compact Framework • .NET Micro Framework • Shared Source CLI • Portable.NET • Mono
Comparison:	C# vs. Java • C# vs. VB.NET