【.NET】F#について語れ2【OCAML】
レス数が1000を超えています。これ以上書き込みはできません。
MSResearchから出てきた.NETで使える関数型言語のひとつF#
OCAMLの流れを汲むこの言語、いろいろと面白そうなことができそう。
そろそろ日本語の情報が充実してきそうなこの言語について、幅広く語れ。
http://www.fsharp.net/
前スレ
【.NET】F#について語れ【OCAML】
http://hibari.2ch.net/test/read.cgi/tech/1186030985/
関連スレなどは >>2- 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環境が使えます。 現在の最新版について
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 言語の特徴としては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#に起こるに違いない!と言うのも本当かもしれない。
---------
要望があったやつ追加 >>7 乙
名古屋ではF#が結構使われているという話を聞いたんだけど、やっぱり
自動車関係の仕事が多いからなのか? >>2, >>4 TryF# もよいけど、Silverlight入れたくない人やsmart phoneな人は
IdeOneも使える事を知っとくと良いよ。
hello worldを書いてみた。
http://ideone.com/ze0wq (こうやってソースと実行結果を貼ることもできる) コード共有するのには、IdeOneみたいなサービスがいいけど、
F# InteractiveのWebコンソールとしては、これが便利かも。
Try F# in your web browser
http://tryfs.net/
そもそもなんでF#はF#という名前になったの?
FはFunctionのF?
あとC#がC++++から#になっているのは理解できるけど、
F++はもちろんF言語なんて聞いたことがないんだけど。 C#の名前を結構気に入ってたから、.NET言語になんでも#つけてた時期がある。 >>13
j#の後釜だからじゃね?
fは探せば有りそうだし
J#がでた段階か分からないけど、[A-Z]#なら.net用言語に見える
MSに関係する範囲では、C#,F#,J#のみっぽいけど。
http://en.wikipedia.org/wiki/List_of_CLI_languages >>16
schemeが#Sなのにcommon LispがL#な所は狡猾さを感じるなw
宗教論争とか起きなかったんかね
結構粘ったやつも2009年ぐらいにメンテナンス止まってるみたい。
lisp系でメンテナンスが続いてるのは、結局Clojure(CLR)らしい。
https://github.com/richhickey/clojure-clr/downloads F#で標準入力を遅延リストみたいに扱う方法ってあるのでしょうか? RT @igeta: 翻訳ありがたい。/「あなたの開発チームに F# を持ち込むリスクについての神話」 http://bit.ly/k8ZDo1 (by @finalfusion) #fsharp >>24
MSならF#、それ以外ならScala。
構文は全然違うけど言語パラダイムはそっくりだから俺は両方勉強してるぜ。なかなかためになる。 違いすぎる→そんなに違わないな→やっぱ違うわ→まあ、同じとも言えるな。こんな感じが延々と続く。C#とF#の比較。 >>7の「高階関数」でC#が△になってるのはなんか理由あんのかな
っていうか、「ファーストクラスの関数」でよくね
tail call elimination
nested functions
automatic currying
cons, tuple
list comprehension
あたりも比較項目につけくわえていい気がする >>7
そっくりなところを比べればそりゃそっくりだろうさ >>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# -> ○ Actorモデル
Scala->○
F#->○に近い△
C#,Jave->×
って感じ?ちょっと不勉強なので正確かわからん。 >>32
Scala は JVM の制限とかで tail call elimination ができないときがあるような
@tailrec アノテーションをつけておけば、できかなったときは教えてくれるけど
Scala は list comprehension あるんだっけ
for 式だったら、あれはどちらかというと Haskell の do に近いような >>32
tail callは64ビット版.NET Framework は、ILがTailとマークしてなくても最適化してくれる(制限あり)。
あと、LINQはある意味list comprehensionsの一種なので、C#が×は納得いかない。 >>35 LINQでlist comprehension できるのか。知らなかった。
Haskellでの[x+y | x <- [0..9], y <- [0..9], x<y] みたいなのもLINQを使えば書けるのか? LINQだと
from x in Enumerable.Range(0, 10)
from y in Enumerable.Range(0, 10)
where x < y
select x + y
とかそんな感じだろう だれかF#でMonotouch開発しようとしてる人とかおらん?(´・ω・`)
F#にMonotouchが対応するのって、そもそも技術的に難しいんだっけ? Dictionary<int,Hoge>とかを使えないとかの制限にからんで。
それともF#なんかマイナー言語相手にしてる暇ねーぜヒャッハーってだけ?
FSharp.CoreとかのライブラリーをILAssembly使ってターゲット変えてゴニョゴニョすれば動くようになるとか言ってる人もいたんだけど。
Silverlightで同じようなことしてる人のBlogあったんだけどリンク切れちゃってた。
暇な人は"Reusing-NET-Assemblies-in-Silverlight"でぐぐって最初のエントリーのキャッシュ見てくんなまし。 monoは今レイオフされたり会社設立したりと本体がゴタゴタしててそれどころじゃないんだろ >それともF#なんかマイナー言語相手にしてる暇ねーぜヒャッハーってだけ?
被害妄想?
しかしまあF#ってScalaほど必要とされている感がないんだよなー
なまじC#がよくできてるから 企業の後ろだてのある言語じゃなく、1研究社が作った言語が注目集めるとかおかしいだろ。
どんだけJavaはアレなんだよ。 >>42 確かにScalaは多くのJava技術者に注目を浴びているけど、Scalaいいって
言う人の言うことはそのままF#にも当てはまるんだよね。
ScalaがF#に比べて人気ある理由はC#がJavaより良くできているという以外に
構文がJavaから大きく離れてはいないという点があると思う。Javaコードを
コピペして微修正すればScalaコードとして動くし、Scalaコードを見てもある程度
読めそうな気になるから移行しやすいんだよね。
一方F#は構文が違いすぎるし、初見だと全然読めない。このとっつきにくさが
結構効いているんじゃないかな。
でもF#は関数型言語としてScalaよりずっといい線行っている(構文はキモいけど)
ので、Scalaへの大移動が現実になったときC#erはF#への移動を準備すべき。
C#erがレガシーな理由のみで残りつづけて老害とならないようになってほしい。
ScalaはGood Java。Javaに取って代わることを目標としているマルチパラダイム言語。
F#はあくまでもC#の補完。.NETファミリーの関数型言語の位置づけ。
scalaは関数型的な使い方をしなくてもいろいろ遊べる。
最初の関数型言語にScalaを選んでしまった場合、
Good Javaの部分だけで腹いっぱいになって関数型までたどり着けないことが多い。 Scalaは、未来のJavaを先取りした言語と表現してるが、
Scalaと同じ機能がある未来のJavaは構文がもっと複雑なんだろうな。 Scalaは関数型ってだけじゃなくてオブジェクト指向言語としてもJavaより進んでるのがウケてる理由の一つの気がするな 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}
うーん、ようわからんwww F#の嫌なところを1個見つけたよ。
インデント?空白?によって
ブロック的なものが決まることかなぁ。
だから、必然的に自動整形ってできないんだよね?
複数行選択後のtab/shift+tabができなかったら、
発狂するレベルだねw
あとは、クラスを定義する時の修飾子の多さも、ちょっとうんざりだよね;;
どういう書き方が一番エレガントなんだろう・・・
関数を定義する順番に依存しちゃうってのも、なんというか・・・
そこら辺はやっぱりscalaの方が上っぽい? >>50
・オフサイドルールはうつくしい。まだまだシロートのようだな
・クラスあんまし書かないのがF#流だから木にスンナ
・偽関数型言語でよければScalaでおk >>51
カッコよりはインデントの方が良いとは思うが・・・
自動整形欲しいよorz
クラス使わないって厳しくない?
Scalaのどの辺が偽なの?F#も偽だと思うけど。
>>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()
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)
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)
こういう関数を簡単に定義できる枠組みを与えるのが関数型言語なんだろうか? >>56
>・OP2をletで定義できないのはなぜだろうか?
以下のページの「let バインディングと do バインディング」が参考になるかも。
ttp://msdn.microsoft.com/ja-jp/library/dd233205.aspx
>・intからfloatへの変換は自動でできないのだろうか?
「プログラミングF#」の「2.1.3 変換処理」に、
「F#言語は暗黙的な型変換を行わないことを1つの方針としています。」
とか書いてあるんで無理なんじゃないかな。 >>58
>静的メソッドからはこのフィールドにアクセスできません。
って書いてありました。ありがとう。
それはそうとdoバインディングってなんだろw 関数型の本質()とかどうでもいいわ。
問題は単にF#が便利なのかどうかだわ。 >>60
クラスブラウザがVSに実装されるまでは大規模開発が難しいのと
GUIエディタが無い現状はC#の代替にはならないかな、と思った。
F#は関数をさくさく作れる。
C#のクラス定義は単純明快だけど、
F#のクラス定義の方法は難解で、冗長で、読みにくいが、改行は少ない。
F#のyieldは便利。F#の()は読みにくい。F#のSeqは美しい。
F#は基本的に読みにくい。 >>61
F#のクラス定義の方法は
難解で読みにくいってのはまあ慣れと好みだが
冗長でってのはどうかね?
C#のクラス定義は単純明快ってのは
私はC#のクラス定義に慣れているんです
って以外に意味を持たない主張に思えるが。 memberがいらないとか・・・
全然明らかじゃないからkwsk F#ではfun x y ->x+yをx y->x+yに出来なかった言語仕様上の問題とかあったん? >>64
クラスを定義してるのが明らかなのだから、
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#やってて、便利と思うのは
関数の中に関数をかけることだな。
しかも、F#における関数はOOPでいう関数ではなく、
OOPのクラスに相当する。
逆に不便だなって思うことは、共通して使う関数を作った時に
どこへ置けばいいかわからないこと。F#はスコープの制御がダメだね。 >>65
OCaml互換。C#の人かな。\x ->ならまだしもx ->はさすがに無理くねーか。
>>67
気持ちはわかります。
>>66
クラス内にはletとdoもかけるぞ。あとコンストラクタはメンバじゃねえ。
>>68
どこ置けばいいかわからない?F#でだけ?どの言語でも同じじゃまいか。 あと自動整形できないからっての、よくわからん。
整形されたコードしかコンパイル通らんのだから
そもそも整形する必要ないじゃんか。
まあ俺もオフサイドルール嫌いだけど。 オフサイドルールをやめるとすると、
他の選択肢ってなんだろ?
一つは{}だよね。 あれーC#から使う時に、F#のunionの各サブクラスへの変換とかなんかメソッドなかったっけ
FSharpUnion<Employee>.get_Manager的な。
isManagerでしてから普通にキャストすればよかったんだっけ? FSIにnamespaceとかopenて流し込めないんだね・・・
デバッグの途中で
add 1 2
とか打てたらいいんだけど・・・
F#ってデバッグが難しいね;;
>>72
サブクラスとか、キャストとか、なんか根本的に間違ってないか。
>>74
openは流せる。まさかopen Listがエラーだからとか言わないよね? >>75
あぁ、ごめん。書き方が悪かった。
自分で定義したnamespaceを
openすることができないってことでした。すいません。 >75
いやC#からだとUnionそういう風にしか扱えなくなかったっけ?
そのUnionのインスタンスでIsManagerとかよべるけど。ManagerであるUnion値をManagerとして扱いたいときにどうしたらいいかって話。
もっとまともな方法あったっけ? >>77
type Employee = ... | Manager of Hoge の場合↓
var emp = Employee.NewManager(hoge);
if (emp.IsManager) {
var mngr = ((Employee.Manager)emp).Item;
// dosomething
}
だからDesign Guidelinesにはまんま使うなと書いてある。
F#のC#に対して優れているところを教えてください >>80
協力な型推論、nullがない、パターンマッチ、関数内関数ができる、対話環境、並列計算に強い
とかじゃね。 nullって悪者なんですか・・・
パターンマッチ、並列計算に強い はおもしろそう
>78
あーやっぱりそんな感じかー
>79
自分も最初は悩んでたけど、最近はなんも困ってないな。なんでだろ。途中でうまく止めて値見るのとWriteLineで出しとくのとヘルパーとか使ってFSharpFunc楽に実行できるようにしたところか?
そもそもDebugが必要になる羽目になることが少なくなったというのもある気がするが。
>80
Debugしながらでもソースがいじれるところ。 >>83
Debugしながらでもソースがいじれる・・・イイ! >>82
実行時エラーがない方が運用上大いなるなメリットがあるのは当然だろJK
quick sortの発明者アントニーホーアはnullは10億ドルの過ちであると言っている。
ttp://news.livedoor.com/article/detail/4047613/
まあ、どんなの場面でもnull不要とはいわないけども、
Anders Hejlsbergも「nullableの概念は参照型/値型の概念とは独立させておくべきだった」っていってるしね。
非nullable参照型は欲しい。 >>86
関数型言語にはnullは必要ないよ。関数型プログラマはnull参照エラーみたいなアホみたいな実行時エラーとは
無縁の世界でプログラムしているよ。
>>83
FSharpFuncってなんですか?
数値計算のプログラムを作ってる時は、
デバッグは絶対必要なんですよね・・・
関数の形で定義してると、途中で止めても
中の数値が見れないんですよねorz
let x=f a
とかしちゃってる時に、
f 1
の値を見る方法がないと、数値計算のプログラムのデバッグは
無理かなーと。
現状のF#を数値計算に使うと死ぬかも・・・・
伝統のprintfデバッグじゃダメ?
let dbg x = printfn "*debug:%A" x; x;;
こんな感じで使う。
[1..10] |> List.map ((+) 1) |> dbg |> List.map(fun x -> dbg(float x / 2.0));;
>>89
%Aでリスト(行列)を全表示できるのかな?
そうなら、そういう関数作っておけば、確かに楽そうだね。
DOS窓かよって不満はあるけどw
それやってみるよ。ありがと。
また、ただ、いろいろ細かい状態が知りたかったりするから
デバッグ中に値が知りたいというニーズは多いし、
あとはけっこう量が多いんだよね・・・うーん。 そういえばVSのデバッガは何だかんだでC#前提なままだったね。 > FSharpFuncってなんですか?
関数の型。クロージャ作るとそゆ型が付く。
まーF#の中にいる限りは特に意識する必要ないが。
C#と連携したいなら覚えておくといいかも。 F#のイディオム的なテクニックを教えてほしいな。
例えば、クロージャーとか簡単なもの。
使い始めたんだけど、上手く使えてるか自信がない。
F#ならではの書き方あったら教えてください。 >>93
関数型の場合何やるにも再帰。
とくに末尾再帰はしっかりみにつけるべき。 >>93
非関数型プログラマ: forやwhileループを使う
関数型入門者: 再起を使う
中級者: map, foldをなるべく使う
これが割と参考になるかも。 文字列のlistがあって、その文字列を表示できる矩形を重ならないように上から並べたrectと文字列のタプルのリスト返せっつったら、foldで次のトップと結果のlistを状態にするような感じでよろし?
こういうのにfold使うのなんか微妙に違和感あるんだけれどこんなもんかね@関数型初心者。 >>99 こんな感じ?
let union rect1 rect2 = new Rect(rect1.x, rect1.y, max rect1.width rect2.width, rect1.height+rect2.height) in
ss
|> map (fun s -> getRectOf(s))
|> fold union empty_rect F#で文字の連結ってどうするんですか?
+でできるのはわかるんですが、これだと遅いですよね? いっておくがStringBufferみたいなものはないからな StringBuilder使えって言っておけばいいのかな 末尾最適化になってるはずなんだがstackOverFlowになるってことはなってないんだろうなぁ・・・何か確認する方法あったっけ。
そもそも要素一つずつ減らしてるから無限ループになるはずないのに4千件ぐらいでStackOverFlowになるってなんか変だ。
Console.WriteLineで出力しても途中まで減ってってるのに突然何も出さなくなって5秒ぐらいしてからStackOverFlowが出てもうわけわかめ(´;ω;`)ブワッ .tailプリフィックス付いてても状況によっては無視されるって奴かな? あれーインタラクティブに流し込んだらもっとたくさん流し込んでもさっくり動くよ…
そもそもデバッガーだと末尾最適化しないとかあったっけ?いやそんなことないよね…
問題だけどインタラクティブでさっくり動いたコードとりあえずまるっと載せてみる
let inRange from t v=from<=v&&v<=t
//rangeによってポイントをまとめる。
//現在のrange=from〜tに合うならptListに追加。
//合わないなら今までのptListを一組としてptListListに追加し、新しいポイントとしてptListに追加。
//合うrangeがなくなるか、iListが空になったら抜ける。
let rec toPtrListList (ptList,ptListList,((from,t)::rangeList)) (i::iList) indToInter indToVal=
// Console.WriteLine("toPtrLL----{0}",System.Environment.TickCount)
// Console.WriteLine ("toPtrLL iList={0},rangeL={1}",List.length iList,rangeList.Length)
let inter=indToInter i
let toPt()=inter,indToVal i
//System.Drawing.PointF(float32<|trans.XInterToUI inter,toUIY series.[i]|>float32)
//helper-----
//合うrangeを探してそれ以降を返す。
let rec findFitRange rangeList inter=
// Console.WriteLine("findFitR {0}",System.Environment.TickCount)
match rangeList with
|[]->None
|(from,t)::tail->
if inRange from t inter then Some rangeList
else findFitRange tail inter
//iListが空ならその時点のを結果とする。有るなら続き。
//続き
let contOrBreak (ptList,ptListList,rangeList) iList=
// Console.WriteLine ("contOrBreak iList={0}",List.length iList)
match iList with
|[]->[],ptList::ptListList,rangeList
|_->toPtrListList (ptList,ptListList,rangeList) iList indToInter indToVal
// Console.WriteLine("toPtrLL---before helper {0}",System.Environment.TickCount)
//-----helper
if inRange from t inter then
//現在のrangeに合う。
contOrBreak (toPt()::ptList,ptListList,((from,t)::rangeList)) iList
else
//rangeに合わない
if t<inter then
//現在のrangeよりinterが先。
match findFitRange rangeList inter with
|Some (rangeList)->
//fitするものがあったのですすめる。
contOrBreak ([toPt()],ptList::ptListList,rangeList) iList
//なかったので現在のものを結果とする。
|_->[0,0],ptList::ptListList,(from,t)::rangeList
//inter<fromなので今のindを捨てる。
else
// Console.WriteLine ("hogehoge iList={0}",iList.Length)
contOrBreak (ptList,ptListList,((from,t)::rangeList)) iList
let test=
toPtrListList ([],[],[0,10000;10001,20000;20001,30000]) ([0..50000]@[0..100]) id (fun i->i+100000)
インデントが(;´Д`)
let inRange from t v=from<=v&&v<=t
//rangeによってポイントをまとめる。
//現在のrange=from〜tに合うならptListに追加。
//合わないなら今までのptListを一組としてptListListに追加し、新しいポイントとしてptListに追加。
//合うrangeがなくなるか、iListが空になったら抜ける。
let rec toPtrListList (ptList,ptListList,((from,t)::rangeList)) (i::iList) indToInter indToVal=
// Console.WriteLine("toPtrLL----{0}",System.Environment.TickCount)
// Console.WriteLine ("toPtrLL iList={0},rangeL={1}",List.length iList,rangeList.Length)
let inter=indToInter i
let toPt()=inter,indToVal i
//System.Drawing.PointF(float32<|trans.XInterToUI inter,toUIY series.[i]|>float32)
//helper-----
//合うrangeを探してそれ以降を返す。
let rec findFitRange rangeList inter=
// Console.WriteLine("findFitR {0}",System.Environment.TickCount)
match rangeList with
|[]->None
|(from,t)::tail->
if inRange from t inter then Some rangeList
else findFitRange tail inter
//iListが空ならその時点のを結果とする。有るなら続き。
htmlレンダリングの問題だけで、スレに書き込まれてるソース的には空白やタブ残ってたと思った。
リンク貼る形式なら、gistや>11の使うといいと思う >>113
106ではないが、インデントを推測して貼ってみた。F#の構文がわからないので間違ってるかも
ttp://ideone.com/JW8dl >>106
よくわからんがfindFitRangeは再帰しなくても高階関数使った方がシンプル
let inRange v (from, t) = from<=v&&v<=t
let isFit v ranges = ranges.exists(isRange v)
let findFitRange ranges inter =
if (isFit inter ranges) then Some ranges
else None
>>113の通りで、データとしては空白残ってるよ
俺はnavi2ch使ってるので普通にインデントが見れる
http://ideone.com/eE0C0
>113-116
オマイラあり\(^o^)/
>115
いや、リストをなめていって見つかったらそれと、それ以降のやつをタプルで返してるのでそのやり方だとミリ。
なんかうまい高階関数あるのかもしれんが。 >>117
List.partition : ('T -> bool) -> 'T list -> 'T list * 'T list
ttp://msdn.microsoft.com/ja-jp/library/ee353782.aspx
が近いけどちょっと違うか。
こういう場合は素直に再帰をした方がいいのかな? >118
それ条件で振り分けるやつだからちょと違うと思われ
というか自己解決したかも。
プロジェクトの設定でビルドタブに"tail呼び出しの生成"って項目あってそれオンにしたらサックリ動いた。
ってもこれ付けたらデバッグとかしにくくなんのかな。
お騒がせしますた。 ※補足:
上の何も出さなくなって5秒ぐらいしてからStackOverFlowってのは例外になったのでVisualStudioが表示用とかに色々頑張ってる状態なんだろうね。
末尾呼び出しを最適化すると、関数のトレースが出来なくなる。
だから、デバッグするときは、最適化切ったりするね。 末尾最適化=スタックに積まないだからそりゃね。
でも再帰呼び出し時のスタック トレースが必要なことってある?
printf デバッグでいいんじゃねぇかと思うんだけど。 まぁそれいっちゃうとなんでもprintfデバッグで良くね?ってなるだろw いやいやwスタックトレースは必要だと思ってるよw
どこからどう呼び出されてきた関数かはデバッグに不可欠
だけど、再帰の分に関しては必要ないんじゃね?って。 んーまぁ再帰でもなんでその条件分岐になったのか流れ見たいときはある希ガスんなぁ
printfでもいいけど。printfでいいか。 俺が想定してたのは再帰するしないで2分岐するだけの単純な再帰なんだけど
もしかするともっと複雑な再帰とかだとスタック見たいこともあるかも。
というかまあ見れる見れないだったら見れる方がありがたいのは確か。
ただ、再帰って、割とこうガチガチにロジカルに組まないとコンパイル通らない
ような気がしてて、スタック追っかけてまでデバッグする必要性あるかなあと
思ったりしたんだわ。 FSUnitとVisualStudioのテストおのおのどんなメリット・デメリットあるのかすら。
C#使ってた時はVSのつと使ってたけどF#だと使いにくい? Alt+EnterでInteractiveに流し込もうとするとエラー音してできない時があるんだけど、そういう現象出てる人います?
ウィンドウ→新規で別ウィンドウ出すとそのソースからでもできるんだけどいまいち発生する条件がわからん。 結局TypeProviderってちょっとMeta情報与えてやることでF#でいろいろな情報がナイスに楽に使えるようになるってことでいいですか?(´・ω・`)
http://research.microsoft.com/apps/video/dl.aspx?id=150053&l=i オブジェクトのXML相互変換、こんな感じに書けたよ( ・∀・)ノ
F#いいね。
http://ideone.com/IokO4 関数内で途中でreturn みたいに値を返したり
for内でbreakしたりしたいんですがどうやればよいですか? >>135
自分の場合はtryFindかtryPickかな。
どうしても途中で抜けたいなら、例外出して抜けるしかない。
自分もC++のコードをF#にしてみようと思ったときそこで悩みました。
結局、F#の繰り返しのfor文は全然使わないでList.mapかList.iterで処理するのがいいと思った。 >>135
>関数内で途中でreturn みたいに値を返したり
条件で返す値を変える
>for内でbreakしたりしたいんですがどうやればよいですか?
手続き型のfor/whileは全て再帰だと思っていい >>136-138
レスありがとうございます.
let loopですっきりとした記述ができました. 2011年、Ruby,Perl,PHP,Pythonって並べたときにさ
ここで、Ruby以外を選ぶ奴ってマジでなんなんだろうな
ゴミだし これ ; デリミタっていうんだけどさ、これをつけなきゃエラーになるような
そんな言語使ってる奴ってどうみてもゴミだと思うんだけど
もしかして「;」これ打ち忘れてコンパイルエラー出すのが楽しいの?
そうか、二度と話かけんなよ
ゴミの分際でw コード見てないが、意外とF#遅くてがっかし(´・ω・`)
http://users.softlab.ece.ntua.gr/~ttsiod/score4.html 誰かseqのBuilderを実装しているソースどれかわかる人います?
2.0のソースはあるんだけど検索してもわからんです… >>147 >>148
なってないなぁ…と思う。
そんなもん見るよりも、ちゃんと時間取って実践F#読む方がずっといいよ。 >>149
なってないなぁ…と思う。
そんなもん見るよりも、ちゃんと時間取ってExpert F# 2.0読む方がずっといいよ。 Real-World Functional Programmingも宜しくね >>152
突っ込むために見直してみたら、そんなに突っ込み所は無かったかも。
>>149で頭ごなしに否定するのはまずかった。反省してる。
初見ではもっと気になる所があった気がしたけど、今見て思うのは以下。
・P35-P43 if式を(.NET中では)F#に特徴的、みたく書いてるけど、実はVB.NETにもif式はあるのです…
・P85 高性能、ではなくて、高機能、では?
・タプルを使ったPythonでいうアンパック代入相当の構文を備えていて、
多値関数の戻り値が(x,y) = funcHoge(a,b)みたいに自然に書ける説明が抜けてる。
・リスト操作用の組み込み高階関数の説明が無い。
とか。重箱の隅かもしれんけど、気になるんよ。 質問させてください。
ここ数ヶ月、関数型言語をいろいろ見ています。(Scala,Haskellなど)
実践F#という本を読んでいます。
ちょっとこういう場合どうすればいいか、わからないことがあり質問させてください。
あるレコードが定義されている場合、
そのレコードに対して適用できる一連の関数を知る方法ってありますか?
実践F#には、同じ名前空間に、レコードと同じ名前のモジュールを定義して、
そこに関連する関数を書くとよい、とされていますが、
実際そうされているものでしょうか。
一つに、Haskellの型クラスのような仕組みがあれば、見通しがよくなると思うんですが
そういう仕組みはないんですよね? (Scalaにもなかった。。)
なにか、自分で設計する場合、他人が見てもわかりやすい方法などあれば教えてください。
よろしくお願いします。 レコード型のメソッドにしてみてもいいんじゃないでしょうか >>154
ある型に対する一連の関数を知る方法は、簡単にはないですね。
AppDomainをリフレクションで総舐めとかすればそりゃ別ですが。
型と同名のモジュールを作ってーというお作法は、まあ、ふつうはそうするかなあと。
もちろん、ふつうじゃない場合もあるわけだけど。
Haskell型クラスが美人なのはわかりますが、すでにインターフェイスで筋通してる
.NET(あるいはJVM)においてそれを求めるのは、ちょっと難しいかなあという感想。
>>155
関数型でなくOOPで、と。ええ、おっしゃる意味は解りますが、といって、たとえば
Fooオブジェクトを必要とする振る舞いがすべてFooのメソッドとして定義されるとは
限らないわけで。BarクラスのメソッドがFooを引数に取ることだってあるでしょう。
このあたり、私は、F#においてのみ特別不便だ、とは感じません。 > 149
書いた人です。指摘してくれてありがとうございます!
>・P35-P43 if式を(.NET中では)F#に特徴的、みたく書いてるけど、実はVB.NETにもif式はあるのです…
確かに、誤解を招く書き方でした・・・
一応、VBのIf式は知っていたのですが、あくまでここでは
「C#にもVBにもif文があるけど、F#にはない」
ということが言いたかったのです。
>・P85 高性能、ではなくて、高機能、では?
うわ、全く気付いていませんでした・・・高性能はおかしいですね。
>・タプルを使ったPythonでいうアンパック代入相当の構文を備えていて、
多値関数の戻り値が(x,y) = funcHoge(a,b)みたいに自然に書ける説明が抜けてる。
これは微妙なところで、タプルのみに限った機能ではないので省きました。
例えば、
type t = { Name: string; Age: int}
という型があったとして、t型の値xに対して
let { Name = n } x
ということも可能ですし、そもそもローカル変数に限った話ではなく、
let name { Name = n } = n
のように引数に対してのマッチも可能です。
let x, y = y, x的なものを入れるかどうかは迷ったのですが、結局入れませんでした。
>・リスト操作用の組み込み高階関数の説明が無い。
これは、この時のターゲットを考えて意図的に入れませんでした。
確かに便利な高階関数は色々と用意されていますが、それを列挙する発表ってつまらなくないかなぁ、と思ったので。
ただ、LINQ to Objectには一対一で対応するものが無いような高階関数の紹介はやってもよかったかもしれません。 あ、let { Name = n } = xです。 Googleで F# site:hatena.ne.jp とかやると、いろいろ出てくる いないんだな、それが
というとアレだが、F# に特化してる人っているかね?
なにかしらほかの言語も使いつつ F# も嗜む的な
リベラルというか 金融系の人とかはOCaml使ってた人も多いらしいし、
F#も出来る人多いんじゃないの? 完全にF#で仕事、というのが日本にはない感じなので、そういう点で、人が見えないよね。
小物やらバッチに使うやらぐらいなら、そりゃあるだろうけれど。
かといってF#で何かOSSで作って公開、などという人もいないようだし。 >>165
え?
ttp://d.hatena.ne.jp/taedium/20110604/p1 F#セミナーいったら、
GUIアプリクライアントをF#で開発して納品した話をしてたよ。 活用例とかになれば
最終的には.netのグルー言語以外の何でもねえんだし
scalaにしろ、元にくらべての使い勝手の話になるんだから面白い話じゃない
.net嫌いな人ってもういないの?
>>160>>161
それなら各言語のすごい人全部まとめれ F# Programming -Build MVVM Applications in F#
msdn magazine Sep. 2011
http://msdn.microsoft.com/ja-jp/magazine/hh394149(en-us).aspx 会社にFランがいたけどひどかった。
#なんか付けたところで同じようなもんだろ。 Javaの変態の人たちはScalaやってるのに、
なんてC#の変態の人たちはF#やんないの? Javaは使いづらくてやっとレンガ、C#はそこそこ間に合ってしまうというのがあるんじゃ。
F#のほうが使いやすいけどねー Javaと違ってC#は糞言語じゃないから。
C#にはラムダ式、まともなジェネリック、LINQがあるし、
次のバージョンではasync,awaitも入るのでF#のメリットが相対的に少ない。
また、F#はC#と比べてIDEの支援が弱いのというデメリットがあるので
(特に WindowsForms、WPF、ASP.NET MVCなど主要ライブラリ関連)
F#のメリットとデメリットを天秤にかけた結果、C#でいいやって事になってしまう。 むしろここの人たちがF#を使っている理由が知りたい C#を使ってると「パターンマッチ使いてぇ」
って場面は割とよくあるんだけど、
それだけの為にユーザーの環境にF#ランタイムを入れさせるのは憚られたので
結局使ってない。
.NET FrameworkにF#ランタイムが含まれてたら使ってたかもな。 俺的にはパターンマッチ、再起、部分適用、ユニットオブメイジャー、モナド含め、コードが書きやすいから。 >>171
インテリセンスさいこーってことでしょ
まー.NET的にC#が勝ち馬であるとに異論はない
いまんとこ
>>173
Javaも別に糞じゃないと思うが
古臭いならわかる C#使っててLINQと拡張メソッドとラムダだらけになるとなんかもやもやしてくる C#でLINQと拡張メソッドとラムダ使ってドヤ顔カッコワルイwwww まあ、でもLINQの範囲のデータ処理はC#のほうがいいな >170 意味不明だったけど、これってFortran#っていうネタか。 ボスは、アカウントあるけどつぶやかなかった気がするな F#3.0
http://blogs.msdn.com/b/fsharpteam/archive/2011/09/14/f-3-0-developer-preview-now-available.aspx
バージョン1分差があるのか分からんけど3.0
win8+vs2011expと違って、msdnのサブスクリプションが必要?
追加点
F# Information Rich Programming
- F# LINQ Queries
- F# Type Provider mechanism
- a set of built-in type providers for enterprise and web data standard
IDEサポート増えるみたい。 従来交わることのなかった OCaml 使いと C# 使いがそれぞれ別の切り口で文句を言いに集うスレはここですか? >>190
仕事で両方使ってる人は、期待することはあっても文句はいわんだろ。
P層C#、F層F#でそれなりの規模のもの作ってみると、結構使える手ごたえはある。
普通にF#で機能を一つ作った後、その中で理論的に並列動作できそうなところがあれば、
それをマルチスレッド化するのに数分の作業で済むことも多いし、それがいつも安定して動く
という経験を重ねると、これからの時代C#だけじゃだめかなという気にもなってくる。
まだ立ち上がって数年の言語だし、捨てられないでちゃんとバージョンアップしてくれてるから、
まだまだこれからと見るべきでしょう。
Type Providerってなんなのか教えて下さい 型を定義することなくデータソースから何らかの方法でメタデータを取得し静的な型として扱えるようにするものって感じかの。
>>193
ありがとうございます
型定義を手で書かなくても済むようにするための
メタプログラミングの仕組み、みたいな感じでしょうか。。。 What's New for Visual F# in Visual Studio 11 Developer Preview
http://msdn.microsoft.com/en-us/library/hh370982(v=VS.110).aspx
msdn Libraryのなかに、VS11のドキュメントがもう揃ってるんかー Visual Studio 11 Developer Previewは、日本語版もあって2012年6月30日まで使えるのか。
http://msdn.microsoft.com/en-us/aa570309#five
> Metroスタイルのアプリケーションを開発するには Windows Developer Preview with developer tools English, 64-bit上に
> Visual Studio 11 Developer Previewがインストールされている必要があります。
開発ツール付きWin8上にインストールすればMetroスタイルアプリ開発にF#も使えそう。 Twitterで上がった話題(iOSでF#)で、F#のSymeがMonoのIcazaに、
build会場周辺でちょっと合って話さんかとかやってる。 C++のようなメタプログラミングができるのですか? C++ の template みたいなマクロの延長のものじゃなくて、
ビルドプロセスをフックして型を作ってるんじゃないかな。
そっちも .NET (F# 含む)で書ける。 VS11 DP(ja)を、Win7(ja)とWin8 PR(en)にインストールしたが、VSからのF#(3.0) Interactiveが
どちらも日本語で表示しようとして文字化けしてる。(その画面だけ多国語対応してない?)
「C:\Program Files (x86)\Microsoft SDKs\F#\3.0\Framework\v4.0\Fsi.exe」を直接起動すると
win7(ja)で日本語、Win8(en)英語で正常に表示された。 >>191
いまだに手応えとか、いつまでそんなこと言ってんだよ
一生前衛みたいな感じかw ScalaとF#と両方勉強しているのですが、
判別供用体(代数的データ型)の、パターンマッチについて教えてください。
Scalaでは、case class で定義すると、内部的には、class 定義に、applyやunapplyメソッドを持たせて、オブジェクトに対してパターンマッチを行っているようです。
F#の場合は、どんな感じでしょうか? F#の判別供用体も、実際はクラスから作られたオブジェクトなんですよね?? (.Net言語だから、そう考えたんですが。。)
そうすると、Scalaのapplyやunapplyに対応するメソッドを持ったクラスなんでしょうか?
教えてください、よろしくお願いします。 Scalaのapply,unapplyはよくしらんのだけれど、F#では各共用体は派生クラスとして実装される。
各々Tagを持ってるのでパターンマッチはそのTagを見てると思う。 夜遅くに(朝早くに)ありがとうございます。
なるほどクラスとして実装されているんですね。
type A =
| B
| C
| D
だと、派生クラスB、C、Dが定義されていて
たぶん、スーパークラスとして、クラスA とか定義されているんでしょうか。(クラスAでなくてもよいとは思いますが)
もし、クラスAだとすると、このクラスAにもTagを定義するように定義されていると思いますが、
クラスAは、.Netというか、F#のクラス的には、もともと何クラスなんでしょうか?
ちょっと、質問がわかりにくくてすみませんが
たとえば
let hoge:A = B
とか、書いた場合に、
変数 hoge の束縛している、クラスが何かって、得る関数ありますか? という質問がしたいです。
(判別供用体のBを返すのでなく、元のクラスが何か? を得る関数という意味です。) F#の中では知らん。
Reflection使ってbaseクラスたどってみては。
C#から見ると多分Aとして見れると思う。 普通に
type A = | B
hoge.GetType().Name
;;
でAって出てきた type A =
| B
| C of int
let hoge = C 10
hoge.GetType().Name
;;
はCだった みなさんありがとうございます。
自分なりの理解はこんな感じになりました (↓素人理解です)
F#のレベルでは、
判別共用体と、クラス・オブジェクト は全く別のもの。
CLRレベル(.Netレベル)ではたぶん、同じような仕組みで実装されている。
一方、
Scalaは、いわゆる判別共用体は、クラスの拡張で実現されているように思います。
(applyやunapplyというものを定義したもの)
※ 素人の理解ですが。 >>210
ProgramingF#のC#Interropの章にF#で定義したunionがC#だとどういうクラスとして定義されるか出てるから見てみるがヨロシ。
webでもどっか転がってそうだけど。 実践F# を読んでいると、
OOPの章のP264に、
本書では、詳細に踏み込みませんが、レコードや判別共用体の定義とは、F#コンパイラが構造的な性質
を持つように特別なパターンを適用したクラスとして生成するものです。本節では、特別なパターンが施されな
い、生身のクラスを定義する方法を示します(リスト8‐5)。
と書いてあって、F#ではクラスの特別なものが、判別共用体や、レコードのようなきがする。 特別なクラスというと語弊がある。
MSIL上は継承関係とか種類を表すタグとかが一定ルールに従っているただのクラスであり、其れが自動生成されているだけ。 TIOBEみたいな腐れ調査機関とか相手にすんなよ… しかしそれでもScalaより上って・・・・・目くそ鼻くそとはこのことか。
はやくJavaの時代終わらないかなぁ・・・・ >>218
scalaは関数脳に慣れてない人からは関数型言語部分に苦しんで、haskellやOCamlで関数脳になった人からは関数型言語としてはキモイから。。。
F#Express出たらかなり差が付くだろうね
haskellもGUIに特化した専門書とか出ないと伸びないんだろうな。。。
>>219
haskell でguiな本書こうか? >>221
gtk2hs でもいいっすか?
haskell-qtはまだ使ったことないんです、、、 >>222
自分もgtk2hsの勉強始めたばかりなんで、渡りに船です
>>223
とりあえず開始するかもしれないです。
でも期待はしないでください、、、、 たぶん原稿の成長とcarettahのコード品質は同期するだろー...λ https://github.com/fsharp
githubに、fsharpオープンソースコミュニティーというのがあるのか。
donsymeがいると公式感があるな。
mono開発者のicazaも入ってる。
F#はClojureCLRと違って余裕あるからか、monoとの互換性も重視してたの思い出した。 作ってるのはSocket IOだった。
Fracture/Pipelet/Frackって分かれてる。
future-ioはSSDだった・・・orz M$がhtml5の構想に弱音を吐いて.net戦略を撤退したらf#ってどうなるんだろ F#はType Classの要望が強かったけど
.netの型システムとの互換性を重視して入れなかったとどっかで言ってたから
H#はないんじゃないの?
ちなみに"Visual Haskell"は既にあるよ >>241
>ちなみに"Visual Haskell"は既にあるよ
そうだった。VS2010に対応したかな?少しは安定したかな?
全然使えなさそうですっかり忘れてた
>F#はType Classの要望が強かったけど
>.netの型システムとの互換性を重視して入れなかったとどっかで言ってたから
・・・orz
Haskellようしらんのだが、型クラスあるとなにがどう幸せになるん?
>>243
多層的で等価比較、順序比較出来るリストを簡単に定義出来たりする
data List a = Null | List (List a) deriving (Eq,Ord,Show,Read)
使用例
List 1 (List 2 (List 3 Null))
head (List x _) = x
tail (List _ xs) = xs
Eq,Ordが型クラスで、List aがインスタンスだから、例としてはこっちが適切か
large xs ys | xs < ys = (ys,xs)
large xs ys = (xs,ys)
C# のプロジェクト で F# のファイルのインポートがどうしても
できないんですがどっかにまとまってないでしょうか?
あとC#プログラム中でfsファイルの実行は不可能なのでしょうか?
C#, F# のプログラムがそれぞれ下のようだったとして
main(){
exec(1.fs); //this is c# code
Console.WriteLine("aa");
}
########
let a = 3 // this is F# code
printfn "hello"
#########
実行して
hello
aa
となるような いや、この発想はまだまだ用語や概念判ってないのかなと思って
exec(1.fs); //this is c# code F#のevalは興味あるんだけどfsiのソース見ればいいのかな? ocaml のfunctor の代替手段はF#だとなんですか?
XML に Serialize したいんだけど、mutable にするしか方法ない?
ttp://cs.hubfs.net/topic/None/57413
↑は見たんだが、02-SerializeXml.zip はダウンロードできないみたい 580 名前: デフォルトの名無しさん Mail: sage 投稿日: 2012/02/16(木) 05:11:31.94
F#を始めたのだが、モナドで行き詰まっている。
F#の本にはモナドのことが書いていない。
で、ネットでモナドのことを収集すると、ハスケルのがほとんど。
F#での説明もあるが、なんか解りづらい。
で、モナドって何ですか?
関数型プログラミングをやるにはモナドが必須ですか?
どなたか教えてください _o_
613 名前: デフォルトの名無しさん Mail: sage 投稿日: 2012/02/17(金) 09:25:13.67
>>580
ここは読んだか?
http://www4.atwiki.jp/fsharpmaster/m/pages/13.html
>StatefulFuncはなぜ動くのか?
> StatefulFuncを含むワークフロー(モナドとも)を理解する道筋はいくつかあ
> ると思いますが、まず最初に「操作的」に手を動かしてプログラムの意味を解き
> ほぐしていくアプローチを取ってみようと思います。 MVPVM 設計パターン - WPF 向けのモデル - ビュー - プレゼンター - ビューモデル設計パターン
http://msdn.microsoft.com/ja-jp/magazine/hh580734.aspx 英ケンブリッジなら、Haskell,F#,Erlang,Clojure流行ってる ウィキ作った。
書くの手伝ってくれ。
http://goo.gl/9UG1y F#/monoを扱うなら解るようにした方がよいかも?
そして、MonoとF#のインストールの関係で、Linux or OSX, FreeBSDの順で情報がない気がする。
使い始められればそんなに変わんないと思うけど。 code quotationとtype providerを組合わせたらlisp macroみたいなことができるんです? LISP Haskell Scalaなんかは変態ばかりでも伸びてるんで
むしろ変態へのアピールが足りてないが正しい
関数型がいいといっても.netならC#、
いざ関数型の勉強だ、ってF#にするくらいなら他の言語に目移りするわけだ
もはや言語ヲタを引きつける言語としての魅力、が欠けてるのははっきりしたと思う
それでもF#好きなのは変態のさらに変態?いやいやただのマイノリティ >F#にするくらいなら他の言語に目移りするわけだ
ごめ、なにを根拠に光入ってるのか意味不(´・ω・`)
F#いいよー OCamlも道連れで寂れてるし
D言語スレなんて誰が使ってるかさっぱりわからんが未だに書き込みあるからなあ
まあ粘着質な人が少ないんだね
関数言語厨が.net環境ででも関数型ぽいことをしたくて使う言語だわ とりあえずF#じゃなくてC#を使わないといけない理由が殆ど無いのでF#ばかり使ってます(´・ω・`)
デザイナー等C#必須であれば、F#のモジュールと混在って感じですね。
PortableLibraryに期待(´∀`∩)↑age↑ >>273
Haskellスレも概ねそうなんだが、簡単に関数を自作出来ちゃうから、「こう言う事したいんだけど、どう書けば良い?」みたいな質問はほとんど無い
自分も、Haskellスレで質問したのは練習問題でリスト内包表記でこう言う関数を書けって問題の時だけだったし
変に制限付くとどう書けばいいのか分からなくなる事はあっても、制限なしだと、割と初心者でも関数書くのに困ること無いのが関数型言語の良い所だと個人的には思ってる
オブジェクト指向言語だと、オブジェクト自作するのは意外と面倒だし、メソッド覚えれば、ある意味じゃ関数型言語よりも簡潔なんだけど、リファレンスと睨めっこしてメソッド覚える必要がある
(なので、こう言う処理するメソッド無い?とかの質問がオブジェクト指向言語のスレでは絶えないんだと思う)
F#でWindowsPhoneの開発をしたいんですが
Visual Studio 2010 Express for Windows Phoneじゃ無理なんでしょうか?
http://visualstudiogallery.msdn.microsoft.com/17454c58-c1d9-4640-afe1-7943db13891e/
Visual Studio 2010 Professionalがないと開発出来ないんですかね? >>283
「visual studio 2010 express f#」でググったら、先頭のページに
Visual Studio 2010 ExpressにMicrosoft F# CTPを組み込む方法と
すでにF# April 2011 CTPが出ている事が書いてありました。
Visual F# Express Edition の入手方法
http://d.hatena.ne.jp/Nobuhisa/20100905/1283678443 無償環境だと、F#はVS Shell、WPはVS C# Expressに結びつく。
そして、F#を通常のVSに結びつけるのには、ExpressではなくProfessional以上じゃないといけないはず。 ありがとうございます
つまり、無償ではF#でWindowsPhoneの開発は出来ないって事でいいですか? shellとC# expressをバラバラに使って、開発は出来るので、
F#でportableなライブラリーつくって、UIはC#かな。 webページの日本語をパースするスクリプトを
f# + .netで作ってみるお 複数のファイル作ったらネームスペースを書けと言われるし
ネームスペース書いたら中に値を置くなと言われるし デフォルトで前方参照ができないとか、まるで20年前の言語のようだ
Scalaと比べると見劣りするなぁ >Scalaと比べると見劣りするなぁ
うわー。言うよねー、Scalaの人って、こういうこと。 Scalaは型推論がショボすぎる時点でない(´・ω・`) やはりBetter Javaではなあ…
今までJavaをやって来て超アンチMSだったので
F#の方が逆に新鮮w by far much better Java だけどね。 今までJavaをやって来て超アンチMSだったので( ・`ω・´)キリキリッ 前方参照できないのと型推論がショボイのさあどっち! 主婦の7割が「韓国タレントは嫌い」 地銀シンクタンクが調査した実態とは
日本でのK-POPブームに陰りが見え始めたとも指摘される昨今だが、それでも新たなグループが続々と日本進出している。
今年に入ってからだけでも日韓同時デビューのA-JAX、吉本興業系のレーベルから日本デビューするMYNAME(マイネーム)、
さらには「K-POP最後の大物」との触れ込みで7月にデビュー予定のWonder Girls(ワンダーガールズ)など、相変わらずの
「雨後のたけのこ」状態。それほどまでに日本市場はK-POPにとってオイシイのか、そして本当にK-POPは日本で売れてい
るのか。その実態を探ってみた。
大垣共立銀行(岐阜)系列のシンクタンクである共立総合研究所による「韓流消費に関するアンケート」の調査結果に、
実に興味深い調査結果がレポートされている。なんと、アンケートに回答した主婦の7割が「韓流は好きではない」との結果だったのだ。
同研究所は<K-POPの台頭、食品、コスメをはじめとする韓国製商品ブームのマスコミでの取り上げ方、新聞の テレビ欄における
韓国ドラマの占有状況からかなりの盛り上がりを予想したが、結果は予想を下回るものであった>と、調査レポートを結んでいる。
結局、K-POPブームとは単にKARAと少女時代という個別グループのブレイクにすぎず、やはり実体などなかったということか。
http://uramono.org/entertainment/2576.html
http://uramono.org/uploads/2012/06/kara.jpg 下のようなコードでF#3.0だと両方呼べるんだが、
let y = (^a : (member talk: unit -> string) (a))
ってどういう仕組みなん?
ちなみに
let y = (^a : (member talk: int -> string) (a))
だと"2式が必要ですが、1が指定されました”と言われてエラーになる
let inline speak (a: ^a) =
let x = (^a : (member Name: string) (a))
printfn "I'm %s" x
let y = (^a : (member talk: unit -> string) (a))
printfn "I say %s" y
type Duck =
{ Name : string }
member x.talk() = "quackity quack"
type Dog(name) =
member x.Name = name
member x.talk() = "arrrr"
unit -> string というメンバ「talk」を持っている型 ^a に対して、a という変数を渡してその関数を呼び出してます。
let y = (^a : (member talk: int -> string) (a))
がエラーになるのは、int -> string な ^a 型の関数に対して ^a 型の変数しか渡してないから。
let y = (^a : (member talk: int -> string) (a, 42))
のように、int 渡してあげればいいはずですよ、っと。 ちなみにインデント重要なので元コードへのポインタ貼っときますね
https://gist.github.com/2964839
もしコピペするんであればlignt syntax使わずに書き直した方がいいかもです。 >>312
operatorに使えるのは知ってたんですが、普通のメソッドにも使えるのは知らなんだ。
F#はじまってた
ttp://d.hatena.ne.jp/zecl/20120524/p1 surfaceが爆発的に普及すれば.net基盤だからF#にも出番ある OCamlを勉強してて色々モヤモヤした部分があったけど、
F#で不満だった部分がかなり解消されてて驚いたわ
マイクロソフトさんありがとう、今まで悪口言ってすみませんでした >>322
いやsurface、別に.NET基盤じゃないから。.NET(Core)でも開発できるというだけで。むしろF#ではportable libraryとしてしかアプリ開発に使えないというように虐げられてるw
>>323
まず日本語をなおせ。OCamlで不満だったものがF#で改善されてた言うことか? >323は曖昧な書き方してるけど、理解できるよね。
問題になるとしたら規格書とか論文とかぐらいでしょ。 読解力無いというのは、文章から本来の意図を読み取れないという意味だが、>>325はなにか間違ってるのか? 過疎の場所でわざわざ煽る奴はアンチじゃないからね
盛り上がって欲しいだけなんだよ 開発陣に中国人がいるからオワコン
F#でソフト作ったら情報駄々漏れ http://tirania.org/blog/archive/2012/Oct-22.html
Mono3.0 OSX版は、F#3.0バンドル予定みたい。
winやlinuxは別途いれないといかんのかな? F# OPEN SOURCE GROUP @ GITHUB
http://fsharp.github.com/
Using F# across platforms (HTML5, Linux, Mac/OSX, Android, GPU, ...)
http://fsxplat.codeplex.com/
オープンソース版、Monoの最新版で動くように修正してるのか。
環境依存するのは有志の協力が必要なんだろうけど。 Expressだとポータブルライブラリ作れないのか… http://fsharp.github.com/fsharpx/
いみゅーたぶるとモナモナ?とかとおもったら、
F#3.0向けにいろんなTypeProviderやHTTPみたいなツールもあるんだな。 F#3.0 (オープンソース版)がmono3.0(のosx版たけ?)でビルドできて動いてるみたい。
http://fsxplat.codeplex.com/wikipage?title=FSharpMac
>>335
まだ、betaではmono3.0にバンドルされてないみたい。 オープンソース版の最新情報が更新されてた。
http://fsxplat.codeplex.com/documentation
linuxでもF#3.0 okで、WebShaper使うとhtml経由でクライアントサイドでもF# 3.0動くのか。
WebShaperって昔は商用しかなかったと思ったけど、
最近はAGPL3と商用$499-が選べるようになってた。
http://www.websharper.com/home http://atnd.org/events/33927
今年もアドベントカレンダーやるんだ。
タイムリーに、F#3.0とosx/linux/android/webshaperのネタあるといいなあ。 >>344
クライアントサイドではjavascriptとして動くからF#って言うとちと語弊が(´・ω・`) haxe, ocamljs, clojurescriptみたいなもんかな? >>348
そんな感じだね。
基本はjsコンパイラで後はサーバーとのやり取りを書きやすく出来る仕組みがある感じかしら。
サンプルでチャートアプリ作ったけどF#で書いたロジックがさっくりと動いたよ。
でも情報が少ないから実際の製品での使用はちょっと躊躇しそう。 WebShaperとは別にPitっていう
F# to jsのコンパイラがあるのか。
githubのtopのプロジェクトリストにものってるがどんなものなんだろう。
http://fsharp.github.com/ F#でportable libraryのライブラリーを使う際に問題があるって話出てたんだがこれ今もそのままかな?
よく見てないんだが前にコンパイル出来てたRxのプロジェクトが確かにコンパイル出来てない希ガス。
http://social.msdn.microsoft.com/Forums/en-US/rx/thread/e64bbb9e-c273-4cce-9d42-8d52fbc0e654 >>350
WebSharperの方が商用のものを切りとってオプソにしてるからクオリティ高そうなイメージ(´・ω・`) ちょうどオライリーでWeb向けの本だしてる。薄いやつけど。
Building Web, Cloud, and Mobile Solutions with F#
By Daniel Mohl
Publisher: O'Reilly Media
Released: November 2012
Pages: 176
http://shop.oreilly.com/product/0636920026099.do >>353
それ、最近の技術さっくりと触れてるので良いよ。F#での書き方の参考になって良い。関数型としてのことはそんなに深くは突っ込んでないけど。 http://tomasp.net/blog/manning-deep-dives.aspx
The book consists of 5 parts that cover the most common real-world uses of F#:
Developing of Analytical Components, Processing and Analyzing Data, Creating End-user Applications and F# in the Larger Context.
There is an increasing number of commercial F# applications. If you want to learn about the domains
where F# can make you more productive and help you to write correct code, or if you want to learn how F# experts approach different problems, then the upcoming F# Deep Dives book is the book for you! 洋書だと、二冊のF#2.0本もF#3.0本にアップデートされた以外にも実用本が増えてきたね。 'a list list を 'a list にしたいんだけど、どうすればいいの?
Linq の SelectMany したいわけなんだけど。 >> 358
list |> List.collect id
としてみてはいかがでしょうか? POPL2013でF#のワークショップがあったみたいで
関数型プログラマーのひとが参加して
webshaperやtryfsharpなどいろいろな面に驚いてるな。
あまり日本では、取り上げられないので羨ましいかも。 Data Driven Functional Programming Workshop 2013
Co-Located with POPL 2013 | January 22, 2013 | Rome, Italy
http://research.microsoft.com/apps/mobile/showpage.aspx?page=/en-us/events/ddfp2013/
うぉ、ローマいってんのか。羨ましい、、、 日本どころか世界的に過疎ってんじゃん
hubfsもなんか見づらくなっとるし・・・ F#をちょっといじってみたけど
GUI作り辛いし、GUI作ろうとするとあまり関数型っぽくないしで、
本格的に利用しようとすると微妙だな
遊ぶには面白そうだけど >>364
何つーかどこから突っ込んでいいのかわからんわ( ´Д`)y━・~~ 056 [2009/06/24(水) 21:07:53] デフォルトの名無しさん <sage>
F#>Java いずれこうなるから安心しろ。
まあJ#は超えたな scalaにも当てはまると思うが
関数型風にも書けるというマルチパラダイムは
結果的にいろんな書き方を覚えなければならないし、
そのいろんな書き方、ってのも癖があって覚えにくい
そのせいでF#らしさというものが希薄になってる、というのが欠点
これがマルチパラダイムの末路だ
結局は、限られた書き慣れてる書き方しかしないんだもんな GUIはC#とXAML、ロジックはF#でいいのでは。 GUIは、というのは支援ツールがあるという意味で。 GUIをF#で作るのは、C#のデザイナで作ってF#にコピペする作業だから空しい まさにオナニーに向いているんだろうな
知的好奇心と言えば聞こえはいいが
ようするに自己満足
モノを生み出してナンボでしょ そのモノを生み出すのにF#はC#より遥かに長けてるんだが…情弱乙(´・ω・`) は?F#使ってる人たちは、C#を使ってやるのと同じように仕事なりなんなりでプログラム書いてるだけだと思うけど。
その際に生産性がいいってだけだよ?
なにかF#や関数型を特別な魔法か何かのようにとらえすぎなんじゃね? >>377
仕事でバッチファイルの代わりに.fsxでスクリプトを書いてます
インテリセンスが効くのと、Mainクラス作らなくても頭から実行してくれるので
型推論があるので動的型のように書けるところも好きです Cygwin入れてPythonなりRubyなり使った方が早くね >>380
そんな動的型要らんわ( ´Д`)y━・~~ >>380
インテリセンスは静的型じゃないと難しいのでは?
普段はC#使いなのですが、.NETとVisualStudioがそのまま使えるっていうのも大きいです
それにVisualStudioがインストールされている環境ならC#と違ってビルド不要で.fsxファイル一つで動きますし Python Tools for Visual Studio こんなのあるのね
http://exselt.net/
何に使うかわからんようなソフトではなく
XSLT 3.0 プロセッサとか実現したら一気にキラーアプリやで
ただダウンロードすらうまくできないのが弱点。 昔MSのサイトのRSSにXSLTが付いてたのを覚えてる。 BigIntegerと再帰を使ったフィボナッチ数列がC#より簡単にかける
.netにBigIntegerが入ったとかいう話があった気がするが
まあここの時間止まってるようなもんだから Linq to ObjectあるからF#いらないですよね? むしろF#あればC#はいらないが正しい( ゚Д゚)y─┛~~ VisualStudioのリファクタリングはC#と比べると雑魚だよね F#やってみて、階乗から始まってフィボナッチ、ハノイの塔、クイックソート
正規表現抹茶あたり組んでみたけど、なんか飽きちゃったなあ。
なんか面白いテーマないかな。
プログラマとして勉強になるのかな、と思ってたけど、CでもRubyでもできるよ
ねこんなのは。>>3 >>393
そんなん、ただ再帰を使ってるだけやん。
関数型のかのじも使ってないぞそれ。 C#に対するF#の利点は、やはり代数的データ型だと思うんだよな。
代数的データ型の何がいいかって言うと、もちろん宣言的に値の分解ができるからプログラムが読みやすいっていうこともあるんだけど、
データに対する操作の追加が簡単だという利点があると思う。
まぁ、C#でもis演算子かvisitor使えばいいんだけどさ、is演算子だと網羅性チェックしないから書き忘れしやすいし、
visitorは、まぁC#だとlambdaがあるから楽かもしれないけど、でもちょっと面倒くさいし。
それで、代数的データ型がマッチするタスクは何かって言うと、
http://ymotongpoo.hatenablog.com/entry/20111105/1320506449
これのconnection_state型みたいに、いろんなところで使えるものだとは思うんだけど、
一番目立つのはコンパイラ作成の用途かね。C#だとサブクラス作りまくりになる。
実践プログラミングDSLに金融取引を記述するための外部DSLを作る章があったけど、ああいうの。
でもまぁ
http://tomschrijvers.blogspot.jp/2012/12/haskell-tsuru-capital.html
こういう金融ベンチャーっぽいところだと活用してるんだろうけど、普通のプログラマだと活用する機会は少ないだろうなw C#との比較で見たときにキャッチーに利点を説明できる要素
ならまあ代数的データ型ですねぇ。
自動実装プロパティに初期値を与えられるのとかも地味に便利。
member val Count = 0 with get, set RoslynでC# REPLが可能になったらF#オワコンですよね >>399
せめてまともな型推論を実装してから出直してくれ。
F#並の簡潔な記述
代数データ型とパターンマッチング
REPL
モナドサポート
イミュータブルデフォルト
最低でもこの辺が出来ないことには話にならない( ´Д`)y━・~~ REPLとかいらないけど、他の4つはC#でもホント欲しいな C#のREPLは昔からmonoにはあった。
用途も増えてるようで、最近改良してるみたい。
http://tirania.org/blog/archive/2011/Feb-24.html
http://www.mono-project.com/Release_Notes_Mono_3.0
mono関連で構文解析もMonoDevelop(IDE)のコード支援に使ってるやつがすでにある。
https://github.com/icsharpcode/NRefactory
逆にF#はMSRがオープンソース版を用意してるので、MonoDevelop用プラグインだけMono関連で作られている。 #light "off"にして、あと警告がある場合はコンパイル通らない設定にして使ってる。
しかし、F#の構文だと関数適用時のインテリセンスが微妙…。 「ビッグデータの世界でF#が大流行、
研究者の心を鷲掴みする謎のプログラミング言語」
ってマジ? >>404
流行しているというか
MicrosoftがBig Dataサイエンティスト界隈に
流行させようと画策しているというのが正しい。
http://www.infoq.com/presentations/F-Sharp-Big-Data-Scripting
bigdataは一回のクエリに時間がかかるので
codeのバグで時間をロスしやすい。
そしてcodeは書き捨てであることが多い。
このようなタスクにはType Providerという
データスキーマの定義を元にクエリの型チェックやインテリセンスを行える機能
を持つF#が適している。 >>406
まぁ実際にサイエンティストから好評らしいけど OCamlの一種としては悪くない処理系だし、
MLユーザーは少々の方言は気にしない。 F#だと複雑なロジックがこんなに簡単にかける系のリンクってない? >>410
Fランクよりちょっといいぐらいの大学ですね。おめでとうございます >>408
MLに派生と方言以外の何があるというのだ とりあえずGUIはC#でとか言ってるうちは流行らんな いくら糞レスで埋めようがにぎわってねえからな
勘違いすんじゃねえぞ http://fsharp.github.com/fsharpbinding/
monodevelop以外にも、emacs、vim向けのIDE環境の準備中なんだな。
Monoは、Mono 2.xから3.x、Monodevelop 3.xから4.xに移行中で、F#3.0もちょうど狭間にある感じだな。
そして、Xamarin Studio 4.0向けのコンパイル済みプラグインがここにあった。
http://atsushieno.hatenablog.com/entry/2013/02/21/151834 letって何かの略?障害?
許可じゃimmutable的に意味逆になるだろうし 本国はTryF#作るまでやる気あるのに
MS日本法人のほういつまでも翻訳せず
やる気が感じられないからしょうがない
英語読めないヤツのほうがもっとやる気ない
とかいうのは無し F#は全社で取り組んむべき題材ではないということだろうな。
いちおう詳しいMSの日本人もいるのかな? MS Research製だから、日本にMSR支部がないのがまんま影響してんじゃないかね。 TryF#を2ページくらいやったけど
他のプログラミング言語やってないと辛い
4歳児よくできたな・・ 真のサイエンティストはF#じゃなくていまだにFortran使ってるけど エクスプローラ上でfsxファイルを右クリックするとRun With F# Interactiveで直接実行できるわけですが
同じようにVS 2010上のfsxファイルを直接実行する方法ってありますか?
F# Interactiveウインドウにfsxファイルをドロップするだけで動いたりしたら嬉しいのですが・・・ VSで常用してる人が多かったらこのスレもっと勢いあるだろうね 言うまでもないが、F#3.0はxp vista切り捨てのVS2012でしか動かない
最先端に追従してるF#3.0がD言語より語られてないのは皮肉な話だと思う
VS2012スレもようやくVS2010スレの勢いを超えたというのに・・・ >>408
HaxeとかOCamlで実装されてるんだっけか…
型推論とか最近の流行なのかしらんけど vsに統合されることがゴールで
めでたくvs2010とvs2012に標準搭載されたというのに
語る人が全くいなくなった・・・
vs shellの存在意義が未だによくわからん
そこまでやるならスタンドアロンのコマンドラインツールでいいだろ・・・ MSKKの人は「F#とか流行るわけねーだろwwwww」みたいなこと言ってた
え、MSの人がそんなこと言っていいの?とか思ったけどだまってた GHC(Haskell処理系)プロジェクトのコアメンバーにMSの研究員がいるんだけど、
彼はF#について、そしてF#の名がMLに贈られたことについてどう思ってるんだろ? MSRには、会社に研究内容制限されず、勲章を運んでくるのがお仕事になるトップ論文投稿者がたくさんいるらしい。
アップルはジョブズがもどったときに全員首切ったという伝承がある。
どちらかというと、Don SymeがわざわざMSのためにF#作ってる理由が知りたい。 VS2010でF#のプロジェクトに新しいフォルダを作成して追加するにはどうすればいいでしょうか? >>442
エクステンションいれないと無理よ(´・ω・`) >>443
それを聞いて調べたところF# Project Extenderを入れれば良さそうなのでさっそくいれてみましたが
Enable F# Project Extenderをクリックするとエラーが出たので諦めます(´・ω・`) http://funscript.info/
F# Expertは、webレンダリングで得体の知れない仕組み考えるのが好きだな。 Named union type fieldsはよさげだなあ VS Desktopにも入れてくれないかな
VS Web入れてみたけど訳が判らないよ Scala33位
F#37位
TIOBEで比較するとそれほど差はない
むしろF#のが力強く感じられる 最初moduleでモジュール化してたけど
途中から型や値をパラメータ化したくてclassに変えようとしたら
構文が違いすぎてあと内部classも作れなくて死んだ >>450
22 D 0.567%
23 F# 0.538%
24 Lua 0.531%
34 Haskell 0.349%
35 Erlang 0.344%
36 Prolog 0.334%
37 Scala 0.332%
うーんとしか・・・ MonoDevelop+F#Bindingsでコンパイル順の変更ができない…
やる気無さすぎだろこれ >>455
そこらへんは、作者に言わんと永久に治らないかも。
githubで開発してると思うから作業リストには入るだろうし。
>>456
まだベータ版ぐらい?
そう言えば、monodevelopやxamarinstudioだと実行がうまく出来ない環境があって悩むことがある。 >>457
どっちも同じ人間だよ
git上のFSharpBindingsだと順序変更はできるようになってた
でも新しいMonoDevelopが必要で自前でそれもビルドしたから
設定がとても面倒だった
その後MonoがWinFormsに実質未対応なのに気づいて
それでも他の部分だけと頑張ったけど
IDEそのものが自分には使いづらくて無理だった
F#は素直にVSでやることにした 具象型にいちいちインターフェース型をキャストすんのめんどくさ!
これ一つづずつ実装するかキャストしないといけないのか? 実装を意識したくないからインターフェースをはさんでるので
キャストしちゃうと台無しですよ。 >>460
すみません、逆方向です
let impl :ISome = new Impl() ;> ISome
こんな感じで一旦アップキャストするのが面倒なんです
単にISomeを実装しただけではImpl型でメソッドを呼び出せないので
実装のテストだと例えば3つ実装していた場合、
毎回使用するインターフェイス別にキャストしなくてはいけない
それかImpl自体にそれぞれ同名のメソッドを用意するしかない
他言語ともやりとりするので手軽に注釈なし'a 扱いもできません
私が何かとてつもない勘違いしてるんですかね…? セミコロンはtypoです
> let impl :ISome = new Impl() :> ISome なんで:ISomeと型を定義してんの?
インターフェースぐらいは暗黙に変換してくれてもいい様には思うが、F#では元々そんなインターフェース使わんからなぁ
Interopするなら別かもですが。 >>463
>なんで:ISomeと型を定義してんの?
こうしないとメソッドが呼び出せないからですね
でなければ呼び出す度にキャストすることになってしまうので
ただ雰囲気は大体わかりました
F#でクラス使ってOOしちゃいけないみたいですね…
ありがとうございました >>464
いや右辺で型決めてんだから、左辺は書く必要無い。
オブジェクト指向もしちゃいけないじゃなくてやる必要が無いだ。
とりあえず関数型とF#勉強してから自分が書いた事を見直してみろ >>465
すみませんが、問題にしてるのはキャストですので
可能であればそちらより解決策の提示を願います
>オブジェクト指向もしちゃいけないじゃなくてやる必要が無いだ。
それは現に必要な人間に言っても意味がないです
>とりあえず関数型とF#勉強してから自分が書いた事を見直してみろ
関数型はOCamlもHaskellも使ってます
私は純粋に外部利用のための解決策がないか探っているだけです >>461
>let impl :ISome = new Impl() ;> ISome
>>465さんも書いてますけど右辺で型が分かるので左辺は必要ないですよ。
>単にISomeを実装しただけではImpl型でメソッドを呼び出せないので
ISome型に定義されてるメソッドは呼び出せます。
ISome型で参照してるならImpl型で追加されたメソッドが
呼び出せないのは当然かと。
ここまで書いといてなんですが
私もF#は勉強中でOOP視点でレスしてます。
間違っている所があれば詳しい方、訂正お願いします。 >>468
> >>465さんも書いてますけど右辺で型が分かるので左辺は必要ないですよ。
大丈夫ですそこは理解してます
問題としているのは右辺のキャストです
私はレスを「なぜそこで型をキャストするのか」と解釈したので、
変なレスになってしまいました
左辺値の注釈は型推論でつまずくことが多いので癖で書いてます
>ISome型に定義されてるメソッドは呼び出せます。
上でも書いてますが、実装型をnewしても
1. インターフェース型にキャストする
2. インターフェース型を実装したものとは別に
実装型に同名のメソッドを追加する
このどちらかをしないと同名のメソッドは呼び出せません
これが複数のインターフェースを使うとなるとその都度キャストという事になります >>469
インターフェースの明示実装を利用しているため、明示的にキャストしたいということですね。
しかしこの場合、実行させたい関数等にtype hinting付けて、そこで指定したインターフェースのメソッドを呼ばせるべきだと思います。
これは、F#に限らず、C#でも同様です
。
また、もしそれがコンストラクタである場合も同様に、外部から注入すべきでしょう(依存性反転の原則)。
どうしても呼び出し先で、生成->実行したいのであれば、ローカル関数を経由すればいいと思います。 >>470
明示的にキャストしたいじゃなくてしたくないんでしょ。
インタフェースのメソッド呼ぶために関数を通させる意味が分からないんだけど、関数型のスタイルに合わせるため?
IHogeにキャストしたいなら、それをするiHとか短い関数作って(iH o).HogeHogeとかでいーんじゃねーの。
そもそもキャストが頻繁に起きるなら設計がおかしいだろ。
同じオブジェクトを各場所で適切なインタフェースとして保持管理出来てるべき。 >>470
大変参考になりました
特に注釈付き引数について、暗黙の挙動は存じておりませんでした
引数には適用されるんですね
DI部分に関してはもっともな意見だと思います
ただ、実装の確認テストの際に煩雑になるので、
テストしながらの作業では、その手間が惜しいです
そこでほしいのは明示的でないインターフェイス実装か、その代替です
この点はC#では同様ではないと思います
単なるわがままを続けても仕方がないので、これ以上は控えます
レスありがとうございました すみません見逃してましたのでもうひとつだけ
>>471
アップキャストは設計上頻繁に起こっても全然おかしくはないです
というより良い設計では何でもインターフェイスにしますよ
逆に特定のインスタンスや型を扱うのは危ないです >>473
そうじゃなくて複数のインタフェースを実装して、その場所場所でこのインタフェースを実装してるか的なことをしないといけないのがダメっていってんの。
そうで無ければ具象クラスをそのインターフェースとして扱い始める大元でキャストするだけであって使うたびにキャストがーなんて話はでてこない。 >>474
もちろん基本的にはそうだと思ってますよ
しかし、書いてるのはインターフェイスとしての扱いでなく、
実装動作そのもののテストコードです
実装クラスのメソッド呼び出しの手間について話しています
ここまで特殊化された物に一つずつインターフェースを書いて
それを使ってという事をする気はありません
なのでダメと言われても困ります 念の為付け加えますが、インターフェースの要件としてのテストコードは別にあります
問題にしているのは個々の実装クラスの特殊な動作を調べるコードです >>475
お前がインターフェースの呼び出しがめんどくさい言ってて今更インタフェースの扱いじゃないってなんなの?
後段のインタフェースを書いてとかも意味分からん。
何したいの?もうめんどくさいから楽なC#でかけば? >>477
実装したメソッドを呼び出しするのが面倒だと何度も言ってるでしょう?
本当に理解できてます?わざと言ってるんですか? すみませんついカチンと来てしまいました、謝ります
上に書いたとおりの手順でやってみればどういう意味かわかると思います すまん。そもそもで恐縮だが、459の人はF#で完全OOPなコードを書こうとしてるの? >>479
だからさー
上に書いた通りの手順でとか言われてもエスパーじゃないからわかんねーよ。
せめてアンカーでもつけたら?
お前の質問の仕方は相手にとってどう理解しやすくするかって視点が全てにおいて欠如してんだよ こういうのはどう?
type ICounter =
abstract member Inc : unit -> unit
abstract member Count : unit -> int
type Counter(seed : int) =
let mutable cnt = seed
member this.i = this :> ICounter
interface ICounter with
member this.Inc() = cnt <- cnt + 1
member this.Count() = cnt .net sdkだけでコンパイルできるスタンドアロン環境にしてくり fsiやfsc はスタンドアロンでインストールもコンパイルもできるだろ? 疑問形で言われても。
一般的にはなんとかシェルがいるし裏技は知らん >>486
もちろんexpressなんちゃらも入れたくないってことな >>486
疑問系ってよりも、お前そんな事も知らんの?って意味の確認だろ。 >>488
なんだ、お前そんなのも知らんのとかいいたいだけのカスか
どんだけこのスレ過疎ってると思ってんだよまったく
そんなんだからF#がこんなかわいそうなことになってんだろ
あげ >>488
こんな過疎スレなのにこんな人間のクズしかいないとは哀れすぎる そもそもスタンドアロンで使ってる奴がどんだけいるわけ?
なめてんじゃねえよ >>490-491
解説しただけなんだから、俺に言うなよ(´・ω・`) >>493
だから解説になってねえんだよバカタレが
なんだ、お前そんなのも知らんのとかいいたいだけのカスか
さっさと消えろ >>493
なんだ、お前そんなのも知らんのとかいいたいだけのカス >>488
スタンドアロンで使うのがどれだけ普通なのか
わざわざしゃしゃり出てきたお前が解説しろ >>494-496
だから>>486でイミフな絡み方してるから日本語の解説してやっただけだろ。
教えてくんならそれらしく下手に出てればいいのに。
>>484でスタンドアロンがいいっていうから>>485がスタンドアロンでインスコできるだろって親切に教えてやって>>486で逆切れしてるながれなのに、スタンドアロン環境が普通かどうかとかってそれ論点じゃねーだろw
塚その日本語能力のなさお前ら同一人物だろwww
情報ないのかと思ってぐぐったら簡単に見つかったけど教えてやらんわ(´・ω・`) >>497
迷惑なやつだなおまえ
スレタイ読んで書き込んでんの? >>497
いや同一人物ってわかるだろ
どんだけバカなのおまえ・・・ >>497
> だから>>486でイミフな絡み方してるから日本語の解説してやっただけだろ。
> 教えてくんならそれらしく下手に出てればいいのに。
おまえのがイミフ
日本語の解説ってそういうスレなの?
スレタイ読んでどうしても日本語の解説したかったとか
くだらん頭おかしすぎ > 情報ないのかと思ってぐぐったら簡単に見つかったけど教えてやらんわ(´・ω・`)
おまえ・・・やっぱり知らないくせに適当に書き込んでたんじゃん
だからさ俺が知ってるとかじゃなくて
ちゃんと知られてないからマイナーなんだよって言ってんだけど?
相当くずだなおまえも
>塚その日本語能力のなさお前ら同一人物だろwww
これはあたまおかしすぎ
過疎スレの皆さんにごめんなさいしろよゴミ男が 大事なことなので訂正
× 相当くずだなおまえも
○ 相当くずだなおまえが >>484でスタンドアロンがいいっていうから>>485がスタンドアロンでインスコできるだろって親切に教えてやって>>486で逆切れしてるながれなのに、スタンドアロン環境が普通かどうかとかってそれ論点じゃねーだろw
>>485のどこが親切なんだよ
おまえの国じゃこれが親切なのかくずだなすばらしいね
おまえスレ違いすぎだからスレタイよく読んで書き込めカス
スタンドアロンでの使われ方は普通には知られてない裏技的なものだし
それに俺の言いたい論点はこれだけ
>なんだ、お前そんなのも知らんのとかいいたいだけのカスか
おまえみたいに無自覚に迷惑かけてるやつが一番迷惑だからさっさとでてけ なんだ、お前そんなのも知らんのとかいいたいだけのカスか >fsiやfsc はスタンドアロンでインストールもコンパイルもできるだろ?
これが親切に教えてくれてるとかどういう頭の構造してんだよ
なんだ、お前そんなのも知らんのとかいいたいだけのカスじゃないか >>508
ebookは出ないの…かしら(´・ω・`) >>509
no scrachならしばらくすればoreilly.comで売られる >>510
オライリーにリンクはあったけどまだebookのはなかったぽ。
まだ先そうだし待つわー(´・ω・`) >>511
多分正式番でるまでは無理だね
紙も同じだけど
もしかしたらsafariとかは来る可能性あるかな igetaさんのIE本買ったけどこれF#でやる必要性あるの? >>514
これ。
http://www.amazon.co.jp/dp/4798039152
今F#のところを読んでたらスクレイピング処理が結構複雑だったから
F#のような高級言語でやる必要性があるかもしれないとは思った。
株価データを扱ってるから、金融の人に興味を持ってもらおうという魂胆? あー前つぶやかれてはったなー
中身知らんけど一つの方法としてF#か^が楽ならいいんじゃない?
まぁ誰もその表紙で中にF#が出てくるとは夢にも思うまいに。 昔はVBAで結構いろんな事やってたんだろうね
今、イチからやるならあえてVBA経由する必要は無いと思うけど F#ではじめる金融工学入門、とかなら読んでみたい。 なんか呼ばれてた。
どうなんでしょうね。著者の方が決めたテーマですから。
僕はそれをコードに落とし込んで原稿にしてってとこを
お手伝いしただけなので。
F# でやる意味、というか、ネタ的な章という位置付けで。
.NET の言語とも連携できるんだよーって紹介でもあり。
なら C# でいいじゃん、ではあるけど、VBA 使いでもある
僕の感覚としては、OOP な C# よりも、モジュール、関数
が書ける F# のが割となじむような気はします。 その本のF#のページってどのくらいですか?
多少でもF#の勉?になるのかな 最終章の Chapter11 が F# ネタ。たぶん30ページくらい。
www.shuwasystem.co.jp/products/7980html/3915.html
正直 F# の勉強にはあまり向かないと思います。
あくまで、F# で作った dll を VBA から叩くために COM 相互運用
機能を利用するにはどうやるかに主眼を置いていて、VBA な人にも
F# に興味を持ってもらえたらなあって内容なので。 なるほど ありがとうございます。
本屋で見かけたらとりあえず少し立ち読みして買うか考えようかな >>518
http://www.manning.com/petricek2/
この本に"Numerical computing in financial domain"と
"Implementing a trading system"という章が入るみたい >>518
MEAPから見出しを抜粋するとこんな感じ:
4 Numerical computing in finance domain
4.1 Introducing financial derivatives
4.2 Using probability functions of Math.NET
4.2.1 Configuring F# Interactive
4.2.2 Download and Set up Math.NET Numerics
4.2.3 Introducing Random Variables, Expectation and Variance
4.3 Geometric Brownian Motion and Monte Carlo Estimate
4.3.1 Modeling stock prices using geometric Brownian motion
4.3.2 Payoff Function, Discounted Payoff, and Monte Carlo estimate
4.3.3 Analaysing Monte Carlo estimates using variance
4.3.4 Pricing oath-dependent options
4.3.5 Variance reduction using antithetic variates
著者はChao-Jen Chenだそうな。 type T = [<Leaf>]A | [<Node>]B of T * T
この型Tに対して
let rec size = function A -> 1 | B(x,y) -> 1 + size x + size y
こんなような関数を大量に自動生成したいんだけど
Reflection+CodeDom以外に選択肢ある? >>530
直感的に思いつくのはT4だけど、F#プロジェクトではサポートされてないから
T4用にC#かVBのプロジェクトを追加して、そっちで生成したファイルをF#プロジェクトに追加すればいいかもしれない。
stackoverflow.com/a/2199527 >>531
情報ありがとう
T4はF#だと茨の道くさいからCodeDomで頑張りますわ TIOBEで20位入ってる。
周りで流行ってきてる実感ありますか? 発表当時の方が、順位高かったという、、
msdnでドキュメント公開されたタイミングでのカウントが大きいのかもね。
msdnでF#のドキュメントが日本語になってるのは凄いとおもうが、MSでF#セミナーやってるとか聞かないし、宣伝部隊がいないんじゃないかな?
http://msdn.microsoft.com/ja-jp/library/dd233154.aspx VisualStudioで扱える関数型ということで期待したが、
言語仕様が古臭すぎて萎えた。
・ ソースコードのコンパイル順序を指定
・ 基本的に後方参照不可
・ 循環参照にはキーワードが必要
1980年代にタイムスリップした気分だぜ。 >>537
実際それぐらいまで一度戻って、プログラミング遍歴を全部やり直すぐらいの覚悟はいるかも。得られるものは大きいけどね。 >>537
むしろその方がどこで参照されるか想定できるから俺は嫌いじゃない RProviderでCRANを使う場合ライセンスってどうなる?
もしRProvider経由でGPL汚染するならCRANは件並みGPLだからオワタ\(^o^)/ F#はJ#のようにVSの一部でしかないのですっかりPowerShellより日の当たらない存在
スタンドアロンで使えるじゃねえかといかいうバカも居るけど
そうやって使ってる奴はいないわけで F#専用サイトだったhubFSがFPishという関数型言語総合サイトに変わって数年たつし
F#の話題がないのは海外でも同じなんだよね
日本の弱小ブロガーだけがスタンドアロンで余裕で使えるわ!、
などとおつよそうに喧嘩売ってくるという有り様 海外でも国内でも使ってことのある人の中ではバランスのとれたとても良い言語となってると思うけど…
Xamarinの方でも積極的に取り入れてるし一定の評価えてるとおもうけどな。
F#のコミュニティ見てるのでそれ以外の声が全然ないかは知らん。
自分は必要ない限り極力F#使ってC#成分はできるだけ減らしてる C#に勝とうとしちゃなんね。
それよりはF#の強い部分をアピールすべきだなんや。 構文木をこねくり回すプログラムを書く必要があったからF#使ってたけど
最近は数値計算が多くてなんかもうC#に絞った方がいいんじゃないかって気がしてきた
F#の利点は何かありますか? >>549
むしろC#で書く利点がなに一つなくね? >>544
一応確認しておくけど、読みは「けんなみ」じゃないからね そういえば、F#のMVPであるbleisという人が、彼女が出来てリア充になったそうな。
F#erになるとリア充になれる!? >>550
数値計算本のアルゴリズムはだいたいCとかで書かれていて
ループ内でbreakやcontinueが使われているものが多いんだわ
だからF#で書きなおす際に頭を悩ますというのが最大の問題
あとx *= 2.0とか書けない VSバージョンあごるごとにインストール方が微妙になって行ってるのはなんなの
どこがスタンドアロンで余裕なんだよ
>>553
それは花王デモの主催者が彼女出来て活動終了したのと同じで本人次第
花王デモやF#を選んだのが正解だったというわけではない
>>554
コア部分のロジックをF#で書けばいいんだ!なんて
息巻いてた奴らクソうざかったんだけども彼女が出来てやめたんだろうな
>>550はブサすぎてできないらしい。こういう奴もいるから バージョンあごる、はこっちの方言だからあってるからな
件並みは方言ではないけど >>554
業務でCで書かれた配列の更新とかループバリバリのアルゴリズム、F#で書き直したらすごいスッキリしたよ。 >>552
C#人口が多いのは確かにありだね。
うちの会社は勉強会とかしたら色々と難しそうだけどいいんじゃね?って話になって導入が進みそう。 IDEを使えないスタンドアロンには意味は無いからな
UNIX勢だって補完なしでCUI使うやつなんかいないよ
3.1はVS expressではまだ使えないのか スタンドアロンでコンパイルしてみたらリファレンス関連が不明過ぎてこれはアカン
調べてもexpress使えだし 2013は不明なのでVS express 2012をインストール
拡張機能からテンプレをインストールしてきた
F#関連で最もダウンロードされてるのは
F# C# MVC4
ってのが71729ダウンロードだった
この感じだとF#本で10000部はありえないな
1000部くらいか・・・? 2012 expressでやってみたらあっさりビルドできたわ
コマンドラインみたらどっさり。
これ--noframeworkして全部dll書かないとダメなのね
まあコピーしてbatなりmsbuildなりでなんとかなりそうだが
これは初心者じゃスタンドアロン無理だわ
IDEの何が嫌ってちょっと試すだけでプロジェクトだのソリューションだの
名前付けないとダメなとこよ
scratchで書きなぐりたいんだがな
でも補完とかはさすがに便利 パソコン変えたのもあるけどf# 2.0のころに比べるとだいぶ軽くなってて驚いたよ
fsi xxx.fsx でも実用レベルだし
ただ全然忘れてるから昔書いたものが暗号状態だわ
powerpackとかもどうなってるのか謎 そんな重いことあったっけ?
i5,7しか使ってないけど重さ気にしたことがない(´・_・`) >>570>>571
あ?
スタンドアローン連呼してた人だけど
逃げたとかおかしいだろ
今までのが不十分だったからMSが対応したんだろ?
MSの対応は歓迎だとしか言いようがないが。
人が少ないからって開き直ってごまかせると思うなよ?
むしろ今までだってスタンドアロンくらいあるわとか
親切に教えてやったとか言いはってたヤツは逃げちゃった?
MSが対応する余地があったってことは明白なのに
無駄に叩いてきたのはお前らだろうが
現状で十分だと言いはってたんだから公害としか言いようがない
人が少ないからって開き直ってごまかせると思うなよ?
強制IDで消えろよゴミどもw
俺はもともとID変えてるから困らんけどなw
覚悟しろゴミクズ >>570>>571
この開き直りは醜すぎるな
スタンドアローン登場は歓迎に決まってるだろ?
すでにあった>>485とかお前そんな事もしらんの?>>488とか
からみ方が意味不とか情報ないのかと思ってぐぐったら簡単に見つかったけど教えてやらんわ(´・ω・`)とか
喧嘩売ってた>>497
は逃げちゃった?
情報ないのかと思ってぐぐったら簡単に見つかったけど教えてやらんわ
の割にはMSが改めて対応しちゃったけどw なにがスタンドアローン連呼くんだよ
迷惑なのは
>>570>>571の方だ
情報ないのかと思ってぐぐったら簡単に見つかったけど教えてやらんわ(´・ω・`)とか書いてた>>497
だろ
逃げちゃった?
無様だなw >>568
F#1.0とかVS統合前に使ったこともないような情弱は黙ってたら? >>558
> 業務でCで書かれた配列の更新とかループバリバリのアルゴリズム、F#で書き直したらすごいスッキリしたよ。
ただの自己満
まともなところならちゃんと検証するわけだけど
報酬すら出ないような箇所なんだろうな >>570>>571
スタンドアローンくんだけど
ほんとに来てほしいと思ってるの?
それでF#の話してもらえると思ってるの?
甘えるなクズが
F#の話じゃなくて人をからかいたいだけのやつは迷惑だから来るな
こういうクズが強制IDでいなくなるといいわ F# deep diveかいてるTomas Petrickって、Blue Mountain Capitalにも所属してんのか。
http://techblog.bluemountaincapital.com
http://bluemountaincapital.github.io/Deedle/
オープンソースにしてるみたい。
このページみたのログアグリゲーターで、少し話題になったRiemannのC#プラグインで名前を見て以来だ。 Blue Mountain Capitalに入りたいんですけどどうしたらいいですか? https://www.bluemountaincapital.com/CareerOportunities.aspx
指定職種の募集はしてないみたいだね。
ここに限らず、この分野で勤めてる人探して話聞いたり、インターン募集してたら応募したりするのがよいかと。 自営業だから他人に見せない部分でこの言語使ってるけど
他にどんな人が使ってるのか想像もできない
金融で使ってる人いるの? NVIDIAのGTCってイベントに行ってきたんだけど、F#の中で
ASTをいじってCUDA向けのPTXコードを吐いてGPUを使うって言う
トークがあって、すげーと思った。スウェーデンの金融系IT会社だった
やたらF#推しててワロタ これかな?
http://on-demand.gputechconf.com/gtc/2013/presentations/S3055-Dynamic-CUDA-with-F-Sharp-v3.pdf
http://fsharp.org/use/gpu/
オープンソース版の公式ページにも一番上に載ってるようだ。
数年前は、1人で博士課程でやってるのやつが紹介されてたけど、
実用品には、よってたかって開発されてるようなものじゃないと、自分でなんとかしないといけなくなったり、、、 >>590
金融と言う程じゃないけどデイトレアプリとかそのサーバーとかに使ってる。
つか言語指定されなければ何にでも使うと思う。
C#はだるすぎる。 >>593
うん、その会社。リンク張ってくれたプレゼンは去年のだけど。
今年のはまだ公開されてない。1,2週間くらいで公開されるはず condは爽快感あるけどパターンマッチはあんまりない、
コマンド必殺技と弱キックって感じ 過疎りすぎワロタ…
上がりそうな株の銘柄を発掘するアプリを途中まで書いてたが
結局scalaで書き直してしまった
F#もscalaも大差無いけどF#はオフサイドルールのせいで自動整形できないのが面倒だわ pythonでオフサイドルール以外は書く気が起きない体になってしまったのでF#の存在は有り難い .NET OSS化でUnix環境でも素直に動かせるようになるのか? FSharp.Core.dllの同梱許可だすかちゃんとランタイムを配布してくれ ブロガーたちも最終更新から時間だけ過ぎていく・・・ >>609
俺は勉強中で聞きかじっただけなんだが
--standaloneつけてコンパイルするとdll配布不要じゃないの?
http://msdn.microsoft.com/ja-jp/library/vstudio/dd233171(v=vs.120).aspx 初関数言語で手を出してみて、日本語の情報少なすぎてきついけど面白いですね いやー前より増えた方だよ。2010頃とか皆無やった。 Haskellをちょっとかじったのが役に立った
Visual StudioのF#向け機能がC#とかに比べて貧弱すぎ
リファクタリング機能くらい標準でつけてくれ >>611
毎回そんなでかいファイル配布して平気ならもちろんそれでいいし
だから本家ランタイムの配布がなくてもいいという話にはならない
別の話 PowerToolsはOCaml互換機能とかでVisualStudioの機能とは関係ない
リファクタリングくらいとかいうが
C#とかだってその機能つくまでそれなりに時間かかってるはず 俺なりに整理してみると
F#2.0ランタイム
Microsoft Visual Studio 2010 F# Runtime 2.0
http://www.microsoft.com/ja-JP/download/details.aspx?id=13450
F#3.0(3.1)ランタイム
Visual F# Tools 3.1.2
https://www.microsoft.com/en-us/download/details.aspx?id=44011
F#4.0(Visual Studio 2015用プレビュー)ランタイム
Visual F# Tools 4.0 Preview
http://www.microsoft.com/en-us/download/details.aspx?id=44941
--standaloneをつけずにビルドしたアプリケーション、ライブラリは
上記のランタイムが必要になる
(インスコしないとUnhandled Exceptionが発生する)
--standaloneで約1.3MBファイルサイズが大きくなる(F#3.0の場合)
肝心のライセンスはどうなってるんだ。識者頼む
俺の貧弱な読解力だと分からない opensource版は、Apacheライセンスだな。
https://github.com/fsharp/fsharp/blob/master/LICENSE
runtimeは、いつもの配布用のライセンスかな。
そう言えば、その下のCLR/CLI配布は、monoのランタイムの方が、GPL/商用デュアルライセンスで厳しかったりする。 ms配布ってのが、抜けてた。
opensource版は、Apacheライセンスだな。
https://github.com/fsharp/fsharp/blob/master/LICENSE
ms配布のruntimeは、いつもの配布用のライセンスかな。
そう言えば、その下のCLR/CLI配布は、msよりmonoのランタイムの方が、GPL/商用デュアルライセンスで厳しかったりする。 Visual Studio Community 2013をダウンロードしてくればいいの? C#と、本番環境がWindowsの仕事しています。
運用系のスクリプトなり、ちょっとしたデータ編集などを PowerShell で書くのがイヤなので、
.NET で動く簡易なスクリプトを探していたのですが、F# にたどりつきました。
JavaのGroovyみたいに、C#用のdllをF#で呼べるのがいいですね。 >>631
その理屈はよくわからんが…F#の方が生産性えーやん 何度も言われてるけどC#は悪くはないどころか相当いい言語だからなあ 海外の方が評価高そうやね。
日本はMVPどもがC#マンセーばかりだからな C#はC/C++の焼き直し、J#はJavaベース。
だから最近まで、F#は.NET版FORTRANと思って無視してた。 >>581
煽り耐性とかそういう話じゃねえよ覚悟がないなら喧嘩売ってくんな >>582
いちいちIDしたとか報告いるのかね
必要な情報なのかね?さっぱりわからんのだけど
荒らしにしか見えんわ >>645>>582
いちいちIDをNGしたとか報告いるのかね
必要な情報なのかね?さっぱりわからんのだけど
荒らしにしか見えんわ F#専用サイトだったhubFSがFPishという関数型言語総合サイトに変わって数年たつし
F#の話題がないのは海外でも同じなんだよね
日本の弱小ブロガーだけがスタンドアロンで余裕で使えるわ!、
などとおつよそうに喧嘩売ってくるという有り様 まあ海外の方が評価してる人多そうだけどな。
Xamarinのミゲルもお気に入りらしいし。 随分、思い切った言語仕様だがメインストリームになるんかの お題スレみたけどlet文がずらっとあると見る気しないな
スクリプト的なの向いてないんか
慣れかな F#も10年くらいたつと思うけど
これから来る!とかだんだん使われてきてる!、
とか言われてることが当時と同じなんだよなw
まあ生き残ってるだけでも褒めてやるべきか まあC#は7.0になってもF#3.0に追いつけないけどな その追いついたの根拠はなによ?
お前の頭は空っぽか? 最初誤ってF#のランタイムをインストールしてしまいましたが
さんざんググった末に無事>>5にもある実行環境CTPをインストールできました
始めから2chのこのF#スレを見つけ出していればもっとすんなりことが運んだだろうにオバカでした ん?古いバージョンが欲しかったのか?まだXPとか?
まあがんばれよ 20:00
〜22:00
チャンネル F#談話室(20)
http://live.nico video.jp/watch/lv226826061?ref=qtimetable&zroute=index 2015/07/06(月) 開場:19:57 開演:20:00
この番組は2015/07/06(月) 21:19に終了いたしました。
来場者数:526人 コメント数:208
意外と多いなw地道に(20)も開催してるからか 話題ないなら初心者の俺におすすめの入門サイトかなんか教えちくり いや海外のコミュニティ盛んだしXamarinも力入れてるし、メジャーの次のグループの中では人気ある方だと思うが あまり使い方の説明がないが、atomエディタ、yeomanのF# プロジェクト作成ツールを利用したクロスプラットフォームの開発環境
http://ionide.io/
xamarin studio/mono developでいいかなとおもってしまうが、コマンドラインツールはプラグインや設定みたいなのが作りやすい面はあるのかな。
ここで紹介されてるpaketというパッケージマネージャーだと、nuget以外にgithubからも直接持ってこれるらしい。
http://fsprojects.github.io/Paket/ 初心者にはわからんと思って、海外では盛んアピールしたがる奴がいるが
さびれてるのは海外でも同じ
Xamarinが推奨してるのもC#だし
結局.net=F#であり、monoでlinuxやmacで使おうなんて人いない >>649
それだけ話題がないんだし
キモいのはおまえだバカ 海外では人気は嘘です!!!!
むしろ日本のほうが本もいっぱい出てて人気ある
>>664
サイトより本買ったほうがいい
ただブロガーは>>>649みたいにけんか売ってくる奴ばっかりだから気をつけよう >>581>>562>>583
こういう時にだけでてくるカスのせいで過疎った >>643
話題がないので書き込みがないだけなのに
無駄にお前が余裕ぶっこいてる意味がわからん >>669
Amazonに2冊しかなくて笑った
やっぱオライリーが王道かね >>677
これから始めるのなら、いげ太さんと荒井さん共著の本で。
古いけど、基本的なところであれば充分。
http://www.amazon.co.jp/dp/4774145165
この本以降に追加された機能について書かれた本は、洋書を当たることになる。
https://www.manning.com/books/f-sharp-deep-dives
は、利用例などが網羅的に書かれてた。 >>365>>369
だいたいこいつらのせい
反省したか? >>675
おまえまだいたの?
F#スレでどうしてもキモイがどうとか話題にしたいのか
みんな迷惑してるがな
あとキモイ >>675
わざわざこのスレに書き込むためにID変えてるとかキモい >>676
勝手に参加すればいいんじゃない?
どうぞどうぞ >>677
何が2冊しかないのか意味不明
勝手に笑ってろ >>365>>369 のように
F#ブロガーの人柄に問題ありすぎた
F#なんて関係なかったようなツラしてるお前ですよ 過疎スレがなんか伸びてるなーと思って見に来れば大抵こういう展開だな >>568
対話型インタプリターなら明らかに1,2を争う重さ
これをあたかも重くないとか無理ありすぎ 別に普通に動くしな
動画のエンコードでもさせるの? >>688
それだけ話題がないだけなのに特定個人に責任をなすりつけるのは卑怯
ちゃんと荒らしてる奴叩けよ >>685
何が真正なんだよ
スレ荒らしてんじゃねえぞゴミ >>690
これはひどいわ
決して重いことを認めようとしない
こいつ真性だろ… >>690
動画のエンコードでもさせるのって全く話すり替えちゃってんじゃん
ちょっと頭おかしいんじゃないの? >>568>>690
別に普通に動くしな キリッ
動画のエンコードでもさせるの? キリリrッ >>688
お前みたいな奴が面白がって煽るからだろ >>690
対話型インタプリターなら明らかに1,2を争う重さ
って事実言ってるだけだろ
なんで認めないのかな >>690
上げてまでこんなアホなこと書くなよ
お前みたいな奴のせいでF#が盛り上がらないんだろうが 真正とか意味の分からない煽りしかしてこないくせに
ちゃんとF#の話題振れるのが俺だけという情けなさ
これが現実 俺もIDEやクロスプラットフォームの話題出してるけど、誰も反応無いから安心しな! いやいや.netとelixirは、と思ったけど、ホットな話題を巡回してる人はだいぶ前に移ってelixierも試してるだろうというのはあるな。 .NET抜きにしても F# 悪くない言語だと思うんだけどなあ。
OCamlほど冗長じゃないし。 おめおめおめ
いまは、ストアアプリ対象なんだっけ? いまいち良い使いどころが思いつかない。大体全部C#で済ましてしまう >>711
C#で書くよりF#で書く方がはるかに楽だぞ
XAML絡みとかテンプレートが足りないとか以外でF#使えるところは全部使ってる。 FParsecで簡単にパーサが書けたのは良かった。
が、400行程度のパーサをMonoDevelopで開こうとしてフリーズしたり、LINQ to EFを使おうとしてよくわからなくなったりなど、
F#の周囲の開発環境で挫折中。気力が沸いたらまた挑戦するかもしれん。 入れてもらえないっていうかRoslyn作ってる奴が馬鹿だから言語中立な部分と特有な部分をごっちゃにしてるから迷惑してるって感じかと
.NET Nativeにしてもそうやね >>712
楽かどうかは主観だろ
5人位は楽だと思う人がいるだろそりゃ 楽だ楽だと主張してる奴がいるのになんで盛り上がらないのか
答え:5人位が楽だと言ってるだけだから visual studio community editionのおかげで導入もはるかに楽なのにだ 単純に怖いんだろう
Silverlightが終わるとことか見てるし >>718
同様なものをC#とF#で作って、F#の方がはるかに短いコードでバグも少なくできたって調べてる人海外で幾つか見るけどね
大体言語の好みなんてほぼ主観だと思うけど、主観では型をアッチコッチに書かなきゃいけないC#は本当クソだわ
F#実案件での使用で問題なく使えてるから流行ろうがどうでもいい。
海外ではまあ十分盛り上がってるみたいだしサポート切られる事もしばらくないだろ オプソニなってるからそこまで痛く無い
つーてもVSとかからサポートされなくなるとキツイんだが。
切ったらMSセンスねーなとは思う 良いものが流行らず消えてく何てことは数限りなくあった
F# は今頑張らないと消えると思う F#はこれから頑張るとかいう時期は終わってるでしょ
今あるのは一通り評価得た結果あって
一部の人は気に入った、ということでいいと思う
普及するのまだまだこれからだ!
なんていう寝言はさすがにやめてほしいが 求人してるのが海外の金融関連中心ってのもあるかもね。
暗黙的に統計か金融の知識が必要な気がする。 F#オンリーの案件はむしろ稀でしょ
F#がわかる=C#エキスパート+実務経験あり&並行化の知識あり
と遅延評価すると妥当になる 匿名通信(Tor、i2p等)ができるファイル共有ソフトBitComet(ビットコメット)みたいな、
BitTorrentがオープンソースで開発されています
言語は何でも大丈夫だそうなので、P2P書きたい!って人居ませんか?
Covenantの作者(Lyrise)がそういう人と話したいそうなので、よろしければツイートお願いします
https://twitter.com/Lyrise_al
ちなみにオイラはCovenantの完成が待ち遠しいプログラミングできないアスペルガーw
The Covenant Project
概要
Covenantは、純粋P2Pのファイル共有ソフトです
目的
インターネットにおける権力による抑圧を排除することが最終的な目標です。 そのためにCovenantでは、中央に依存しない、高効率で検索能力の高いファイル共有の機能をユーザーに提供します
特徴
Covenant = Bittorrent + Abstract Network + DHT + (Search = WoT + PoW)
接続は抽象化されているので、I2P, Tor, TCP, Proxy, その他を利用可能です
DHTにはKademlia + コネクションプールを使用します
UPnPによってポートを解放することができますが、Port0でも利用可能です(接続数は少なくなります)
検索リクエスト、アップロード、ダウンロードなどのすべての通信はDHT的に分散され、特定のサーバーに依存しません
1t F#勉強しはじめたばっかりですが、どなたか教えてください
Visual Studio 2015でF#プロジェクト作ってみたんですが、
「新規フォルダーの作成」のメニューがどこにも見当たらない
JavaとかC#とかでは、パッケージやnamespaceの階層に合わせてソースフォルダ掘ったりしますが、
F#ではそういうの無くて、ソースファイルはフラットに置いておくものなんでしょうか? >>732
extentionでF# Power Toolsというのを落とせばその機能が使える。 F#の未来はわからないがMLの流れは絶えることはない >>739
このサイトには誤訳があるので注意してね 間違いの無い記事は少ない
間違いを見つけ乍ら読むのがリテラシー discriminated unionも次々に採用されてるな
やれやれ .netにバインドするライブラリってのは
たとえばデリゲートをどうすんのかとか
属性どうするのかとかですぐつまづいてしまう
JScript.NETやIronPythonがまさにそうだ
F#はそのへん良く頑張ってるな F#というより.netの使い方の勉強に時間取られてなんだかね 質問させてください
F#をC#と併せて勉強中です。C#の場合、高階関数に渡すラムダ式の中で
以下のように配列のインデックスを使えるのですが、F#だとどう書けばよいか分かりません
F#のラムダ式中で配列のインデックスを使う方法があればお教え願います
(C#)
var array1 = new[] { 12, 33, 46, 8, 23, 42, 41};
var array2 = array1.Where((x, index) => index % 2 == 0).ToArray(); // array1の偶数番目のみの配列を新たにつくる
(F#)
let array2 = Array.filter (fun x index -> index % 2 = 0) array1 // こうはできない ちょっと長ったらしくて、もっとスマートなやり方があるかもしれんが
とりあえずは、こうすればできる
Array.mapi (fun index x -> (index, x)) array1 |>
Array.filter (fun (index, x) -> index % 2 = 0) |>
Array.map (fun (index, x) -> x) >>748
なるほど、mapiだとインデックスが使えるんですね
そこで一旦indexを要素にもったタプルの配列をつくると
勉強になりました >>750-751
ありがとうございます
スマートに書けるようになりました
Array.indexed array1 |> Array.choose (fun (index, x) -> if index % 2 = 0 then Some x else None) >>753
わざわざありがとうございます
こういうyieldを使った書き方はまだ詳しく勉強してないんですが、
こっちだと中間のデータをつくらないんでパフォーマンスがよさそうですね
勉強して試してみます F#って普通に個人で趣味アプリ作ったりする場合でもC#と比べて恩恵感じられる?
関数型って算術演算や金融関係で威力を発揮するけどそれ以外だと却って手間が増えるだけみたいなイメージある >>755
C#に比べてVSのサポートがイマイチって所が多々あるけれど、それを補ってかつはるかに上回るメリット得られるお。
正直C#でなんかサポートが足りない所、たとえばUI周りとか以外で使いたくないしF#使える所は全部F#で書いてる。 F#はバージョンが5つぐらい進んだC#と捉えるのが正しいと思う >>757
そんなにすごいのか
興味あったし頑張って勉強してみるよ >>760
やってみて損はないと思いますー
実案件で使えなくても考え方学ぶことでC#での書き方も良くなると思うし、実案件でも人の問題とかなければ使える場面は多々あると思う。 勉強し始めたけど、いつなくなるのか心配
MSって、切るときはバッサリ行くよな F#デビューしようと思って本探してるんだがC#er向けの本ってないのな
ググるとサイトはいっぱい出てくるけど
こういう場合は関数型言語について書かれた本をとりあえず買っとけばいいのかな Real World Functional Programming: With Examples in F# and C#
かな。たしか英語の原書しかないけど
でもまずプログラミングF#読んだ方がいいと思う 俺は実践F#関数型プログラミング入門って本で勉強したけど、なかなか良い本だったよ
書き方が平易な感じでサクサク進められて、基礎的な部分は一通りキッチリ習得できたと思う 勉強中で悪いんだけど
実践F#関数型プログラミング入門は確かにとっつきやすいんだけど
説明不足と思われるところが散見されるように思う
かといってプログラミングF#で十分ってわけではないんだけど
例えば、今アクティブパターン見てるんだけど、いまいち動作がわかんねー
分類としての役割と、型変換の役割があるみたいだけど、
その内部動作っというか、統一的にどのように動作してるのかがわからん 実装は関数呼び出しの条件一致だろうけど、使うぶんにはそのパターンになるかどうかって感じでよくないか?
パラメータわたしのやつは順序がおかしくて分かりづらいと思うが >>766
俺もその本で関数型学んだ
モッナードとかは無いけどオブジェ脳の人が感触をつかむのには良いよね >>769
以下の=ソース=において、 | FIleExtension ".jpg"はどう動作すると考える?
プログラミングF#には記述があるからわかるけど
普通に ".jpg"はFIleExtensionの引数にしか見えない
疑問点1 match式の|の後はパターンの記述だけど、関数呼び出しの場合の約束事が不明
疑問点2 | FIleExtension ext は.jpgの方とほぼ同じ記述だけど、こちらは代入
さしあたって、切り分けできるのかな? 出来たとしても、わかりずらいし。
=========== ソース ============
let (|FIleExtension|) filepath=Path.GetExtension(filePath)
let determinFIleType(filepath :string)
match filepath with
| FIleExtension ".jpg"->printfn "画像"
| FIleExtension ext->printfn "未知 [%s]" ext あれ?空白が無視されてるな
match式以降はブロック別で、ずれてますので、
まぁわかりますよね |の後は元の値がこのパターンに合うか?って感じの比較対象が来るのでFileExtension ".jpg"と言う値って感じに掴んでる。
正規表現の奴はそのregexを元にほにゃららを返す値って感じ。
けどほんとはパターンを区別するって言うセレクターとした方がいいのかな? たぶん違う
| FIleExtension ".jpg"->printfn "画像"の方は、
FIleExtensionの引数がfilepathで、その結果が".jpg"とマッチするかどうか
| FIleExtension ext->printfn "未知 [%s]" extの方は
FIleExtensionの引数がfilepathで、その結果をextに代入(let束縛?)
って、ことみたい(プログラミングF#に記述の例で上のように解釈するような説明あり)
実践F#にも同様な例(P295)はあるけど、こちらは、説明なし いや俺はそう言う風な理解をしてるって話なんだが。
実体は上から順番に関数呼び出しの条件マッチだと思うが動作の仕組みを知りたいんだったらILを見れば。 >ILを見れば。
たしかにね。いままで避けてきたから、考え付かなかった。
ただ、実践F#の方はなんの説明もないんだよ
それで理解できるわけないってーの
(| FIleExtension ".jpg" なら、FileExtensionの引数は”.jpg”でその結果が、filepathとマッチが
普通の理解だと思う)
多分、F#の文法理解のキモは、実践F#のどっかに書かれてた、
”let束縛や関数束縛にはパターンマッチが宿る”ってのがあって
それは何ぞやってことかなとも思うんだけど やってる人いるっぽいけど、興味あるので是非人柱って欲しい Xamarinでも使えると聞きたけど、実際に実用に耐えるレベルで使える感じ?
それともまだちょいきびしい? >>763
バージョンが5つぐらい進んだC#
くらい凄いのがなくなるわけ無いじゃん >>777>>779
勘違いしちゃいけないのは
成長中とかじゃなくてとっくに成熟してる分野だからな
一部の人が持ち上げてるだけで一般的にはそうでもないだけ >>755
関数型って算術演算や金融関係で威力を発揮する
という理屈を解説してくれ >>779
使えるし実案件で使ってる。
全部F#とかはやりにくいところもあると思うけど可能。
ロジックをF#でとかは普通に可能。
ただしDLLの参照はプロジェクトファイル直で編集しないとダメかも f#はmonoで動くように作ってるので問題無いが、
あとはC#と同じくiosの制限に引っかからないかぐらいかな。
動的コード減らすように、ios向けにコンパイラ改良してるみたいではあるが。 sprintfの引数5個以上にすると実機ですっ飛ぶけど後は何も問題になってない 軽量構文では前方参照できてもよくない?
というか前方参照できないのがVSに統合してるのに広がらない大きな理由のような >>788
そんな理由でF#使うのやめるような奴いねーよ immutableでもちゃんと書けるんだすごーい→しばらくして
現実に引き戻されちゃうold Cですら前方宣言あったよね?と むしろ適度に参照制限されてた方がいい。ミュータブルよりイミュータブルが利点を持つのと一緒 (O抜きの)CAML当時のPCでは関数型言語のコンパイラで前方参照なんてやってたら
まるで使い物にならなかっただけの流れだとなんとなく思う 前方参照やりだすと型推論が面倒くさいことになりそうな気がする
トップレベルの定義は型注釈必須になっちゃったりするんじゃね F# 4.1 未満でも↓のように関数の前方参照ができるし、前方参照に比べて余分な型注釈が必要になることもない
let rec f1 () = f2 "" + f3 1
and f2 s = s.Length
and f3 x = x
むしろ f2 のように型推論が強化される場合もある 多分、今話題に上がってる前方参照って、同一のlet式内って狭い範囲の話じゃないと思うよ・・・ 前方参照できないとトップダウンでは書けないよね
上から下にいくにつれて詳細化するほうが読みやすい 上から下にかけて詳細化って何。
インターフェース定義とその具体的実装的なことでも言ってんの? >>802
わからんいうてる奴に「わかるよ!」ってなんやねん
ガイジか死ね氏ねウンコアヘアヘ仮面 Microsoft、「F# 4.1」と「Visual F# Tools for Visual Studio 2017」を発表
http://forest.watch.impress.co.jp/docs/news/1048457.html 研究所に担当者が興味持っている間は続くんじゃないかな。
Open EditionのREADMEには、F# Core Engineering Groupって書いてあったけど、どこの組織かはよく分からない。
https://github.com/fsharp/fsharp/blob/master/README.md#maintainers >>804
数ヶ月書き込みがない過疎スレで「いつものあれ」とか無理あるだろ
あらクソスレにずっといついてるいつものあれでしたか 質問です
let add x y = x+y
を用いた関数合成した場合
■関数定義成功
1.let ft = add 10>> add
■関数定義失敗
2.let ft = add >> add
3.let ft = add >> add 10
2.、3.が失敗する理由は何でしょうか? FSharpFuncが+演算子のオーバーロードを持ってないからだろ >>812
let add x y = x+y を let add x y = 0
にしてみたんだけど、やっぱだめでした。
エラーは以下。
エラーの見方がよくわかんないんですけど、
これ見ると、>>の左側のaddは一引数を求めると考えていいんですよね?
> let test = add>>add;;
let test = add>>add;;
----------------^^^
stdin(13,17): error FS0001: 型が一致しません。
'(int -> int) -> 'a'
という指定が必要ですが、
'int -> int -> int'
が指定されました。型 'int -> int' は型 'int' と一致しません >> オペレータのシグネチャ見てみ。
>>は('a->'b)->('b->'c)->('a->'c)となってる。つまり('a->'b)の関数と('b->'c)の関数を受け取って('a->'c)を返す。
ここでaddを見るとint->int->intなのでこれはまたint->(int->int)でもある。
つまりintを受け取ってint->intを返す。
ここで'a->'bに当てはめると'aがint、'bがint->intとなる。
そうすると>>の右の値は(int->int)->'cでなければならない。
けれどaddを渡していてそれはint->int->intであって(int->int)->intではない。 >>814
Thx 大枠理解しました。
>ここでaddを見るとint->int->intなのでこれはまたint->(int->int)でもある。
特にこの見方は非常に参考になります。
多分今回の件きちんと理解すると、
自分の中でごっちゃになってる部分が結構すっきりすると思います
ここから先は、調べてみます
ありがとうございました X Y Z Nとスペースで区切られた文字列が標準入力から入力された時、
Console.ReadLine().Split [|' '|]を、一つのletでint X Y Z Nそれぞれに入れるのには
どうしたらいいでしょうか? >>816
let [|X;Y;Z;N|]=... >>819
ありがとうございます。
それ前に一回試してみてて、「試してみたけどマッチ不完全って出てムリでしたよ」書こうとして、
もう一回試してみたら、ちゃんとコンパイルできました。
何を言っているかわからないと思いますが、エラーは他の所だったんだなぁと。 >>820
ワーニングは出るけどコンパイルは出来るはず。
それもエラーになるような設定ってできるのかな。
けどおかしな文字列与えたら実行時にすっ飛ぶから、ほんとはlet じゃなくmatch使うべき。 >>822
match憶えました。
>>821
PAIZAのPOH7でF#が使えるのでやってみました。F#歴3日くらいです。
とりあえず全部解けたけど、ちゃんとした本を読んだ方がいいんだろうなぁ…… あの程度の炎上でサービス使えなくなってたらなんも使えんで
アレは炎上大好き民族のはてな民のデイリーノルマみたいなもんや PAIZAすることなくなったので、HackerrankのDashboardで修行することにしました。 AtCoderやyukicoderでも良さそうけどな 競プロするなら競プロスレあるぞ
競技プログラミングにハマるプログラマのスレ 9 [無断転載禁止]c2ch.net
https://tamae.2ch.net/test/read.cgi/prog/1493085730/l50 match Array.countBy (fun x -> x = i + 1) array with
| [|(false, f); (true, t)|] -> t
| [|(true, t); (false,f)|] -> t
| [|(true,t)|] -> t
| [|(false,f)|] -> 0
というのは正しいのですか?ケースが増えるにしたがって、めっちゃ増えちゃう気がするんだけど、
ループとか関数で処理することはできないんでしょうか。 >>829
マッチ式の練習って意味ならこうかな
match Array.countBy (fun x -> x = i + 1) array with
| [| _ ; (true, count)|] | [| (true, count) ; _ |] -> count
| _ -> 0
関数で探すならこんな感じか
array
|> Array.countBy (fun x -> x = i + 1)
|> Array.find (fun (x, count) -> x = true)
|> snd
単に条件マッチする要素数を数えたいだけなら
Array.filter(fun x -> x = i + 1) array |> Array.length
またはこう書いたり
Array.sumBy (fun x -> if x = i + 1 then 1 else 0) array
自分も勉強中だからもっといい書き方があるかもしれない >>830>>831
ありがとうございます。
ワイルドカードを使う、関数でフィルターする、ラムダ式を工夫する、どれも参考になります。
10日くらいやって、F#を本格的にやる覚悟ができてきたので本予約してきました。
でもまだ、典型的なループにbreakがないのには慣れないなー…… ループで分岐を行うという事に疑問を抱くところまで洗脳しましょう 世界トップクラスのプログラマだけど質問ある?
まあねーかw
最近の日本人はたるんでねーか?
まあこんなしょぼいところに俺レベルのプログラマなんているわけねーよなwwwwwwww トップクラスは仕事で何やってんのかとF#で型クラスを導入するには今のCLR上のどこに問題があるのか教えてくれ。 自分も心待ちにしてる。
なんか遠く無いうちに8.1ストアアプリとかディスコンになりそうだしその前に使えるようにしてくれないと困るわ Console.ReadLine() |> intを何度も書くのが面倒で、
let CRI () =
Console.ReadLine() |> int
let m = CRI
let n = m + 1
としても、mがintではなくunit->intになってしまって上手くいきません。どうしたらいいんでしょうか。 >>838
CRIの型はunit->int
つまり () をうけとってint型を返す関数
let m = CRI () ってすればいい
let m = CRI とするとmがCRIって関数のコピーになるから
let n = m () + 1 としてもいい let CRI () = の()は、引数を取らない関数という意味じゃなくて、()を引数として
取る関数という意味だったんですね。
mが関数のコピーになってしまっていることは何となくわかっていましたが、
どうしたらいいかわかりませんでした。
色々まとめて関数化する入口になりました。ありがとうございます。 C#でwinフォームのフォント変えてた時には意識してなかったけど
F#におこられてMSDN見たら
public Font(
FontFamily family,
float emSize
)
あれfloatだったんかw 最初のエラーメッセージ一つつぶしてはリコンパイルしてまた怒られる繰り返しで
エラーも警告も全部潰し終わればだいたい思った通り動くものができてて
ある意味楽だよね C#とかだろ
まあ自分もコンパイル通ったら思い通りに動いたってのは何度も経験した コンパイル通ったら思い通りに動いたって経験ないので設計力が俺にない まー漏れはGUIデバッグ用おまじないとして
let msgbox s = MessageBox.Show( s ) |> ignore
なんてのを毎回コピペしてるんだけどねw 「ゆるふわ」な展開だよな
oO(だってデバッグでコンパイル警告増やしてる場合じゃないもん
ということで>>847をそっとクリップボードに入れたとかは言えない) ビルドツール2015が落とせなくなってると思ったら
最新のビルドツール(現在は2017)だけ無償提供するけど
過去のはMSDNサブスクリプション限定になったんかよ 環境作っちゃったからwそれに趣味だし
もし他人から環境作り聞かれることがあったらVSすすめるけど(質問攻めやだし) ファイルにクラスとかコレクションの値を書き込んだ後に、それを読み込むのに、
一般的な方法ってありませんか?
type Point = {mutable x : int; mutable y : int}
こういう定義があって、今はアドホックでこんな感じに書いてます。
0,0;0,1;0,2;0,3;0,4;0,5;
0,1;1,1;2,1;3,1;4,1;5,1;
これをSplitでString[]にして、
static member fromCSV(s:string) =
match s.Split[|','|] with
| [|a;b|] -> {x = int a; y = int b}
で読んでます。ダサいです。
このtype自体にはこだわりがないので、
[|[|0;1|];[|0;2|];[|0;3|];[|0;4|];[|0;5|]|]
[|[|1;0|];[|2;0|];[|3;0|];[|4;0|];[|5;0|]|]
みたいにデータ構造をそのままぱぱっと書き出して、ぱぱっと読める
みたいな方法はありませんでしょうか。 BinaryFormatter使えばいいんでない?
テキストではなくなるけど びっくりするほどF#の話題ないね
言語人気ランキングだと関数型の中では
Scalaについで上位なんだけど 言語のバージョンアップも大してないしな
まあ自分はコンピュテーション式の組み立てとかも適当にしかできないので猿でもわかるコンプ式とか誰か上げてくれ >>858
Scalaも大して話題ないし
あとはjavaと.netの差 Scalaは言語として色々とんがってるから言語マニアを引きつけるのと、比較対象となるJAVAがアレなところが。
C#も色々アレなとこはあるけどモダンな言語機能も取り込んでるしJavaよりは遥かにマシだからな ScalaはJavaの後継を目指しているけど
F#はC#を補完する存在だから
Scalaほど話題にならないっていうのはあるかも F#の言語仕様にそんな大きな不満はないんだけど
やっぱScalaはJava陣営ってのが大きいだろうな
Androidがデファクトだから将来性がある OCamlに無いから採用してないんだろうけど、implicitな型変換は正直ほしい それは設計思想的にないだろうし、自分はない方がいいかな
まあ気持ちはわかる VS2015でF#4.1にしたいんだがF#だけ更新するやり方わからん
VS2017にするのが一番速いのかね? >>872
三笑亭可楽の名前の由来は
山椒は小粒でもピリリと辛い からきてるんだよ 豆な
ちなみに可楽は落語の始祖みたいな人 >>870
Use F# on Windows | The F# Software Foundation
http://fsharp.org/use/windows/
の
Option 4: Install the free F# compiler and tools alone
のとこの
.Install the free F# 4.1 Compiler SDK from Microsoft
これ? どこにってそこにある
それほど減ってない
pythonが食ってるのはphperなんだろううけど
それだけじゃこんなに増えないから全体のπも大きくなってるんか 勉強するのに適当なサンプルコードあるとこ知らない?
例えば↓みたいなのが見たい
・関数型の参考になる
・副作用のコード
ファイルIO
フォーム
・クラス >>2にある通りだがF# Snippetsもいいと思うよ
関数型で副作用とかモナド信者が飛んできそうだが、そこはF#だから問題ないさ >>870
Thx F# Snippets見てみる そもそもここの奴らどのバージョン使ってるかもわからん
普通に最新版使ってんの? モナド信者が筋斗雲のように飛んで来るように
F#ってそんなに注目されてるのかね 男ならF#2.0だろとかいい出す頭おかしいやついそう >>882
諸事情で3。3.3.0.1あたりかな。 実践F# 関数型プログラミング入門 読んでると
リストに気合入ってるんだけど
リストってLIFOじゃないですか
リストのコレクションとしての意味とかループとしての意味は分かるんですけど
LIFOの性質をこれまであんま使った記憶が無くて
その意味合いが分かんないんですよ
自分の中ではFIFOの方が使い勝手よさそうなのに、
あえてLIFOで実装された理由というかメリットが知りたいッス 由来は知らんけど、追加は効率いいよね。
パターンマッチもいいかなと思ったけどそれは配列なら似たようなもんか。 immutableなFIFOリストの実装が非効率的だからでは
FIFOを効率的に実装するためにはリスト末尾と先頭への参照を持つ必要があって
複数箇所から参照されてる場合にそれぞれを破壊的変更する必要がありそう 事前に断っておくと、F#ではプログラミング初心者というか、つい先日からです
>>887 >>888
うん。なんとなくだけど実装上のメリットなら分からないでもないんだけど
結果として使いづらくなるのなら言語としてどうかなと
ちなみに、リストとかどういうケースで使ってますか?
やっぱ、あまり使わないですか? >>889
いや基本リスト使うけど。
中グルングルン回して何かする奴は配列の方が早いので必要な時は配列にする。 コレクション、そも順序気にしないものも多いし。順序が必要な時は適宜rev入れたりして気を配ったりする必要はある。 >>890 >>891
おおっ Thx
なんとなく、納得しました 差し当たって気にし過ぎたのかなw
やっぱ、最初のうちは とにかく書くだね >>886
自己レスなんだけど リストがLIFOの理由が分かった
結構単純な理由なんだけど
F#を含む関数型の場合、データー構造も再帰で表現できるんだけど
リストも再帰で表現されているため、LIFOにしか出来ない
マトリョーシカで例えると、最初のデータが一番小さいマトリョーシカしかで、
追加する度に大きなマトリョーシカに包含となる
結果として、データを取り出す際には大きなまとりょから取り出すことになり、LIFOにしかならないと
Haskellの本読んでて気づいた ちなみに、すごいH本読むと配列って記述無いんだよね
関数型と配列は相性が悪いらしい 不変じゃないしね
Haskellの配列はモナドらしい さらにO(1)でないらしい 純粋だね〜 Lisp から入る人が多いから、自明だと思われているのでは? 演算子の優先順位(↓の一番下にある)の見方なんだけど
https://msdn.microsoft.com/ja-jp/library/dd233228(v=vs.120).aspx
| (パイプ) は|>のこと
f x (関数適用) は関数fの引数の割り当て f 1+2は (f 1)+2という意味
f(x) は.Netの関数の適用
でOKですか?
あと、関数の合成(>>)に関する規定が無いように見えるんですけど、どれに対応しますか? なんのこと言ってるのかなと思ったけど
>>895のリンクの最上部を見るんだ 僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法 モニアレフヌノ』
C6RTQ vs2017 communityでwpf/xamlでエラーが出る
未対応なのか? >>893
Haskellの場合、リストを2つ使ってFIFOに変換する
1つはFIFOに変換したリスト もう一つは蓄えようのリスト
FIFOのデータが欲しかったら、蓄え用のリストからデータを順次取り出しFIFO用のリストに保存
FIFO用のリストを使い切ったら、また、蓄えようのリストからFIFOのリストに変換
つまり、裏(LIFO)の裏は表(FIFO) って使い方 さしあたって、MSがF#を忘れていなかったのがうれしいw
Haskell勉強中 now Match!は地味にいいな
後将来的な予定の匿名レコードはC#の匿名クラス的な使い方でそれがメソッド内超えて使えるようになる感じか? MSの割にはアンチが少ないよな
相手にされてないとも >>863>>864
Scalaのスレはなくなりここは残った scalaが思ったより早く廃れたのはそれこそjavaの混乱のせいか
いやもっと前?
F#はなんだかんでMSが見捨ててないからな〜 Scalaは流行り廃り激しいWeb系としてもてはやされたから急におとなしくなった感はある
今は固定層だけ使ってるんじゃね
F#は特に流行ってないから廃れた感じもないw 俺は、Haskellずーーーーと勉強してる
一見わかりやすそうな文法なんだけど、難しいな これ
ただ、知識欲は満たされる 正直C#に公式でOptionとEitherと末尾再帰最適化と諸々のイミュータブルなデータ構造周りを入れてくれればもうそれでいいや ほんそれ
テイルコールはいいから、せめてネスト型数の制限だけなんとかなってくれればなぁ 書き込みあったと思ったらF#の話じゃなくてC#の話じゃんw 言語進化ペースも遅いからな
けど今度の匿名レコード型は期待してる そもそもMS組の中で勝ち負けを考える言語だったとは驚きだ まあC#8.0でまだ2.0にすら追いつけてないからな ぐぐるとブログの先生方のありがたい記事はアウトデイト過ぎて
qiitaに負けとる… https://qiita.com/cannorin/items/59d79cc9a3b64c761cd4
この人 GNU/Linux でしか F# 書いたことないとかまじか
なんでF#なんて使ってんだろ?まったく伝わらんw いやそこになんでF#がいいか書いてるやんけ…
いろんな言語のいいとこ取り含め何が分からないんだ 最初から見捨てられてたからそれよりはマシになった感じ 関数型言語が流行るときは果たして来るのかな?
2010年くらいまでは、cpuとgpuがまもなく統合されて、命令的でなく、宣言的にかける関数型言語でかくことでプログラムの並列化が自動的になされる時代が来るとかいう謳い文句をよく耳にした。
でも現実は関数型言語で並列プログラミングをしている人は少なくて、directx12とかvulkanの登場に象徴されるように、並列化したければ、寧ろもっと命令的でstate machineを操作するようなスタイルが主流になってしまった。 いやDirectX とか引き合いに出されても、それが普通の並列のケースかいったらちがくね? コンピュテーション式を使って、async{}の内部では文を特別に解釈することで、簡単に非同期処理をすることができるというのはF#の優れた点だと思う。
けれど、AsyncなんかはC#とか色々な言語に取り込まれつつある。
折角頑張って本を読んで、F#を使ってはみたが、クラスを作らなくてよい、代数的演算ができるようになったC#という程度の使い方しかできない。
コンピュテーション式は俺には使いこなせる気がしない。プログラミング言語を使うことそれ自体が目的みたいな人なら使えるかもしれないが。このスレッドをざっと見てみたけれど、殆どのF#でコンピュテーション式とかそういう機能使う人いないんじゃないかな。 結局俺が言いたいのは、2010年くらいまでによく聞いた関数型言語の宣伝文句は大げさ過ぎだったということだ。 >>949
普通のケースではないけれど、当時はゲームエンジンの制作者までもが関数型言語に期待しているような記事があったんだよ。ゲームにまでも関数型言語か! これは関数型言語をやらざるを得ないな!って思ったことを覚えている。
https://game.watch.impress.co.jp/docs/20080911/epic.htm よく分からないんだが、自分が使いこなせない?のかよく分からなかったという理由で誰も使ってないと思うのはなんなの?
WEBでもReactとかまさに関数型の考えでできてるしElmはピュアだし、いろんな言語に関数型の要素取り入れられてる
シェーダーとかまさに関数だし、ゆにていのECSとかオブジェクト指向で色々効率悪かったから値の配列を元に処理するぜって話だし、Rx系もいろんなところに移植されてる。
むしろ色んなところで関数型の考えで応用されてると思うけど。 >>948
・ユーザーは同じ操作をすれば同じ結果が返ってくるソフトを求めてる(ある種の参照透明性のあるソフトを求めてると言える)
・しかし手続き型言語は参照透明性が保たれない。
この時点で論理矛盾は有るんだけど、流行らないでしょうね。。。ー>関数型言語 >>952
覚えてますよー。
恐らく並列用のライブラリ充実で手続き型言語で良いやってなったんでしょうね。
シングルスレッドは手続き型言語優位ですし、並列ライブラリ揃えばパフォーマンスは手続き型言語に軍配上がりますから。 ちなみにHaskellは純粋関数型言語という事で並列に向くのではと思われましたが、純粋さの為に遅延評価だったのが災いしてます。
(遅延評価が並列動作を徹底的に邪魔をする)
実用的には金融系で採用されたOCamlのように純粋でない関数型言語の方が並列に向いているようです。
(並列プログラミングでよく名前の上がるErlangも純粋じゃないですよね) 俺純粋なんだけど、あの子は振り向いてくれない
みたいなもんか >>959
純粋男子はモテないからな
ジェントルよりワイルドに
ワイルドよりデンジャラスよ Haskellが遅延デフォなのは副作用を外に持ってた関係?
その辺よく知らんけど純粋と遅延は一体じゃないでしょ
関数型はパフォーマンスではそりゃゴリゴリメモリ書き換えるやつの方が速いかも知れんが、そりゃメンテ性とか色々一切無視したあまりにも乱暴な議論じゃねーの。
重ねていうけどいろんな言語に関数型の概念は染み渡ってて、それで関数型が流行らないとか言われてもむしろすでに乗っ取られてはしませんかって感じしかしないわ。
そもそも関数型も手続き型も各々得手不得手あるんだからどっちが勝った負けたの話じゃない 質問です。2重ループ内で関数Fを呼び出して処理をしようとしているのですが、これをreduceなどを使って簡潔に表現する方法はありますか?
for i in seq1 do
for j in seq 2 do
F(i,j) 先ほどの訂正:
seq1は2次元のコレクションでseq1の各要素を引数にしてとある関数Fを呼び出すということをやりたい。
for i in seq1 do
for j in seq1.[i] do
F(seq1.[i].[j]) Haskellしか知らんけど、関数型言語である以上似たようなものがあるはずなので。。。
1・main =print $ [map f (lst!!y) | y <- [0..length lst - 1]
lst = [[1,2,3],[4,5,6]]
f = (+1)
2・main =print $ map (map f) lst
lst = [[1,2,3],[4,5,6]]
f = (+1) >>963
seq1|>Seq.collect id|>Seq.iter F
のことでいいのかの? let f = printfn "%d"
let l = [[1;2;3]; [4;5;6]]
let kk = List.collect id l |> List.map f >>964
Haskellなのでよくわからない部分もありますが、
map f (lst!!y)が1つ目のforループの代わりになって
(lst!!y) | y <- [0..length lst - 1]が2つ目のループの代わりになる感じだと理解しました。
>>965
Seq.collect idを使って2次元を1次元に並べ直すんですね。
ありがとうございました。関数型言語は難しいです。
私には、forループの方が分かり易く思えてしまうのですが、皆さんは副作用のない場面ではforよりcollectとかmapを使う感じですか? 気分かなー
上からパイプライン演算子で繋がってない時はiterの代わりにfor使うことも >>969
うい。
Haskellのlst!!yは普通の言語のlst[y]に置き換えてくれれば。
リスト内包表記でも作れそうだと作ってみましたが、
普段インデックスなんて意識しなかったから、ちょっと悩みました。
最初、こう書いてみたら2次元から1次元になったので違うな。。。と。
(全部に適用するのは同じですが、リスト(配列)の構造(次元)が違ってしまう)
[f (lst!!y!!x) | x <- [0..(length.head) lst - 1], y <- [0..length lst - 1]]
結局map (map f) lstが一番簡潔でしたが。 F#良く知らないけど内包表記で
[ for xs in xss do
for x in xs -> f(x)]
みたく書けないん? >>970
変に関数型にこだわるより簡潔に書ける方を使うということですね。 >>971
lst!!y!!xでコレクションの形を表してxやyに対しての操作を記述しているってことですか?
このような記述はF#でできるのかな。。。
>>972
質問の仕方が曖昧だったかな。リストを生成するのでなくて、コレクションの各要素に対して関数を適用して副作用を得るのが目的。で、それをforみたいなループを使わずに書けないかという質問でした。 >>974
あんまり難しく考えなくて良いですよ^^;
リスト内包表記でxとyの全ての組み合わせが小さい順で出るので、それをインデックスに使ってるだけです。
F#にもあると思いますよ。
1次元になって良いなら、
(map f.concat) lst
が簡潔でしょう。
>>965-966 のcollect id がちょうどconcatと同じ事してます。 Microsoft makes F# 4.6 and F# tools for Visual Studio 2019 generally available プログラム板にキチガイ降臨中!botに一晩も反応する異常さ
一般人(学校恩師)に殺害予告をしているのでスレ建て通報してください。
https://mevius.5ch.net/test/read.cgi/tech/1559872586/
142 名前:a4 ◆700L1Efzuv 投稿日:2019/06/18(火) 05:29:55 ID://qVkzO
>>141
名古屋の人な 俺ね、君の問題を大橋先生と混ぜないことにする。つまりね、
片桐孝洋のことをボコろうと思う。普通に顎の骨を折る。これくらいで警察来るか?
一般市民とかさ、普通にさ、俺らの秘密なんだけどさ、日本人なんて復活ねーから。 F#の公式リファレンス
たとえばList.splitAtが
左側のメニューにはあるけど一覧表のほうには無かったり
色々不備がある、コアライブラリの漏れの無い完全なリファレンスってどうやったら得られる?
https://msdn.microsoft.com/visualfsharpdocs/conceptual/collections.list-module-[fsharp] バージョンアップされたり
パッチ出るたびに
毎回ソース見直すのか
ご苦労さん >>982
公式ドキュメントの漏れや不備がないか心配って言ってるんだからそれしかないだろう
バージョンアップの度にソース見直すとかってのはお前が勝手に言いだしてることだから俺には意味がわからん >>979
公式リファレンスがいろいろ不備があって不便、でよかった
どうやって得られるとか変に前向きな姿勢見せたからこのありさま
スキ見せたらあかんで! スレたて以降8年もたってるのに全然流行ってる気配ないぞ まあはやってはないしな実際
C#なんかより遥かにマシなんだけどね C#とF#で「F#のほうがマシ」と言われる理由が分からん。
C#とF#が違う点って「書き方」だけだよね(どちらもCLIに落とされたら同じ)。
書き方で「マシ」「マシじゃないない」の議論するってもはや言語関係ないじゃん。 インライン強制あたりはC#では実現できないILの産み方するんでは?
あとは単位つけれるアレとか。コンパイル時後は消えるけど、書き方の問題だけではなくて実際にコンパイルエラーを起こしてくれる賢い機能だと思うけど。
あとなんだろ。スタックに変数確保がとても楽とかかな。最近やっとc#でも出来るようになったけど、まだまだ不便よね。 >>990
言語が違うからマシな書き方が出来るんだが…
>>991
スタックにおくってなんの話だっけ? >C#とF#が違う点って「書き方」だけだよね(どちらもCLIに落とされたら同じ)。
機械語になったら同じ(少なくとも同じCPUで実行してれば)だから
PHP の方が Ruby よりましだな >>992
キャプチャされないlet mutableはスタック上に確保される >>996
その辺書かれてるドキュメントとかある?
ローカルでレコードやユニオンをただ値に束縛してるやつとかもそうなんか? >>990
でもC#の代替及びすみ分け、でしかF#の生きる道はないし
それで生き残れているだろう
Slot
🎴👻👻
🎰💣🌸
🌸🍒🎰
(LA: 0.90, 0.83, 0.75)
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 3037日 2時間 35分 8秒 5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/
▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php レス数が1000を超えています。これ以上書き込みはできません。