【.NET】F#について語れ2【OCAML】

**デフォルトの名無しさん** · 2011/05/01(日) 02:46:49.52

MSResearchから出てきた.NETで使える関数型言語のひとつF#
OCAMLの流れを汲むこの言語、いろいろと面白そうなことができそう。
そろそろ日本語の情報が充実してきそうなこの言語について、幅広く語れ。

http://www.fsharp.net/

前スレ
【.NET】F#について語れ【OCAML】
http://hibari.2ch.net/test/read.cgi/tech/1186030985/

関連スレなどは >>2-

**デフォルトの名無しさん** · 2011/05/01(日) 02:52:55.61

- Try F#
http://www.tryfsharp.org/
- F# Documentation
http://msdn.microsoft.com/library/dd233154(VS.100).aspx
- F# Microsoft Research Site
http://research.microsoft.com/fsharp/fsharp.aspx

**デフォルトの名無しさん** · 2011/05/01(日) 02:58:27.71

>>980ぐらいで新スレを建ててね。
注意事項 http://info.2ch.net/wiki/index.php?%C7%A6%CB%A1%C4%A1%B4%AC%CA%AA

**デフォルトの名無しさん** · 2011/05/01(日) 03:34:36.83

Windowsでのインストールは、>>1から

Mac/LinuxでF#を使うにはmonoが必要です。
http://mono-project.com/
IDEにMonoDevelopを利用するなら、現時点ではmono-2.6系が必要です。
mono-2.10.1以降でF#が統合されていますので、IDEが必要ないならそのままCLI環境が使えます。

なんにせよ茨の道ですので、まずはブラウザ環境で実行できるTry F#のTutorialsを試しましょう。
Windowsでも（C#やCと組み合わせるなら、VS2010 C#/C++ Expressと） VS2010 Shell、F#2.0を組み合わせた
無償のIDE環境が使えます。

**デフォルトの名無しさん** · 2011/05/01(日) 03:42:19.97

現在の最新版について
http://blogs.msdn.com/b/fsharpteam/archive/2011/04/22/update-to-the-f-2-0-free-tools-release-corresponding-to-visual-studio-2010-sp1-april-2011-ctp.aspx
http://www.microsoft.com/downloads/en/details.aspx?FamilyID=6b598327-9748-4052-884a-6ee737380dcd

・必要用件
サポートするOS:
Windows 7;Windows Server 2003;Windows Server 2008;Windows Server 2008 R2;Windows Vista;Windows XP
必要な環境:
.NET Framework 2.0 or an equivalent CLI implementation（Xbox 360, and Mono on Mac, Linux and other platform）.
対応するソフトウエア（オプション）:
Visual Studio 2010 Shell

**デフォルトの名無しさん** · 2011/05/01(日) 04:49:34.58

>>1
乙

**デフォルトの名無しさん** · 2011/05/01(日) 10:03:33.09

言語の特徴としてはScalaとF#はそっくりだと思う。

*型推論:
　F#,Scala -> ◯
　C#,Java -> △,×
*代数データ型:
　F#,Scala -> ◯
　C#,Java -> ×
*パターンマッチ:
　F#,Scala -> ◯
　C#,Java -> ×
nullの廃止
F#,Scala -> ◯
C#,Java -> ×
モナド:
F#,Scala -> ◯
C#,Java -> ×
高階関数:
F#,Scala -> ◯
C#,Java -> △,×
変数:
F#,Scala -> デフォルトで破壊できない
C#,Java -> デフォルトで破壊できる
対話環境:
F#,Scala -> ◯
C#,Java -> ×

JavaからScalaへの大移動が始まっているのと同様のことがC#からF#に起こるに違いない!と言うのも本当かもしれない。
---------
要望があったやつ追加

**デフォルトの名無しさん** · 2011/05/01(日) 11:06:11.34

>>7 乙
名古屋ではF#が結構使われているという話を聞いたんだけど、やっぱり
自動車関係の仕事が多いからなのか？

**デフォルトの名無しさん** · 2011/05/01(日) 11:45:09.38

http://www.itpl.co.jp/ocaml-nagoya/
これが関係してないか？

**デフォルトの名無しさん** · 2011/05/01(日) 13:04:53.26

名古屋怖い(´・ω・｀)

**デフォルトの名無しさん** · 2011/05/01(日) 13:39:03.13

>>2, >>4 TryF# もよいけど、Silverlight入れたくない人やsmart phoneな人は
IdeOneも使える事を知っとくと良いよ。

hello worldを書いてみた。
http://ideone.com/ze0wq (こうやってソースと実行結果を貼ることもできる)

**デフォルトの名無しさん** · 2011/05/01(日) 18:56:09.06

コード共有するのには、IdeOneみたいなサービスがいいけど、
F# InteractiveのWebコンソールとしては、これが便利かも。

Try F# in your web browser
http://tryfs.net/

**デフォルトの名無しさん** · 2011/05/02(月) 23:26:40.62

