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

**デフォルトの名無しさん** · 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

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

**デフォルトの名無しさん** · 2017/09/20(水) 19:05:13.20

完成度がたかいともいう

**デフォルトの名無しさん** · 2017/09/24(日) 11:05:49.20

>>858
Scalaも大して話題ないし
あとはjavaと.netの差

**デフォルトの名無しさん** · 2017/09/24(日) 16:06:41.16

Scalaは言語として色々とんがってるから言語マニアを引きつけるのと、比較対象となるJAVAがアレなところが。
C#も色々アレなとこはあるけどモダンな言語機能も取り込んでるしJavaよりは遥かにマシだからな

**デフォルトの名無しさん** · 2017/09/24(日) 17:59:58.12

ScalaはJavaの後継を目指しているけど
F#はC#を補完する存在だから
Scalaほど話題にならないっていうのはあるかも

**デフォルトの名無しさん** · 2017/09/25(月) 03:00:36.68

F#の言語仕様にそんな大きな不満はないんだけど
やっぱScalaはJava陣営ってのが大きいだろうな
Androidがデファクトだから将来性がある

**デフォルトの名無しさん** · 2017/09/27(水) 15:29:47.44

ふっ　ついにF#の時代が来たな

Microsoft、量子コンピュータ向けプログラミング言語を年内プレビュー公開へ
http://www.itmedia.co.jp/news/articles/1709/26/news064.html

**デフォルトの名無しさん** · 2017/09/28(木) 10:26:23.30

こういうことらしい

https://www.nikkei.com/article/DGXLASGT26H1M_W7A920C1EAF000/

**デフォルトの名無しさん** · 2017/10/05(木) 23:26:00.15

OCamlに無いから採用してないんだろうけど、implicitな型変換は正直ほしい

**デフォルトの名無しさん** · 2017/10/06(金) 09:20:34.16

それは設計思想的にないだろうし、自分はない方がいいかな
まあ気持ちはわかる

**デフォルトの名無しさん** · 2017/10/21(土) 14:48:51.44

VS2015でF#4.1にしたいんだがF#だけ更新するやり方わからん
VS2017にするのが一番速いのかね？

**デフォルトの名無しさん** · 2017/10/22(日) 23:28:29.96

バージョンアップしようが話題にならんって相当だな

**デフォルトの名無しさん** · 2017/10/23(月) 00:01:20.66

まあ最近のバージョンアップ小粒ですし…

**デフォルトの名無しさん** · 2017/10/23(月) 00:03:30.90

G#にバージョンアップする必要があるな

**デフォルトの名無しさん** · 2017/10/24(火) 22:47:21.59

>>872
三笑亭可楽の名前の由来は
山椒は小粒でもピリリと辛い　からきてるんだよ　豆な
ちなみに可楽は落語の始祖みたいな人

**デフォルトの名無しさん** · 2017/10/26(木) 21:35:56.69

>>870

Use F# on Windows | The F# Software Foundation
http://fsharp.org/use/windows/
の
Option 4: Install the free F# compiler and tools alone
のとこの
.Install the free F# 4.1 Compiler SDK from Microsoft
これ？

**デフォルトの名無しさん** · 2017/12/20(水) 11:18:33.39

俺たちの＃はどこに

https://forest.watch.impress.co.jp/img/wf/docs/1097/447/html/image2.jpg.html

**デフォルトの名無しさん** · 2017/12/22(金) 18:07:18.10

どこにってそこにある
それほど減ってない
pythonが食ってるのはphperなんだろううけど
それだけじゃこんなに増えないから全体のπも大きくなってるんか

**デフォルトの名無しさん** · 2018/01/03(水) 11:03:42.83

勉強するのに適当なサンプルコードあるとこ知らない？
例えば↓みたいなのが見たい

・関数型の参考になる
・副作用のコード
　　ファイルIO
　　フォーム
・クラス

**デフォルトの名無しさん** · 2018/01/03(水) 12:53:42.85

>>2にある通りだがF# Snippetsもいいと思うよ
関数型で副作用とかモナド信者が飛んできそうだが、そこはF#だから問題ないさ

**デフォルトの名無しさん** · 2018/01/03(水) 13:24:47.91

>>870
Thx　F# Snippets見てみる

**880** · 2018/01/03(水) 13:25:59.15

間違えた　本当は>>879です

