【.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-

**デフォルトの名無しさん** · 2013/10/17(木) 00:15:06.24

[悲報] The Book of F# の表紙決定か
http://nostarch.com/sites/default/files/imagecache/product_full/fsharp_cover_web.png

**デフォルトの名無しさん** · 2013/10/17(木) 00:32:17.25

oh...

**デフォルトの名無しさん** · 2013/10/17(木) 01:01:01.67

だっさー(´・ω・｀)

**デフォルトの名無しさん** · 2013/10/17(木) 01:54:53.72

>>518
http://www.manning.com/petricek2/
この本に"Numerical computing in financial domain"と
"Implementing a trading system"という章が入るみたい

**デフォルトの名無しさん** · 2013/10/17(木) 13:52:30.11

ブックカバーが必須だな

**デフォルトの名無しさん** · 2013/10/18(金) 14:00:10.15

>>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だそうな。

**デフォルトの名無しさん** · 2013/10/26(土) 00:51:59.61

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以外に選択肢ある？

**デフォルトの名無しさん** · 2013/10/26(土) 15:57:40.32

>>530
直感的に思いつくのはT4だけど、F#プロジェクトではサポートされてないから
T4用にC#かVBのプロジェクトを追加して、そっちで生成したファイルをF#プロジェクトに追加すればいいかもしれない。
stackoverflow.com/a/2199527

**デフォルトの名無しさん** · 2013/10/26(土) 19:51:58.54

>>531
情報ありがとう
T4はF#だと茨の道くさいからCodeDomで頑張りますわ

**デフォルトの名無しさん** · 2013/11/21(木) 06:01:23.06

盛り上がってるね。

**デフォルトの名無しさん** · 2013/11/29(金) 22:07:58.73

え

**デフォルトの名無しさん** · 2013/12/08(日) 16:19:46.81

TIOBEで20位入ってる。
周りで流行ってきてる実感ありますか？

**デフォルトの名無しさん** · 2013/12/08(日) 18:46:21.38

発表当時の方が、順位高かったという、、
msdnでドキュメント公開されたタイミングでのカウントが大きいのかもね。

msdnでF#のドキュメントが日本語になってるのは凄いとおもうが、MSでF#セミナーやってるとか聞かないし、宣伝部隊がいないんじゃないかな？
http://msdn.microsoft.com/ja-jp/library/dd233154.aspx

**デフォルトの名無しさん** · 2013/12/08(日) 20:16:26.82

VisualStudioで扱える関数型ということで期待したが、
言語仕様が古臭すぎて萎えた。

・ソースコードのコンパイル順序を指定
・基本的に後方参照不可
・循環参照にはキーワードが必要

1980年代にタイムスリップした気分だぜ。

**デフォルトの名無しさん** · 2013/12/09(月) 19:19:17.64

>>537
実際それぐらいまで一度戻って、プログラミング遍歴を全部やり直すぐらいの覚悟はいるかも。得られるものは大きいけどね。

**デフォルトの名無しさん** · 2013/12/09(月) 19:25:15.19

>>537
むしろその方がどこで参照されるか想定できるから俺は嫌いじゃない

**デフォルトの名無しさん** · 2013/12/09(月) 21:08:27.13

はきだめ

**デフォルトの名無しさん** · 2014/01/01(水) 20:59:15.21

RProviderでCRANを使う場合ライセンスってどうなる？
もしRProvider経由でGPL汚染するならCRANは件並みGPLだからｵﾜﾀ＼(^o^)／

**デフォルトの名無しさん** · 2014/01/02(木) 07:04:43.25

け、件並み……？

**デフォルトの名無しさん** · 2014/01/04(土) 04:16:41.65

くだんなみだろ

**デフォルトの名無しさん** · 2014/01/04(土) 08:43:30.22

>>542-543
件並みじゃなくて軒並みだった(´・ω・｀)
https://www.google.co.jp/search?q=%22%E4%BB%B6%E4%B8%A6%E3%81%BF%22
結構引っかかるけど間違いなのね・・・

