OCAMLの流れを汲むこの言語、いろいろと面白そうなことができそう。
そろそろ日本語の情報が充実してきそうなこの言語について、幅広く語れ。
http://www.fsharp.net/
前スレ
【.NET】F#について語れ【OCAML】
http://hibari.2ch.net/test/read.cgi/tech/1186030985/
関連スレなどは >>2-
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
注意事項 http://info.2ch.net/wiki/index.php?%C7%A6%CB%A1%C4%A1%B4%AC%CA%AA
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環境が使えます。
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
乙
*型推論:
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#に起こるに違いない!と言うのも本当かもしれない。
---------
要望があったやつ追加
名古屋ではF#が結構使われているという話を聞いたんだけど、やっぱり
自動車関係の仕事が多いからなのか？
これが関係してないか？
IdeOneも使える事を知っとくと良いよ。
hello worldを書いてみた。
http://ideone.com/ze0wq (こうやってソースと実行結果を貼ることもできる)
F# InteractiveのWebコンソールとしては、これが便利かも。
Try F# in your web browser
http://tryfs.net/
FはFunctionのF?
あとC#がC++++から#になっているのは理解できるけど、
F++はもちろんF言語なんて聞いたことがないんだけど。
j#の後釜だからじゃね？
fは探せば有りそうだし
MSに関係する範囲では、C#,F#,J#のみっぽいけど。
http://en.wikipedia.org/wiki/List_of_CLI_languages
schemeが#Sなのにcommon LispがL#な所は狡猾さを感じるなw
宗教論争とか起きなかったんかね
lisp系でメンテナンスが続いてるのは、結局Clojure(CLR)らしい。
https://github.com/richhickey/clojure-clr/downloads
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下のほう
F#2.0 は、こっち。
http://books.google.com/books?id=y3kaQxIns0oC&lpg=PP1&pg=PA96#v=onepage&q&f=false
MSならF#、それ以外ならScala。
構文は全然違うけど言語パラダイムはそっくりだから俺は両方勉強してるぜ。なかなかためになる。
>>7 に書いてある。
っていうか、「ファーストクラスの関数」でよくね
tail call elimination
nested functions
automatic currying
cons, tuple
list comprehension
あたりも比較項目につけくわえていい気がする
そっくりなところを比べればそりゃそっくりだろうさ
*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# -> ○
Scala->○
F#->○に近い△
C#,Jave->×
って感じ？ちょっと不勉強なので正確かわからん。
Scala は JVM の制限とかで tail call elimination ができないときがあるような
@tailrec アノテーションをつけておけば、できかなったときは教えてくれるけど
Scala は list comprehension あるんだっけ
for 式だったら、あれはどちらかというと Haskell の do に近いような
tail callは64ビット版.NET Framework は、ILがTailとマークしてなくても最適化してくれる（制限あり）。
あと、LINQはある意味list comprehensionsの一種なので、C#が×は納得いかない。
Haskellでの[x+y | x <- [0..9], y <- [0..9], x<y] みたいなのもLINQを使えば書けるのか？
from x in Enumerable.Range(0, 10)
from y in Enumerable.Range(0, 10)
where x < y
select x + y
とかそんな感じだろう
F#にMonotouchが対応するのって、そもそも技術的に難しいんだっけ? Dictionary<int,Hoge>とかを使えないとかの制限にからんで。
それともF#なんかマイナー言語相手にしてる暇ねーぜヒャッハーってだけ？
FSharp.CoreとかのライブラリーをILAssembly使ってターゲット変えてゴニョゴニョすれば動くようになるとか言ってる人もいたんだけど。
Silverlightで同じようなことしてる人のBlogあったんだけどリンク切れちゃってた。
暇な人は"Reusing-NET-Assemblies-in-Silverlight"でぐぐって最初のエントリーのキャッシュ見てくんなまし。
被害妄想？
http://d.hatena.ne.jp/atsushieno/touch/20110407/p1 の最後の段落
なまじC#がよくできてるから
どんだけJavaはアレなんだよ。
言う人の言うことはそのままF#にも当てはまるんだよね。
ScalaがF#に比べて人気ある理由はC#がJavaより良くできているという以外に
構文がJavaから大きく離れてはいないという点があると思う。Javaコードを
コピペして微修正すればScalaコードとして動くし、Scalaコードを見てもある程度
読めそうな気になるから移行しやすいんだよね。
一方F#は構文が違いすぎるし、初見だと全然読めない。このとっつきにくさが
結構効いているんじゃないかな。
でもF#は関数型言語としてScalaよりずっといい線行っている(構文はキモいけど)
ので、Scalaへの大移動が現実になったときC#erはF#への移動を準備すべき。
C#erがレガシーな理由のみで残りつづけて老害とならないようになってほしい。
F#はあくまでもC#の補完。.NETファミリーの関数型言語の位置づけ。
scalaは関数型的な使い方をしなくてもいろいろ遊べる。
最初の関数型言語にScalaを選んでしまった場合、
Good Javaの部分だけで腹いっぱいになって関数型までたどり着けないことが多い。
Scalaと同じ機能がある未来のJavaは構文がもっと複雑なんだろうな。
で、F#難し過ぎて、はやくも挫折しそうなんだけど・・・
ちょっと質問。
クラスのスコープ内に関数を定義したかったらC#の場合、こうできる。
class 振り分け{
double[] ratio;
public 振り分け(){
initRatio();
}
private initRatio(){うんたらかんたら}
}
同じことをF#でやる場合staticなメンバにしないといけないのかな？
type 振り分け=
class
val mutable ratio: float[]
static member initRatio=うんたらかんたら
new(){ratio=initRatio}
うーん、ようわからんｗｗｗ
インデント？空白？によって
ブロック的なものが決まることかなぁ。
だから、必然的に自動整形ってできないんだよね？
複数行選択後のtab/shift+tabができなかったら、
発狂するレベルだねｗ
あとは、クラスを定義する時の修飾子の多さも、ちょっとうんざりだよね；；
どういう書き方が一番エレガントなんだろう・・・
関数を定義する順番に依存しちゃうってのも、なんというか・・・
そこら辺はやっぱりscalaの方が上っぽい？
・オフサイドルールはうつくしい。まだまだシロートのようだな
・クラスあんまし書かないのがF#流だから木にスンナ
・偽関数型言語でよければScalaでおｋ
カッコよりはインデントの方が良いとは思うが・・・
自動整形欲しいよorz
クラス使わないって厳しくない？
Scalaのどの辺が偽なの？F#も偽だと思うけど。
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()
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)
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..])+")"
疑問点
・OP2をletで定義できないのはなぜだろうか？
・intからfloatへの変換は自動でできないのだろうか？
例えばList.reduceはJavaでもC#でも、簡単に実装できる。
だけど、気軽に使うためには、
foldに与える関数を気軽に定義できなきゃいけない。
T arg_reduce(T t, S s)
こういう関数を簡単に定義できる枠組みを与えるのが関数型言語なんだろうか？
>・OP2をletで定義できないのはなぜだろうか？
以下のページの「let バインディングと do バインディング」が参考になるかも。
ttp://msdn.microsoft.com/ja-jp/library/dd233205.aspx
>・intからfloatへの変換は自動でできないのだろうか？
「プログラミングF#」の「2.1.3 変換処理」に、
「F#言語は暗黙的な型変換を行わないことを1つの方針としています。」
とか書いてあるんで無理なんじゃないかな。
>静的メソッドからはこのフィールドにアクセスできません。
って書いてありました。ありがとう。
それはそうとdoバインディングってなんだろｗ
問題は単にF#が便利なのかどうかだわ。
クラスブラウザがVSに実装されるまでは大規模開発が難しいのと
GUIエディタが無い現状はC#の代替にはならないかな、と思った。
F#は関数をさくさく作れる。
C#のクラス定義は単純明快だけど、
F#のクラス定義の方法は難解で、冗長で、読みにくいが、改行は少ない。
F#のyieldは便利。F#の()は読みにくい。F#のSeqは美しい。
F#は基本的に読みにくい。
F#のクラス定義の方法は
難解で読みにくいってのはまあ慣れと好みだが
冗長でってのはどうかね？
C#のクラス定義は単純明快ってのは
私はC#のクラス定義に慣れているんです
って以外に意味を持たない主張に思えるが。
memberは明らかにいらない子
全然明らかじゃないからｋｗｓｋ
クラスを定義してるのが明らかなのだから、
memberという修飾子はいらない。
あと、そもそもletが冗長なのと
副作用がないならnewを省略したい。
下記のようなシンプルさが欲しい。
class A(a:float)
add b = A(a + b)
minus b = A(a - b)
inc = add 1
dinc = this.inc.inc
この場合、IDE側でクラス名と関数名に色をつけてくれないと
クソ読みにくい。オフサイドルールの欠点。
あとandもクソ仕様。
関数の中に関数をかけることだな。
しかも、F#における関数はOOPでいう関数ではなく、
OOPのクラスに相当する。
逆に不便だなって思うことは、共通して使う関数を作った時に
どこへ置けばいいかわからないこと。F#はスコープの制御がダメだね。
OCaml互換。C#の人かな。\x ->ならまだしもx ->はさすがに無理くねーか。
>>67
気持ちはわかります。
>>66
クラス内にはletとdoもかけるぞ。あとコンストラクタはメンバじゃねえ。
>>68
どこ置けばいいかわからない？F#でだけ？どの言語でも同じじゃまいか。
整形されたコードしかコンパイル通らんのだから
そもそも整形する必要ないじゃんか。
まあ俺もオフサイドルール嫌いだけど。
他の選択肢ってなんだろ？
一つは{}だよね。
FSharpUnion<Employee>.get_Manager的な。
isManagerでしてから普通にキャストすればよかったんだっけ?
つ Verbose syntax
デバッグの途中で
add 1 2
とか打てたらいいんだけど・・・
F#ってデバッグが難しいね；；
サブクラスとか、キャストとか、なんか根本的に間違ってないか。
>>74
openは流せる。まさかopen Listがエラーだからとか言わないよね？
あぁ、ごめん。書き方が悪かった。
自分で定義したnamespaceを
openすることができないってことでした。すいません。
いやC#からだとUnionそういう風にしか扱えなくなかったっけ?
そのUnionのインスタンスでIsManagerとかよべるけど。ManagerであるUnion値をManagerとして扱いたいときにどうしたらいいかって話。
もっとまともな方法あったっけ?
type Employee = ... | Manager of Hoge の場合↓
var emp = Employee.NewManager(hoge);
if (emp.IsManager) {
var mngr = ((Employee.Manager)emp).Item;
// dosomething
}
だからDesign Guidelinesにはまんま使うなと書いてある。
協力な型推論、nullがない、パターンマッチ、関数内関数ができる、対話環境、並列計算に強い
とかじゃね。
パターンマッチ、並列計算に強い はおもしろそう
あーやっぱりそんな感じかー
>79
自分も最初は悩んでたけど、最近はなんも困ってないな。なんでだろ。途中でうまく止めて値見るのとWriteLineで出しとくのとヘルパーとか使ってFSharpFunc楽に実行できるようにしたところか?
そもそもDebugが必要になる羽目になることが少なくなったというのもある気がするが。
>80
Debugしながらでもソースがいじれるところ。
Debugしながらでもソースがいじれる・・・ｲｲ!
実行時エラーがない方が運用上大いなるなメリットがあるのは当然だろJK
quick sortの発明者アントニーホーアはnullは10億ドルの過ちであると言っている。
ttp://news.livedoor.com/article/detail/4047613/
Anders Hejlsbergも「nullableの概念は参照型/値型の概念とは独立させておくべきだった」っていってるしね。
非nullable参照型は欲しい。
関数型言語にはnullは必要ないよ。関数型プログラマはnull参照エラーみたいなアホみたいな実行時エラーとは
無縁の世界でプログラムしているよ。
FSharpFuncってなんですか？
数値計算のプログラムを作ってる時は、
デバッグは絶対必要なんですよね・・・
関数の形で定義してると、途中で止めても
中の数値が見れないんですよねorz
let x=f a
とかしちゃってる時に、
f 1
の値を見る方法がないと、数値計算のプログラムのデバッグは
無理かなーと。
現状のF#を数値計算に使うと死ぬかも・・・・
let dbg x = printfn "*debug:%A" x; x;;
こんな感じで使う。
[1..10] |> List.map ((+) 1) |> dbg |> List.map(fun x -> dbg(float x / 2.0));;
%Aでリスト（行列）を全表示できるのかな？
そうなら、そういう関数作っておけば、確かに楽そうだね。
DOS窓かよって不満はあるけどｗ
それやってみるよ。ありがと。
また、ただ、いろいろ細かい状態が知りたかったりするから
デバッグ中に値が知りたいというニーズは多いし、
あとはけっこう量が多いんだよね・・・うーん。
関数の型。クロージャ作るとそゆ型が付く。
まーF#の中にいる限りは特に意識する必要ないが。
C#と連携したいなら覚えておくといいかも。
例えば、クロージャーとか簡単なもの。
使い始めたんだけど、上手く使えてるか自信がない。
F#ならではの書き方あったら教えてください。
LINQは使ったことありますか？
C#では使ったことがあります。
関数型の場合何やるにも再帰。
とくに末尾再帰はしっかりみにつけるべき。
非関数型プログラマ: forやwhileループを使う
関数型入門者: 再起を使う
中級者: map, foldをなるべく使う
これが割と参考になるかも。
上級者は何を使うんだ？
こういうのにfold使うのなんか微妙に違和感あるんだけれどこんなもんかね＠関数型初心者。
TOP カテ一覧 スレ一覧 2ch元 削除依頼 ▲
日本語プログラミング言語『なでしこ』スレ5 (736)
OpenGLスレ Part17 (925)
XNA 質問・相談スレッド 2 (831)
VB.NET質問スレ(Part38) (607)
【Java】DIコンテナって本当に便利か？ (453)
Eclipse統合M32【Java/C++/Ruby/Python/Perl】 (719)
--log9.info------------------
【SOTO】新富士バーナーってどうよ？8【G'z】 (810)
【藪山】西上州を語ろう【岩山】 (423)
【神戸宝塚】 六甲山 17 【芦屋有馬】 (712)
【岳人】山岳雑誌を語るスレ【山と渓谷】 (776)
ドイター(Deuter)のザックを語ろう Part.4 (658)
mixi関西系登山コミュってどうよ？ (222)
【Ｑ＆Ａ】切実な質問にまじめに答えるスレ38 (789)
【山行記録】ヤマレコを語るスレ4 (228)
パタゴニアとシーシェパードの関係について語るスレ (145)
【丹沢】鍋割山ハイキング【大山】 (933)
ツエルト（ツェルト）について その9 (571)
山で歌う歌って何よ？ ２曲目 (553)
【岐阜・三重・滋賀】 鈴鹿山脈 8 【最高峰1247M】 (376)
【液燃・ガス】燃焼系ランタン 2【固形･特殊燃料】 (825)
BE-PALネタスレ その１９ (553)
【LED】ヘッドランプについて語ろう 28灯目【ﾌｨﾗ】 (592)
--log55.com------------------
ひゃっ吉の買春日記★14【今年は大勝利】
ガチで友達がいない 22ぼっち
障害年金で生活している人 Part74
陽性転移スレ9
☆ソラナックス＆コンスタン★52錠目★
対人恐怖症でもできる仕事探そう。。Ver.45
ストラテラ（アトモキセチン）part18
コンサータ Part40