Follow Slashdot blog updates by subscribing to our blog RSS feed

 



Forgot your password?
typodupeerror
×
Microsoft Programming IT Technology

Inside Microsoft's New F# Language 618

robyn217 writes "There's a new language being formed in the bowels of Microsoft. Recently I got word that the language F# (pronounced F Sharp) is nearing workable stages at Microsoft Research. So, I went in for a look-see. What I found was an interesting blend of imperative (Java, C#) and functional languages(it's ML-based, too!). It looks pretty enticing to me from a computer science perspective, but I'm not sure it would fly in the professional market. I can see the ease of development that a language loosely based on ML would bring, but I can't see coders switching over in droves since it's a tough learning curve." Our previous story on F#.
This discussion has been archived. No new comments can be posted.

Inside Microsoft's New F# Language

Comments Filter:
  • by The Lord of Chaos ( 231000 ) on Friday May 23, 2003 @07:58AM (#6022899)
    F#ing Visual C++
    F#ing VB.
    F#ing Win32 API
  • by Anonymous Coward on Friday May 23, 2003 @07:58AM (#6022902)
    It's OCaml for the .NET CLR. Not a new language. Nothing to see here. Move along.
    • by Zeinfeld ( 263942 ) on Friday May 23, 2003 @08:34AM (#6023168) Homepage
      It's OCaml for the .NET CLR. Not a new language. Nothing to see here. Move along.

      Yes, but the problem with most ML implementations is that they are academic toy languages. You can't do anything useful with them because you can't connect them to real I/O and if you can you can't distribute the code as noone else has the environment.

      Adding the dotNET classes to ML means you have a real programming environment for a functional language.

      • by Junks Jerzey ( 54586 ) on Friday May 23, 2003 @08:56AM (#6023315)
        Yes, but the problem with most ML implementations is that they are academic toy languages. You can't do anything useful with them because you can't connect them to real I/O

        In all honesty, what are you talking about? You can pick up OCaml right now and I/O is just fine. Period.

        if you can you can't distribute the code as noone else has the environment

        So everyone has to use C forever and ever?
        • by arkanes ( 521690 ) <arkanes.gmail@com> on Friday May 23, 2003 @09:14AM (#6023453) Homepage
          There's a signifigant inertia to overcome with the acceptance of any new language. One of the barriers is the creation of a useful runtime, porting that runtime to common platforms, keeping it supported, etc. There's a whole bunch of languages out there, but probably 90% of applications are written in less than a dozen of them (Java, VB, C, C++, Delphi... am I missing anything else major?).

          One way to overcome that inertia is to provide bindings for your niche language against a major runtime - like compiling it to Java bytecode, or, in this case, IL.

          Now, .NET has it's own inertia to overcome, but because it's Microsofts baby, it has alot of advantages that the language/runtime that Joe Programmer makes doesn't have.

          This is interesting for a couple other reasons - it's been reported before that it should be easy to port functional languages to .NET - and that it's apparently hard to have them compile to Java (I don't know crap about functional languages, I'm just parroting here), so here's the proof of that. Also, like it or not, .NET is very big and is being very heavily pushed by the single most influential company in IT - and if you're a fan of functional languages, I don't see how this is a loss for you or why you're bitter about it.

        • In all honesty, what are you talking about? You can pick up OCaml right now and I/O is just fine. Period.

          Yeah, yeah and you could write programs in ANSI Pascal, problem was you could not do it without a lot of hassle.

          Under dotNET there are no second class languages (well apart from C++), they all can access the same runtime. That is a major advance. OK you could write to the Java bytecode but anything other than Java will always be a second class language in that environment.

      • by John Whitley ( 6067 ) on Friday May 23, 2003 @09:17PM (#6028894) Homepage
        can't connect them to real I/O

        This used to be true ten years ago, but you are way out of date. OCaml works great for I/O. If available Debian packages are any measure, OCaml has had quite the active and growing developer base too.

        The major semantic hurdles for even (mostly-)pure functional languages (c.f. Haskell) were solved many years ago. (Look up the papers of John Launchbury, Simon Peyton-Jones, and others on State Transformers in Haskell. See also papers about how the use of the 'monad' from category theory introduced an incredibly powerful tool into languages such as Haskell). The Fox project at CMU used Standard ML to create a nifty layered TCP/IP stack and HTTP sever back in the mid 90's.

        The various current functional languages may have issues, social and/or technical, w.r.t. mass adoption... but the I/O problem definitely isn't one of them anymore.

    • by MillionthMonkey ( 240664 ) on Friday May 23, 2003 @02:15PM (#6026291)
      (DISCLAIMER: I didn't write this myself- we were having an email conversation about F# today at work, and this is what our CEO had to say about it. I got his permission to repost his email here but he insisted on editing a few comments disparaging to Microsoft because he wants to encourage them to keep working on it.)
      --snip--

      F# seems to be based very closely upon ocaml, which was the language that I used for day to day work before Java.

      I think ocaml is a fantastic language, although, like everything, it had a few significant problems five years ago:
      - obscure [ F# could fix this ]
      - not as many libraries as a mainstream language [ F# could fix this. ]
      - not great module support - if module A depends on B, then B cannot depend on A.

      Disclaimer: everything I say comes from personal, but old, experience, and a cursory look at the F# web site.

      Interesting properties of ocaml:
      1) Functions are first class objects. E.g..
      let add x y = x+y;
      let add3 = add 3;
      print (add3 4);
      -> 7
      2) Polymorphism works well. So you could define a function that takes an array of objects x and a function that maps x to y, and produce an array of objects y. Eg
      let a = [| 5,6,7 |] // an array of integers
      print (Array.map add3 a)
      -> [| 8,9,10 |]
      3) Type checking is strong, compile time, and usually implicit. All types in the examples above are deduced correctly. Disadvantage: You can't have operator overloading, even for the plus sign... so + means integer addition, and +. means double addition.

      4) You can return multiple values from a function
      let cis t = (cos t,sin t);
      let (ct,st) = cis (PI /. 2.0);
      print ct;
      -> 0.0

      5) Variables are final by default, but can explicitly be made not-final. There are also control structures that make many things that one does in Java by changing variables simpler. This can make debugging simpler, but takes a while to get used to.

      6) There is some very powerful pattern matching code - imagine a more powerful case where you could say

      int x;
      Point y
      switch (x,y) {
      case 7,null: do this
      case 4,Point(3,?) : do that
      case x,Point(y,x) : print y
      default:
      }

      [ Actually, there is no direct concept of null, but that is not the point. ]

      I particularly liked ocaml as it allowed imperative features, had GC and exceptions, and had a very good compiler that produced fast code. I was very impressed by the French academic group that made it and supported it.

      [ Note examples are not valid ocaml - they are ocaml features with a javaified syntax to make them easier to explain, and besides, I have not used the language for years. ]

      The current F# implementation does not sound very efficient for a variety of reasons. It is also not nicely polymorphic in the same way that ocaml is. This defeats a lot of the point of it. They need support for generics in the VM for these to work well. There is a different group at MS research working on this - I would be delighted if both the F# project and the generics project make it into the mainstream.

      It is not clear how well the ML view of types will match up with the C# view of types. ML programming feels different to Java programming, and this could make the .NET library matching clumsy. But if they could make it work, then that could get rid of two of the biggest perceived issues that have prevented widespread adoption of ocaml.

      --snip--
  • "nearing workable stages at Microsoft Research"

    What a softball on a Slashdot story. I bet

    21 joke made with reference to this phrase

    Let's watch and see :)
    • 'Tell me about your day?'

      It is alright so far, thought it is only 8:00AM central right now. Thanks for asking though, how is your day?
  • F? (Score:2, Funny)

    by Tsali ( 594389 )
    F-pound?
    F-sharp?
    F-UD?

    Sheesh. Don't we have enough languages already? I thought C# was the absolute savior of the MS-centric tech world.

    Just learn how to program in one language before you hit another one.
    • Re:F? (Score:5, Interesting)

      by Tsali ( 594389 ) on Friday May 23, 2003 @08:05AM (#6022951)
      Actually, after rereading, doesn't python's lambda or use of functions as objects address the same problem space as F#? (per the author's example on the "What's the purpose of F#?" page of the article? My python's rusty, but, isn't that one of the cool things about python? Couldn't a C# delegate do something similar? Can you tell VB is my native tongue? :-)

      • You can do this in almost every language. It's just that it's more elegant in a functional language.

        Python has its functions as objects, as well as some map functions. C++ has functors. Java has reflection, etc, etc.

      • by jacobm ( 68967 )
        Python's lambda (actually Lisp's lambda incorporated into python 40 years later) is exactly the same mechanism, yes. A big difference is that F# is statically typed whereas Python is not.
      • Re:F? (Score:5, Interesting)

        by thermostat42 ( 112272 ) on Friday May 23, 2003 @08:34AM (#6023167) Homepage
        As one of the posters above mentioned, python's lambda is actually borrrowed from the Functional programming world. I believe it originally gets its name from Lambda Calculus, but mathematicians will have to correct me on that. (I first saw it in Scheme, the most beautiful programming language I've ever programmed in, if not the most practical.)

        If you've never done functional programming, it a different animal from imperitive programming, and if you do know python, it borrows a number of things from FP, not just lambdas. Look at python's map, apply, and reduce functions, along with list comprehensions (taken from Haskell, which I really need to learn). Although, it should be noted that python's recursion really isn't optimized for FP, but you can still do quite a few things that a functional programmer would be at home with.
    • It's definitely not pound, not hash maybe sharp but really, it is octothorp [maricopa.edu].
    • I always read C# as "C-hash".
    • F-hash (Score:3, Funny)

      by wadiwood ( 601205 )
      The only time I read a # as "sharp" is when it is on a musical staff ie five parallel lines. Otherwise it is a hash as in #5 for number 5 or please press the hash key on the phone.

      hash definitions [wordreference.com]

      Of course when ever I see F# and Micro$oft together I read F#$%

      The description reads like F# is OCaml on hash ie dumbed down.
      • Re:F-hash (Score:3, Funny)

        by grahamlee ( 522375 )

        For some reason, British Telecom operators refer to the # key as "the square key". Well on my phone the two upright lines are not perpendicular to the two horizontal lines, so it's more of a rhombus than a square, but when I explain that to the ops, they hang up...

    • Re:F? (Score:3, Funny)

      by caluml ( 551744 )
      It's gotta be called F-sharp, if you ask me. Which you're not :o)

      I don't get how a # can be called a pound. What do you guys call £ then?

  • Yes !!! (Score:5, Funny)

    by dago ( 25724 ) on Friday May 23, 2003 @08:01AM (#6022918)
    I knew that someday Fortran will make its comeback and becomes the all mighty programming language !!!

  • Figures... (Score:4, Funny)

    by da3dAlus ( 20553 ) <dustin.grau@REDHATgmail.com minus distro> on Friday May 23, 2003 @08:02AM (#6022926) Homepage Journal
    I usually use an F#-word or two when dealing with one of Microsoft's programming languages. This is great for marketing "See, everyone's shouting praises of F(sharp)!".
  • by CrazyJ020 ( 219799 ) on Friday May 23, 2003 @08:05AM (#6022948) Homepage
    A microsoft rep met with us a couple of weeks ago pushing .NET, win2k3, the whole enchilada. He mentioned they have MANY of these languages in development and are due to be released in the next year or so. They will still be pushing C# for mainstream development. The other languages will focus on niches where a modern OO language would be cumbersome.

    He wouldn't confirm whether they would have the X# naming convention ;)
    • by esarjeant ( 100503 ) on Friday May 23, 2003 @09:30AM (#6023580) Homepage
      I like different languages, there are applications where Perl is more effective than C and where object oriented makes more sense than procedural.

      It looks like Microsoft is going to provide me a dream palette of languages to pick from. Maybe this will help make things like Design By Contract a little more mainstream?

      OTOH, there is a right way and a wrong way of approaching this. In the example of DBC, MS would do good by providing an Eiffel implementation for their CLR. In the example of F#, MS would be more correct to introduce Scheme and LISP dialects rather than invent their own.

      Not because these languages are perfect, but because developers are already familiar with these environments. We can't continue to "invent" new ways of doing things, the software industry has been introducing new standards at such an astonishing rate that we may jeopardize our ability to maintain legacy systems that are generationally distanced. Systems that were maintained 10 or 20 years ago rely on technologies that a recent college grad will be entirely unfamiliar with.

      Very few industries have this kind of halflife, let's not make it worse with [Aa-Zz]#.
      • by MisterFancypants ( 615129 ) on Friday May 23, 2003 @01:09PM (#6025644)
        OTOH, there is a right way and a wrong way of approaching this. In the example of DBC, MS would do good by providing an Eiffel implementation for their CLR. In the example of F#, MS would be more correct to introduce Scheme and LISP dialects rather than invent their own.

        Bertrand Meyer is one of the biggest .NET boosters on the planet, and he already oversaw a port of Eiffel to .NET [eiffel.com]. This was available like a year ago.

        There's also a Scheme compiler, called Hotdog [nwu.edu], with a .NET backend:

        Keep in mind that F# is but one of MANY language research projects going on at Microsoft Research, and there are many more going on at other sites that Microsoft is tangentially involved with.

  • by SomethingOrOther ( 521702 ) on Friday May 23, 2003 @08:05AM (#6022949) Homepage

    Heh
    In the UK we call that square thingy a hash

    Do you think C hash has done well here :-P Will F hash do any better?

    (Or does "making a hash of it" get lost in the translation?)

    • In the UK we call that square thingy a hash

      It's actually called an "octothorpe". Search for the earliest C# discussions on /. ... various linguist geeks babbled about this endlessly, even getting into minutiae about a hash being right-angle lines but a sharp note being angular, etc etc.

      No, I'm not a language geek so yes, it was mostly a boring conversation. :)

    • 'Ghash!' muttered Gandalf, 'I wonder if that is what they meant: that the lower levels are on fire? Still we can only go on.'

      'Ai! ai!' wailed Legolas. 'A Billrog! A Billrog is come!'
  • by ayjay29 ( 144994 ) on Friday May 23, 2003 @08:07AM (#6022957)
    When developing for windoes "Microsoft F#&%", or "F#&%*!? .net" is the most common language our team uses.

  • Gee Flat (Score:5, Funny)

    by snatchitup ( 466222 ) on Friday May 23, 2003 @08:07AM (#6022959) Homepage Journal
    Do you relize that an F# major has 6 sharps.

    But, an F# is the same as a Gb (G flat) which has as 6 flats.

    Now the C# scale has 7 sharps, but it's the same as a Db (D flat) which only has 5 flats.

    Most people think (D flat) instead of C#.

    F# is a very bright scale. It sounds very nice on an Alto Saxophone, whereas the C# scale is a little more moody, depressed.

    Maybe Microsoft is trying to back off the use of C#.

    • Re:Gee Flat (Score:3, Funny)

      by mekkab ( 133181 )
      damn you and your circle of fifths!!
    • Re:Gee Flat (Score:4, Insightful)

      by sammy baby ( 14909 ) on Friday May 23, 2003 @08:25AM (#6023099) Journal
      I'd hesitate to say it's a "bright scale" in and of itself. The intervals between tones are the same in F# as in C#, which is why the whole circle-of-fifths [radix.net] thing works in the first place. The brightness or moodiness of the scale is entirely dependent on the range and tonal qualities of the instrument on which it's played - try it on a piano, and one doesn't really sound brighter than the other.

      And besides, everyone knows that D minor is the saddest of all keys [roadie.net].
      • It ain't necessarily so. Not all instruments are tuned the same, or have exactly the same intervals. Look here [cix.co.uk] to an introduction to what it's all about. Alternative tunings and all that, and their history.
      • The intervals between tones are the same in F# as in C#

        Not precisely true, at least on keyboard instruments. A major third plus a major third plus a major fourth should yield an ocatave, but the math doesn't work out that way. So compromises must be made, which is done by tempering [uk-piano.org] the piano. Due to the tempering, intervals do change slightly from key to key.

        In wind and string instruments, the player has more control of the pitch of each note, but when playing in ensembles, an effort is generally
    • Maybe Microsoft is trying to back off the use of C#.

      Actually, it's apparent that Microsoft is trying to put on some kind of a concert based on the names of programming languages.

      They're trying to prevent stuff like this! [infoworld.com]

    • Re:Gee Flat (Score:4, Funny)

      by Alioth ( 221270 ) <no@spam> on Friday May 23, 2003 @08:49AM (#6023267) Journal
      Now all they need is G# (or Ab) and you can play the blues with Microsoft languages. Somewhat appropriate :-)
    • Re:Gee Flat (Score:3, Insightful)

      by $carab ( 464226 )
      Most people think (D flat) instead of C#.

      Most people think of the note as C# because it is the third sharp added as you move up the circle of fifths. The A major scale includes a C#. D flat, on the other hand, does not arrive until 4 flats, in the A flat major scale. As a string player, I can tell you we play in multiple sharps far more than multiple flats (Who ever heard of a violin concerto in A flat?).
  • Could be useful? (Score:5, Interesting)

    by DrTentacle ( 469268 ) on Friday May 23, 2003 @08:07AM (#6022964)
    Our company has recently started to introduce .NET development alongside our core J2EE platform. One of the issues that has come up has been how useful the multi-language/single-platform support would be. Rather than taking a "best of breed" language for all development, the use of the right tool for the right job could potentially lead to interesting results - A mix of C#/ML/PROLOG/etc. as appropriate for the immesdiate task at hand. I don't think MS is far enough down the road yet to capitalise on the idea, but it's certainly an intriguing possibility - Even if it would lead to a maintenance nightmare :)
    • by iabervon ( 1971 )
      The .NET CLR was designed for C#. None of the other .NET languages are any better for anything than C#, because every feature that isn't in C# has been removed from the other languages to make it a .NET language. It's not actually more generally applicable than the JVM, it's just that there's a bigger marketting push to demonstrate that you can implement a bit of a lot of languages on it.
  • by 26199 ( 577806 ) * on Friday May 23, 2003 @08:08AM (#6022979) Homepage

    Map then applies whatever function we pass in to every member in the array (called a list in functional programming).

    So, all you functional programmers, remember... a list is just another name for an array :-P

    Seriously, though... I was discussing the future of programming languages with some friends and we agreed that a real step forward would be to provide features such as higher order functions in a mainstream language... could this be it?

    If so then it's a little worrying... I'd rather not see any revolutionary languages come out of MS, if at all possible...

    (Cambridge's Computer Science degree teaches ML followed by Java in the first year... would they switch to teaching just F# if it became popular?)

    • No, they'll hardly switch to F#. F# does not seem even close to as hardcore functional as it would need to be to satisfy the "theoretically really interesting but completely unusable when it accidentally collides with reality" requirement of CS that ML or Haskell provides.
    • by Dan Ost ( 415913 ) on Friday May 23, 2003 @09:22AM (#6023518)
      Seriously, though... I was discussing the future of programming languages with some friends and we agreed that a real step forward would be to provide features such as higher order functions in a mainstream language... could this be it?

      If you consider Python to be mainstream, then there's already a mainstream language that supports both functional programming and advanced types like lists and associative arrays (aka dictionaries).

      I stumbled on to Python about a year ago and have been so impressed by it that it's becoming my languange of choice for new development.

      Check Python out. Really
      • Python certainly isn't the first semi-mainstream language to provide higher-order features. Smalltalk has been around in one form or another for 30 years. Smalltalk may not be the flavor-of-the-day like Python, but it's a proven, mature system which probably has been used for more 'mission-critical' systems at businesses than Python. As Python mature and Smalltalk evolves into something else, this is bound to change.

        Anywho, Perl has more users than Python, has been around for longer and boasts the same
    • You can get higher order functions in C++, just about (eg for_each in the standard library). But the syntax is awkward and without anonymous functions (lambda) it gets more awkward.

      Perl has higher order functions, and is reasonably 'mainstream'. So do Python and Tcl and most other scripting languages that let you pass around pointers to functions. But without typechecking it can get a bit error-prone to do the kind of really complex stuff you might do in Haskell or ML.
    • In France, students learn Caml during their first year before school of engineer. Maybe this will help the devel of ML in industry.
  • I like the idea (Score:5, Informative)

    by Anonymous Coward on Friday May 23, 2003 @08:09AM (#6022985)
    My first year CS classes were taught in ML. It's a very potent language. I especially liked the type inference system. What other languages do in templates comes naturally in ML. Our CS prof gave us an example of Quicksort in 3 lines of readable code. As an academic language ML has problems interfacing with real life systems. OcaML was a step in the right direction and MS is building F# on it. I'll certainly try this one.
    • Re:I like the idea (Score:3, Interesting)

      by slackergod ( 37906 )
      You should take a look at Erlang [erlang.org].

      It's much in the style of ML, but with ideas from many other languages thrown in.
      And it definitely isn't an "academic" language... it's developed and used by Ericsson
      to drive telecommunications systems which have to handle a huge load, and cant be allowed to crash.

      Luckily, it's now open source (sorta), and the basic Erlang OTP package
      contains about as many side features as Python does :)

      It's inherently parallel (a single program can easily distribute itself acr
  • by shic ( 309152 ) on Friday May 23, 2003 @08:10AM (#6022990)
    I wonder if F# has any relationship to the "ML for Microsoft" (I forget the name) efforts from Harlequin Software a few years ago? ML has always seemed an ideal fit for many single-user RAD developments, it just needed an appropriately stable, complete, clearly specified component library and professional quality IDE in order to reap productivity benefits over Java/C# et al.
  • by dduardo ( 592868 ) on Friday May 23, 2003 @08:13AM (#6023011)
    If they can patent/trademark/copyright all the notes used in music, they will be able to own the RIAA.

    The have: C#,F#
    Left: A,A#,B,C,D,D#,E,F,G,G#

    Can't wait for the other 10 programming languages
    • Well, they'd own the music written using the 12-tone scale we're all familiar with. I suppose stuff by John Cage, et al, would still slip through their fingers....
    • If they can patent/trademark/copyright all the notes used in music, they will be able to own the RIAA. The have: C#,F# Left: A,A#,B,C,D,D#,E,F,G,G# Can't wait for the other 10 programming languages

      A, B and C have been already been used for programmin languages, so this leaves out only 7 available names.

      OTOH, they can still use flats, and if they pretend that the equal temperament is not used at MS (today, different tunings are used also to perform music of the past in an authentic way) then C# and

  • Filters (Score:2, Insightful)

    by alexjohns ( 53323 )
    Considering that most corporate mail servers filter pretty much all email containing variants of 'F*', 'F#', 'F###', etc., I really don't see how this could possibly catch on. Certainly not in large corporations. Maybe MS will need to start a grass-roots campaign.

    And, you know, I've been working for a very large financial institution for 2.5 years. I've seen no sign of C# anywhere. Going to the programming racks at Borders would make you think differently. I honestly think there's more C# books out there n

    • Re:Filters (Score:3, Informative)

      by zero_offset ( 200586 )
      Insightful? Please.

      First of all, I've been working in a probably-much-larger (one of the largest) financial institutions for six years, and I see C# all over the place. So much for anecdotes.

      Second, I've been working for various large companies since Internet-based e-mail started, and I've never seen anything that would filter F#. So much for speculation.

      Now if I just had some moderator points. :P :)

      • Re:Filters (Score:3, Informative)

        by alexjohns ( 53323 )
        OK, I see your large financial institution, and raise. I work for Wells Fargo, in one of their divisions. 130,000 employees. I doubt it's the largest one in the world, but still pretty large. Back to you. Call?

        We have a common Tech Library (in San Fran) where you can check out books. I see 3 C# books in the online listing. I imagine some division somewhere is toying with it. Everyone I know about in the company is doing C/C++/Perl/Java.

        I was a sysadmin for a few years. I've seen several instances where f

  • Why I like Java... (Score:3, Insightful)

    by Eric_Cartman_South_P ( 594330 ) on Friday May 23, 2003 @08:29AM (#6023128)
    ...the way I wrote a file to a disk 5 years ago is the same way I write it today. And I know how to write a file to a disk on Solaris, Linux, Mac, BSD and Windoze since I know the little bit of code that does it in Java. Although a simple real world example, it is pretty powerfull stuff when you think about it. And remember, NO RELEARNING.

    I know, AWT->SWING and a bunch of other examples, but a CORE PART of Java does not change. It remains the same as much as possible, in regards to the API.

    MS goes ahead and changes things completely every few years. Java, for the most part, does NOT require tons of relearning. The API's are there if you need them, but a majority of them do not change. They might get "cleaned up" a bit, or a few deprecated here or there, or in my opinion a few too many may be created to do the same task, but if you could knock up a Java prog years back, it's the same way today for the most part. SIMPLE.

  • Are C# and F# the two notes that make up the theme to Jaws?
  • Perl has a fairly steep learning curve to really use the language. If it's good enough, they will use it.
  • There are three levels to programming.

    The first is for the silicon scrapers. Guys who write device drivers and who are amply served by assembler (for the real propeller-head bit-twiddlers) and and by C (Not C++, C) There is no sense of reality at this level.

    The second level is for the tool makers. The guys who bring you APIs and services like TCP/IP, Tuxedo, database managers, OpenGL, compilers, browsers and the like. Those folks use C++ and Java. Its a mistake to think that you can make an application in
  • by Shant3030 ( 414048 ) * on Friday May 23, 2003 @08:36AM (#6023185)
    I strongly suggest that Microsoft stick to making operat...(um), office pro..., (no thats not it...), web brow...(nope), how about video game...(nah)..., programming platfor...(not it either)...

  • Caml (Score:2, Informative)

    by Eudoxe ( 669884 )
    F# looks like OCaml. You can have a look on the libraries already present for this fabulous language on the hump http://caml.inria.fr/humps/index.html
  • Now when people say "F Microsoft" they can be sued for trademark infringement. Way to stifle dissent, MSFT!
  • Haskell next? (Score:5, Informative)

    by axxackall ( 579006 ) on Friday May 23, 2003 @09:02AM (#6023364) Homepage Journal
    While I like ML (whole family) so much more than any imperative legacy (Java, C++, C, Perl), I see the main problem that any ML has with for modern RAD and with scripting is its static typing. And that's why I like (more than ML) Haskell [haskell.org] - it's dynamically typed and thus it's much more appropriate both for operating scripting and for big app RAD.

    Until today, both ML and Haskell had a common problem: a lack of commercial and real world interest in it and therefore a lack of real-world libraries and supporting frameworks. But now things are going to be changed.

    First Ericson came with Erlang, an excelent essence of FP, LP, scripting and networking. Now M$ (I know - evil, but anyway) came with F# bringing OCaml [ocaml.org] to the real world saving from being forgotten somewhere in Inria.

    What next? I think that would be Haskell, the language even more suprior to ML, with already OOP [chalmers.se], Parallel [hw.ac.uk] and Cuncurrent [hw.ac.uk] extensions. Also I like its Functional-Logical dialect - Curry [uni-kiel.de]. But who will bring it to the real world? IBM?

    • Re:Haskell next? (Score:5, Informative)

      by KieranElby ( 315360 ) <kieran@dunelm.org.uk> on Friday May 23, 2003 @09:33AM (#6023604) Homepage
      I wouldn't bet against Microsoft bringing Haskell to the real world - their research department (which would put many universities to shame) has some top Haskell people, such as Simon Peyton Jones.
      There's some interesting papers by him over here [microsoft.com].
    • Re:Haskell next? (Score:4, Informative)

      by milesegan ( 134096 ) on Friday May 23, 2003 @09:47AM (#6023707) Homepage

      Haskell is most certainly not dynamically typed. Like ML, it is a statically typed language with a compiler that does type inference at compile type. You don't usually have to manually declare types but you still have to get them right at compile time. There are some differences between ML's type system and Haskell's but they're basically the same animal.

      ML and Haskell differ mainly in that ML is an eager language, which evaluates all arguments to functions before evaluating the function. Haskell is a lazy language which delays evalution of function arguments until their values are needed.

      Erlang, on the other hand is dynamically typed.

  • by carlos_benj ( 140796 ) on Friday May 23, 2003 @09:37AM (#6023639) Journal
    There's a new language being formed in the bowels of Microsoft.

    This may help explain Microsofts process for developing new software. How are things "formed in the bowels" anyway? A simple understanding is that good stuff is essentially chewed to pieces and then deconstructed in an acidic bath. Once the good stuff reaches the bowels then an attempt is made to remove everything that is of value. Once that has been accomplished we are, I suppose, left with a Microsoft product that is ready to (careful here now) ship (Whew! Now that was one major Freudian slip just waiting to happen....).
  • by jfengel ( 409917 ) on Friday May 23, 2003 @10:02AM (#6023851) Homepage Journal
    It's usually a very bad idea to include imperative aspects in functional languages.

    Functional languages are amazing creatures. They're really strange to work in. They take a serious change of mindset. They can be very slow to execute. I/O is really odd when side effects are forbidden.

    They have astounding benefits, too. The localization of effect means that they're really easy to debug. The lack of side effects means that some really enormous optimizations are open, which is crucial since the naive execution is slow.

    Once you throw in any imperative aspects at all, these effects go right out the window. Even a single imperative statement potentially interferes with every optimization. ("Can I eliminate this execution branch? It seems like a redundant call but it might branch to that imperative statement.")

    I think that this got in the way of ML. It can be easy to want to add just a tiny imperative element to make something easier, but that small crack opened up a lot of headaches for me. I greatly preferred the purity of Haskell.

    I haven't read the F# spec, so I may be overreacting from the notoriously inaccurate Slashdot summary. That's next.
    • Strange then (Score:3, Interesting)

      ...that Ocaml is speed competitive with C when compiled, and with java when bytecoded. Meanwhile haskell is more in the same speed category as awk and tcl.

      Data here.
  • by jefu ( 53450 ) on Friday May 23, 2003 @10:27AM (#6024039) Homepage Journal

    Functional Programming is a Very Good Thing to learn.

    After being interested in functional programming languages for a while I had the opportunity to spend some time reviewing a textbook using ML. I figured that was the time to learn the language. Got frustrated quickly, I got several ML systems (including the one mentioned in the book) and no two worked alike. Hell, the syntax varies enough that there are ML dialects that look like completely different languages.

    A while later I decided that perhaps it was time to spend some energy seriously learning Haskell. I got and installed Hugs (Haskell.org [haskell.org] is a wonderful resource with several Haskell systems listed, tutorials, documentation, libraries and so on). Hugs implemented pretty much all of the Haskell described in the manual I found and the tutorials. (Today, I'd probably use the interactive GHC.)

    It took a while, some dedication and a lot of grumbling to figure out how things worked and I'm still learning bits and pieces of the language and associated libraries and stuff.

    Now Haskell is one of my favorite languages and I want to use functional tools (higher order functions, laziness, and so on) in every language I use. I'd say that Haskell changed my ideas about programming, my approach to problems, and my toolset both deeply and widely - and for the better. Probably as deep a shift in technology and technique for me as OOP (I started programming in Fortran, APL, Algol...) - but then OOP just always seemed Right to me.

    Part of what made the learning process so effective was that Haskell makes it very hard to have side effects - so where in ML the books/tutorials often introduce mechanisms for building variable that work more or less like those in C - in Haskell this is very difficult.

    So, while F# may be an interesting language, if you want to learn a new language, try Haskell. You may have to be obstinate. And if it works with you as it did me, it will drive you crazy until it clicks (and I remember exactly the problem that did it) and then you'll just kind do one of those quiet awestruck "wow"s and watch your view of programming change.

    Haskell isn't the right language for everything. I also use Java, C and Python (and a few others) often - but for lots of problems, for doing a quick model of something to try it out, for just helping your mind think about a problem a bit differently ... Haskell is great.

    But remember - you may well have to be stubborn about persisting till it clicks.

    And on a related note...
    Does anyone know if anything ever came out of the development of the functional scripting language "Sheep" for the amiga?

  • Nickle (Score:3, Interesting)

    by po8 ( 187055 ) on Friday May 23, 2003 @11:13AM (#6024555)

    Want an "interesting mix of imperative and functional features" in a language any C/C++/Java programmer can start working with immediately? Try Nickle [nickle.org].

  • by mooman ( 9434 ) on Friday May 23, 2003 @04:48PM (#6027505) Homepage
    is it just a coincidence or is Microsoft picking langauge names that a lot of search engines can't handle? C#? F#?

    I just did some tests with C# and less than half the search engines I looked at actually used the full string for the query. The rest dropped the # as punctuation and gave me any generic "C" results it could find.

    Was there any thought put into this? Have we heard any statements or interviews from Microsoft about this?

    Personally, with C, C++, and C# all looking identical to some search engines, I think they are going to make life rough for developers trying to look up documents/tips/errors/FAQs about their respective languages...

Parts that positively cannot be assembled in improper order will be.

Working...