**デフォルトの名無しさん** · 2014/01/04(土) 11:30:09.14

F#はJ#のようにVSの一部でしかないのですっかりPowerShellより日の当たらない存在
スタンドアロンで使えるじゃねえかといかいうバカも居るけど
そうやって使ってる奴はいないわけで

**デフォルトの名無しさん** · 2014/01/04(土) 12:22:57.82

F#専用サイトだったhubFSがFPishという関数型言語総合サイトに変わって数年たつし
F#の話題がないのは海外でも同じなんだよね
日本の弱小ブロガーだけがスタンドアロンで余裕で使えるわ！、
などとおつよそうに喧嘩売ってくるという有り様

**デフォルトの名無しさん** · 2014/01/04(土) 13:19:08.08

海外でも国内でも使ってことのある人の中ではバランスのとれたとても良い言語となってると思うけど…
Xamarinの方でも積極的に取り入れてるし一定の評価えてるとおもうけどな。
F#のコミュニティ見てるのでそれ以外の声が全然ないかは知らん。
自分は必要ない限り極力F#使ってC#成分はできるだけ減らしてる

**デフォルトの名無しさん** · 2014/01/04(土) 13:23:37.25

C#に勝とうとしちゃなんね。
それよりはF#の強い部分をアピールすべきだなんや。

**デフォルトの名無しさん** · 2014/01/06(月) 11:07:56.94

構文木をこねくり回すプログラムを書く必要があったからF#使ってたけど
最近は数値計算が多くてなんかもうC#に絞った方がいいんじゃないかって気がしてきた
F#の利点は何かありますか？

**デフォルトの名無しさん** · 2014/01/06(月) 11:22:48.48

>>549
むしろC#で書く利点がなに一つなくね？

**デフォルトの名無しさん** · 2014/01/06(月) 14:40:34.42

>>544
一応確認しておくけど、読みは「けんなみ」じゃないからね

**デフォルトの名無しさん** · 2014/01/06(月) 14:42:09.36

>>550
変態さん以外にも読める

**デフォルトの名無しさん** · 2014/01/06(月) 15:58:12.72

そういえば、F#のMVPであるbleisという人が、彼女が出来てリア充になったそうな。
F#erになるとリア充になれる！？

**デフォルトの名無しさん** · 2014/01/06(月) 17:55:13.35

>>550
数値計算本のアルゴリズムはだいたいCとかで書かれていて
ループ内でbreakやcontinueが使われているものが多いんだわ
だからF#で書きなおす際に頭を悩ますというのが最大の問題
あとx *= 2.0とか書けない

**デフォルトの名無しさん** · 2014/01/06(月) 20:44:57.02

VSバージョンあごるごとにインストール方が微妙になって行ってるのはなんなの
どこがスタンドアロンで余裕なんだよ

>>553
それは花王デモの主催者が彼女出来て活動終了したのと同じで本人次第
花王デモやF#を選んだのが正解だったというわけではない
>>554
コア部分のロジックをF#で書けばいいんだ！なんて
息巻いてた奴らクソうざかったんだけども彼女が出来てやめたんだろうな
>>550はブサすぎてできないらしい。こういう奴もいるから

**デフォルトの名無しさん** · 2014/01/06(月) 20:47:17.42

バージョンあごる、はこっちの方言だからあってるからな
件並みは方言ではないけど

**デフォルトの名無しさん** · 2014/01/06(月) 23:01:03.05

>>554
なるほどね。

**デフォルトの名無しさん** · 2014/01/06(月) 23:25:46.21

>>554
業務でCで書かれた配列の更新とかループバリバリのアルゴリズム、F#で書き直したらすごいスッキリしたよ。

**デフォルトの名無しさん** · 2014/01/06(月) 23:28:00.85

