X
【.NET】F#について語れ2【OCAML】
■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん
垢版 |
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-
0741デフォルトの名無しさん
垢版 |
2016/08/30(火) 20:42:10.14ID:vrBeNxH6
間違いの無い記事は少ない
間違いを見つけ乍ら読むのがリテラシー
0743デフォルトの名無しさん
垢版 |
2016/09/02(金) 06:36:24.81ID:93bhRaHZ
どこに採用されてる？
0745デフォルトの名無しさん
垢版 |
2016/10/09(日) 13:09:22.51ID:7SKhoL6o
.netにバインドするライブラリってのは
たとえばデリゲートをどうすんのかとか
属性どうするのかとかですぐつまづいてしまう
JScript.NETやIronPythonがまさにそうだ
F#はそのへん良く頑張ってるな
0747デフォルトの名無しさん
垢版 |
2016/11/15(火) 16:44:14.09ID:G5nfQU/Z
質問させてください
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 // こうはできない
0748デフォルトの名無しさん
垢版 |
2016/11/15(火) 17:51:26.35ID:Z1GMtli2
ちょっと長ったらしくて、もっとスマートなやり方があるかもしれんが
とりあえずは、こうすればできる

Array.mapi (fun index x -> (index, x)) array1 |>
Array.filter (fun (index, x) -> index % 2 = 0) |>
Array.map (fun (index, x) -> x)
0749デフォルトの名無しさん
垢版 |
2016/11/15(火) 18:46:06.01ID:G5nfQU/Z
>>748
なるほど、mapiだとインデックスが使えるんですね
そこで一旦indexを要素にもったタプルの配列をつくると
勉強になりました
0750デフォルトの名無しさん
垢版 |
2016/11/15(火) 20:50:47.44ID:OT10uw27
filterとmap重ねるならchoose使え
0752デフォルトの名無しさん
垢版 |
2016/11/16(水) 18:51:58.42ID:URMKBQmU
>>750-751
ありがとうございます
スマートに書けるようになりました

Array.indexed array1 |> Array.choose (fun (index, x) -> if index % 2 = 0 then Some x else None)
0754デフォルトの名無しさん
垢版 |
2016/11/16(水) 19:33:48.20ID:URMKBQmU
>>753
わざわざありがとうございます
こういうyieldを使った書き方はまだ詳しく勉強してないんですが、
こっちだと中間のデータをつくらないんでパフォーマンスがよさそうですね
勉強して試してみます
0755デフォルトの名無しさん
垢版 |
2016/12/13(火) 03:00:30.70ID:1DM7j7BI
F#って普通に個人で趣味アプリ作ったりする場合でもC#と比べて恩恵感じられる？
関数型って算術演算や金融関係で威力を発揮するけどそれ以外だと却って手間が増えるだけみたいなイメージある
0757デフォルトの名無しさん
垢版 |
2016/12/13(火) 09:05:12.17ID:/Iv3sNJB
>>755
C#に比べてVSのサポートがイマイチって所が多々あるけれど、それを補ってかつはるかに上回るメリット得られるお。
正直C#でなんかサポートが足りない所、たとえばUI周りとか以外で使いたくないしF#使える所は全部F#で書いてる。
0761デフォルトの名無しさん
垢版 |
2016/12/13(火) 19:01:53.31ID:QZ8rc8DA
>>760
やってみて損はないと思いますー
実案件で使えなくても考え方学ぶことでC#での書き方も良くなると思うし、実案件でも人の問題とかなければ使える場面は多々あると思う。
0763デフォルトの名無しさん
垢版 |
2016/12/27(火) 16:04:36.71ID:r8OAYz75
勉強し始めたけど、いつなくなるのか心配
MSって、切るときはバッサリ行くよな
0764デフォルトの名無しさん
垢版 |
2016/12/27(火) 16:22:15.15ID:ov9/Tp6R
もうとっくにイってます
0765デフォルトの名無しさん
垢版 |
2017/01/16(月) 12:32:54.03ID:w3fpx7c2
F#デビューしようと思って本探してるんだがC#er向けの本ってないのな
ググるとサイトはいっぱい出てくるけど
こういう場合は関数型言語について書かれた本をとりあえず買っとけばいいのかな
0766デフォルトの名無しさん
垢版 |
2017/01/16(月) 13:40:50.81ID:of8fDlu0
Real World Functional Programming: With Examples in F# and C#
かな。たしか英語の原書しかないけど
でもまずプログラミングF#読んだ方がいいと思う
0767デフォルトの名無しさん
垢版 |
2017/01/16(月) 14:05:39.31ID:cZ5PGvSb
俺は実践F#関数型プログラミング入門って本で勉強したけど、なかなか良い本だったよ
書き方が平易な感じでサクサク進められて、基礎的な部分は一通りキッチリ習得できたと思う
0768デフォルトの名無しさん
垢版 |
2017/01/16(月) 16:56:59.00ID:rgwnOlnx
勉強中で悪いんだけど

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

