【.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 に近いような

**デフォルトの名無しさん** · 2011/05/11(水) 05:38:03.25

>>32
tail callは64ビット版.NET Framework は、ILがTailとマークしてなくても最適化してくれる（制限あり）。
あと、LINQはある意味list comprehensionsの一種なので、C#が×は納得いかない。

**デフォルトの名無しさん** · 2011/05/11(水) 09:09:48.47

>>35 LINQでlist comprehension できるのか。知らなかった。
Haskellでの[x+y | x <- [0..9], y <- [0..9], x<y] みたいなのもLINQを使えば書けるのか？

**デフォルトの名無しさん** · 2011/05/11(水) 09:21:52.16

LINQだと
from x in Enumerable.Range(0, 10)
from y in Enumerable.Range(0, 10)
where x < y
select x + y
とかそんな感じだろう

**デフォルトの名無しさん** · 2011/05/17(火) 09:29:46.65

だれかF#でMonotouch開発しようとしてる人とかおらん?(´・ω・｀)
F#にMonotouchが対応するのって、そもそも技術的に難しいんだっけ?　Dictionary<int,Hoge>とかを使えないとかの制限にからんで。
それともF#なんかマイナー言語相手にしてる暇ねーぜヒャッハーってだけ？
FSharp.CoreとかのライブラリーをILAssembly使ってターゲット変えてゴニョゴニョすれば動くようになるとか言ってる人もいたんだけど。
Silverlightで同じようなことしてる人のBlogあったんだけどリンク切れちゃってた。
暇な人は"Reusing-NET-Assemblies-in-Silverlight"でぐぐって最初のエントリーのキャッシュ見てくんなまし。

**デフォルトの名無しさん** · 2011/05/18(水) 00:17:22.59

monoは今レイオフされたり会社設立したりと本体がゴタゴタしててそれどころじゃないんだろ

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

＞それともF#なんかマイナー言語相手にしてる暇ねーぜヒャッハーってだけ？
被害妄想？

**デフォルトの名無しさん** · 2011/05/18(水) 08:28:33.12

Mono for AndroidよりMonoTouchのが制約きついみたいだね。
http://d.hatena.ne.jp/atsushieno/touch/20110407/p1 の最後の段落

**デフォルトの名無しさん** · 2011/05/26(木) 01:34:35.70

しかしまあF#ってScalaほど必要とされている感がないんだよなー
なまじC#がよくできてるから

**デフォルトの名無しさん** · 2011/05/26(木) 01:37:10.04

企業の後ろだてのある言語じゃなく、1研究社が作った言語が注目集めるとかおかしいだろ。
どんだけJavaはアレなんだよ。

**デフォルトの名無しさん** · 2011/05/26(木) 08:00:06.97

>>42 確かにScalaは多くのJava技術者に注目を浴びているけど、Scalaいいって
言う人の言うことはそのままF#にも当てはまるんだよね。
ScalaがF#に比べて人気ある理由はC#がJavaより良くできているという以外に
構文がJavaから大きく離れてはいないという点があると思う。Javaコードを

コピペして微修正すればScalaコードとして動くし、Scalaコードを見てもある程度
読めそうな気になるから移行しやすいんだよね。

**デフォルトの名無しさん** · 2011/05/26(木) 08:01:26.91

一方F#は構文が違いすぎるし、初見だと全然読めない。このとっつきにくさが
結構効いているんじゃないかな。

でもF#は関数型言語としてScalaよりずっといい線行っている(構文はキモいけど)
ので、Scalaへの大移動が現実になったときC#erはF#への移動を準備すべき。
C#erがレガシーな理由のみで残りつづけて老害とならないようになってほしい。

**デフォルトの名無しさん** · 2011/05/26(木) 22:48:33.47

ScalaはGood Java。Javaに取って代わることを目標としているマルチパラダイム言語。
F#はあくまでもC#の補完。.NETファミリーの関数型言語の位置づけ。

scalaは関数型的な使い方をしなくてもいろいろ遊べる。
最初の関数型言語にScalaを選んでしまった場合、
Good Javaの部分だけで腹いっぱいになって関数型までたどり着けないことが多い。

**デフォルトの名無しさん** · 2011/05/26(木) 23:11:20.22

Scalaは、未来のJavaを先取りした言語と表現してるが、
Scalaと同じ機能がある未来のJavaは構文がもっと複雑なんだろうな。

**デフォルトの名無しさん** · 2011/05/27(金) 00:43:20.31

Scalaは関数型ってだけじゃなくてオブジェクト指向言語としてもJavaより進んでるのがウケてる理由の一つの気がするな

**デフォルトの名無しさん** · 2011/05/30(月) 19:59:14.67

C#もまだ未熟なんだけどF#に手を出してみたよ！！
で、F#難し過ぎて、はやくも挫折しそうなんだけど・・・
ちょっと質問。

クラスのスコープ内に関数を定義したかったらC#の場合、こうできる。
class 振り分け{
double[] ratio;
public 振り分け(){
initRatio();
}
private initRatio(){うんたらかんたら}
}

同じことをF#でやる場合staticなメンバにしないといけないのかな？
type 振り分け=
class
val mutable ratio: float[]
static member initRatio=うんたらかんたら
new(){ratio=initRatio}

