0001デフォルトの名無しさん垢版
2011/05/01(日) 02:46:49.52OCAMLの流れを汲むこの言語、いろいろと面白そうなことができそう。
そろそろ日本語の情報が充実してきそうなこの言語について、幅広く語れ。
http://www.fsharp.net/
前スレ
【.NET】F#について語れ【OCAML】
http://hibari.2ch.net/test/read.cgi/tech/1186030985/
関連スレなどは >>2-
探検
【.NET】F#について語れ2【OCAML】
■ このスレッドは過去ログ倉庫に格納されています
OCAMLの流れを汲むこの言語、いろいろと面白そうなことができそう。
そろそろ日本語の情報が充実してきそうなこの言語について、幅広く語れ。
http://www.fsharp.net/
前スレ
【.NET】F#について語れ【OCAML】
http://hibari.2ch.net/test/read.cgi/tech/1186030985/
関連スレなどは >>2-
かな。たしか英語の原書しかないけど
でもまずプログラミングF#読んだ方がいいと思う
書き方が平易な感じでサクサク進められて、基礎的な部分は一通りキッチリ習得できたと思う
実践F#関数型プログラミング入門は確かにとっつきやすいんだけど
説明不足と思われるところが散見されるように思う
かといってプログラミングF#で十分ってわけではないんだけど
例えば、今アクティブパターン見てるんだけど、いまいち動作がわかんねー
分類としての役割と、型変換の役割があるみたいだけど、
その内部動作っというか、統一的にどのように動作してるのかがわからん
パラメータわたしのやつは順序がおかしくて分かりづらいと思うが
俺もその本で関数型学んだ
モッナードとかは無いけどオブジェ脳の人が感触をつかむのには良いよね
以下の＝ソース＝において、 | 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
match式以降はブロック別で、ずれてますので、
まぁわかりますよね
正規表現の奴はそのregexを元にほにゃららを返す値って感じ。
けどほんとはパターンを区別するって言うセレクターとした方がいいのかな？
| FIleExtension ".jpg"->printfn "画像"の方は、
FIleExtensionの引数がfilepathで、その結果が".jpg"とマッチするかどうか
| FIleExtension ext->printfn "未知 [%s]" extの方は
FIleExtensionの引数がfilepathで、その結果をextに代入（let束縛？）
って、ことみたい（プログラミングF#に記述の例で上のように解釈するような説明あり）
実践F#にも同様な例（P295）はあるけど、こちらは、説明なし
実体は上から順番に関数呼び出しの条件マッチだと思うが動作の仕組みを知りたいんだったらILを見れば。
たしかにね。いままで避けてきたから、考え付かなかった。
ただ、実践F#の方はなんの説明もないんだよ
それで理解できるわけないってーの
（| FIleExtension ".jpg" なら、FileExtensionの引数は”.jpg”でその結果が、filepathとマッチが
普通の理解だと思う）
多分、F#の文法理解のキモは、実践F#のどっかに書かれてた、
”let束縛や関数束縛にはパターンマッチが宿る”ってのがあって
それは何ぞやってことかなとも思うんだけど
それともまだちょいきびしい？
バージョンが5つぐらい進んだC#
くらい凄いのがなくなるわけ無いじゃん
勘違いしちゃいけないのは
成長中とかじゃなくてとっくに成熟してる分野だからな
一部の人が持ち上げてるだけで一般的にはそうでもないだけ
関数型って算術演算や金融関係で威力を発揮する
という理屈を解説してくれ
使えるし実案件で使ってる。
全部F#とかはやりにくいところもあると思うけど可能。
ロジックをF#でとかは普通に可能。
ただしDLLの参照はプロジェクトファイル直で編集しないとダメかも
あとはC#と同じくiosの制限に引っかからないかぐらいかな。
動的コード減らすように、ios向けにコンパイラ改良してるみたいではあるが。
というか前方参照できないのがVSに統合してるのに広がらない大きな理由のような
https://github.com/fsharp/fslang-design/blob/master/FSharp-4.1/FS-1009-mutually-referential-types-and-modules-single-scope.md
そんな理由でF#使うのやめるような奴いねーよ
現実に引き戻されちゃうold Cですら前方宣言あったよね？と
まるで使い物にならなかっただけの流れだとなんとなく思う
トップレベルの定義は型注釈必須になっちゃったりするんじゃね
let rec f1 () = f2 "" + f3 1
and f2 s = s.Length
and f3 x = x
むしろ f2 のように型推論が強化される場合もある
上から下にいくにつれて詳細化するほうが読みやすい
何言ってるのかよく分からん
わかるよ！
インターフェース定義とその具体的実装的なことでも言ってんの？
わかるよ！
わからんいうてる奴に「わかるよ！」ってなんやねん
ガイジか死ね氏ねウンコアヘアヘ仮面
またいつものあれか
↑これっぽいことをF#でやりたいんだけど↓うまくいかない、よいアイデアありませんか？
https://ja.osdn.net/pastebin/4866
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
数ヶ月書き込みがない過疎スレで「いつものあれ」とか無理あるだろ
あらクソスレにずっといついてるいつものあれでしたか
let add x y = x+y
を用いた関数合成した場合
■関数定義成功
１．let ft = add 10>> add
■関数定義失敗
２．let ft = add >> add
３．let ft = add >> add 10
２．、３．が失敗する理由は何でしょうか？
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ではない。
Thx 大枠理解しました。
>ここでaddを見るとint->int->intなのでこれはまたint->(int->int)でもある。
特にこの見方は非常に参考になります。
多分今回の件きちんと理解すると、
自分の中でごっちゃになってる部分が結構すっきりすると思います
ここから先は、調べてみます
ありがとうございました
Console.ReadLine().Split [|' '|]を、一つのletでint X Y Z Nそれぞれに入れるのには
どうしたらいいでしょうか？
日本語でOK
let [|X;Y;Z;N|]=...
ありがとうございます。
それ前に一回試してみてて、「試してみたけどマッチ不完全って出てムリでしたよ」書こうとして、
もう一回試してみたら、ちゃんとコンパイルできました。
何を言っているかわからないと思いますが、エラーは他の所だったんだなぁと。
ワーニングは出るけどコンパイルは出来るはず。
それもエラーになるような設定ってできるのかな。
けどおかしな文字列与えたら実行時にすっ飛ぶから、ほんとはlet じゃなくmatch使うべき。
match憶えました。
>>821
PAIZAのPOH7でF#が使えるのでやってみました。F#歴3日くらいです。
とりあえず全部解けたけど、ちゃんとした本を読んだ方がいいんだろうなぁ……
アレは炎上大好き民族のはてな民のデイリーノルマみたいなもんや
競技プログラミングにハマるプログラマのスレ 9 [無断転載禁止]c2ch.net
https://tamae.2ch.net/test/read.cgi/prog/1493085730/l50
| [|(false, f); (true, t)|] -> t
| [|(true, t); (false,f)|] -> t
| [|(true,t)|] -> t
| [|(false,f)|] -> 0
というのは正しいのですか？ケースが増えるにしたがって、めっちゃ増えちゃう気がするんだけど、
ループとか関数で処理することはできないんでしょうか。
マッチ式の練習って意味ならこうかな
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
自分も勉強中だからもっといい書き方があるかもしれない
ありがとうございます。
ワイルドカードを使う、関数でフィルターする、ラムダ式を工夫する、どれも参考になります。
10日くらいやって、F#を本格的にやる覚悟ができてきたので本予約してきました。
でもまだ、典型的なループにbreakがないのには慣れないなー……
まあねーかw
最近の日本人はたるんでねーか？
まあこんなしょぼいところに俺レベルのプログラマなんているわけねーよなwwwwwwww
なんか遠く無いうちに8.1ストアアプリとかディスコンになりそうだしその前に使えるようにしてくれないと困るわ
let CRI () =
Console.ReadLine() |> int
let m = CRI
let n = m + 1
としても、mがintではなくunit->intになってしまって上手くいきません。どうしたらいいんでしょうか。
CRIの型はunit->int
つまり () をうけとってint型を返す関数
let m = CRI () ってすればいい
let m = CRI とするとｍがCRIって関数のコピーになるから
let n = m () + 1 としてもいい
取る関数という意味だったんですね。
mが関数のコピーになってしまっていることは何となくわかっていましたが、
どうしたらいいかわかりませんでした。
色々まとめて関数化する入口になりました。ありがとうございます。
F#におこられてMSDN見たら
public Font(
FontFamily family,
float emSize
)
あれfloatだったんかｗ
0.5pt刻みとか普通じゃないかね
エラーも警告も全部潰し終わればだいたい思った通り動くものができてて
ある意味楽だよね
まあ自分もコンパイル通ったら思い通りに動いたってのは何度も経験した
let msgbox s = MessageBox.Show( s ) |> ignore
なんてのを毎回コピペしてるんだけどねｗ
oO(だってデバッグでコンパイル警告増やしてる場合じゃないもん
ということで>>847をそっとクリップボードに入れたとかは言えない)
最新のビルドツール（現在は2017）だけ無償提供するけど
過去のはMSDNサブスクリプション限定になったんかよ
もし他人から環境作り聞かれることがあったら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|]|]
みたいにデータ構造をそのままぱぱっと書き出して、ぱぱっと読める
みたいな方法はありませんでしょうか。
テキストではなくなるけど
ありがとうございます。
言語人気ランキングだと関数型の中では
Scalaについで上位なんだけど
まあ自分はコンピュテーション式の組み立てとかも適当にしかできないので猿でもわかるコンプ式とか誰か上げてくれ
Scalaも大して話題ないし
あとはjavaと.netの差
C#も色々アレなとこはあるけどモダンな言語機能も取り込んでるしJavaよりは遥かにマシだからな
F#はC#を補完する存在だから
Scalaほど話題にならないっていうのはあるかも
やっぱScalaはJava陣営ってのが大きいだろうな
Androidがデファクトだから将来性がある
Microsoft、量子コンピュータ向けプログラミング言語を年内プレビュー公開へ
http://www.itmedia.co.jp/news/articles/1709/26/news064.html
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【滋賀】いなり寿司を万引きしたとして誤認逮捕され、82時間拘束された女性、涙ながらに苦しい胸の内を明かす… ★3 [Hitzeschleier★]
- 埼玉の在日クルド人に差別や攻撃 県外からも電話「SNSで見た」 [少考さん★]
- 【サッカー】U-23日本代表、UAE代表に完封勝ちで2連勝！日韓戦を前に決勝トーナメント進出を決める [久太郎★]
- 慶應義塾長が国立大の学費増額を提言「年55万→150万に」 文科省の会合で [少考さん★]
- ロシア出身YouTuber、経済的困窮で「国ガチャ失敗」？嘆く日本人を一喝「給料13万？自分のせいやん」日本を「大当たり」とする理由は [muffin★]
- 【理研】日本人の祖先は「縄文系」「関西系」「東北系」の３系統か、ゲノム分析で従来の説「縄文と弥生」に疑問 ★2 [樽悶★]
- AFC U23アジアカップ カタール2024★8
- AFC U23アジアカップ カタール2024★9
- AFC U23アジアカップ カタール2024★10
- 【酒】日本vsUAE【U23アジアカップ】
- 【フジテレビ】2024 FORMULA 1【NEXT】Lap269
- 競輪実況 ★994
- 外人「日本で暮らしたい」←肉体労働しかないけど良いかな？
- 【実況】博衣こよりがえちえちplate up🧪★5
- Googleって勝手にドライブ内覗くの？やばくね？
- 【実況】博衣こよりがえちえちplate up🧪★4
- (*´ω｀*) だあ、だあ…だあ！！！！！
- コナンで1番有名なセリフといえば？