例えば、今アクティブパターン見てるんだけど、いまいち動作がわかんねー
分類としての役割と、型変換の役割があるみたいだけど、
その内部動作っというか、統一的にどのように動作してるのかがわからん
0769デフォルトの名無しさん
垢版 |
2017/01/16(月) 21:42:59.51ID:meiXzXMj
実装は関数呼び出しの条件一致だろうけど、使うぶんにはそのパターンになるかどうかって感じでよくないか？
パラメータわたしのやつは順序がおかしくて分かりづらいと思うが
0770デフォルトの名無しさん
垢版 |
2017/01/16(月) 21:44:10.62ID:meiXzXMj
>>766
俺もその本で関数型学んだ
モッナードとかは無いけどオブジェ脳の人が感触をつかむのには良いよね
0771デフォルトの名無しさん
垢版 |
2017/01/17(火) 12:28:38.43ID:8zwXc9tZ
>>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
0772７１１
垢版 |
2017/01/17(火) 12:30:49.29ID:8zwXc9tZ
あれ？空白が無視されてるな

match式以降はブロック別で、ずれてますので、
まぁわかりますよね
0773デフォルトの名無しさん
垢版 |
2017/01/17(火) 15:40:46.37ID:AtzKNi4C
|の後は元の値がこのパターンに合うか？って感じの比較対象が来るのでFileExtension ".jpg"と言う値って感じに掴んでる。
正規表現の奴はそのregexを元にほにゃららを返す値って感じ。
けどほんとはパターンを区別するって言うセレクターとした方がいいのかな？
0774デフォルトの名無しさん
垢版 |
2017/01/17(火) 16:21:52.44ID:8zwXc9tZ
たぶん違う

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

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

って、ことみたい（プログラミングF#に記述の例で上のように解釈するような説明あり）
実践F#にも同様な例（P295）はあるけど、こちらは、説明なし
0775デフォルトの名無しさん
垢版 |
2017/01/17(火) 16:57:47.21ID:AtzKNi4C
いや俺はそう言う風な理解をしてるって話なんだが。
実体は上から順番に関数呼び出しの条件マッチだと思うが動作の仕組みを知りたいんだったらILを見れば。
0776デフォルトの名無しさん
垢版 |
2017/01/17(火) 17:34:24.12ID:8zwXc9tZ
>ILを見れば。
たしかにね。いままで避けてきたから、考え付かなかった。

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

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