**デフォルトの名無しさん** · 2018/01/08(月) 10:44:39.24

そもそもここの奴らどのバージョン使ってるかもわからん
普通に最新版使ってんの？

**デフォルトの名無しさん** · 2018/01/08(月) 10:46:43.90

モナド信者が筋斗雲のように飛んで来るように
F#ってそんなに注目されてるのかね

**デフォルトの名無しさん** · 2018/01/08(月) 10:47:19.58

男ならF#2.0だろとかいい出す頭おかしいやついそう

**デフォルトの名無しさん** · 2018/01/08(月) 13:24:55.92

>>882
諸事情で3。3.3.0.1あたりかな。

**デフォルトの名無しさん** · 2018/02/19(月) 10:01:13.69

実践F# 関数型プログラミング入門　読んでると
リストに気合入ってるんだけど
リストってLIFOじゃないですか

リストのコレクションとしての意味とかループとしての意味は分かるんですけど
LIFOの性質をこれまであんま使った記憶が無くて
その意味合いが分かんないんですよ
自分の中ではFIFOの方が使い勝手よさそうなのに、
あえてLIFOで実装された理由というかメリットが知りたいッス

**デフォルトの名無しさん** · 2018/02/19(月) 12:04:06.23

由来は知らんけど、追加は効率いいよね。
パターンマッチもいいかなと思ったけどそれは配列なら似たようなもんか。

**デフォルトの名無しさん** · 2018/02/19(月) 12:15:27.34

immutableなFIFOリストの実装が非効率的だからでは
FIFOを効率的に実装するためにはリスト末尾と先頭への参照を持つ必要があって
複数箇所から参照されてる場合にそれぞれを破壊的変更する必要がありそう

**８８６** · 2018/02/19(月) 14:39:39.10

事前に断っておくと、F#ではプログラミング初心者というか、つい先日からです

>>887　>>888
うん。なんとなくだけど実装上のメリットなら分からないでもないんだけど
結果として使いづらくなるのなら言語としてどうかなと

ちなみに、リストとかどういうケースで使ってますか？
やっぱ、あまり使わないですか？

**デフォルトの名無しさん** · 2018/02/19(月) 14:55:29.81

>>889
いや基本リスト使うけど。
中グルングルン回して何かする奴は配列の方が早いので必要な時は配列にする。

**デフォルトの名無しさん** · 2018/02/19(月) 14:57:01.82

コレクション、そも順序気にしないものも多いし。順序が必要な時は適宜rev入れたりして気を配ったりする必要はある。

**デフォルトの名無しさん** · 2018/02/19(月) 15:22:05.36

>>890　>>891
おおっ　Thx

なんとなく、納得しました　差し当たって気にし過ぎたのかなｗ
やっぱ、最初のうちは　とにかく書くだね

**デフォルトの名無しさん** · 2018/03/02(金) 22:08:36.41

>>886
自己レスなんだけど　リストがLIFOの理由が分かった
結構単純な理由なんだけど

F#を含む関数型の場合、データー構造も再帰で表現できるんだけど
リストも再帰で表現されているため、LIFOにしか出来ない
マトリョーシカで例えると、最初のデータが一番小さいマトリョーシカしかで、
追加する度に大きなマトリョーシカに包含となる
結果として、データを取り出す際には大きなまとりょから取り出すことになり、LIFOにしかならないと

Haskellの本読んでて気づいた　ちなみに、すごいH本読むと配列って記述無いんだよね
関数型と配列は相性が悪いらしい　不変じゃないしね　
Haskellの配列はモナドらしい　さらにO(1)でないらしい　純粋だね～

**デフォルトの名無しさん** · 2018/03/03(土) 16:33:39.51

Lisp から入る人が多いから、自明だと思われているのでは？

**デフォルトの名無しさん** · 2018/03/04(日) 11:45:52.08

演算子の優先順位（↓の一番下にある）の見方なんだけど
https://msdn.microsoft.com/ja-jp/library/dd233228(v=vs.120).aspx

| (パイプ) は|>のこと
f x (関数適用) は関数fの引数の割り当て　f 1+2は　　(ｆ 1)+2という意味
f(x) は.Netの関数の適用

でOKですか？
あと、関数の合成（>>）に関する規定が無いように見えるんですけど、どれに対応しますか？

**デフォルトの名無しさん** · 2018/03/04(日) 11:51:14.82

>>895
OKじゃない

