【.NET】F#について語れ3【OCAML】

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

このへん
https://fsharp.org/

**デフォルトの名無しさん** · 2020/08/14(金) 12:47:54.32

f#のapiリファレンス見れますか？
Listモジュールの関数一覧を知りたいのだけど。

**デフォルトの名無しさん** · 2020/08/14(金) 13:01:55.33

おおよそだったら

https://www.tutorialspoint.com/fsharp/fsharp_lists.htm

**デフォルトの名無しさん** · 2020/08/15(土) 16:03:13.72

一覧性はこっちもいいですね。
サンプルコードないけど。
https://fsharp.github.io/fsharp-core-docs/reference/fsharp-core-operators.html

**デフォルトの名無しさん** · 2020/08/20(木) 21:16:13.93

久しぶりにいじったらfsxのスクリプトとかもけっこう動作速くてビビった
HTAとかpowershellの重いやつF#でポツポツ書き直しとる

**デフォルトの名無しさん** · 2020/08/21(金) 00:19:46.75

vbsでコマンド窓出さないラッパとかも.netのほうがふつうに速いな

**デフォルトの名無しさん** · 2020/08/21(金) 23:07:05.50

fsxって今でも実行にf#のランタイム必要？
exeにコンパイルすればstandaloneになるけど。
windowsビルトインだけでfsxが動くなら配布しやすいんだよなー

**デフォルトの名無しさん** · 2020/08/22(土) 01:31:15.30

ランタイムが何を指してるか知らんけどどのみちfsiがなきゃ動かんだろ

**デフォルトの名無しさん** · 2020/09/30(水) 20:04:31.55

F#って、DBにデータが存在するとき上書き警告のポップアップをだして更新、なければ挿入、的な処理は作れるんですか？

**デフォルトの名無しさん** · 2020/09/30(水) 20:17:32.00

何で出来ないと思うの？

**デフォルトの名無しさん** · 2020/09/30(水) 22:13:47.43

手続きも書けるのですか？

**デフォルトの名無しさん** · 2020/09/30(水) 23:09:38.35

純粋と言われているＨａｓｋｅｌｌでさえ出来る

F#なんて、何でもあり
イベント、オブジェクト、フォームプログラミも
.netのクラスも、Win32も使いたい放題

ていうか、関数型プログラミングって、従来とそんなに違うもんなん？

**デフォルトの名無しさん** · 2020/10/03(土) 03:27:11.84

まさにそういう手続きかけるの？って話だろ

**デフォルトの名無しさん** · 2020/10/03(土) 09:28:48.71

デバイスドライバ

**デフォルトの名無しさん** · 2020/10/22(木) 10:37:14.60

パイプラインも見方によれば手続きじゃん

**デフォルトの名無しさん** · 2020/10/22(木) 14:22:20.80

手続きは基本的に個々のステートメントでIOが入るイメージ

**デフォルトの名無しさん** · 2020/10/26(月) 13:50:55.24

変数への代入という意味なら、λ式使うと出来るよ
Haskellのモナドはそうやってるし

**デフォルトの名無しさん** · 2020/10/26(月) 19:18:50.12

Stateモナドのことモナドって呼ぶのやめろ

**デフォルトの名無しさん** · 2020/10/26(月) 21:47:30.08

へ？　State関係ないあるよ

do記法の代入は糖衣外すとλ式に変換されるってことだけど
適当に探しても見つかるな
>>=をパイプラインと見れば…

https://qiita.com/saltheads/items/6025f69ba10267bbe3ee

**デフォルトの名無しさん** · 2020/10/27(火) 09:05:43.65

それは代入じゃなくて束縛
この文脈で変数への代入ってputとかmodifySTRefとかでしょ

**デフォルトの名無しさん** · 2020/11/03(火) 09:10:08.92

elmishはここでいいの？

**デフォルトの名無しさん** · 2020/11/03(火) 18:45:19.66

いいとは思うけど話題になったの見たことないな

**デフォルトの名無しさん** · 2020/11/04(水) 23:50:52.67

MVUアーキテクチャは関数型言語と相性いいと思うんですけど、f#でguiやるとき何使ってるんですか？
素のWinFormsとか素のWPF？
なにかいいフレームワークあったら教えて下さい。

**デフォルトの名無しさん** · 2020/11/04(水) 23:52:09.97

デスクトップアプリです。

**デフォルトの名無しさん** · 2020/11/05(木) 08:24:19.97

Fabulous でどうよ

**デフォルトの名無しさん** · 2020/11/06(金) 18:09:15.32

fsprojectsがサポートしてるのはよさそう。
XamarinForms使ったことないんですがUWPアプリになるんですか？クラシックアプリではなくて。

誰か使ったことある方いますか？

**デフォルトの名無しさん** · 2020/11/06(金) 18:13:14.58

donet cliでプロジェクト作るときにWPFオプションつけるとクラシックアプリを作れるような気がする。
後で試してみる

**デフォルトの名無しさん** · 2020/11/07(土) 09:31:12.43

WPFはサポートしてなかったっけ？
今も開発続いてるならWinUIとかにも対応しそうだが

**デフォルトの名無しさん** · 2020/11/14(土) 22:41:47.20

buildtoolsのみインストール、xamarin入れてない環境。
WPFオプション付けてプロジェクト作成、dotnet runでウィンドウ出ましたわ。コンソールにxamarinがどうのって警告でてるけど。
教えてくれた人ありがとう。
elmishと違ってUIもfsharpで書けるのね。

ちなみにUIのプロジェクトはnet475だった。netcoreappじゃないんだね。
fabulousはメジャーアップデートのpreview版リリースが続いてるみたいだけど、net5に対応するのかな

ひとまず、elmishで悩んでたことをこっちで試してみます。

**デフォルトの名無しさん** · 2021/02/04(木) 19:38:40.95

F#の文法の基礎とかアプリを作るまでの流れを学びたいんだけど、お勧めはありますか？
最初はオライリー買おうかと思ったんですけど、2010年08月発行とかなってて心配です。

**デフォルトの名無しさん** · 2021/02/04(木) 22:07:05.94

どういうバックグラウンド持った人か知らないけど、ベースから固めていきたい人ならf# 入門でググった結果→必要あればdocs.microsoft.comでいいと思うよ
作りたいアプリが決まってるなら、フレームワークの使い方から学んだほうが早いんでないかな。

**デフォルトの名無しさん** · 2021/02/04(木) 23:41:01.03

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

**デフォルトの名無しさん** · 2021/02/05(金) 00:52:16.10

>>72
古い本だけどこれ良いと思うよ
F#を使って関数型なプログラムするのどうしたらいいかっての書かれてる
F#は3でtype providerとか大きいの入ったけどそのあとはこまめな変更入ってる感じだしこの本の内容は今も全然生きてる

https://www.manning.com/books/real-world-functional-programming

**デフォルトの名無しさん** · 2021/02/05(金) 00:53:07.00

でもアプリ作る所、はあまり書いてないかも
アプリが何を指すか分からんけど

**デフォルトの名無しさん** · 2021/02/08(月) 23:15:17.36

>>75
ありがとうございます。英語ですか・・・。

作りたいのはWindows用のGUIアプリで、
在庫管理の入力や報告書の作成とかの会社の雑務を自動化出来たらなと思ってます。

もちろんもっと相応しい言語や環境があるのは分かっています。
ただ会社に許可は貰ってますが、特に求められても急ぎでもない半分趣味なので
折角なら前から興味のあった関数型言語でやってみよう、Windowsなら.NETかなという感じです。

プログラミング経験はVBA、Python、TypeScript、PowerShellの様なスクリプト言語のしかありません・・・
GUIを作った経験はほとんどなく、基本的に開発環境から直接実行していました。

一応すごいHは読み終わっていてオブジェクト指向との違いは概ね理解しているつもりです。

**デフォルトの名無しさん** · 2021/02/09(火) 00:44:50.72

>>77
日本語の本ほとんどないからねぇ…
自分はXamarinとかWindowsストアアプリでF#使ってたけどまあUIの仕組みとしてはMVVMであとはなんでもいいんじゃないですかね
Fabulous使う手もあるかもだけど

**デフォルトの名無しさん** · 2021/02/09(火) 01:03:16.55

上げられたようなアプリでいいならFabulousをWPF向けに使うので間に合いそうな気はします。
MVVM使った方が堅いとは思うけれど
MVVMの場合は全部F#でもいけるけどUI側はC#でやってVMから上はF#ってした方がデザイナでIDEの手助けを得やすいとかはあると思いまうす

**デフォルトの名無しさん** · 2021/02/15(月) 01:26:40.83

VMといえば仮想マシン

どーすればええやん？

**デフォルトの名無しさん** · 2021/02/17(水) 23:09:09.35

そういえば、.net 5って、Linux上のフォームアプリって未対応なん？

期待してたんだけど

**デフォルトの名無しさん** · 2021/03/06(土) 00:53:36.12

Hakellってループすらない　腹たつのり

ところで、F#のシャドーイングって、ループのためにあんの？

**デフォルトの名無しさん** · 2021/03/06(土) 02:31:20.35

関係ないでしょ
自分的にはそこ以降のスコープではそれより前にあるものをさわれなくする仕組み

**デフォルトの名無しさん** · 2021/03/06(土) 10:37:10.03

覚えているけど　名前からするとそっちかもしれんけど
でも、再代入とほぼ同じに見えるから…　って思ってた

ただ、ループ中のシャドーイングやってみると、代入と違う動作だた。
最後にシャドーイングされたものが、次のループでも生きると思ってた

っていうことで、撤回

**デフォルトの名無しさん** · 2021/03/16(火) 20:47:37.00

fsdn稼働してないね、やめちゃったの？便利だったんだけどな
dotnet cliしかインストールしてないせいか知らんけどFsharpApiSearch動かんし。

**デフォルトの名無しさん** · 2021/03/17(水) 00:22:11.85

全然使ってなかったわ
どういう時に使うん？

**デフォルトの名無しさん** · 2021/03/17(水) 00:29:51.51

レポジトリのreadmeにかいてあるよ
hoogleみたいなやつ

**デフォルトの名無しさん** · 2021/03/17(水) 13:51:03.97

シグネチャ元に探せるってやつだよね？
どういう時にそれが便利なのかがよくわかっておらず

**デフォルトの名無しさん** · 2021/03/17(水) 23:00:01.71

必要なapiをそらで言えれば、たいていは必要ないと思います。
自分は型でパズルしてるから使ってた。

例えばこんな問題どう？
// 改行区切りのコマンドリスト
let exec (cmdLine: string): () = pass
// 各ファイルへのコマンドを作る
let commands (filenames: string list): string =
…filenames
…|> List.map (fun n ->
………………………[
………………………Command (foo n 0)
………………………Command (bar n)
………………………Command (foo n 1)
………………………]
…|> 平たくしたいんだけどapiなんだっけ

commands |> exec

**デフォルトの名無しさん** · 2021/03/17(水) 23:04:39.26

あぁ…推敲しきらずポストしてもうた
怪しいところは汲み取ってください
要は、欲しい型はわかるんだけどapi覚えてないってときに使ってる

**デフォルトの名無しさん** · 2021/03/18(木) 02:54:39.89

なるほろ
使ってみたら便利なのかも知れるなと思いつつ今はダメなのか

**デフォルトの名無しさん** · 2021/04/14(水) 20:36:34.77

W10Wheel.NET (F# 4.1) のソースを Visual Studio 2013 (多分 F# 3.1 だよね？) でビルドすることってできないもんかね？
W10Wheel.fsproj の中の TargetFSharpCoreVersion タグの値を 4.4.1.0 から 4.3.1.0 に書き直して挑戦してみたけど、後述のエラーでとおらなかったんだわ
唯一解決できたのは「エラー FS0039: 名前空間またはモジュール 'FSharp' が定義されていません」の行の open FSharp.NativeInterop → open Microsoft.FSharp.NativeInterop の手直しだけ
他の場所も、同様に機械的な手直しで潰せるなら、方法わかる人、教えてくれたら大感謝！
--
エラー FS0039: 値またはコンストラクター 'Ok' が定義されていません
エラー FS0039: 値またはコンストラクター 'Error' が定義されていません
エラー FS0039: パターン識別子 'Ok' が定義されていません
エラー FS0039: 値、コンストラクター、名前空間、または型 'defaultValue' が定義されていません
エラー FS0039: 値、コンストラクター、名前空間、または型 'contains' が定義されていません

**デフォルトの名無しさん** · 2021/04/14(水) 23:25:34.73

そこら辺4になって追加されたりしたやつだろ
エラーになってるところ変えるなり同じ挙動するもの定義したりすれば良いのでは

**デフォルトの名無しさん** · 2021/04/15(木) 08:35:42.95

うん、そこまでは想像ついてる＞4系で追加
なんで、その置き換えとか、言語知識なしでも機械的にA→B的置換とかでできないもんか？　という相談

**デフォルトの名無しさん** · 2021/04/15(木) 11:50:46.24

率直に無理じゃね？とは思うけど教えてエロい人

**デフォルトの名無しさん** · 2021/04/15(木) 14:55:21.89

本来の目的をはっきり汁

**デフォルトの名無しさん** · 2021/04/15(木) 17:27:52.85

追加されたものはリフレクションなりぶん回せば取れるだろうけど、中身は自分で実装しなきゃだろうし。
Fosrynとか使って中身も持ってくるかソース直接見るか

**デフォルトの名無しさん** · 2021/09/24(金) 05:39:01.80

Cにとってのトライトーン
極めて不協和音である

**デフォルトの名無しさん** · 2021/09/26(日) 10:00:16.57

RustよりもF#のほうが高速らしいね。

**デフォルトの名無しさん** · 2021/09/26(日) 11:01:27.10

いや流石にそれはないだろw
原理的に無理では
イミュータブルでものによっては早くなるパターンがあるとかならまだわかるけど

**デフォルトの名無しさん** · 2021/11/16(火) 08:32:41.06

またまけた

意外と知らない「国民1人あたりのCO2排出量」　1位はサウジ、5位は韓国、日本は何位？
https://news.yahoo.co.jp/articles/7bb34c2df73df99608a785882a612ff49ede5ec1

**デフォルトの名無しさん** · 2021/11/16(火) 08:33:03.57

誤爆　スマホ

**デフォルトの名無しさん** · 2022/01/25(火) 11:52:31.80

まだ実用的なもの作ってないが
MSとは思えない程のエレガンス、ML系の正統な後継者だわ

**デフォルトの名無しさん** · 2022/03/17(木) 01:30:45.63

兄弟国　といえば　どこ？

しかし似てんな　やることも言うことも

ロシア語表記の袋入り注射器、山形の海岸にも漂着…砂浜数百メートルに散在
https://www.yomiuri.co.jp/national/20220315-OYT1T50098/#:~:text=数百メートルに散在,-2022/03/16&text=山形県庄内総合支庁,いるが、県内では初めて。

**デフォルトの名無しさん** · 2022/05/02(月) 21:07:24.60

き・も・ち・わ・る

**デフォルトの名無しさん** · 2022/05/11(水) 19:00:03.29

ocamlをWindowsで使うのが辛いので、ありがたい。

**デフォルトの名無しさん** · 2022/05/11(水) 20:00:16.28

vNextってもう来たんだっけ？

**デフォルトの名無しさん** · 2022/08/28(日) 08:35:00.65

勉強してアプリ一つ作ってみたけど結局C#でいいやってのが感想だった

**デフォルトの名無しさん** · 2022/08/28(日) 20:37:37.60

まあそう思うならそれでいいんじゃね？
ワイは使えるならF#のほうが遥かにマシだけど

**デフォルトの名無しさん** · 2022/08/28(日) 20:48:23.49

そう思わない人が多いからこういう状況なわけで

**デフォルトの名無しさん** · 2022/08/28(日) 21:44:52.14

まあF#らしい使い方しなければその恩恵は得られないんだから仕方はないだろ
テンプレの整備とかもアレだし

**デフォルトの名無しさん** · 2022/08/28(日) 22:13:04.30

F#らしい使い方をした上でC#の圧勝だった

**デフォルトの名無しさん** · 2022/08/29(月) 08:34:52.52

デフォルトイミュータブルにならないしパターンマッチもよく分からん記法だし末尾最適化もないしunionがやっと来るのか来ないのかだし、何をもって圧勝と言ってるのか分からん

マジでなんで圧勝なの？

**デフォルトの名無しさん** · 2022/08/29(月) 09:02:07.01

生産性

**デフォルトの名無しさん** · 2022/08/29(月) 10:28:31.35

ワイはF#の方が良い(イミュータブル、REPL、簡潔な構文・型定義など)けど、まあお前が思うならそうなんだろうとしか

**デフォルトの名無しさん** · 2022/08/29(月) 10:56:58.78

F#の方が良いと思う人が多ければこんな状況にはなってないよねとしか
俺はF#が良いと聞いたから勉強してアプリ1つ作り上げてやっぱC#だわと思った両方使える人なんだわ

**デフォルトの名無しさん** · 2022/08/29(月) 10:59:51.89

C#でもイミュータブルやREPLは使えるしC#の方が簡潔に書けることも多いのでお前F#しか知らんだろとしか思わん

**デフォルトの名無しさん** · 2022/08/29(月) 16:51:29.00

とりあえず言語の良し悪しと主流になるかは一致しねーよ
js知らねーのかアホ

部分的にC#の方が簡潔にできるところはあるが全体通してコード量が短くなる事はねーよ
とりあえずお前がろくにF#知らない低脳チンカスってのはわかったからもういいよ

**デフォルトの名無しさん** · 2022/08/29(月) 16:59:08.54

まあ最近はC#触るんでもUnityがメインなんで新しいバージョンの記法は追ってないからその辺で進化してたならすまんけど

コンストラクタで渡したものメンバーに代入とかしないで使えるようにとかもうなった？union来た？

**デフォルトの名無しさん** · 2022/08/29(月) 17:30:14.60

何も知らなくて草

**デフォルトの名無しさん** · 2022/09/04(日) 08:32:04.49

F#は進化の速度が遅いしメインストリームから取り残されてるのが難点
結局C#に乗り換えなきゃいけなくなる未来が予測できるのがいや

未来というか現在のBlazorどうすんのよ
Boleroじゃ代わりになんねんだよ

**デフォルトの名無しさん** · 2022/09/04(日) 08:35:39.92

>>119
コンストラクタに渡したものをコーディング無しでプロパティに代入したいならrecordやDIがあるから特に不便はないかな
unitは欲しいね

**デフォルトの名無しさん** · 2022/09/04(日) 08:36:22.42

予測変換でunitになったけどunionのことね

**デフォルトの名無しさん** · 2022/09/04(日) 09:53:55.58

>>121
まあそこは分かる
ライブラリーとして使う分には使えなくなる事はないのかなとは思うけれど.NET Nativeみたいにビルドから対応してないみたいのが出てくるとあれ

そこはCILとして対応し続けてほしい所だがの

**デフォルトの名無しさん** · 2022/09/04(日) 10:16:03.59

正直 D より F# が永息するとは思わなかった

**デフォルトの名無しさん** · 2022/09/07(水) 11:36:01.66

>>124
F#のアセンブリは.NETと完全な互換性はないからそのうち使えなくなることはあり得る

**デフォルトの名無しさん** · 2022/09/07(水) 12:07:12.13

完全互換じゃないってどういう話？
CILから外れてたらそも動かんやろ？

**デフォルトの名無しさん** · 2022/09/07(水) 12:14:01.18

>>127
F#の関数はC#から使えないこともあるって知らないか？

**デフォルトの名無しさん** · 2022/09/07(水) 15:52:29.80

それはC#がCILを満たしていてもなんでも呼べるわけではないって話じゃないの？
C#からのF#の呼び出し、やったの前だし呼びやすい形に調整してたから全部がどうとかは知らん。

**デフォルトの名無しさん** · 2022/09/07(水) 15:53:05.62

とりあえず具体的にこの辺の項目とか上げてくれ。完全性求められても知らん

**デフォルトの名無しさん** · 2022/09/07(水) 15:54:26.49

>>129
VBからも呼べないんだわ

**デフォルトの名無しさん** · 2022/09/07(水) 15:55:02.49

当然IronPythonからもな

**デフォルトの名無しさん** · 2022/09/07(水) 15:57:55.34

CILがどうとかじゃなくF#の関数はF#が消えたら呼べなくなるからdllだけ残っても何の役にも立たんよってこと

**デフォルトの名無しさん** · 2022/09/07(水) 17:41:01.64

internalじゃないやつは静的クラスのメソッドとして呼べるだろ？

**デフォルトの名無しさん** · 2022/09/07(水) 17:44:23.79

その辺のF#だけからしか呼べない形態、どれがあったのか忘れた(というかあまり問題にしてなかった)けど、他から呼べるように公開したいものはそう出来て、それはCILにのっとってるんだから>>126はちょと違うんじゃ？と思った次第

**デフォルトの名無しさん** · 2022/09/09(金) 09:23:25.38

流行らないなあ、キレイなML+標準ライブライブ超充実の、歪なようで噛み合う組み合わせがめっちゃ面白いんだけど

コミュニティには参加してないけど、むしろ面白さを重んじる俺みたいなアマチュア好みだからプロに疎まれてる感とかあるのかなって

**デフォルトの名無しさん** · 2022/09/09(金) 09:42:35.61

海外とかでメイン言語として採用してる会社とかもあるしプロだから、とかは別にないでしょ

ただやはりいつまであるのかってのは客からも上がってくるからそういうのを忌避したいとことか別にC#でいいんじゃ？って思うところはあえて採用しようとはしない、って感じじゃ

自分は生産性上がっていいと思うけどね

**デフォルトの名無しさん** · 2022/09/09(金) 12:00:31.47

vbがどうなったか覚えてるだろ？
あのマイクロソフトの代名詞にもなったvbが切られるんだからな
C#で十分な生産性が確保できる以上、五十歩百歩のメリットしか出せない割にデメリットのでかい別言語は要らんのよ
ほとんどスタッフの趣味で続いてるようなもん

**デフォルトの名無しさん** · 2022/09/09(金) 13:05:55.11

うんだから、お前がロクなメリットを引き出せてない話はわかったからそれはどうでもいいです

**デフォルトの名無しさん** · 2022/09/09(金) 13:31:54.27

引き出すも何もunionくらいだろ
些細なことよ

**デフォルトの名無しさん** · 2022/09/10(土) 18:54:08.21

C#のUnionはC#10に実装の話も出てたけど11にも間に合わなかったな
型制約とenumで似たようなことができるとは言えあればあったで便利だと思うんだが

**デフォルトの名無しさん** · 2022/09/11(日) 01:28:49.63

QiitaのF#を知ってほしい人もlinuxだし
M.Hiroi氏もWSLのUbuntuでF#入門やってた
windowsのVisualStudioじゃなくて
わざわざ仮想マシンやWSLのlinuxでやるのが主流なのかね

**デフォルトの名無しさん** · 2022/09/11(日) 13:02:27.33

C#から呼び出せるとか.netライブラリ使い放題とかは正直微妙に終わったと思う
その代わりUnix系言語の1つとして認められるようになった
この板はwindows系の言語は無視される傾向にあるのでそれはよいことだ
俺みたいにwindowsのCUIでしか使ってないごく少数派からみれば微妙ではあるが

dotnetになってからコマンドラインだけでやるのはもうしんどいというか無理があるね
設定をxmlで書かないといかんし調べてもよくわからんかった
fscとfciでがんばり続けるほどのレガシーもないからいいけど

**デフォルトの名無しさん** · 2022/10/16(日) 18:17:06.10

Fableやろうとしたけど環境構築で死んだわ
もうちょっと情報が充実してくれると助かるんだけどねえ