>>552
C#人口が多いのは確かにありだね。
うちの会社は勉強会とかしたら色々と難しそうだけどいいんじゃね？って話になって導入が進みそう。

**デフォルトの名無しさん** · 2014/01/07(火) 03:09:02.16

知名度低すぎ

**デフォルトの名無しさん** · 2014/01/07(火) 21:13:51.84

IDEを使えないスタンドアロンには意味は無いからな
UNIX勢だって補完なしでCUI使うやつなんかいないよ
3.1はVS expressではまだ使えないのか

**デフォルトの名無しさん** · 2014/01/07(火) 21:57:12.38

MonoDevelopならいけんじゃね

**デフォルトの名無しさん** · 2014/01/07(火) 23:37:10.88

ML使いを取り込めてるの？

**デフォルトの名無しさん** · 2014/01/08(水) 02:19:46.83

スタンドアロンでコンパイルしてみたらリファレンス関連が不明過ぎてこれはアカン
調べてもexpress使えだし

**デフォルトの名無しさん** · 2014/01/08(水) 03:14:32.67

2013は不明なのでVS express 2012をインストール
拡張機能からテンプレをインストールしてきた
F#関連で最もダウンロードされてるのは
F# C# MVC4
ってのが71729ダウンロードだった

この感じだとF#本で10000部はありえないな
1000部くらいか・・・？

**デフォルトの名無しさん** · 2014/01/08(水) 04:06:52.86

2012 expressでやってみたらあっさりビルドできたわ
コマンドラインみたらどっさり。
これ--noframeworkして全部dll書かないとダメなのね
まあコピーしてbatなりmsbuildなりでなんとかなりそうだが
これは初心者じゃスタンドアロン無理だわ

IDEの何が嫌ってちょっと試すだけでプロジェクトだのソリューションだの
名前付けないとダメなとこよ
scratchで書きなぐりたいんだがな
でも補完とかはさすがに便利

**デフォルトの名無しさん** · 2014/01/09(木) 03:16:32.87

パソコン変えたのもあるけどf# 2.0のころに比べるとだいぶ軽くなってて驚いたよ
fsi xxx.fsx　でも実用レベルだし
ただ全然忘れてるから昔書いたものが暗号状態だわ
powerpackとかもどうなってるのか謎

**デフォルトの名無しさん** · 2014/01/09(木) 09:40:04.45