**デフォルトの名無しさん** · 2018/03/04(日) 11:57:54.21

>>896
せっかく書くなら　お～し～え～て～

**デフォルトの名無しさん** · 2018/03/04(日) 12:13:12.98

結合って英語だと何になるんだ？

**デフォルトの名無しさん** · 2018/03/04(日) 12:18:40.95

なんのこと言ってるのかなと思ったけど

>>895のリンクの最上部を見るんだ

**デフォルトの名無しさん** · 2018/05/23(水) 20:50:11.72

僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法　モニアレフヌノ』

C6RTQ

**デフォルトの名無しさん** · 2018/06/17(日) 08:35:32.24

vs2017 communityでwpf/xamlでエラーが出る
未対応なのか?

**デフォルトの名無しさん** · 2018/06/17(日) 11:28:26.83

vs2017のバグでした

https://developercommunity.visualstudio.com/content/problem/265926/xaml-editor-error-window-is-not-supported-in-wpf-p.html

**デフォルトの名無しさん** · 2018/06/17(日) 15:54:06.27

ＭＳ　『しっし…仕様ですぅ～』

**デフォルトの名無しさん** · 2018/06/27(水) 14:52:41.49

>>893
Haskellの場合、リストを２つ使ってＦＩＦＯに変換する
１つはＦＩＦＯに変換したリスト　もう一つは蓄えようのリスト

ＦＩＦＯのデータが欲しかったら、蓄え用のリストからデータを順次取り出しＦＩＦＯ用のリストに保存
ＦＩＦＯ用のリストを使い切ったら、また、蓄えようのリストからＦＩＦＯのリストに変換

つまり、裏（ＬＩＦＯ）の裏は表（ＦＩＦＯ）　って使い方

**デフォルトの名無しさん** · 2018/07/05(木) 01:03:00.33

14X

**デフォルトの名無しさん** · 2018/07/08(日) 06:55:34.24

F*について語ろう

**デフォルトの名無しさん** · 2018/07/08(日) 11:32:31.41

聴きたいから語ってくれ

**デフォルトの名無しさん** · 2018/07/09(月) 00:25:21.43

くるしゅうない。続け給え。

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

朗報や

マイクロソフト、「F# 4.5」公開
https://news.mynavi.jp/article/20180817-679022/

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

新機能について全然書いてないな

**デフォルトの名無しさん** · 2018/08/19(日) 17:38:03.73

F# 4.5の話
http://pocketberserker.hatenablog.com/entry/2018/07/02/090000

**デフォルトの名無しさん** · 2018/08/19(日) 19:24:10.81

ほいっ
https://www.infoq.com/jp/news/2018/08/fsharp-4.5-preview

**デフォルトの名無しさん** · 2018/08/19(日) 20:36:25.07

さしあたって、ＭＳがＦ＃を忘れていなかったのがうれしいｗ

Haskell勉強中 now

**デフォルトの名無しさん** · 2018/08/19(日) 20:53:38.44

Match!は地味にいいな
後将来的な予定の匿名レコードはC#の匿名クラス的な使い方でそれがメソッド内超えて使えるようになる感じか？

**デフォルトの名無しさん** · 2018/08/23(木) 06:30:40.48

日本人は純粋好き

**デフォルトの名無しさん** · 2018/09/26(水) 12:04:36.29

忘れてないだけなのに小成功ｗ

**デフォルトの名無しさん** · 2018/10/19(金) 15:42:46.12

MSの割にはアンチが少ないよな
相手にされてないとも

**デフォルトの名無しさん** · 2019/01/17(木) 20:58:48.55

>>863>>864
Scalaのスレはなくなりここは残った

**デフォルトの名無しさん** · 2019/01/18(金) 04:12:05.97

scalaのスレもうないのかω

**デフォルトの名無しさん** · 2019/01/18(金) 14:40:27.50

はいscalaスレありました

**デフォルトの名無しさん** · 2019/01/18(金) 15:37:52.09

scalaが思ったより早く廃れたのはそれこそjavaの混乱のせいか
いやもっと前？
F#はなんだかんでMSが見捨ててないからな～

**デフォルトの名無しさん** · 2019/01/18(金) 15:42:40.48

wrapperな時点で負け

**デフォルトの名無しさん** · 2019/01/18(金) 15:49:27.22

世間では圧倒的にScala >> F#でしょ