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

**デフォルトの名無しさん** · 2016/12/13(火) 19:01:53.31

>>760
やってみて損はないと思いますー
実案件で使えなくても考え方学ぶことでC#での書き方も良くなると思うし、実案件でも人の問題とかなければ使える場面は多々あると思う。

**デフォルトの名無しさん** · 2016/12/13(火) 20:54:07.46

みんな、競プロでもっとF#とOCamlを使おうぜ

**デフォルトの名無しさん** · 2016/12/27(火) 16:04:36.71

勉強し始めたけど、いつなくなるのか心配
MSって、切るときはバッサリ行くよな

**デフォルトの名無しさん** · 2016/12/27(火) 16:22:15.15

もうとっくにイってます

**デフォルトの名無しさん** · 2017/01/16(月) 12:32:54.03

F#デビューしようと思って本探してるんだがC#er向けの本ってないのな
ググるとサイトはいっぱい出てくるけど
こういう場合は関数型言語について書かれた本をとりあえず買っとけばいいのかな

**デフォルトの名無しさん** · 2017/01/16(月) 13:40:50.81

Real World Functional Programming: With Examples in F# and C#
かな。たしか英語の原書しかないけど
でもまずプログラミングF#読んだ方がいいと思う

**デフォルトの名無しさん** · 2017/01/16(月) 14:05:39.31

俺は実践F#関数型プログラミング入門って本で勉強したけど、なかなか良い本だったよ
書き方が平易な感じでサクサク進められて、基礎的な部分は一通りキッチリ習得できたと思う

**デフォルトの名無しさん** · 2017/01/16(月) 16:56:59.00

勉強中で悪いんだけど

実践F#関数型プログラミング入門は確かにとっつきやすいんだけど
説明不足と思われるところが散見されるように思う
かといってプログラミングF#で十分ってわけではないんだけど

例えば、今アクティブパターン見てるんだけど、いまいち動作がわかんねー
分類としての役割と、型変換の役割があるみたいだけど、
その内部動作っというか、統一的にどのように動作してるのかがわからん

**デフォルトの名無しさん** · 2017/01/16(月) 21:42:59.51

実装は関数呼び出しの条件一致だろうけど、使うぶんにはそのパターンになるかどうかって感じでよくないか？
パラメータわたしのやつは順序がおかしくて分かりづらいと思うが

**デフォルトの名無しさん** · 2017/01/16(月) 21:44:10.62

>>766
俺もその本で関数型学んだ
モッナードとかは無いけどオブジェ脳の人が感触をつかむのには良いよね

**デフォルトの名無しさん** · 2017/01/17(火) 12:28:38.43

>>769
以下の＝ソース＝において、 | FIleExtension ".jpg"はどう動作すると考える？
プログラミングF#には記述があるからわかるけど
普通に ".jpg"はFIleExtensionの引数にしか見えない

疑問点１　match式の|の後はパターンの記述だけど、関数呼び出しの場合の約束事が不明
疑問点２　 | FIleExtension ext は.jpgの方とほぼ同じ記述だけど、こちらは代入
　　　　　　　さしあたって、切り分けできるのかな？　出来たとしても、わかりずらいし。

＝＝＝＝＝＝＝＝＝＝＝　ソース　＝＝＝＝＝＝＝＝＝＝＝＝

let (|FIleExtension|) filepath=Path.GetExtension(filePath)

let determinFIleType(filepath :string)
match filepath with
| FIleExtension ".jpg"->printfn "画像"
| FIleExtension ext->printfn "未知 [%s]" ext

**７１１** · 2017/01/17(火) 12:30:49.29

あれ？空白が無視されてるな

match式以降はブロック別で、ずれてますので、
まぁわかりますよね

**デフォルトの名無しさん** · 2017/01/17(火) 15:40:46.37

|の後は元の値がこのパターンに合うか？って感じの比較対象が来るのでFileExtension ".jpg"と言う値って感じに掴んでる。
正規表現の奴はそのregexを元にほにゃららを返す値って感じ。
けどほんとはパターンを区別するって言うセレクターとした方がいいのかな？

**デフォルトの名無しさん** · 2017/01/17(火) 16:21:52.44

たぶん違う

| FIleExtension ".jpg"->printfn "画像"の方は、
FIleExtensionの引数がfilepathで、その結果が".jpg"とマッチするかどうか

| FIleExtension ext->printfn "未知 [%s]" extの方は
FIleExtensionの引数がfilepathで、その結果をextに代入（let束縛？）

って、ことみたい（プログラミングF#に記述の例で上のように解釈するような説明あり）
実践F#にも同様な例（P295）はあるけど、こちらは、説明なし

**デフォルトの名無しさん** · 2017/01/17(火) 16:57:47.21

いや俺はそう言う風な理解をしてるって話なんだが。
実体は上から順番に関数呼び出しの条件マッチだと思うが動作の仕組みを知りたいんだったらILを見れば。

**デフォルトの名無しさん** · 2017/01/17(火) 17:34:24.12

>ILを見れば。
たしかにね。いままで避けてきたから、考え付かなかった。

ただ、実践F#の方はなんの説明もないんだよ
それで理解できるわけないってーの
（| FIleExtension ".jpg"　なら、FileExtensionの引数は”.jpg”でその結果が、filepathとマッチが
普通の理解だと思う）

多分、F#の文法理解のキモは、実践F#のどっかに書かれてた、
”let束縛や関数束縛にはパターンマッチが宿る”ってのがあって

それは何ぞやってことかなとも思うんだけど　

**デフォルトの名無しさん** · 2017/01/27(金) 13:06:20.11

UnityをF#でやるってどうおもう？

**デフォルトの名無しさん** · 2017/01/27(金) 16:23:08.47

やってる人いるっぽいけど、興味あるので是非人柱って欲しい

**デフォルトの名無しさん** · 2017/01/29(日) 11:32:18.42

Xamarinでも使えると聞きたけど、実際に実用に耐えるレベルで使える感じ？
それともまだちょいきびしい？

**デフォルトの名無しさん** · 2017/01/29(日) 16:34:59.12

>>763
バージョンが5つぐらい進んだC#
くらい凄いのがなくなるわけ無いじゃん

**デフォルトの名無しさん** · 2017/01/29(日) 16:36:43.65

>>777>>779
勘違いしちゃいけないのは
成長中とかじゃなくてとっくに成熟してる分野だからな
一部の人が持ち上げてるだけで一般的にはそうでもないだけ

**デフォルトの名無しさん** · 2017/01/29(日) 16:38:12.30

>>755
関数型って算術演算や金融関係で威力を発揮する
という理屈を解説してくれ

**デフォルトの名無しさん** · 2017/01/29(日) 17:58:10.02

怒濤の3連投

**デフォルトの名無しさん** · 2017/01/29(日) 22:48:48.26

>>779
使えるし実案件で使ってる。
全部F#とかはやりにくいところもあると思うけど可能。
ロジックをF#でとかは普通に可能。
ただしDLLの参照はプロジェクトファイル直で編集しないとダメかも

**デフォルトの名無しさん** · 2017/01/30(月) 04:57:10.64

連投ニキ結局何が言いたいのか分からなくて草

**デフォルトの名無しさん** · 2017/01/30(月) 08:55:41.75

f#はmonoで動くように作ってるので問題無いが、
あとはC#と同じくiosの制限に引っかからないかぐらいかな。
動的コード減らすように、ios向けにコンパイラ改良してるみたいではあるが。

**デフォルトの名無しさん** · 2017/01/30(月) 09:52:08.15

sprintfの引数5個以上にすると実機ですっ飛ぶけど後は何も問題になってない

**デフォルトの名無しさん** · 2017/02/24(金) 21:55:29.29

軽量構文では前方参照できてもよくない？
というか前方参照できないのがVSに統合してるのに広がらない大きな理由のような

**デフォルトの名無しさん** · 2017/02/24(金) 22:38:24.91

F# 4.1 から namespace rec ... で前方参照できるようになるらしい
https://github.com/fsharp/fslang-design/blob/master/FSharp-4.1/FS-1009-mutually-referential-types-and-modules-single-scope.md

**デフォルトの名無しさん** · 2017/02/25(土) 00:05:57.36

>>788
そんな理由でF#使うのやめるような奴いねーよ

**デフォルトの名無しさん** · 2017/02/27(月) 22:45:13.58

immutableでもちゃんと書けるんだすごーい→しばらくして
現実に引き戻されちゃうold Cですら前方宣言あったよね？と

**デフォルトの名無しさん** · 2017/02/27(月) 22:52:50.08

むしろ適度に参照制限されてた方がいい。ミュータブルよりイミュータブルが利点を持つのと一緒

**デフォルトの名無しさん** · 2017/03/01(水) 22:42:04.78