そもそもなんでF#はF#という名前になったの？
FはFunctionのF?
あとC#がC++++から#になっているのは理解できるけど、
F++はもちろんF言語なんて聞いたことがないんだけど。

**デフォルトの名無しさん** · 2011/05/03(火) 00:03:14.45

C#の名前を結構気に入ってたから、.NET言語になんでも#つけてた時期がある。

**デフォルトの名無しさん** · 2011/05/03(火) 00:08:59.63

>>13
j#の後釜だからじゃね？
fは探せば有りそうだし

**デフォルトの名無しさん** · 2011/05/03(火) 00:12:28.32

J#がでた段階か分からないけど、[A-Z]＃なら.net用言語に見える
MSに関係する範囲では、C#,F#,J#のみっぽいけど。
http://en.wikipedia.org/wiki/List_of_CLI_languages

**デフォルトの名無しさん** · 2011/05/03(火) 00:20:06.88

>>16
schemeが#Sなのにcommon LispがL#な所は狡猾さを感じるなw
宗教論争とか起きなかったんかね

**デフォルトの名無しさん** · 2011/05/03(火) 00:57:40.67

結構粘ったやつも2009年ぐらいにメンテナンス止まってるみたい。
lisp系でメンテナンスが続いてるのは、結局Clojure(CLR)らしい。
https://github.com/richhickey/clojure-clr/downloads

**デフォルトの名無しさん** · 2011/05/03(火) 03:25:35.02

F#で標準入力を遅延リストみたいに扱う方法ってあるのでしょうか？

**デフォルトの名無しさん** · 2011/05/04(水) 06:22:20.80

ファイルの例だけど。
http://books.google.com/books?id=NcrMkjVxahMC&lpg=PA270&ots=pln0IBigeG&pg=PA99#v=onepage&q&f=false
Expert F#2.0 p.99 seq下のほう

**デフォルトの名無しさん** · 2011/05/04(水) 06:26:13.36

F# 1.0の書籍だった。

F#2.0 は、こっち。
http://books.google.com/books?id=y3kaQxIns0oC&lpg=PP1&pg=PA96#v=onepage&q&f=false

**デフォルトの名無しさん** · 2011/05/04(水) 08:20:27.45

>>20 >>21　ありがとうございます。

**デフォルトの名無しさん** · 2011/05/06(金) 09:50:41.49

RT @igeta: 翻訳ありがたい。／「あなたの開発チームに F# を持ち込むリスクについての神話」 http://bit.ly/k8ZDo1 (by @finalfusion) #fsharp

**デフォルトの名無しさん** · 2011/05/09(月) 19:18:09.17

scalaとF#使うならどっち？

**デフォルトの名無しさん** · 2011/05/09(月) 20:41:26.84

>>24
MSならF#、それ以外ならScala。
構文は全然違うけど言語パラダイムはそっくりだから俺は両方勉強してるぜ。なかなかためになる。

**デフォルトの名無しさん** · 2011/05/09(月) 22:19:12.87

誰かC#とF#の比較してくれねーかなー

**デフォルトの名無しさん** · 2011/05/09(月) 23:43:25.51

違いすぎる→そんなに違わないな→やっぱ違うわ→まあ、同じとも言えるな。こんな感じが延々と続く。C#とF#の比較。

**デフォルトの名無しさん** · 2011/05/10(火) 08:47:38.70

>>26
>>7 に書いてある。

**デフォルトの名無しさん** · 2011/05/10(火) 14:09:41.30

>>7の「高階関数」でC#が△になってるのはなんか理由あんのかな
っていうか、「ファーストクラスの関数」でよくね

tail call elimination
nested functions
automatic currying
cons, tuple
list comprehension
あたりも比較項目につけくわえていい気がする

**デフォルトの名無しさん** · 2011/05/10(火) 20:47:06.71

bingでF#検索すると残念なことに・・・

**デフォルトの名無しさん** · 2011/05/10(火) 22:09:08.41

>>7
そっくりなところを比べればそりゃそっくりだろうさ

**デフォルトの名無しさん** · 2011/05/10(火) 23:07:45.67

>>29
*tail call elimination
Java,C# -> ×
Scala,F# -> ○
*nested functions
Java,C# -> ×,△
Scala,F# -> ○
*automatic currying
Java,C#,Scala -> ×
F# -> ○
*cons, tuple
Java,C# -> ×
Scala,F# -> ○
*list comprehension
Java,C# -> ×
Scala,F# -> ○

**デフォルトの名無しさん** · 2011/05/10(火) 23:23:15.17

Actorモデル
Scala->○
F#->○に近い△
C#,Jave->×

って感じ？ちょっと不勉強なので正確かわからん。

**デフォルトの名無しさん** · 2011/05/10(火) 23:50:49.02

>>32
Scala は JVM の制限とかで tail call elimination ができないときがあるような
@tailrec アノテーションをつけておけば、できかなったときは教えてくれるけど

Scala は list comprehension あるんだっけ
for 式だったら、あれはどちらかというと Haskell の do に近いような