RE: F# based on OCaml?

["Erik Meijer" <address@hidden>]

There is no need to compile to IL to be able to play nice with the CLR.
You might want to consider giving Hugs98 for .NET a try
(http://galois.com/~sof/hugs98.net/). It allows full bidirectional
interop between Haskell98 and .NET without compiling Haskell to IL.

Hopefully we will see the same functionality for GHC soon as well.

Erik

-----Original Message-----
From: Russ Ross [mailto:russ@russross.com] 
Sent: Friday, May 23, 2003 8:28 AM
To: ll1-discuss@ai.mit.edu
Subject: Re: F# based on OCaml?

Unless something new has happened, this isn't really (new) news.
Microsoft research has commissioned a number of different language
ports to .NET to test it and to promote .NET as a general-purpose
platform that plays well with many languages and paradigms.  F# is a
port of OCAML with some extensions for better interfacing with other
.NET components.  The columnist's description of it as a blending of
ML, C#, and Java seems a little misleading.  I think that in general
the article suffers because the author seems a little under-informed
about functional languages.

I read a report by Mark Hammond who did a prototype port of Python
to .NET which was also sponsored by Microsoft:

http://www.activestate.com/Initiatives/NET/Python_for_.NET_whitepaper.pd
f

Much like the Java VM, the .NET CLR suffers somewhat from being too
closely tied to C#.  VB.NET raised a lot of complaints that it
was too different from previous versions of VB: it was basically C#
with some VB syntax.  The Python port gives a similar impression.  I
think F# is OCAML with some necessary C# ideas mixed in to make it
play with the rest of the CLR.

I don't think Microsoft has any intention of marketing F# as a new
language, or even taking it beyond the research stage.  It's an
interesting project, but the extremetech article and the slashdot
reference kind of plucked it randomly out of a number of comparable
projects.  I'd be careful about reading too much into it.  For a
list of a few other .NET language implementations see:

http://www.jasonbock.net/dotnetlanguages.html

- Russ


On Fri, May 23, 2003 at 09:36:12AM -0400, Kevin Kelleher wrote:
> 
> I just saw this on Slashdot:  Microsoft is coming out with a
> new language called F#, based on OCaml and C#.
> 
> http://www.extremetech.com/article2/0,3973,1102795,00.asp
> 
> -- 
> Kevin Kelleher <kkell@znet.com>