関数型言語コミュのF#の特徴は？

今日同僚と帰りに話をしていたらF#の話を聞きました。Microsoft があまりお金になりそうも無い関数型言語を開発していることが驚きだったので帰ってきてから少し調べてみました。
http://research.microsoft.com/projects/ilx/fsharp.aspx

どうもML系でOCamlとかなり近しい関係にあり、.NET Frameworkの上で動作するように作られているようですが、実用を狙っているんでしょうか？

どなたか使用されている方がいたら、特徴を教えていただけますでしょうか？
抽象的な質問で申し訳ないですが、実際に使用されている方の声を聞いてみたいと思いまして。

コメント(5)

最初
全て
最新の40件

[1] mixiユーザー 11月02日 14:43

とりあえず
http://d.hatena.ne.jp/kmt-t/searchdiary?word=%2a%5bF%23%5d
の方が試されていますが、関数型言語じたいが初挑戦のようなので、読んでいるとややもどかしいです(最近は進めていないようですし……)。

Microsoft には関数型言語界隈の方がけっこういるようですよ。
前にも、Windowsのドライバか何かの検証ツールに OCaml を使っているという話がメーリングリストに流れたことがありました。

[2] mixiユーザー 11月02日 16:01

＞Microsoft には関数型言語界隈の方がけっこういるようですよ。

L.Cardelliとかいますしね。MLを最初に実装したのは彼ではなかったですか？
# Microsoftにいるというより、Micorosoftが引っ張り込んでるが正しいのだと思いますけど(笑

F#はかなり初期に試したのですが、サンプルとしてサイトに書いてあった"Hello, World"が動かなかったので、それ以来ほったらかしでした(^^;
ちなみに、全く同じコードをOCamlに食わせたらちゃんと動きました。今はもう両方で動くんでしょうね、さすがに。

[3] mixiユーザー 11月03日 09:17

F# は使ったことがあります。
mutable を使いまくったら普通の言語として、使えましたよ。（違）

Microsoft は関数型言語の専門家多いですね。
Google と引き抜き合戦とかはさすがにしないかなー。
Google って言語開発者はいないし。（オフトピ）

[4] mixiユーザー 11月05日 02:01

- Microsoft Researchは企業研究所とはいえ基礎研究にも極めて力を入れているので関数型言語の人もいます:-) F#よりはHaskellのSimon Peyton Jonesもいます、というほうがわかりやすいかもしれません。
- ドライバの検証ツールはStatic Driver Verifierとして配布されていると思います（http://www.microsoft.com/whdc/devtools/tools/SDV.mspx）。アカデミックにはSLAMという名前で論文発表されていると思います。SLAMの一部はOCamlでかかれていたと思いましたが、Static Driver VerifierはF＃でかかれているようです。
- F＃は使ったことが無いのですが、OCamlは（きっとF＃も）mutableはそんなに(全く、とはいえませんが）使わなくても普通の言語として使えないでしょうか:-) 私はC++でテンプレートライブラリを書く困難さに疲れ果ててからCamlに移りましたが、かなりの自身をもって、（私のような）普通のプログラマの皆さんにこそCamlはお薦めできます。
- 一般的に言語開発者の中に分類されることは少ないですが、Rob Pikeが変わった（小さな）言語を作っています。http://labs.google.com/papers/sawzall.html　どうでも、いいけどMapReduce (http://labs.google.com/papers/mapreduce.html)のCaml版が欲しいんだけどな:-) 私の仕事では使う用途がほぼなさそうなのですが。

[5] mixiユーザー 07月12日 17:21

OCamlを仕事で使っています。
手続き型っぽくも使えるので、私みたいな初心者でも便利に使えてます。

ログインすると、みんなのコメントがもっと見れるよ