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

1 名前：デフォルトの名無しさん mailto:sage [2007/08/02(木) 14:03:05 ] MSResearchから出てきた.NETで使える関数型言語のひとつF# OCAMLの流れを汲むこの言語、いろいろと面白そうなことができそう。 まだまだ英語の情報しかないこの言語について、幅広く語れ。 research.microsoft.com/fsharp/fsharp.aspx 45 名前：デフォルトの名無しさん mailto:sage [2007/08/06(月) 19:25:23 ] >>44 ttp://haskell.g.hatena.ne.jp/nobsun/20060907/monadicIO ttp://haskell.g.hatena.ne.jp/nobsun/20060908/monadicIO 実は>>22のState Monadほとんどそのままだったりする。 46 名前：デフォルトの名無しさん mailto:sage [2007/08/06(月) 19:55:21 ] >>45 実装じゃなくて「入出力する」ということはどういう感じにしたら モナドになるんだ？って話。 >>実は>>22のState Monadほとんどそのままだったりする。 実は別にState Monad使わなくても作れたりするらしい。 もともと抽象的な実装方法というものがあってそれを満たすものがあれば なんでもいい。(一番自然なのはStateMonad使う方法になるんだろうけど) 47 名前：デフォルトの名無しさん mailto:sage [2007/08/06(月) 19:58:31 ] よく読んだら意味わかんないこと言ってるな。 つまりその実装で一体何を作ったのか？ってこと （副作用出ないが云々は抜きで） 48 名前：デフォルトの名無しさん mailto:sage [2007/08/07(火) 16:12:03 ] Foundation of F#って良い感じ？ 買ってみようかどうか迷ってるのだが。 49 名前：デフォルトの名無しさん [2007/08/09(木) 15:28:45 ] >>48　良いと思うよ 50 名前：デフォルトの名無しさん mailto:sage [2007/08/09(木) 16:15:36 ] F#と本家Ocamlってやっぱ違う？？ ttp://oandrieu.nerim.net/ocaml/ ここにあるものってF#で使えますかね？？特にGsl。 51 名前：・∀・）っ-○◎● mailto:sage [2007/08/10(金) 02:03:12 ] 岡村 52 名前：デフォルトの名無しさん mailto:sage [2007/08/10(金) 08:36:23 ] OCamler 53 名前：デフォルトの名無しさん mailto:sage [2007/08/16(木) 08:27:50 ] 見事に過疎ったな。 54 名前：デフォルトの名無しさん [2007/08/16(木) 11:06:15 ] (´∀｀∩)↑age↑ 55 名前：デフォルトの名無しさん [2007/08/16(木) 14:00:58 ] ⊃・ ・〃 ｜age｜ 56 名前：デフォルトの名無しさん mailto:sage [2007/08/16(木) 21:35:20 ] Windows を使っている層と OCaml を使っている層は相容れない感じがするからねえ… 57 名前：デフォルトの名無しさん mailto:sage [2007/08/17(金) 12:07:05 ] F#perになろうとおもってるんだが、いまやってるC#の仕事が落ち着かん(´；ω；｀)… 58 名前：デフォルトの名無しさん mailto:sage [2007/08/17(金) 21:33:53 ] ていうか、OCamlって実はユーザ少ないのか？ Scheme >>> OCaml > Haskell ぐらいかと思っていたけど 実は Scheme >>> Haskell >> Ocaml なんじゃまいか 59 名前：デフォルトの名無しさん mailto:sage [2007/08/17(金) 21:37:23 ] もしそうなら現在においては OCaml >>>>>> F# なのでOCamlユーザの絶対数が少ないのならF#使いの数は・・・。 60 名前：デフォルトの名無しさん mailto:sage [2007/08/18(土) 01:51:41 ] nagoyaでやれ 61 名前：デフォルトの名無しさん mailto:sage [2007/08/18(土) 15:02:24 ] >>58 Schemeをネタに優越感に浸ってる香具師はよく見かけるが そういう香具師が仕事で使ってるのはJavaだったりするし 小物ツールはRubyで書いてたりするのがほとんどな希ガス 62 名前：デフォルトの名無しさん mailto:sage [2007/08/20(月) 09:12:36 ] Matrix,LinearAlgebraライブラリに固有値計算の関数ってある？ 探しても無いからこれはMatlabあたりと連携させる必要があるのかなぁ。 63 名前：デフォルトの名無しさん [2007/09/01(土) 13:43:37 ] あげ 64 名前：デフォルトの名無しさん [2007/09/02(日) 14:01:50 ] LINQをTECPreviewじゃない正式版として使えるのはいつごろでしょうか? 65 名前：デフォルトの名無しさん mailto:sage [2007/09/02(日) 17:35:21 ] >>64 FLinqサンプルが、May 2006 CTPじゃなくて.NET 3.5 Beta2(以降)に対応しないかってこと？ まあ、FLinqはあくまで標準ライブラリじゃなくてサンプルだから、対応の優先度は低いと思う･･･。 66 名前：デフォルトの名無しさん mailto:sage [2007/09/02(日) 17:46:24 ] >>65　いや、ベータじゃないバージョンでリリースされてるのかということ。 自己責任だとしても製品に使っていいものかどうか。 67 名前：デフォルトの名無しさん mailto:sage [2007/09/03(月) 23:14:51 ] >>66 LINQ自体(.NET 3.5)はまだベータで、RTMは年末頃だけどそういう話？ 68 名前：デフォルトの名無しさん mailto:sage [2007/09/04(火) 01:15:25 ] >>67　そういう話。さんくす。 69 名前：デフォルトの名無しさん [2007/09/04(火) 14:38:45 ] 全部lazyにしとけば遅延評価として正常に動作するもんどすか? それともHaskelとかと比べて注意しないといけないとこあり? 70 名前：デフォルトの名無しさん mailto:sage [2007/09/28(金) 00:02:20 ] age 71 名前：デフォルトの名無しさん mailto:sage [2007/10/05(金) 07:06:18 ] 普段 Visual C++ で業務アプリ書いている俺が 酔狂で関数言語（関数型言語？）をいじってみようと思うんだけど、 ocaml と haskell とどちらがお勧め？ 手続きがたべったりの俺には無理？ 72 名前：デフォルトの名無しさん mailto:sage [2007/10/05(金) 08:37:50 ] だから、ドトネッツはクラスベースだって。 73 名前：71 mailto:sage [2007/10/05(金) 09:24:00 ] F# 入れてみた。おもしれぇ。 Visual Haskell も入れてみたけど、とっつきにくかった。 www.haskell.org/visualhaskell/ そういやなんでも IL 上でつくられてね？ IronPython とか IronRuby とか。 74 名前：デフォルトの名無しさん mailto:sage [2007/10/05(金) 09:30:50 ] J#は？ 75 名前：デフォルトの名無しさん [2007/10/05(金) 09:32:03 ] JAVAとC#どちらが優れているか教えてください Part2 ttp://pc11.2ch.net/test/read.cgi/prog/1189919634/196 いまのオープンソースの流れから考えてもC#は数年後には今のJ#と同じ道を辿る。 利潤追求の激しい企業が本来ならば仲間にしなければならない開発者までも食い物に していることも分からず、M$マンセーしている奴は頭を齧られ過ぎて考えることも出来ない くらいに脳みそがなくなっているんだろ。可哀想だよ。 76 名前：デフォルトの名無しさん mailto:sage [2007/10/05(金) 09:52:10 ] >>71 はじめはOCamlで、慣れてきたらHaskellもやってみるのがよろしいかと。 OCamlだけだと遅延評価とか関数合成あたりが学びづらいし、 Haskellだけだと再帰とかモジュールシステムあたりが学びづらい。 77 名前：デフォルトの名無しさん mailto:sage [2007/10/05(金) 10:01:19 ] ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿__ 　　　　　　　　 (^o^)ﾉ ｵﾜﾀ　　　三┌(^o^)┘ｵﾜﾀ　　　　　　　　　 ／| 　　　　　　　　 ﾉ( ﾍﾍ　　　　　　　三　┘>　 　　　三 ┌(^o^)┘ｵﾜﾀ |　ミ 　　　(^o^)ﾉ ｵﾜﾀ　　　　　　　　三　┌(^o^)┘ｵﾜﾀ　　　 ┘>／　　　|　　 ミ ＼( ^o^)／ ｵﾜﾀ 　　　ﾉ( ﾍﾍ　　　　(^o^)ﾉ ｵﾜﾀ　 三　　┘>　┌(^o^)┘ｵﾜﾀ　　　 ／　　　　ﾐ 　|＿/ 　　　　　　　　　　ﾉ( ﾍﾍ　　　　　　　　　　　三　 ┘> 　／　　　／ |　　　　　 　ﾉ ﾉ ￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣|　　　／ 　 |　　ミ 　　　　　　　　　　　　　　　　　 　 　 　 　 　 　 　 　 　 |　 ／　　 　|　 ヽ(^o^ )ﾉ ｵﾜﾀｰ　　　　　　ミ ＼( ^o^)／ ｵﾜﾀ ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿|／ 　 　　　|　 ＼(＼ﾉ　　　　　　　　 　　　　ﾐ　|＿/ 　　　　　　　　　　　　　　　　　　　　　　 　 　　　　　|　　　　　　　　|　　　　　　　　　ミ　　　　　　　　　 ﾉ ﾉ 　　　　　　　　　　　　　　　　　　　　　　 　 　　　　　|　　　　　　　　|　　　　　　　　ミ ＼( ^o^)／ ｵﾜﾀ 　　＿＿＿＿＿＿ 　　　＿＿＿＿＿＿　　　　　　|　　　　　　　　|　　　　　　　　　　 　|＿/ 　　||// 　 　 　 　.||　　　||// 　　　　　　||　　　　　│　　　　　　　 |　　　　　　　　　　 　ﾉ ﾉ 　　||/ 　　　　　　.||　　　||/ 　 　 　 　 　||　　　　　│　　　　　　　 | 　　||　　　　　　 　||　　　||._____________　...||　　　　　│　　　　　　　 |　　　　　　　　　　　　　　ミ 　　||　　　　　　　 ||　　　|||　 (^o^)　 |　 ||　　　　　│　　　　　　　 |　　　　　　　　　　　　　　　ﾐ＼(^o^)／ ｵﾜﾀ 　　￣￣￣￣￣￣　　　 ￣￣￣￣￣￣　　　　　　|　　　　　　　　|　　　　　　　　　　　　　　　 　　┘| 78 名前：デフォルトの名無しさん mailto:sage [2007/10/05(金) 10:02:50 ] Adobe『AIR』は、「MSによるオフィスアプリ支配」を崩すか ttp://wiredvision.jp/news/200709/2007090520.html 79 名前：デフォルトの名無しさん [2007/10/05(金) 10:31:33 ] ttp://journal.mycom.co.jp/articles/2007/10/01/moesuku/menu.html 80 名前：デフォルトの名無しさん mailto:sage [2007/10/05(金) 10:57:46 ] J#って何のためにあるの？ ttp://pc11.2ch.net/test/read.cgi/tech/1179314479/l50 81 名前：71 mailto:sage [2007/10/05(金) 12:58:50 ] >>75 C# はどうなるかわかんないけど、 C++/CLI の出来はいいと思うよ。 Managed C++ でいろいろと改良点が指摘されて それが十分に生かされていると思う。 82 名前：デフォルトの名無しさん mailto:sage [2007/10/05(金) 13:01:43 ] 基地外にマジレス不要 83 名前：デフォルトの名無しさん mailto:sage [2007/10/05(金) 17:17:39 ] うほ。 System.Windows.Forms とか見えてる・・・ もしかして俺が C# で書いたフォームを Haskell から呼び出したりできるのか？？ 84 名前：デフォルトの名無しさん mailto:sage [2007/10/05(金) 17:18:14 ] Haskell じゃなかった、 F# だた。 両方並行していじってると頭がおかしくなるみたい。 85 名前：デフォルトの名無しさん mailto:sage [2007/10/05(金) 18:05:32 ] 出来るお(´・ω・｀) 86 名前：デフォルトの名無しさん mailto:sage [2007/10/05(金) 20:09:58 ] F#速いお OCamlよりも速いお 立ち上がってからの話だけど・・・ ちょっと言ってみたかっただけだお 87 名前：デフォルトの名無しさん mailto:sage [2007/10/05(金) 20:52:17 ] Python並みにコードが短く、C#のように実行が速い ttp://www.strangelights.com/blog/archive/2007/06/17/1588.aspx 88 名前：デフォルトの名無しさん mailto:sage [2007/10/05(金) 23:21:11 ] C#って速いか？ C#って速いか？ C#って速いか？ C#って速いか？ C#って速いか？ 89 名前：デフォルトの名無しさん mailto:sage [2007/10/05(金) 23:29:39 ] 遅いのはGDI+ 90 名前：デフォルトの名無しさん mailto:sage [2007/10/06(土) 01:02:09 ] 初回起動時のコンパイルもかな 91 名前：デフォルトの名無しさん mailto:sage [2007/10/06(土) 07:23:48 ] >>88 速いと思うよ。 >>90 が言うように初回起動時に JITコンパイラのようなものが働いているみたいで、 確かにデバッグ・実行繰り返しているときに いらいらすることがある。デバッグコードだから かもしれないけど。 あと、実際に多用するかどうかはともかくとして、 C#だとどうしても速く書けない部分があっても DLLの呼び出しが簡単なので、Cやアセンブラで 書いたコードを呼び出せるし。Javaのネイティブ メソッドよりも簡単に。 92 名前：デフォルトの名無しさん mailto:sage [2007/10/06(土) 09:43:34 ] >>91 interopでのDLLやCOMの呼び出しは確かに簡単だが、マーシャリングの コストが高いので細切れにCの小さなコードを呼ぶような使い方はすべきでない。 そういうことがしたいなら、むしろC++/CLIを使うべきだろう。 93 名前：デフォルトの名無しさん mailto:sage [2007/10/06(土) 11:46:01 ] >>92 C#のP/InvokeとC++/CLIの暗黙のP/Invokeのマーシャリングにかかるコストは実は差がない。 違いはC++/CLIではデフォルトでSupressUnmanagedCodeSecurityAttributeが付加され、 C#は付かないということ。 C#のP/Invokeに[SupressUnmanagedCodeSecurity]をつけると途端に速くなるから試してみるといい。 94 名前：デフォルトの名無しさん mailto:sage [2007/10/06(土) 17:26:28 ] UTF-8 で書いておけば日本語もおｋなんだね。 95 名前：デフォルトの名無しさん mailto:sage [2007/10/06(土) 17:43:08 ] >>93 それってセキュリティ的にどうなの？ 96 名前：デフォルトの名無しさん mailto:sage [2007/10/06(土) 17:57:10 ] >>95 セキュリティって文字列に反応しているようだけど、 この設定はセキュリティ関連のチェックを事前にできるように するかどうかというだけの設定じゃなかったっけ？ ドトネトなプログラムは実行時にたとえば「ディスクへの書き込み はしちゃだめだからね」なんていうセキュリティ上の制約を つけて実行することができるようだけど、プログラムが全体として その制約を満たしているかどうかを実行開始前にチェックできるように するか、実行時に「おいおい、書いちゃダメだってば」って 例外を出すようにするかって違いじゃないの？ F#の話から外れて申し訳ないが。 97 名前：デフォルトの名無しさん mailto:sage [2007/10/17(水) 01:14:32 ] ほっしゅほっしゅ 入れてみたよ〜。なんだか面白そうだ。 98 名前：デフォルトの名無しさん mailto:sage [2007/10/18(木) 04:04:22 ] >>97 ttp://blogs.msdn.com/dsyme/archive/2007/10/17/s-somasegar-on-taking-f-forward.aspx うは、Luke HobanがF#チームに異動か。 まあOrcasでの仕事もほぼ終わったところだろうし、いいタイミングなのかも。 99 名前：98 mailto:sage [2007/10/18(木) 04:05:26 ] ごめん、>>97は関係ない。 100 名前：名無しさん♯ mailto:sage [2007/10/18(木) 21:18:06 ] ttp://blogs.msdn.com/somasegar/archive/2007/10/17/f-a-functional-programming-language.aspx これって、F#を製品化するって話なの？ 表現が微妙でそう読み取れないんだけど、反響を見るとそういう扱いになってる･･･。(´･ω･`) 101 名前：デフォルトの名無しさん mailto:sage [2007/10/19(金) 07:33:45 ] Iron ほげほげといい、F# といい、 Visual Studio で何でもありという感じだなぁ。 その一方で、 Visual Studio 2008 Beta 2 見ると J# がなくなっている・・・ 俺としては継続してほしかった。 さらにライセンス的に無理なんだろうけど JDK 1.6 にも対応してほしかった。 いまは JDK 1.1.4 相当だから。 スレちがいでごめん。 102 名前：デフォルトの名無しさん mailto:sage [2007/10/20(土) 05:01:18 ] wikipedia の F# のページ ja.wikipedia.org/wiki/F_Sharp には F# は科学計算用途に適した言語であるといえる。 F# は、低級だが高速な数値計算言語 （Fortran など） と、 高級だが低速な言語 （Mathematica など） の両方の特徴をもつ。 って書いてあるんですけど、 F# によって matlab や R 言語で処理するような 事柄にむいていますか？向いているなら今から習得して修論に使おうと思って いるんですけど... 103 名前：102 mailto:sage [2007/10/20(土) 05:13:28 ] 後、同ページ ja.wikipedia.org/wiki/F_Sharp には、 F# は異なる言語に容易にアクセスすることができ、 LAPACK や FFTW などといったライブラリの利用が容易である。 と書いてありますが、これは、 C 言語など低級の言語のみならず、 matlab や mathematica や R 言語などにもアクセスする事は可能なんでしょうか？ 104 名前：デフォルトの名無しさん mailto:sage [2007/10/20(土) 12:13:22 ] 言語による 105 名前：デフォルトの名無しさん mailto:sage [2007/10/20(土) 17:38:14 ] Cにはアクセスできるよ。 ほかのはCからいけるならとりあえずラッパコード書けばいけんじゃね？ 106 名前：デフォルトの名無しさん mailto:sage [2007/10/20(土) 18:28:41 ] matlab や R はインターフェイスがネイティブの C だよね？ なので C++/CLI でラッピングすればドトネトの世界から アクセスできる。当然 F# からもアクセスできる。 でもあんまり F# 使う意味ないんじゃね？ 俺にとっての F# を使う意義と言えば、 Visual Studio の中で仕事しているふりをしながら 現実逃避できるというところだろうか。 107 名前：102 mailto:sage [2007/10/21(日) 23:58:45 ] >>105>>106 確かに、そうなると F# 使う意味なくなりますね... それはそうと、 >>102 の F# は科学計算用途に適した言語であるといえる。 F# は、低級だが高速な数値計算言語 （Fortran など） と、 高級だが低速な言語 （Mathematica など） の両方の特徴をもつ。 っていう記述は本当なのですか？もし本当なら、院生にとっては 夢のような言語のような気がするんですけど... 108 名前：デフォルトの名無しさん mailto:sage [2007/10/22(月) 01:29:32 ] >>107 F#というよりベースになってるOCamlの特徴かな。 それなりの訓練は必要だが関数型言語はある種の科学技術計算に向いてる。 ただ、これを高級と呼ぶかどうかは知らんし、手続き型がいい場合もある。 関数型言語の多くは遅延評価で弱い型付けであるが、 OCamlは正確（遅延評価でないという意味）で、推論でしっかり型付けされるため、 コンパイルが可能でパフォーマンスがいい。 問題はまだ新しい言語でライブラリが充実してないところ。 109 名前：デフォルトの名無しさん mailto:sage [2007/10/22(月) 10:41:59 ] >>107 どっかのページに大学院生でOCaml使っていて、こんなに（・∀・）ｲｲ!!言語なのになんでマイナーなんだろうとかいう記述があったぞ >>108 F#なら.NETのライブラリが使えるお 110 名前：デフォルトの名無しさん [2007/10/23(火) 21:05:48 ] 正格だよね 111 名前：デフォルトの名無しさん mailto:sage [2007/10/23(火) 23:34:50 ] >>108 > OCamlは正確（遅延評価でないという意味） 正格だボケ 112 名前：デフォルトの名無しさん mailto:sage [2007/10/24(水) 00:24:58 ] ボケはお前だ 113 名前：デフォルトの名無しさん mailto:sage [2007/10/24(水) 05:59:26 ] VC# expressしか持ってないんですが この場合VS上でのF#プログラミングって使えるんですかね 114 名前：デフォルトの名無しさん mailto:sage [2007/10/24(水) 07:45:50 ] Expressは駄目。たしか、IronPythonのも駄目だった。 いまお金かけないとすると、VS2008のbetaですかね。 115 名前：デフォルトの名無しさん mailto:sage [2007/10/24(水) 09:38:06 ] 2008 Beta2 Standardがおすすめ 116 名前：デフォルトの名無しさん mailto:sage [2007/10/24(水) 10:25:49 ] F#はじめました。クロージャもどきを作ってみましたが、 let rec makeclr v n =      let pr n = printf "closure %d\n" n in       if n < 1 then v else (fun () -> pr(n)) :: (makeclr v (n - 1)) let makecl = makeclr [] ;; let v = makecl 10 in   List.iter (fun x -> x()) v ;; リストの後方に追加するスマートな方法があったら教えてください。 逆にしたら怒られた。 (makeclr v (n - 1)) :: (fun () -> pr(n))  117 名前：デフォルトの名無しさん mailto:sage [2007/10/24(水) 13:42:18 ] >>116 3行目で if n < 1 then rev v が定石かと思われ。 (makeclr v (n - 1)) @ [fun () -> pr n] は効率の面でおすすめできない。(´･ω･`) 118 名前：デフォルトの名無しさん mailto:sage [2007/10/24(水) 14:37:10 ] >>117 ありがとう。最後にまとめて反転させたほうが早いわけですね。 末尾再帰になってなかったのでそうしたら反転の必要もなくなりました。 最初はforやwhileを使ってたのですがなんだかうまくないようです。 あまりforやwhileは使わないのでしょうか。配列専用の機能のように思えました。 let rec makeclr v n =        if n < 1 then v else makeclr ((fun () -> printf "closure %d\n" n) :: v) (n - 1) let makecl = makeclr [] ;; let v = makecl 10 in List.iter (fun x -> x()) v ;; 119 名前：デフォルトの名無しさん mailto:sage [2007/10/24(水) 15:11:11 ] >>118 ループとしてのfor, whileはほとんど使いません。(つーか、構文忘れてるし･･･。) ただし、内包表記のforはよく使います。 let makeclr n = 　[ for i in [1..n] -> 　　　fun () -> printf "closure %d\n" i ] でもまあ、最初のうちは再帰で解決する習慣を身につけるべきかと。(´･ω･`) 120 名前：デフォルトの名無しさん mailto:sage [2007/10/24(水) 15:12:06 ] F#のメリットってなんですか？ C#より優れてるところ、劣ってるところはなんですか？ F#にできてC#にできないことってありますか？ 121 名前：デフォルトの名無しさん mailto:sage [2007/10/24(水) 16:04:01 ] >>119 こういうforの使い方があるのか。おいしくいただきまます。 122 名前：デフォルトの名無しさん mailto:sage [2007/10/24(水) 20:08:41 ] あかん・・・手続き型べったりの俺には 簡単なコードで頭の体操するのが精いっぱい。 しかし使い慣れた Visual Studio で動くので なんとなく使えてる気になるけど。 やっぱり理論的な基礎をしっかりとやってない 専門学校上がりのコーダーには扱えないのかね。 Emacs における Emacs Lisp のように、 既存のネイティブ or ドトネトなプログラムの マクロ言語としておもしろい？とかオモタけど、 妄想だけにしときます。 123 名前：デフォルトの名無しさん mailto:sage [2007/10/25(木) 01:28:33 ] >>118を1行で。 [1..10] |> List.map (fun n () -> printf "closure %d\n" n) |> List.iter ((|>) ()) 124 名前：デフォルトの名無しさん mailto:sage [2007/10/25(木) 01:30:32 ] 暗号にしかみえんがみなさんはこういうのにメリット感じるの？ 125 名前：デフォルトの名無しさん mailto:sage [2007/10/25(木) 01:55:17 ] Microsoft、関数型言語F#をVisual Studioに統合へ――開発者からはおおむね好意的な反応 opentechpress.jp/developer/07/10/24/0310251.shtml 126 名前：デフォルトの名無しさん mailto:sage [2007/10/25(木) 01:58:35 ] 手を広げすぎ 127 名前：デフォルトの名無しさん mailto:sage [2007/10/25(木) 02:12:00 ] let flip f a b = f b a let delay f = fun () -> f let _ = [1..10] |> List.map (printf "closure %d\n" |> (delay >> flip)) |> List.iter ((|>) ()) 128 名前：デフォルトの名無しさん mailto:sage [2007/10/25(木) 04:27:16 ] right to leftの方が読みやすいかな。 let _ = 　List.iter ((|>) ()) << List.map (flip << delay <| printf "closure %d\n") <| [1..10] 129 名前：デフォルトの名無しさん mailto:sage [2007/10/25(木) 08:26:45 ] 型推論ってなんですか？ 130 名前：デフォルトの名無しさん mailto:sage [2007/10/25(木) 09:46:24 ] 型を推論してくれるんです。 131 名前：デフォルトの名無しさん mailto:sage [2007/10/25(木) 09:59:05 ] やけに賑やかDaNa 132 名前：デフォルトの名無しさん mailto:sage [2007/10/29(月) 22:11:15 ] OCaml は整数型と実数型で足し算の演算子すら違って面倒だという話を聞いたことがありますが，本当ですか？ F#もそうなってるんですか？ 133 名前：デフォルトの名無しさん mailto:sage [2007/10/29(月) 22:16:40 ] 整数の演算子 : + - * / 実数の演算子 : +. -. *. /. 134 名前：デフォルトの名無しさん mailto:sage [2007/10/29(月) 22:47:06 ] めんどくさ 135 名前：デフォルトの名無しさん mailto:sage [2007/10/29(月) 23:50:47 ] >>132 > 1 + 0.1;;   1 + 0.1;;   ----^^^^ stdin(7,4): error: FS0001: This expression has type         float but is here used with type         int stopped due to error > 1.0 + 0.1;; val it : float = 1.1 > 1.0 +. 0.1;;   1.0 +. 0.1;;   ----^^^ stdin(9,4): warning: FS0062: This construct is for compatibility with OCaml. Use  the overloaded infix operator '+' instead. Disable this warning using --no-warn  62 or #nowarn "62" val it : float = 1.1 136 名前：デフォルトの名無しさん mailto:sage [2007/10/30(火) 10:22:05 ] >>132 F#では演算子は共通になった。 .NETのサポートするデータ型を全部サポートしなきゃいけないのでこうなったものと思われる。 ただし暗黙の型変換はないので整数＋実数の計算は変換が必要になる。 > 3.2 + float 2;; val it : float = 5.2 137 名前：デフォルトの名無しさん mailto:sage [2007/10/30(火) 10:24:25 ] F#ってVS2008についてくんの？ 138 名前：デフォルトの名無しさん mailto:sage [2007/10/30(火) 13:41:11 ] OCamlってフランス製だっけ？ 139 名前：デフォルトの名無しさん mailto:sage [2007/10/30(火) 15:13:40 ] そうざます 140 名前：デフォルトの名無しさん mailto:sage [2007/11/07(水) 23:39:11 ] おフランスｗｗｗ 141 名前：デフォルトの名無しさん mailto:sage [2007/11/13(火) 01:04:38 ] 140が見えない 142 名前：デフォルトの名無しさん mailto:sage [2007/11/14(水) 00:21:33 ] なんで？ 143 名前：名無しさん♯ mailto:age [2007/11/19(月) 14:52:34 ] F# 1.9.3.4が出ますた。(　ﾟдﾟ)ﾉ Asyncの実装がまた微妙に変わってますがな･･･。(´･ω･`) 144 名前：デフォルトの名無しさん [2007/11/19(月) 16:38:48 ] おぉ〜 この言語は普及するのかな 145 名前：名無しさん♯ mailto:sage [2007/11/19(月) 20:25:01 ] ありゃ、ライブラリのマニュアル、バージョン古いままだ･･･。(´･ω･`)

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef