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

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

**デフォルトの名無しさん** · 2019/01/18(金) 19:31:06.14

Scalaの方がユーザーは多そうなのに

**デフォルトの名無しさん** · 2019/01/22(火) 19:29:00.13

Scalaは流行り廃り激しいWeb系としてもてはやされたから急におとなしくなった感はある
今は固定層だけ使ってるんじゃね
F#は特に流行ってないから廃れた感じもないｗ

**デフォルトの名無しさん** · 2019/01/22(火) 20:28:14.94

俺は、Haskellずーーーーと勉強してる
一見わかりやすそうな文法なんだけど、難しいな　これ
ただ、知識欲は満たされる

**デフォルトの名無しさん** · 2019/01/24(木) 00:54:22.80

ない　ない　どこにまない

【ＩＴ】習得したいプログラミング言語、したくない言語プログラミング言語実態調査 2018
https://tech.nikkeibp.co.jp/atcl/nxt/column/18/00501/111200004/

**デフォルトの名無しさん** · 2019/01/24(木) 11:11:58.11

こないだ見くびられてる言語5つに入ってたな

**デフォルトの名無しさん** · 2019/01/26(土) 02:19:11.29

Lens最強！

**デフォルトの名無しさん** · 2019/01/26(土) 21:42:56.42

正直C#に公式でOptionとEitherと末尾再帰最適化と諸々のイミュータブルなデータ構造周りを入れてくれればもうそれでいいや

**デフォルトの名無しさん** · 2019/01/26(土) 23:53:52.86

型推論つかない限りC#クソって言い続けるわ

**デフォルトの名無しさん** · 2019/01/27(日) 00:00:28.26

いつになったらUnityで公式採用されるんだ

**デフォルトの名無しさん** · 2019/01/27(日) 00:47:38.92

ほんそれ
テイルコールはいいから、せめてネスト型数の制限だけなんとかなってくれればなぁ

**デフォルトの名無しさん** · 2019/02/01(金) 23:47:03.12

書き込みあったと思ったらF#の話じゃなくてC#の話じゃんｗ

**デフォルトの名無しさん** · 2019/02/02(土) 12:45:41.79

言語進化ペースも遅いからな
けど今度の匿名レコード型は期待してる

**デフォルトの名無しさん** · 2019/02/08(金) 16:52:01.21

C#どころかVB.NETに負けてるわけだしなあ

**デフォルトの名無しさん** · 2019/02/08(金) 17:33:34.67

何が負けてるん

**デフォルトの名無しさん** · 2019/02/08(金) 17:42:19.22

そもそもMS組の中で勝ち負けを考える言語だったとは驚きだ

**デフォルトの名無しさん** · 2019/02/10(日) 00:46:10.56

>>758
過小評価すんなよｗ

**デフォルトの名無しさん** · 2019/02/10(日) 02:11:48.39

まあC#8.0でまだ2.0にすら追いつけてないからな

**デフォルトの名無しさん** · 2019/02/12(火) 03:21:13.66

ぐぐるとブログの先生方のありがたい記事はアウトデイト過ぎて
qiitaに負けとる…

**デフォルトの名無しさん** · 2019/03/05(火) 05:24:51.17

https://qiita.com/cannorin/items/59d79cc9a3b64c761cd4
この人 GNU/Linux でしか F# 書いたことないとかまじか
なんでF#なんて使ってんだろ？まったく伝わらんｗ

**デフォルトの名無しさん** · 2019/03/05(火) 08:03:17.17

いやそこになんでF#がいいか書いてるやんけ…
いろんな言語のいいとこ取り含め何が分からないんだ

**デフォルトの名無しさん** · 2019/03/05(火) 10:44:15.42

exeゲロるんだっけ

**デフォルトの名無しさん** · 2019/03/08(金) 21:46:13.66

まだ見捨てられてないの？

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

最初から見捨てられてたからそれよりはマシになった感じ

**デフォルトの名無しさん** · 2019/03/09(土) 07:49:19.81

G♭の方がカッコイイ

**デフォルトの名無しさん** · 2019/03/23(土) 00:41:02.20

関数型言語が流行るときは果たして来るのかな？

2010年くらいまでは、cpuとgpuがまもなく統合されて、命令的でなく、宣言的にかける関数型言語でかくことでプログラムの並列化が自動的になされる時代が来るとかいう謳い文句をよく耳にした。

でも現実は関数型言語で並列プログラミングをしている人は少なくて、directx12とかvulkanの登場に象徴されるように、並列化したければ、寧ろもっと命令的でstate machineを操作するようなスタイルが主流になってしまった。

**デフォルトの名無しさん** · 2019/03/23(土) 00:54:03.50

いやDirectX とか引き合いに出されても、それが普通の並列のケースかいったらちがくね？

**デフォルトの名無しさん** · 2019/03/23(土) 00:54:13.93

コンピュテーション式を使って、async{}の内部では文を特別に解釈することで、簡単に非同期処理をすることができるというのはF#の優れた点だと思う。
けれど、AsyncなんかはC#とか色々な言語に取り込まれつつある。

折角頑張って本を読んで、F#を使ってはみたが、クラスを作らなくてよい、代数的演算ができるようになったC#という程度の使い方しかできない。

コンピュテーション式は俺には使いこなせる気がしない。プログラミング言語を使うことそれ自体が目的みたいな人なら使えるかもしれないが。このスレッドをざっと見てみたけれど、殆どのF#でコンピュテーション式とかそういう機能使う人いないんじゃないかな。

**デフォルトの名無しさん** · 2019/03/23(土) 00:59:32.27

結局俺が言いたいのは、2010年くらいまでによく聞いた関数型言語の宣伝文句は大げさ過ぎだったということだ。

**デフォルトの名無しさん** · 2019/03/23(土) 01:06:26.22

>>949
普通のケースではないけれど、当時はゲームエンジンの制作者までもが関数型言語に期待しているような記事があったんだよ。ゲームにまでも関数型言語か！これは関数型言語をやらざるを得ないな！って思ったことを覚えている。
https://game.watch.impress.co.jp/docs/20080911/epic.htm

**デフォルトの名無しさん** · 2019/03/23(土) 01:21:43.24

よく分からないんだが、自分が使いこなせない？のかよく分からなかったという理由で誰も使ってないと思うのはなんなの？
WEBでもReactとかまさに関数型の考えでできてるしElmはピュアだし、いろんな言語に関数型の要素取り入れられてる
シェーダーとかまさに関数だし、ゆにていのECSとかオブジェクト指向で色々効率悪かったから値の配列を元に処理するぜって話だし、Rx系もいろんなところに移植されてる。
むしろ色んなところで関数型の考えで応用されてると思うけど。

**デフォルトの名無しさん** · 2019/03/23(土) 01:30:39.33

デザパタとかほとんど不要になったしな

**デフォルトの名無しさん** · 2019/03/23(土) 04:56:56.13

>>948
・ユーザーは同じ操作をすれば同じ結果が返ってくるソフトを求めてる(ある種の参照透明性のあるソフトを求めてると言える)

・しかし手続き型言語は参照透明性が保たれない。

この時点で論理矛盾は有るんだけど、流行らないでしょうね。。。ー>関数型言語

**デフォルトの名無しさん** · 2019/03/23(土) 05:05:32.95

>>952
覚えてますよー。
恐らく並列用のライブラリ充実で手続き型言語で良いやってなったんでしょうね。
シングルスレッドは手続き型言語優位ですし、並列ライブラリ揃えばパフォーマンスは手続き型言語に軍配上がりますから。

**デフォルトの名無しさん** · 2019/03/23(土) 05:11:15.99

ちなみにHaskellは純粋関数型言語という事で並列に向くのではと思われましたが、純粋さの為に遅延評価だったのが災いしてます。
(遅延評価が並列動作を徹底的に邪魔をする)

実用的には金融系で採用されたOCamlのように純粋でない関数型言語の方が並列に向いているようです。
(並列プログラミングでよく名前の上がるErlangも純粋じゃないですよね)

**デフォルトの名無しさん** · 2019/03/23(土) 11:44:18.54

遅延評価と純粋性がごっちゃになっておる

**デフォルトの名無しさん** · 2019/03/23(土) 12:37:37.78

俺純粋なんだけど、あの子は振り向いてくれない

みたいなもんか

**デフォルトの名無しさん** · 2019/03/23(土) 12:43:08.27

>>959
純粋男子はモテないからな
ジェントルよりワイルドに
ワイルドよりデンジャラスよ

**デフォルトの名無しさん** · 2019/03/23(土) 14:19:44.65

Haskellが遅延デフォなのは副作用を外に持ってた関係？
その辺よく知らんけど純粋と遅延は一体じゃないでしょ
関数型はパフォーマンスではそりゃゴリゴリメモリ書き換えるやつの方が速いかも知れんが、そりゃメンテ性とか色々一切無視したあまりにも乱暴な議論じゃねーの。

重ねていうけどいろんな言語に関数型の概念は染み渡ってて、それで関数型が流行らないとか言われてもむしろすでに乗っ取られてはしませんかって感じしかしないわ。

そもそも関数型も手続き型も各々得手不得手あるんだからどっちが勝った負けたの話じゃない

**デフォルトの名無しさん** · 2019/03/24(日) 22:48:09.05

質問です。２重ループ内で関数Fを呼び出して処理をしようとしているのですが、これをreduceなどを使って簡潔に表現する方法はありますか？

for i in seq1 do
for j in seq 2 do
F(i,j)

**デフォルトの名無しさん** · 2019/03/24(日) 22:56:58.91

先ほどの訂正:
seq1は２次元のコレクションでseq1の各要素を引数にしてとある関数Fを呼び出すということをやりたい。

for i in seq1 do
for j in seq1.[i] do
F(seq1.[i].[j])

**デフォルトの名無しさん** · 2019/03/25(月) 01:12:57.65

Haskellしか知らんけど、関数型言語である以上似たようなものがあるはずなので。。。

1・main =print $ [map f (lst!!y) | y <- [0..length lst - 1]

lst = [[1,2,3],[4,5,6]]

f = (+1)

2・main =print $ map (map f) lst

lst = [[1,2,3],[4,5,6]]

f = (+1)

**デフォルトの名無しさん** · 2019/03/25(月) 08:28:31.79

>>963
seq1|>Seq.collect id|>Seq.iter F
のことでいいのかの？

**デフォルトの名無しさん** · 2019/03/25(月) 08:35:51.05

let f = printfn "%d"
let l = [[1;2;3]; [4;5;6]]
let kk = List.collect id l |> List.map f

**デフォルトの名無しさん** · 2019/03/25(月) 08:36:41.76

かぶったすまん
iterの方がええね

**デフォルトの名無しさん** · 2019/03/25(月) 13:16:59.54

いやmapしたいのだったらそっちで正解かと

**昨日質問したものです** · 2019/03/25(月) 22:24:43.80

>>964
Haskellなのでよくわからない部分もありますが、
map f (lst!!y)が1つ目のforループの代わりになって
(lst!!y) | y <- [0..length lst - 1]が2つ目のループの代わりになる感じだと理解しました。

>>965
Seq.collect idを使って2次元を1次元に並べ直すんですね。

ありがとうございました。関数型言語は難しいです。
私には、forループの方が分かり易く思えてしまうのですが、皆さんは副作用のない場面ではforよりcollectとかmapを使う感じですか？

**デフォルトの名無しさん** · 2019/03/25(月) 22:50:11.46

気分かなー
上からパイプライン演算子で繋がってない時はiterの代わりにfor使うことも

**デフォルトの名無しさん** · 2019/03/25(月) 23:12:16.99

>>969
うい。
Haskellのlst!!yは普通の言語のlst[y]に置き換えてくれれば。

リスト内包表記でも作れそうだと作ってみましたが、
普段インデックスなんて意識しなかったから、ちょっと悩みました。

最初、こう書いてみたら2次元から1次元になったので違うな。。。と。
(全部に適用するのは同じですが、リスト(配列)の構造(次元)が違ってしまう)

[f (lst!!y!!x) | x <- [0..(length.head) lst - 1], y <- [0..length lst - 1]]

結局map (map f) lstが一番簡潔でしたが。

**デフォルトの名無しさん** · 2019/03/25(月) 23:18:05.28

F#良く知らないけど内包表記で
[ for xs in xss do
for x in xs -> f(x)]
みたく書けないん？

**デフォルトの名無しさん** · 2019/03/25(月) 23:33:50.20

>>970
変に関数型にこだわるより簡潔に書ける方を使うということですね。

**デフォルトの名無しさん** · 2019/03/25(月) 23:44:59.82

>>971
lst!!y!!xでコレクションの形を表してxやyに対しての操作を記述しているってことですか？
このような記述はＦ＃でできるのかな。。。

>>972
質問の仕方が曖昧だったかな。リストを生成するのでなくて、コレクションの各要素に対して関数を適用して副作用を得るのが目的。で、それをforみたいなループを使わずに書けないかという質問でした。

**デフォルトの名無しさん** · 2019/03/25(月) 23:55:50.61

>>974
あんまり難しく考えなくて良いですよ＾＾;
リスト内包表記でxとyの全ての組み合わせが小さい順で出るので、それをインデックスに使ってるだけです。
F#にもあると思いますよ。

1次元になって良いなら、

(map f.concat) lst

が簡潔でしょう。

>>965-966 のcollect id がちょうどconcatと同じ事してます。

**デフォルトの名無しさん** · 2019/03/25(月) 23:57:10.44

>>974
オペレーター書けば出来るとおも

**デフォルトの名無しさん** · 2019/04/05(金) 14:57:42.01

Microsoft makes F# 4.6 and F# tools for Visual Studio 2019 generally available

**デフォルトの名無しさん** · 2019/06/18(火) 06:24:44.70

プログラム板にキチガイ降臨中！botに一晩も反応する異常さ
一般人(学校恩師)に殺害予告をしているのでスレ建て通報してください。
https://mevius.5ch.net/test/read.cgi/tech/1559872586/

142 名前：a4 ◆700L1Efzuv 投稿日：2019/06/18(火) 05:29:55 ID://qVkzO
>>141
名古屋の人な　俺ね、君の問題を大橋先生と混ぜないことにする。つまりね、
片桐孝洋のことをボコろうと思う。普通に顎の骨を折る。これくらいで警察来るか？
一般市民とかさ、普通にさ、俺らの秘密なんだけどさ、日本人なんて復活ねーから。

**デフォルトの名無しさん** · 2019/07/09(火) 22:26:17.25

F#の公式リファレンス
たとえばList.splitAtが
左側のメニューにはあるけど一覧表のほうには無かったり
色々不備がある、コアライブラリの漏れの無い完全なリファレンスってどうやったら得られる？

https://msdn.microsoft.com/visualfsharpdocs/conceptual/collections.list-module-[fsharp]

**デフォルトの名無しさん** · 2019/07/09(火) 23:29:34.93

ソースみたほうが早いやろ

**デフォルトの名無しさん** · 2019/07/10(水) 07:48:30.66

>>979
インテリセンス？

**デフォルトの名無しさん** · 2019/07/10(水) 10:27:08.20

バージョンアップされたり
パッチ出るたびに
毎回ソース見直すのか
ご苦労さん

**デフォルトの名無しさん** · 2019/07/10(水) 14:49:37.18

>>982
公式ドキュメントの漏れや不備がないか心配って言ってるんだからそれしかないだろう
バージョンアップの度にソース見直すとかってのはお前が勝手に言いだしてることだから俺には意味がわからん

**デフォルトの名無しさん** · 2019/07/13(土) 03:11:40.87

>>979
公式リファレンスがいろいろ不備があって不便、でよかった
どうやって得られるとか変に前向きな姿勢見せたからこのありさま
スキ見せたらあかんで！

**デフォルトの名無しさん** · 2019/07/13(土) 05:05:29.01

スレたて以降８年もたってるのに全然流行ってる気配ないぞ