うーん、ようわからんｗｗｗ

**デフォルトの名無しさん** · 2011/05/30(月) 20:03:43.87

F#の嫌なところを１個見つけたよ。
インデント？空白？によって
ブロック的なものが決まることかなぁ。
だから、必然的に自動整形ってできないんだよね？
複数行選択後のtab/shift+tabができなかったら、
発狂するレベルだねｗ

あとは、クラスを定義する時の修飾子の多さも、ちょっとうんざりだよね；；
どういう書き方が一番エレガントなんだろう・・・

関数を定義する順番に依存しちゃうってのも、なんというか・・・
そこら辺はやっぱりscalaの方が上っぽい？

**デフォルトの名無しさん** · 2011/05/30(月) 22:37:13.86

>>50
・オフサイドルールはうつくしい。まだまだシロートのようだな
・クラスあんまし書かないのがF#流だから木にスンナ
・偽関数型言語でよければScalaでおｋ

**デフォルトの名無しさん** · 2011/05/30(月) 22:48:20.11

>>51
カッコよりはインデントの方が良いとは思うが・・・
自動整形欲しいよorz

クラス使わないって厳しくない？

Scalaのどの辺が偽なの？F#も偽だと思うけど。

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

>>49
type Foo() =
    let initRatio() : float array = Array.map ( (*) 2.0 ) [|1.1;2.2;3.3|]
    let mutable ratio = initRatio()
    member x.Say() = printfn "%A" ratio

let _ =
   let foo = new Foo()
   foo.Say()

**添削お願いします** · 2011/05/31(火) 18:17:18.40

namespace Algebra

type Vector(elements: float[])=

member this.size=elements.Length
member this.elements=elements
member this.Item
with get i = elements.[i]
member this.squaredNorm=Vector.dot(this,this)

static member (~-) (v: Vector)=
new Vector([| for i in 0 .. v.size-1 -> -v.[i] |])

static member OP2 (v1:Vector) (v2:Vector) op=
new Vector([| for i in 0 .. v1.size-1 -> op v1.[i] v2.[i] |])

static member (+) (v1: Vector, v2: Vector)=
Vector.OP2 v1 v2 (fun x y -> x+y)
//new Vector([| for i in 0 .. v1.size-1 -> v1.[i]+v2.[i] |])
static member (-) (v1: Vector, v2: Vector)=
Vector.OP2 v1 v2 (fun x y -> x-y)
static member (.*) (v1: Vector, v2: Vector)=
Vector.OP2 v1 v2 (fun x y -> x*y)
static member (./) (v1: Vector, v2: Vector)=
Vector.OP2 v1 v2 (fun x y -> x/y)

**添削お願いします** · 2011/05/31(火) 18:19:35.69

static member (*) (a: float, v: Vector)=
new Vector([| for i in 0 .. v.size-1 -> a*v.[i] |])
static member (*) (v: Vector, a: float)=a*v
static member (/) (v: Vector, a)=(1./a)*v

static member dot (v1: Vector, v2: Vector)=
Array.reduce (fun x y -> x+y) (v1.*v2).elements

override this.ToString() =
"("+(Array.fold (fun (x:string) (y:float) -> x+","+string(y))
(string(elements.[0])) elements.[1..])+")"

**添削お願いします** · 2011/05/31(火) 18:22:50.97

インデントが全部消えてごめんなさい。

疑問点
・OP2をletで定義できないのはなぜだろうか？
・intからfloatへの変換は自動でできないのだろうか？

**デフォルトの名無しさん** · 2011/05/31(火) 21:12:59.18

関数型の本質は型推論によって、関数が気軽に定義できることだろうか？

例えばList.reduceはJavaでもC#でも、簡単に実装できる。
だけど、気軽に使うためには、
foldに与える関数を気軽に定義できなきゃいけない。
T arg_reduce(T t, S s)
こういう関数を簡単に定義できる枠組みを与えるのが関数型言語なんだろうか？

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

>>56
>・OP2をletで定義できないのはなぜだろうか？

以下のページの「let バインディングと do バインディング」が参考になるかも。
ttp://msdn.microsoft.com/ja-jp/library/dd233205.aspx

>・intからfloatへの変換は自動でできないのだろうか？

「プログラミングF#」の「2.1.3 変換処理」に、
「F#言語は暗黙的な型変換を行わないことを1つの方針としています。」
とか書いてあるんで無理なんじゃないかな。

**デフォルトの名無しさん** · 2011/05/31(火) 22:51:27.68

>>58
>静的メソッドからはこのフィールドにアクセスできません。
って書いてありました。ありがとう。

それはそうとdoバインディングってなんだろｗ

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

関数型の本質（）とかどうでもいいわ。
問題は単にF#が便利なのかどうかだわ。

**デフォルトの名無しさん** · 2011/06/01(水) 00:00:04.86

>>60
クラスブラウザがVSに実装されるまでは大規模開発が難しいのと
GUIエディタが無い現状はC#の代替にはならないかな、と思った。

F#は関数をさくさく作れる。
C#のクラス定義は単純明快だけど、
F#のクラス定義の方法は難解で、冗長で、読みにくいが、改行は少ない。
F#のyieldは便利。F#の()は読みにくい。F#のSeqは美しい。
F#は基本的に読みにくい。