それは何ぞやってことかなとも思うんだけど　
0779デフォルトの名無しさん
垢版 |
2017/01/29(日) 11:32:18.42ID:85P/1kIo
Xamarinでも使えると聞きたけど、実際に実用に耐えるレベルで使える感じ？
それともまだちょいきびしい？
0781デフォルトの名無しさん
垢版 |
2017/01/29(日) 16:36:43.65ID:SZxfjGEN
>>777>>779
勘違いしちゃいけないのは
成長中とかじゃなくてとっくに成熟してる分野だからな
一部の人が持ち上げてるだけで一般的にはそうでもないだけ
0784デフォルトの名無しさん
垢版 |
2017/01/29(日) 22:48:48.26ID:fQuWVzYo
>>779
使えるし実案件で使ってる。
全部F#とかはやりにくいところもあると思うけど可能。
ロジックをF#でとかは普通に可能。
ただしDLLの参照はプロジェクトファイル直で編集しないとダメかも
0786デフォルトの名無しさん
垢版 |
2017/01/30(月) 08:55:41.75ID:HBz5xnGW
f#はmonoで動くように作ってるので問題無いが、
あとはC#と同じくiosの制限に引っかからないかぐらいかな。
動的コード減らすように、ios向けにコンパイラ改良してるみたいではあるが。
0788デフォルトの名無しさん
垢版 |
2017/02/24(金) 21:55:29.29ID:VHgIchSB
軽量構文では前方参照できてもよくない？
というか前方参照できないのがVSに統合してるのに広がらない大きな理由のような
0791デフォルトの名無しさん
垢版 |
2017/02/27(月) 22:45:13.58ID:C8vMoSWL
immutableでもちゃんと書けるんだすごーい→しばらくして
現実に引き戻されちゃうold Cですら前方宣言あったよね？と
0792デフォルトの名無しさん
垢版 |
2017/02/27(月) 22:52:50.08ID:x8Zfjmi0
むしろ適度に参照制限されてた方がいい。ミュータブルよりイミュータブルが利点を持つのと一緒
0793デフォルトの名無しさん
垢版 |
2017/03/01(水) 22:42:04.78ID:G3+Z4HPe
(O抜きの）CAML当時のPCでは関数型言語のコンパイラで前方参照なんてやってたら
まるで使い物にならなかっただけの流れだとなんとなく思う
0794デフォルトの名無しさん
垢版 |
2017/03/02(木) 17:03:36.98ID:7GIcFobN
前方参照やりだすと型推論が面倒くさいことになりそうな気がする
トップレベルの定義は型注釈必須になっちゃったりするんじゃね
0795デフォルトの名無しさん
垢版 |
2017/03/03(金) 00:27:09.47ID:0HpXceRa
F# 4.1 未満でも↓のように関数の前方参照ができるし、前方参照に比べて余分な型注釈が必要になることもない
　let rec f1 () = f2 "" + f3 1
　and f2 s = s.Length
　and f3 x = x
むしろ f2 のように型推論が強化される場合もある
0796デフォルトの名無しさん
垢版 |
2017/03/03(金) 01:21:41.94ID:EBp4jZQp
多分、今話題に上がってる前方参照って、同一のlet式内って狭い範囲の話じゃないと思うよ･･･
0797デフォルトの名無しさん
垢版 |
2017/03/03(金) 02:47:10.16ID:GTe30Tvn
前方参照できないとトップダウンでは書けないよね
上から下にいくにつれて詳細化するほうが読みやすい
0799デフォルトの名無しさん
垢版 |
2017/03/03(金) 20:42:40.44ID:BaUfKJHp
>>798
わかるよ！
0800デフォルトの名無しさん
垢版 |
2017/03/03(金) 22:41:27.26ID:Q3zcIHzi
おれもわからん
0801デフォルトの名無しさん
垢版 |
2017/03/03(金) 23:04:52.74ID:xbhGesOG
上から下にかけて詳細化って何。
インターフェース定義とその具体的実装的なことでも言ってんの？
0802デフォルトの名無しさん
垢版 |
2017/03/03(金) 23:27:50.49ID:BaUfKJHp
>>800
わかるよ！
0803デフォルトの名無しさん
垢版 |
2017/03/04(土) 00:32:28.38ID:/imazuHh
>>802
わからんいうてる奴に「わかるよ！」ってなんやねん
ガイジか死ね氏ねウンコアヘアヘ仮面
0804デフォルトの名無しさん
垢版 |
2017/03/04(土) 12:38:53.96ID:GRvQ2lmz
急に延びてると思ったら
またいつものあれか
0806805
垢版 |
2017/03/06(月) 23:37:58.97ID:f18Wvt72
guard的なものを作りたい
0808デフォルトの名無しさん
垢版 |
2017/03/08(水) 16:50:08.16ID:jMX+hATM
まだ保守されてたんだな
0810デフォルトの名無しさん
垢版 |
2017/03/19(日) 13:32:32.34ID:UkA4tC4+
>>804
数ヶ月書き込みがない過疎スレで「いつものあれ」とか無理あるだろ
あらクソスレにずっといついてるいつものあれでしたか
0811デフォルトの名無しさん
垢版 |
2017/04/15(土) 20:49:04.54ID:TK0/vAtg
質問です

let add x y = x+y

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

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

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

２．、３．が失敗する理由は何でしょうか？
0812デフォルトの名無しさん
垢版 |
2017/04/15(土) 21:07:11.49ID:PugiXhCo
FSharpFuncが+演算子のオーバーロードを持ってないからだろ
0813デフォルトの名無しさん
垢版 |
2017/04/15(土) 22:13:15.85ID:TK0/vAtg
>>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' と一致しません
0814デフォルトの名無しさん
垢版 |
2017/04/15(土) 23:41:37.70ID:PugiXhCo
>>　オペレータのシグネチャ見てみ。
>>は('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ではない。
0815デフォルトの名無しさん
垢版 |
2017/04/16(日) 00:13:53.65ID:NYnhF7Pd
>>814
Thx　大枠理解しました。

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

多分今回の件きちんと理解すると、
自分の中でごっちゃになってる部分が結構すっきりすると思います
ここから先は、調べてみます
ありがとうございました
0816デフォルトの名無しさん
垢版 |
2017/05/06(土) 19:25:54.59ID:2H+eGUwc
X Y Z Nとスペースで区切られた文字列が標準入力から入力された時、
Console.ReadLine().Split [|' '|]を、一つのletでint X Y Z Nそれぞれに入れるのには
どうしたらいいでしょうか？
0819デフォルトの名無しさん
垢版 |
2017/05/06(土) 22:30:58.28ID:IkyXTWA8
>>816
let [|X;Y;Z;N|]=...
0820デフォルトの名無しさん
垢版 |
2017/05/07(日) 01:04:25.17ID:2BTsLj3O
>>819
ありがとうございます。

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

何を言っているかわからないと思いますが、エラーは他の所だったんだなぁと。
0821デフォルトの名無しさん
垢版 |
2017/05/07(日) 04:37:20.17ID:Q0T7PduY
競プロでもやってんのか
0822デフォルトの名無しさん
垢版 |
2017/05/07(日) 07:56:21.67ID:nWdzBJ3w
>>820
ワーニングは出るけどコンパイルは出来るはず。
それもエラーになるような設定ってできるのかな。
けどおかしな文字列与えたら実行時にすっ飛ぶから、ほんとはlet じゃなくmatch使うべき。
0823デフォルトの名無しさん
垢版 |
2017/05/07(日) 14:03:57.99ID:2BTsLj3O
>>822
match憶えました。

>>821
PAIZAのPOH7でF#が使えるのでやってみました。F#歴3日くらいです。
とりあえず全部解けたけど、ちゃんとした本を読んだ方がいいんだろうなぁ……
0824デフォルトの名無しさん
垢版 |
2017/05/08(月) 23:05:02.96ID:9wTmIyqX
こないだの炎上()の件で知名度あがったのかパイザ
0825デフォルトの名無しさん
垢版 |
2017/05/09(火) 08:36:20.20ID:sNZE435L
あの程度の炎上でサービス使えなくなってたらなんも使えんで
アレは炎上大好き民族のはてな民のデイリーノルマみたいなもんや
0827デフォルトの名無しさん
垢版 |
2017/05/10(水) 00:38:28.85ID:/qtBCH3O
AtCoderやyukicoderでも良さそうけどな
0829デフォルトの名無しさん
垢版 |
2017/05/16(火) 03:37:55.78ID:e1kn8e20
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

というのは正しいのですか？ケースが増えるにしたがって、めっちゃ増えちゃう気がするんだけど、
ループとか関数で処理することはできないんでしょうか。
0830デフォルトの名無しさん
垢版 |
2017/05/16(火) 07:10:14.68ID:DHMah8vu
それフィルターじゃダメなの、
0831デフォルトの名無しさん
垢版 |
2017/05/16(火) 10:39:32.85ID:zhIbn0v9
>>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

自分も勉強中だからもっといい書き方があるかもしれない
0832デフォルトの名無しさん
垢版 |
2017/05/16(火) 12:20:07.62ID:e1kn8e20
>>830>>831
ありがとうございます。
ワイルドカードを使う、関数でフィルターする、ラムダ式を工夫する、どれも参考になります。
10日くらいやって、F#を本格的にやる覚悟ができてきたので本予約してきました。

でもまだ、典型的なループにbreakがないのには慣れないなー……
0833デフォルトの名無しさん
垢版 |
2017/05/16(火) 13:54:00.84ID:063aFbk0
ループで分岐を行うという事に疑問を抱くところまで洗脳しましょう
0834デフォルトの名無しさん
垢版 |
2017/05/16(火) 13:57:34.27ID:ARwha8IE
世界トップクラスのプログラマだけど質問ある？
まあねーかw
最近の日本人はたるんでねーか？
まあこんなしょぼいところに俺レベルのプログラマなんているわけねーよなwwwwwwww
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況