そんな重いことあったっけ？
i5，7しか使ってないけど重さ気にしたことがない(´･_･`)

**デフォルトの名無しさん** · 2014/01/23(木) 19:05:54.38

スタンドアローン来たってよ
http://blogs.msdn.com/b/fsharpteam/archive/2014/01/22/announcing-visual-f-3-1-1-and-support-for-desktop-express.aspx

**デフォルトの名無しさん** · 2014/01/25(土) 01:06:20.93

スタンドアローン連呼してた人は逃げちゃった？

**デフォルトの名無しさん** · 2014/03/13(木) 15:52:17.98

スタンドアローン連呼くんまだー？

**デフォルトの名無しさん** · 2014/03/14(金) 05:32:20.11

あ～あ
IDでますます過疎るなこのスレｗ

**デフォルトの名無しさん** · 2014/03/14(金) 15:03:20.19

いままでほとんど一人で持ってたのかこのスレは？

**デフォルトの名無しさん** · 2014/03/14(金) 15:26:46.99

>>573
日付とID見ろよ情弱が

**デフォルトの名無しさん** · 2014/03/14(金) 15:35:34.96

>>570 >>571
あ？
スタンドアローン連呼してた人だけど
逃げたとかおかしいだろ
今までのが不十分だったからMSが対応したんだろ？
MSの対応は歓迎だとしか言いようがないが。
人が少ないからって開き直ってごまかせると思うなよ？

むしろ今までだってスタンドアロンくらいあるわとか
親切に教えてやったとか言いはってたヤツは逃げちゃった？
MSが対応する余地があったってことは明白なのに
無駄に叩いてきたのはお前らだろうが
現状で十分だと言いはってたんだから公害としか言いようがない
人が少ないからって開き直ってごまかせると思うなよ？

強制IDで消えろよゴミどもｗ
俺はもともとID変えてるから困らんけどなｗ
覚悟しろゴミクズ

**デフォルトの名無しさん** · 2014/03/14(金) 15:41:16.74

>>570 >>571
この開き直りは醜すぎるな
スタンドアローン登場は歓迎に決まってるだろ？
すでにあった>>485とかお前そんな事もしらんの？>>488とか
からみ方が意味不とか情報ないのかと思ってぐぐったら簡単に見つかったけど教えてやらんわ(´・ω・｀)とか
喧嘩売ってた>>497
は逃げちゃった？

情報ないのかと思ってぐぐったら簡単に見つかったけど教えてやらんわ
の割にはMSが改めて対応しちゃったけどｗ

**デフォルトの名無しさん** · 2014/03/14(金) 15:43:04.00

なにがスタンドアローン連呼くんだよ
迷惑なのは
>>570 >>571の方だ
情報ないのかと思ってぐぐったら簡単に見つかったけど教えてやらんわ(´・ω・｀)とか書いてた>>497
だろ

逃げちゃった？
無様だなｗ

**デフォルトの名無しさん** · 2014/03/14(金) 15:44:51.27

>>568
F#1.0とかVS統合前に使ったこともないような情弱は黙ってたら？

**デフォルトの名無しさん** · 2014/03/14(金) 15:47:47.96

>>558
> 業務でCで書かれた配列の更新とかループバリバリのアルゴリズム、F#で書き直したらすごいスッキリしたよ。

ただの自己満
まともなところならちゃんと検証するわけだけど
報酬すら出ないような箇所なんだろうな

**デフォルトの名無しさん** · 2014/03/14(金) 15:52:07.33

>>570 >>571
スタンドアローンくんだけど
ほんとに来てほしいと思ってるの？
それでF#の話してもらえると思ってるの？
甘えるなクズが
F#の話じゃなくて人をからかいたいだけのやつは迷惑だから来るな

こういうクズが強制IDでいなくなるといいわ

**デフォルトの名無しさん** · 2014/03/14(金) 20:04:40.87

煽り耐性無さすぎですよ

**デフォルトの名無しさん** · 2014/03/14(金) 20:23:11.64

IDあるとNGしやすいから助かるよ

**デフォルトの名無しさん** · 2014/03/14(金) 20:59:40.27

こいつは何と戦ってるんだ(´・ω・｀)

**デフォルトの名無しさん** · 2014/03/15(土) 01:00:12.62

http://tchikuba.github.io/blog/2014/02/14/play2-scala-ddd-scrum-of-developers-summit-2014/
人生いろいろ、再実装いろいろ

**デフォルトの名無しさん** · 2014/03/22(土) 22:26:53.09

Akka.NET
https://twitter.com/akkadotnet/status/447203696456531968
Akkaの.net実装だって。
プロセス監視とかスーパーバイザーの大規模なものって他に.netであるのかな？
http://www.slideshare.net/cooldaemon/error-handling-in-erlang-and-scala

**デフォルトの名無しさん** · 2014/03/25(火) 01:51:12.11

https://www.eventbrite.co.uk/e/ucl-functional-programming-in-finance-conference-2014-tickets-10932672919
Haskellのfinancial本はあまり好評ではなかったみたいだけど。
最近は、ロンドンやNYでよくイベントやってるね。

**デフォルトの名無しさん** · 2014/03/25(火) 02:00:05.38

F# deep diveかいてるTomas Petrickって、Blue Mountain Capitalにも所属してんのか。
http://techblog.bluemountaincapital.com
http://bluemountaincapital.github.io/Deedle/
オープンソースにしてるみたい。

このページみたのログアグリゲーターで、少し話題になったRiemannのC#プラグインで名前を見て以来だ。

**デフォルトの名無しさん** · 2014/03/26(水) 23:23:51.87

Blue Mountain Capitalに入りたいんですけどどうしたらいいですか？

**デフォルトの名無しさん** · 2014/03/27(木) 00:47:31.79

https://www.bluemountaincapital.com/CareerOportunities.aspx

指定職種の募集はしてないみたいだね。
ここに限らず、この分野で勤めてる人探して話聞いたり、インターン募集してたら応募したりするのがよいかと。

**デフォルトの名無しさん** · 2014/04/03(木) 19:30:35.53

自営業だから他人に見せない部分でこの言語使ってるけど
他にどんな人が使ってるのか想像もできない
金融で使ってる人いるの？

**デフォルトの名無しさん** · 2014/04/03(木) 20:03:23.18

NVIDIAのGTCってイベントに行ってきたんだけど、F#の中で
ASTをいじってCUDA向けのPTXコードを吐いてGPUを使うって言う
トークがあって、すげーと思った。スウェーデンの金融系IT会社だった
やたらF#推しててワロタ

**デフォルトの名無しさん** · 2014/04/03(木) 20:04:04.28

間違えた、PTXじゃなくてLLVMだった

**デフォルトの名無しさん** · 2014/04/03(木) 23:50:27.22

これかな？
http://on-demand.gputechconf.com/gtc/2013/presentations/S3055-Dynamic-CUDA-with-F-Sharp-v3.pdf

http://fsharp.org/use/gpu/
オープンソース版の公式ページにも一番上に載ってるようだ。

数年前は、1人で博士課程でやってるのやつが紹介されてたけど、
実用品には、よってたかって開発されてるようなものじゃないと、自分でなんとかしないといけなくなったり、、、

**デフォルトの名無しさん** · 2014/04/04(金) 08:11:01.75

>>590
金融と言う程じゃないけどデイトレアプリとかそのサーバーとかに使ってる。
つか言語指定されなければ何にでも使うと思う。
C#はだるすぎる。

**デフォルトの名無しさん** · 2014/04/04(金) 11:06:54.60

>>593
うん、その会社。リンク張ってくれたプレゼンは去年のだけど。
今年のはまだ公開されてない。１，２週間くらいで公開されるはず

**デフォルトの名無しさん** · 2014/05/30(金) 01:35:59.48

condは爽快感あるけどパターンマッチはあんまりない、
コマンド必殺技と弱キックって感じ

**デフォルトの名無しさん** · 2014/08/08(金) 18:07:16.51

過疎りすぎワロタ…
上がりそうな株の銘柄を発掘するアプリを途中まで書いてたが
結局scalaで書き直してしまった
F#もscalaも大差無いけどF#はオフサイドルールのせいで自動整形できないのが面倒だわ

１ · 2014/08/25(月) 19:05:57.01

とりあえず、Ocamlでconnect4のルールだけ作ってみた。
だれか添削たのむ。
http://www.age2.tv/rd05/src/up3979.txt

connect4はこことかで遊べます。
http://www.connectfour.org/connect-4-online.php

**デフォルトの名無しさん** · 2014/08/25(月) 19:06:32.09

あら、誤爆した。
失礼しました。

**デフォルトの名無しさん** · 2014/09/01(月) 17:59:14.45

pythonでオフサイドルール以外は書く気が起きない体になってしまったのでF#の存在は有り難い

**デフォルトの名無しさん** · 2014/09/12(金) 14:45:33.94

ならpythonでいいんだけどな

**デフォルトの名無しさん** · 2014/11/18(火) 17:32:17.94

盛り上がらないなここ
F#入れてみたぜ

**デフォルトの名無しさん** · 2014/11/18(火) 20:30:53.27

.NET OSS化でUnix環境でも素直に動かせるようになるのか？

**デフォルトの名無しさん** · 2014/11/18(火) 22:16:12.22

今までと変わらないと思う。

**デフォルトの名無しさん** · 2014/11/18(火) 22:52:37.93

MSは.NET推しに必死だな。なぜだろう

**デフォルトの名無しさん** · 2014/11/19(水) 00:11:16.98

自社のプロダクト推さない会社って何なの

**デフォルトの名無しさん** · 2014/11/19(水) 04:28:22.02

おっとGoogleの悪口はそこまでだ

**デフォルトの名無しさん** · 2014/11/19(水) 07:04:56.46

>>607
ごり押ししてるだろw

**デフォルトの名無しさん** · 2014/11/25(火) 17:08:12.22

FSharp.Core.dllの同梱許可だすかちゃんとランタイムを配布してくれ

**デフォルトの名無しさん** · 2014/12/10(水) 01:28:19.53

ブロガーたちも最終更新から時間だけ過ぎていく・・・

**デフォルトの名無しさん** · 2014/12/12(金) 18:02:23.95

>>609
俺は勉強中で聞きかじっただけなんだが
--standaloneつけてコンパイルするとdll配布不要じゃないの？
http://msdn.microsoft.com/ja-jp/library/vstudio/dd233171(v=vs.120).aspx

**名無しさん＠そうだ選挙に行こう** · 2014/12/13(土) 13:19:48.58

初関数言語で手を出してみて、日本語の情報少なすぎてきついけど面白いですね

**名無しさん＠そうだ選挙に行こう** · 2014/12/13(土) 14:48:37.52

いやー前より増えた方だよ。2010頃とか皆無やった。

**名無しさん＠そうだ選挙に行こう** · 2014/12/13(土) 23:37:59.12

Haskellをちょっとかじったのが役に立った
Visual StudioのF#向け機能がC#とかに比べて貧弱すぎ
リファクタリング機能くらい標準でつけてくれ

**デフォルトの名無しさん** · 2014/12/14(日) 00:46:39.01

>>614
VFPTでググれ

**デフォルトの名無しさん** · 2014/12/15(月) 18:10:36.57

見当違いの物が出てくる

**デフォルトの名無しさん** · 2014/12/15(月) 18:24:30.57

もしかしてPowerToolsのことをVFPTと言ってるんじゃね
http://fsprojects.github.io/VisualFSharpPowerTools/
https://visualstudiogallery.msdn.microsoft.com/136b942e-9f2c-4c0b-8bac-86d774189cff

**デフォルトの名無しさん** · 2014/12/22(月) 17:21:24.66

>>611
毎回そんなでかいファイル配布して平気ならもちろんそれでいいし
だから本家ランタイムの配布がなくてもいいという話にはならない
別の話

**デフォルトの名無しさん** · 2014/12/22(月) 17:30:22.32

PowerToolsはOCaml互換機能とかでVisualStudioの機能とは関係ない

リファクタリングくらいとかいうが
C#とかだってその機能つくまでそれなりに時間かかってるはず

**デフォルトの名無しさん** · 2014/12/22(月) 19:42:10.53

俺なりに整理してみると

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の場合)

肝心のライセンスはどうなってるんだ。識者頼む
俺の貧弱な読解力だと分からない

**デフォルトの名無しさん** · 2014/12/22(月) 21:12:22.99

>>619
OCaml互換とかなんの話だ？

**デフォルトの名無しさん** · 2014/12/27(土) 20:54:06.11

ocamlのツールと同じようなツールのセットだったと思う。
lex、yacc
http://ocaml.jp/archive/ocaml-manual-3.06-ja/manual026.html
あと、単位系とか。

**デフォルトの名無しさん** · 2014/12/29(月) 12:29:38.26

opensource版は、Apacheライセンスだな。
https://github.com/fsharp/fsharp/blob/master/LICENSE
runtimeは、いつもの配布用のライセンスかな。

そう言えば、その下のCLR/CLI配布は、monoのランタイムの方が、GPL/商用デュアルライセンスで厳しかったりする。