(O抜きの）CAML当時のPCでは関数型言語のコンパイラで前方参照なんてやってたら
まるで使い物にならなかっただけの流れだとなんとなく思う

**デフォルトの名無しさん** · 2017/03/02(木) 17:03:36.98

前方参照やりだすと型推論が面倒くさいことになりそうな気がする
トップレベルの定義は型注釈必須になっちゃったりするんじゃね

**デフォルトの名無しさん** · 2017/03/03(金) 00:27:09.47

F# 4.1 未満でも↓のように関数の前方参照ができるし、前方参照に比べて余分な型注釈が必要になることもない
　let rec f1 () = f2 "" + f3 1
　and f2 s = s.Length
　and f3 x = x
むしろ f2 のように型推論が強化される場合もある

**デフォルトの名無しさん** · 2017/03/03(金) 01:21:41.94

多分、今話題に上がってる前方参照って、同一のlet式内って狭い範囲の話じゃないと思うよ･･･

**デフォルトの名無しさん** · 2017/03/03(金) 02:47:10.16

前方参照できないとトップダウンでは書けないよね
上から下にいくにつれて詳細化するほうが読みやすい

**デフォルトの名無しさん** · 2017/03/03(金) 07:08:48.90

>>797
何言ってるのかよく分からん

**デフォルトの名無しさん** · 2017/03/03(金) 20:42:40.44

>>798
わかるよ！

**デフォルトの名無しさん** · 2017/03/03(金) 22:41:27.26

おれもわからん

**デフォルトの名無しさん** · 2017/03/03(金) 23:04:52.74

上から下にかけて詳細化って何。
インターフェース定義とその具体的実装的なことでも言ってんの？

**デフォルトの名無しさん** · 2017/03/03(金) 23:27:50.49

>>800
わかるよ！

**デフォルトの名無しさん** · 2017/03/04(土) 00:32:28.38

>>802
わからんいうてる奴に「わかるよ！」ってなんやねん
ガイジか死ね氏ねウンコアヘアヘ仮面

**デフォルトの名無しさん** · 2017/03/04(土) 12:38:53.96

急に延びてると思ったら
またいつものあれか

**デフォルトの名無しさん** · 2017/03/06(月) 23:36:11.45

https://ja.osdn.net/pastebin/4865

↑これっぽいことをF#でやりたいんだけど↓うまくいかない、よいアイデアありませんか？

https://ja.osdn.net/pastebin/4866

**805** · 2017/03/06(月) 23:37:58.97

guard的なものを作りたい

**デフォルトの名無しさん** · 2017/03/08(水) 16:37:28.78

Microsoft、「F# 4.1」と「Visual F# Tools for Visual Studio 2017」を発表
http://forest.watch.impress.co.jp/docs/news/1048457.html

**デフォルトの名無しさん** · 2017/03/08(水) 16:50:08.16

まだ保守されてたんだな

**デフォルトの名無しさん** · 2017/03/12(日) 14:15:47.40

研究所に担当者が興味持っている間は続くんじゃないかな。

Open EditionのREADMEには、F# Core Engineering Groupって書いてあったけど、どこの組織かはよく分からない。
https://github.com/fsharp/fsharp/blob/master/README.md#maintainers

**デフォルトの名無しさん** · 2017/03/19(日) 13:32:32.34

>>804
数ヶ月書き込みがない過疎スレで「いつものあれ」とか無理あるだろ
あらクソスレにずっといついてるいつものあれでしたか

**デフォルトの名無しさん** · 2017/04/15(土) 20:49:04.54

質問です

let add x y = x+y

を用いた関数合成した場合

■関数定義成功
１．let ft = add 10>> add

■関数定義失敗
２．let ft = add >> add
３．let ft = add >> add 10

２．、３．が失敗する理由は何でしょうか？

**デフォルトの名無しさん** · 2017/04/15(土) 21:07:11.49

FSharpFuncが+演算子のオーバーロードを持ってないからだろ

**デフォルトの名無しさん** · 2017/04/15(土) 22:13:15.85

>>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' と一致しません

**デフォルトの名無しさん** · 2017/04/15(土) 23:41:37.70

>>　オペレータのシグネチャ見てみ。
>>は('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ではない。

**デフォルトの名無しさん** · 2017/04/16(日) 00:13:53.65

>>814
Thx　大枠理解しました。

>ここでaddを見るとint->int->intなのでこれはまたint->(int->int)でもある。
特にこの見方は非常に参考になります。

多分今回の件きちんと理解すると、
自分の中でごっちゃになってる部分が結構すっきりすると思います
ここから先は、調べてみます
ありがとうございました

**デフォルトの名無しさん** · 2017/05/06(土) 19:25:54.59

X Y Z Nとスペースで区切られた文字列が標準入力から入力された時、
Console.ReadLine().Split [|' '|]を、一つのletでint X Y Z Nそれぞれに入れるのには
どうしたらいいでしょうか？

**デフォルトの名無しさん** · 2017/05/06(土) 22:00:28.94

>>816
日本語でOK

**デフォルトの名無しさん** · 2017/05/06(土) 22:02:02.03

英語でもOK

**デフォルトの名無しさん** · 2017/05/06(土) 22:30:58.28

>>816
let [|X;Y;Z;N|]=...

**デフォルトの名無しさん** · 2017/05/07(日) 01:04:25.17

>>819
ありがとうございます。

それ前に一回試してみてて、「試してみたけどマッチ不完全って出てムリでしたよ」書こうとして、
もう一回試してみたら、ちゃんとコンパイルできました。

何を言っているかわからないと思いますが、エラーは他の所だったんだなぁと。

**デフォルトの名無しさん** · 2017/05/07(日) 04:37:20.17

競プロでもやってんのか

**デフォルトの名無しさん** · 2017/05/07(日) 07:56:21.67

>>820
ワーニングは出るけどコンパイルは出来るはず。
それもエラーになるような設定ってできるのかな。
けどおかしな文字列与えたら実行時にすっ飛ぶから、ほんとはlet じゃなくmatch使うべき。

**デフォルトの名無しさん** · 2017/05/07(日) 14:03:57.99

>>822
match憶えました。

>>821
PAIZAのPOH7でF#が使えるのでやってみました。F#歴3日くらいです。
とりあえず全部解けたけど、ちゃんとした本を読んだ方がいいんだろうなぁ……

**デフォルトの名無しさん** · 2017/05/08(月) 23:05:02.96

こないだの炎上()の件で知名度あがったのかパイザ

**デフォルトの名無しさん** · 2017/05/09(火) 08:36:20.20

あの程度の炎上でサービス使えなくなってたらなんも使えんで
アレは炎上大好き民族のはてな民のデイリーノルマみたいなもんや

**デフォルトの名無しさん** · 2017/05/10(水) 00:18:39.27

PAIZAすることなくなったので、HackerrankのDashboardで修行することにしました。

**デフォルトの名無しさん** · 2017/05/10(水) 00:38:28.85

AtCoderやyukicoderでも良さそうけどな

**デフォルトの名無しさん** · 2017/05/10(水) 00:38:55.04

競プロするなら競プロスレあるぞ

競技プログラミングにハマるプログラマのスレ 9 [無断転載禁止]c2ch.net
https://tamae.2ch.net/test/read.cgi/prog/1493085730/l50

**デフォルトの名無しさん** · 2017/05/16(火) 03:37:55.78

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

というのは正しいのですか？ケースが増えるにしたがって、めっちゃ増えちゃう気がするんだけど、
ループとか関数で処理することはできないんでしょうか。

**デフォルトの名無しさん** · 2017/05/16(火) 07:10:14.68

それフィルターじゃダメなの、

**デフォルトの名無しさん** · 2017/05/16(火) 10:39:32.85

**デフォルトの名無しさん** · 2017/05/16(火) 12:20:07.62

>>830>>831
ありがとうございます。
ワイルドカードを使う、関数でフィルターする、ラムダ式を工夫する、どれも参考になります。
10日くらいやって、F#を本格的にやる覚悟ができてきたので本予約してきました。

でもまだ、典型的なループにbreakがないのには慣れないなー……

**デフォルトの名無しさん** · 2017/05/16(火) 13:54:00.84

ループで分岐を行うという事に疑問を抱くところまで洗脳しましょう

**デフォルトの名無しさん** · 2017/05/16(火) 13:57:34.27

世界トップクラスのプログラマだけど質問ある？
まあねーかw
最近の日本人はたるんでねーか？
まあこんなしょぼいところに俺レベルのプログラマなんているわけねーよなwwwwwwww

**デフォルトの名無しさん** · 2017/05/16(火) 15:06:44.92

トップクラスは仕事で何やってんのかとF#で型クラスを導入するには今のCLR上のどこに問題があるのか教えてくれ。

**デフォルトの名無しさん** · 2017/05/22(月) 23:51:01.26

UWPまだなん？

**デフォルトの名無しさん** · 2017/05/23(火) 03:59:59.51

自分も心待ちにしてる。
なんか遠く無いうちに8.1ストアアプリとかディスコンになりそうだしその前に使えるようにしてくれないと困るわ

**デフォルトの名無しさん** · 2017/05/25(木) 01:38:45.30

Console.ReadLine() |> intを何度も書くのが面倒で、

let CRI () =
Console.ReadLine() |> int

let m = CRI
let n = m + 1

としても、mがintではなくunit->intになってしまって上手くいきません。どうしたらいいんでしょうか。

**デフォルトの名無しさん** · 2017/05/25(木) 02:11:45.60

>>838
CRIの型はunit->int
つまり () をうけとってint型を返す関数

let m = CRI () ってすればいい

let m = CRI とするとｍがCRIって関数のコピーになるから
let n = m () + 1　としてもいい

**デフォルトの名無しさん** · 2017/05/25(木) 12:41:52.55

let CRI () = の()は、引数を取らない関数という意味じゃなくて、()を引数として
取る関数という意味だったんですね。
mが関数のコピーになってしまっていることは何となくわかっていましたが、
どうしたらいいかわかりませんでした。

色々まとめて関数化する入口になりました。ありがとうございます。

**デフォルトの名無しさん** · 2017/05/30(火) 17:43:28.11

C#でwinフォームのフォント変えてた時には意識してなかったけど
F#におこられてMSDN見たら
public Font(
FontFamily family,
float emSize
)
あれfloatだったんかｗ

**デフォルトの名無しさん** · 2017/05/30(火) 23:33:10.49

>>841
0.5pt刻みとか普通じゃないかね

**デフォルトの名無しさん** · 2017/06/01(木) 01:32:04.81

最初のエラーメッセージ一つつぶしてはリコンパイルしてまた怒られる繰り返しで
エラーも警告も全部潰し終わればだいたい思った通り動くものができてて
ある意味楽だよね

**デフォルトの名無しさん** · 2017/06/01(木) 12:14:48.83

何と比べたんだ

**デフォルトの名無しさん** · 2017/06/01(木) 14:06:13.61

C#とかだろ
まあ自分もコンパイル通ったら思い通りに動いたってのは何度も経験した

**デフォルトの名無しさん** · 2017/06/01(木) 22:41:41.77

コンパイル通ったら思い通りに動いたって経験ないので設計力が俺にない

**デフォルトの名無しさん** · 2017/06/03(土) 18:00:27.61

まー漏れはGUIデバッグ用おまじないとして
let msgbox s = MessageBox.Show( s ) |> ignore
なんてのを毎回コピペしてるんだけどねｗ

**デフォルトの名無しさん** · 2017/06/04(日) 01:15:20.63

「ゆるふわ」な展開だよな
oO(だってデバッグでコンパイル警告増やしてる場合じゃないもん
　　ということで>>847をそっとクリップボードに入れたとかは言えない)

**デフォルトの名無しさん** · 2017/06/04(日) 17:19:25.85

ビルドツール2015が落とせなくなってると思ったら
最新のビルドツール（現在は2017）だけ無償提供するけど
過去のはMSDNサブスクリプション限定になったんかよ

**デフォルトの名無しさん** · 2017/06/04(日) 20:22:54.65

なんでそんなめんどくさいことしてんの

**デフォルトの名無しさん** · 2017/06/06(火) 02:33:04.78

環境作っちゃったからｗそれに趣味だし
もし他人から環境作り聞かれることがあったらVSすすめるけど（質問攻めやだし）

**デフォルトの名無しさん** · 2017/07/23(日) 00:57:49.83

ファイルにクラスとかコレクションの値を書き込んだ後に、それを読み込むのに、
一般的な方法ってありませんか？

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|]|]
みたいにデータ構造をそのままぱぱっと書き出して、ぱぱっと読める
みたいな方法はありませんでしょうか。

**デフォルトの名無しさん** · 2017/07/26(水) 12:12:26.43

BinaryFormatter使えばいいんでない？
テキストではなくなるけど

**デフォルトの名無しさん** · 2017/07/26(水) 14:16:56.19

調べてみます。
ありがとうございます。

**デフォルトの名無しさん** · 2017/09/02(土) 22:37:34.57

F#人気にｼｯﾄ

**デフォルトの名無しさん** · 2017/09/03(日) 01:52:15.83

どこでそんなにんきなんだよ

**デフォルトの名無しさん** · 2017/09/03(日) 16:58:23.14

当社比

**デフォルトの名無しさん** · 2017/09/16(土) 06:54:46.85

びっくりするほどF#の話題ないね

言語人気ランキングだと関数型の中では
Scalaについで上位なんだけど

**デフォルトの名無しさん** · 2017/09/16(土) 12:50:44.18

無冠の帝王

**デフォルトの名無しさん** · 2017/09/16(土) 17:42:17.40

言語のバージョンアップも大してないしな
まあ自分はコンピュテーション式の組み立てとかも適当にしかできないので猿でもわかるコンプ式とか誰か上げてくれ