LOGIN | REGISTER NOW | SUBSCRIBE
 
 
News on Monday
more>>
SharePoint Tech Report
more>>


   

 
 
Download Current Issue
ISSUE 7/1/2009 PDF

Need Back Issues?
DOWNLOAD HERE

Receive the print Edition?


 
Is the mystery Borland suitor Serena?
Borland software is considering an offer from another company after a preliminary deal with MicroFocus. Is Serena the new company?
06/30/2009 01:55 PM EST

Windows 7 - An eBayer's dream product?
Windows 7 pre-orders can make people money on eBay.
06/29/2009 03:48 PM EST

Know thine cloud provider
Cloud computing require companies to understand compliance and regulation. Third parties will play a big role in regulated industries.
06/29/2009 02:58 PM EST

 

Microsoft Worldwide Partner Conf.
7/13/2009 to 7/16/2009
New Orleans
Microsoft

OSCON (Open Source Convention)
7/20/2009 to 7/24/2009
San Jose
O'Reilly Media

XBRL Technology Workshop & Summit
7/28/2009 to 7/30/2009
Santa Clara
XBRL US

ACM SIGGRAPH
8/3/2009 to 8/7/2009
New Orleans
ACM SIGGRAPH

OpenSource World (formerly LinuxWorld)
8/12/2009 to 8/13/2009
San Francisco
IDG World Expo


 
print Printable version 
Most Read Latest News Blog Resources
Kapow automates website data retrieval
Kapow Technology's Web Data Server 7.0 can be used to create modules that navigate through...

Oracle's Fusion 11g lays groundwork for ERP platform
Fusion's components are standards-based and integrated, but some abilities are lost if non...

COBOL’s future lies in the clouds
After 50 years of use in businesses, COBOL is still lingering around mainframes. But the s...

Digg!  Digg
Reddit  Reddit
Slashdot  Slashdot
Share on facebook  Facebook
Share on Twitter  Twitter

‘F’ is for Functional


Microsoft Research’s F# programming language will be productized

By David Worthington
November 1, 2007 — 
Anyone who thinks that functional programming languages are extinct everywhere but in the insular world of academia is in for a surprise. Microsoft is transferring an experimental programming language called F# (pronounced: F-sharp) from its research labs into its products. Now, Microsoft is ready to use what was nearly dismissed as yesterday’s technology to tackle the programming challenges of today.

F# is a hybrid functional and object-oriented programming language that was created by researchers at Microsoft's Cambridge, U.K., lab to demonstrate interoperability between different programming paradigms. It has roots in the ML family of functional programming languages and is compatible with OCaml. The researchers also drew concepts from C# and Haskell, another functional programming language.

A prototype F# plug-in for Visual Studio 2003 and 2005 provides a graphical development workspace for developers. The plug-in assists with type inference, a feature present in strongly statically typed programming languages such as OCaml.

Functional programming languages such as APL, Erlang and Lisp treat computation as the evaluation of mathematical functions. Object-oriented languages largely displaced them, as the industry opted for another layer of abstraction, retiring the “let” statement.

"I am a big fan of technology transfer between a research organization and a product development organization so that we can 'productize' the great research ideas and deliver to customers in a timely manner," wrote Microsoft developer division corporate vice president S. Somasegar in an Oct. 24 blog posting. Somasegar pronounced F# as one of the best things that has happened at Microsoft since establishing its research division 15 years ago.

“Many computer science departments around the world teach functional programming languages today,” he claimed. “We believe that through F# and languages such as IronPython and IronRuby, we can help offer students and educators choices beyond the current mainstream and enable the use of these languages across the curriculum. This helps educators have the option to use Visual Studio as a consistent tool set from course to course,” Somasegar wrote.

Somasegar added that ideas from functional programming languages are helping Microsoft address some of the biggest challenges facing the industry today, including the “impedance mismatch” between data and objects and the challenges of programming in a world of multicore and parallel hardware.

Libraries That Straighten OCaml's Back
But don’t plan on F# being productized anytime soon. Jay Roxe, group product manager in Microsoft's developer division said, "Microsoft has not yet laid out a schedule for the formal release of F#. The plan is to get community feedback during the development phase with CTPs and beta releases that developers can try out along the way."

Microsoft worked on F# in collaboration with members of the OCaml community, including Xavier Leroy, a primary developer of the Objective Caml system and senior scientist at the French National Institute for Computer Science and Control, INRIA. The end result is that Caml code can now be ported to .NET, and F# code can be run with OCaml.

What makes F# unique and different from Caml is that it combines the attributes of a functional programming language with the object model of .NET. It has immediate access to the .NET Framework’s APIs, shares its tools and integrates directly with Windows. F# can create .NET components by producing ILX, .NET's intermediary language, or compile into .NET binaries. C# and F# can call each other directly due to this aspect of its design

“The best F# code development experience is currently with Visual Studio 2005 and .NET 2.0, or VS 2008 Beta 2 and .NET 3.5,” said a Microsoft spokesperson.

Additionally, F# supports dynamic linking, preemptive multithreading and SMP machine support, and Unicode strings—features that are unavailable in other ML language implementations, according to Microsoft Research's project Web site. It also provides interactive scripting that is akin to Python.


Share this link: http://www.sdtimes.com/link/31289
 

Add comment


Name*
Email*  
Country     


  • Comment
  • Preview
Loading