スレ立てるまでもない質問はここで 151匹目

**デフォルトの名無しさん** · 2018/11/03(土) 19:08:18.89

質問する前にGoogleで検索しましょう。 http://www.google.com/
プログラム・ソフトの使い方は PC 初心者板やソフトウェア板へ。
ウイルス、ハッキング・クラッキングを求めるような発言は禁止です。
Javascript は Web 制作板、CGI は Web プログラミング板へ。
業界談義、愚痴はプログラマ板へどうぞ。
ゲーム関係の話題はゲーム製作板へどうぞ。
ネタ、板とは関係の無い話題はご遠慮ください。

前スレ
スレ立てるまでもない質問はここで 150匹目
https://mevius.5ch.net/test/read.cgi/tech/1537176309/

注意「～と～はどっちの方が○いですか？」みたいなのは
このスレの粘着荒らしですので無視してください

◆QZaw55cn4c · 2019/04/25(木) 20:34:50.78

>>874
素数
は
孤独である

**デフォルトの名無しさん** · 2019/04/25(木) 20:46:57.83

>>886
だいたいなんとかなる、ってことはC#は基本的にWindowsAPIを全部ダイレクトに使えるようなモノではないってことですか
Windows専用で細かいことしたければ最初からC++の方がいいですか

**デフォルトの名無しさん** · 2019/04/25(木) 21:04:56.06

>>888
C#でWindows APIをごりごり使うなら、なぜWindows SDK開発を選択しないのかという話になる。

◆QZaw55cn4c · 2019/04/25(木) 21:12:44.45

>>695
逆に三人称単数だけ残った理由が今でも不思議です
そもそも英語があんなに単純になったのも不思議
というか、古代言語は押しなべて変化や格等の文法事項が極度に複雑なのが、そもそもの最大の謎ですね
インドヨーロッパ語族というのは宇宙人から言語を与えられた種族の末裔なのではないかと考えることもあります

**デフォルトの名無しさん** · 2019/04/25(木) 21:14:06.59

>>888
どうせVisualStudio使うんだからC++だろうがC#だろうがどっちでもできるようになればいい

**デフォルトの名無しさん** · 2019/04/25(木) 21:46:35.84

windowsでやる細かいことってどんなことを想定しているのか
デバイスドライバの作成とかrootkitやメモリハックとかならC++の方がいい

◆QZaw55cn4c · 2019/04/25(木) 21:52:22.98

>>892
急に USB ユーザーモードドライバをやりたくなりました、適当な書籍はありますか？

**デフォルトの名無しさん** · 2019/04/25(木) 22:03:57.98

>>893
あんたインターネットにつながっているのになんでそんなことをここで聞いてんの？

**デフォルトの名無しさん** · 2019/04/25(木) 22:04:52.07

キーワードでぐぐればマイクロソフトのサイトで教えてくれているのに。

**デフォルトの名無しさん** · 2019/04/25(木) 23:58:03.57

VBAくらいしかできんけどオススメ言語ない？事務処理とかの自動化とかできるような言語がええな

**デフォルトの名無しさん** · 2019/04/26(金) 00:38:19.72

>>896
powershell

**デフォルトの名無しさん** · 2019/04/26(金) 00:51:49.89

ファイラーとか作るならC#
コマンドラインで処理するならC++

**デフォルトの名無しさん** · 2019/04/26(金) 01:43:23.24

今年は6月から週休3日に。夏のトライアルを続けるサタケの意図は？
https://news.yahoo.co.jp/byline/yatsuzukaeri/20190425-00123653/
日本マイクロソフトが夏に試す「週休3日」は家族旅行の費用もサポート！興味深いので詳しく聞いた
https://www.fnn.jp/posts/00044886HDK
4月から始まる「勤務間インターバル制度」をご存知？でも“努力義務”だと…厚労省に聞いた
https://www.fnn.jp/posts/00439561HDK
4月から“有給休暇の義務化”をご存知？会社がこんなことをしたら要注意！
https://www.fnn.jp/posts/00432872HDK
有給休暇100％を義務化したブライダル企業は「休めるはずがない」をどう払拭したか
https://news.yahoo.co.jp/byline/yatsuzukaeri/20190315-00118331/
日立システムズ、業務効率化をワンストップで支援するサービス
https://headlines.yahoo.co.jp/hl?a=20190424-00167360-bcn-prod
ラック、働き方改革を進める企業をリモート接続サービスで支援
https://headlines.yahoo.co.jp/hl?a=20190423-00000019-ascii-sci
「残業時間に上限」4月から始まる新たな制度の内容とは？　働く人の健康のプロ、産業医５人に聞きました
https://news.yahoo.co.jp/byline/mamoruichikawa/20190330-00119606/
残業・有休・フレックス　4月から変わる働き方新制度
https://headlines.yahoo.co.jp/article?a=20190329-00000006-nikkeisty-life
「シリコンバレーでホームレス」を選んだ18歳日本人が生き残った方法 ― Airbnb、起業、人生はハックできる
https://headlines.yahoo.co.jp/hl?a=20190324-00010002-binsiderl-peo

**デフォルトの名無しさん** · 2019/04/26(金) 08:12:10.14

>>888
ほとんどの機能は.net FWで使えるけど、それでも足りないならDLL呼び出したら良いじゃん、って話だよ。
基本的にはC#は言うとおり.net FWの全機能が使えるもので、.netとWindowsは密接に関わってるけど今はその他の環境も視野に入ってる。

**デフォルトの名無しさん** · 2019/04/26(金) 08:32:23.42

Xamarinってなんで案件少ないん???

**デフォルトの名無しさん** · 2019/04/26(金) 11:45:54.39

>>901
web系に取られた
windowsガクソ
そしてC#は落ち目

**デフォルトの名無しさん** · 2019/04/26(金) 13:52:05.41

>>896-898
VBScript, PowerShell も良いけど、Ruby がそれらを含んでいるので、より良い

# クリップボード内の複数行文字列の、各行の先頭・末尾から、
# 連続する空白類を除去して、クリップボードに入れる

str = `powershell Get-Clipboard`
str.encode! Encoding::UTF_8, Encoding::CP932 # UTF_8 へ変換

ary = str.each_line.map( &:strip ) # 連続する空白類を除去する

IO.popen( 'clip', 'w:cp932' ) do | clip | # CP932 へ戻す
clip.print( ary.join "\n" )
end

こういう感じで、Ruby からは、PowerShell コマンドも使えるので便利！

また、CSV.foreach で、CSV 入力ファイルを、1行ずつ処理できる

**デフォルトの名無しさん** · 2019/04/26(金) 19:19:44.66

>>902
C#落ち目か？
結構いい線してるじゃん。最近。

**デフォルトの名無しさん** · 2019/04/26(金) 20:41:03.01

>>903
またお前か

**デフォルトの名無しさん** · 2019/04/26(金) 23:24:32.19

web系ならBlazorで何とか入り込んで行って欲しいっすなぁC#

**デフォルトの名無しさん** · 2019/04/28(日) 06:06:19.99

あるサイトを閲覧した時、ソースの一部を元にデータベースを更新するということをやりたいです。
パケットキャプチャーを走らせて、ログをリアルタイムで解析できれば一番なのですが、
技術が足りない上に、できればブラウザで完結したいので、
ブラウザアドオンの仕組みなんかは全然知らないのですが、
なんとなくアドオンを作って、IndexedDBで出来そうかな？と考えています。
自分のやりたいことは、その当たりで可能でしょうか？

**デフォルトの名無しさん** · 2019/04/28(日) 11:12:25.34

その程度は余裕でできる
そうでないとアドオンでリンクのセキュリティチェックとかアドブロックとかできないでしょ

**デフォルトの名無しさん** · 2019/04/28(日) 11:37:22.79

> パケットキャプチャーを走らせて、ログをリアルタイムで解析できれば一番なのですが、

それは蛇口を締めたか確認するために、量水器を監視するようなもんだな
素人が知ってる言葉を使ってみただけで、何もわかってないことがよく分かる。

**デフォルトの名無しさん** · 2019/04/28(日) 11:38:21.32

> IndexedDBで出来そうかな？

これも言葉を調べただけで、それが何をするものなのか
全くわかってないな。

**デフォルトの名無しさん** · 2019/04/28(日) 12:05:43.43

>>909,910
本人も自分で何も分かってないから方向性を示して欲しいということを言っているのだろうから、つまらないことに突っかかってないで教えてあげれば良いのでは？

**デフォルトの名無しさん** · 2019/04/28(日) 12:25:47.79

>>911
後はよろしく

**デフォルトの名無しさん** · 2019/04/28(日) 14:02:49.35

>>909
まだcaptchaもブラウザの開発ツールも一般的でなかったころ、
あるサイトの、ログインから特定のボタンを押すのを自動化するため、
レスポンスヘッダを見て、ログインツールを作ったことはあったのですが、
HTTPのレスポンスボディはパケットキャプチャに含まれてませんでしたか？
記憶にないのですが、ありそうなので適当に言いました。

>>910
IndexedDBのサンプルを見た限りは、これで問題ないと思います。
ただアドオンから使えるようなものなのかどうか気になったもので。

>>911-912
>>911さん代弁していただき、ありがとうございます。
頓珍漢なこと言ってるかもしれませんが、多めに見てもらえるとありがたいです。

>>908
安心しました。どうもありがとうございます。
早速MDNを参考に、サンプル読んで始めてみたいと思います。

**デフォルトの名無しさん** · 2019/04/28(日) 19:45:21.05

VSとかのIDEをHDDに入れて、コンパイル用ファイルはSSDに入れてるのですが
IDEもSSDに入れたほうがコンパイル速度上がるのでしょうか？

**デフォルトの名無しさん** · 2019/04/28(日) 21:54:48.09

Ruby, Nokogiri, Selenium WebDriver で、ブラウザの自動操作ができる。
漏れはこれで、自分のPC 内にある画像ファイルも、ブラウザに表示して見てる

もちろん、Ruby で、CSV ファイルも、sqlite3 などのデータベースも使える

**デフォルトの名無しさん** · 2019/04/28(日) 22:02:52.24

>>914
なぜ実際にやればいい話を聞くのか？

プログラマなら自分で何に時間がかかっているのか調べられないといけない。

**デフォルトの名無しさん** · 2019/04/29(月) 00:24:55.91

意地悪しないで教えてやりゃあいいじゃねえか
>>914
そら速くなるよ
移せるんだったらHDDなんかに置いとく手はねえよ

**デフォルトの名無しさん** · 2019/04/29(月) 01:43:54.49

コンパイルに、ファイルの読み込みなんか、関係ないだろ

オプションで、CPU コアの数を指定できるだろ

**デフォルトの名無しさん** · 2019/04/29(月) 01:46:36.55

ソースコードはファイルに保存されてるだろ

**デフォルトの名無しさん** · 2019/04/29(月) 07:46:01.31

コンパイラ、環境設定、インクルード、等々全部ファイルだよ

**918** · 2019/04/29(月) 08:10:09.47

そりゃ、ファイルの読み込みも、少しは関係あるけど、
たいていの本には「CPU コア数 + 1」を指定しろって書いてあるだろ

つまり、コンパイルが並列処理できるかどうかが重要！

**デフォルトの名無しさん** · 2019/04/29(月) 10:29:28.80

ファイル読み込み遅いとマジでコンパイル遅いよ。
気の迷いで持ち運んでるタブレットでコンパイルしたとき、SDカードにプロジェクト入れてコンパイルするのと、
本体に入れてコンパイルするの両方したことあるけど、
本体のほうが二倍以上早かった。
CPUよりアクセス速度に律速になってたよ。
C++とGoとC#やってみたけど、コンパイル早いGoでもSDだと遅かった。
まあSDは極端だけど。

**デフォルトの名無しさん** · 2019/04/29(月) 12:08:05.16

>>921
お前いつものRubyバカだろう。
並列処理が使える環境で使うのは当たり前で、それさえやってりゃファイルI/Oがどうでもいいということにはならんぞ。
いつも｢～に書いてあった！｣とか言うが、それの理由も相対的な意味も理解せずに字面だけで記憶しているから、的はずれで頓珍漢な事ばかり書き込んでいるんだよ。
それなのに、いまだに自覚はないのか？自覚はあっても止められない病気なのか？

**デフォルトの名無しさん** · 2019/04/29(月) 12:22:08.50

そのIDEがインクリメンタルビルドをしない場合、このお題の状況なら厳密はコンパイル時間って変わらないよな？
コンパイル結果をIDEが読み込むラグ等は微増するとは思うけど

**デフォルトの名無しさん** · 2019/04/29(月) 13:22:13.06

インクリメンタルビルドもフルビルドもファイルのアクセス時間の影響があるに決まってるだろ

**デフォルトの名無しさん** · 2019/04/29(月) 14:16:37.31

VSにくっついてるコンパイラ自体とか標準ライブラリ類はディスクから読むんだからそりゃ変わるでしょう

VSCodeとかのエディタ単品ならコンパイルそのものはあんま変わらん気がするけど
起動や動作は確実に早くなるんだからどっににしろSSD入れた方がよいと思う

**デフォルトの名無しさん** · 2019/04/29(月) 15:10:29.10

>>926
なるほどコンパイラと標準ライブラリか
JDKみたいに分離されてるイメージで捉えてたわ

**デフォルトの名無しさん** · 2019/04/29(月) 17:07:00.17

イメージが何か知らんがそれと何の関係があるのか

**918** · 2019/04/30(火) 00:37:22.14

ファイル読み込みは、メモリキャッシュに入るから、遅いのは初回だけ。
afx 何々みたいな、プリコンパイル済みヘッダーもあるし

「CPU コア数 + 1」を指定すれば、4コアなら最大で、1/5 になる！

**デフォルトの名無しさん** · 2019/04/30(火) 03:14:26.56

読み込みは初回のみ大きな差があるが書き込みは毎回効く

**デフォルトの名無しさん** · 2019/04/30(火) 06:56:27.06

ライトキャッシュがあるから毎回は語弊があるだろ

**デフォルトの名無しさん** · 2019/04/30(火) 15:07:17.92

今から勉強始めるとしたら何がオススメ？

◆QZaw55cn4c · 2019/04/30(火) 15:10:20.26

>>932
お勧めかどうかはわかりませんが、私はこの連休中に
https://www.amazon.co.jp/dp/4274068269
を読み上げるべく、全力で雑用を片付けている最中です…

**デフォルトの名無しさん** · 2019/04/30(火) 16:11:16.65

>>933 プログラミング未経験です

**デフォルトの名無しさん** · 2019/04/30(火) 17:28:05.81

(それなら(SICP)をお勧めします。)
(日本語訳もあるし、コンピュータをこれからやるなら最適です。)

**デフォルトの名無しさん** · 2019/04/30(火) 19:22:39.82

独習C#のコマンドライン引数の項目に
https://ideone.com/87dKLB　というコードがあってこれを
コマンドラインから CLDemo one two threeと入力するのが課題みたいなのですが
そのやり方自体が載ってなくて困ってます　どうやるのでしょうか？
Win10 Visualstudio2019 です

**デフォルトの名無しさん** · 2019/04/30(火) 19:27:41.72

>>936
そんなクソみたいな入門書は投げ捨てろ
そのままコマンドライン引数でググれば出てくる
Windowsコマンドプロンプトの実行ファイルのあとに続けて書き込む文字列がMainの引数

**さまよえる蟻人間** ◆T6xkBnTXz7B0 · 2019/04/30(火) 19:32:30.23

>>936
エクスプローラのアドレスバーにcmdと入力してEnterキーを押せ。黒い画面が出てくる。これが「コマンドプロンプト」だ。
「cd Debug」でDebugフォルダに移動して、exeファイル名とコマンドライン引数をスペース区切りで入力して、Enter。
健闘を祈る。

**デフォルトの名無しさん** · 2019/04/30(火) 20:00:02.16

1. 「プロジェクト(P)」メニューの一番下「～のプロパティ(E)...」を選択
2. 出てきたウィンドウの左側の「デバッグ」をクリック
3. 「開始オプション」の「コマンドライン引数(N):」に「one two three」と入力
4. 「デバッグ(D)」メニューの「デバッグなしで開始(H)」を選択

**デフォルトの名無しさん** · 2019/04/30(火) 20:18:58.93

>>937-939
コマンドプロンプトは環境パスというものを通さないと出来ないのでしょうか
エラーがでて出来ませんでした…自分で調べてみます
Visualstudioのプロパティの方からは無事できました
ありがとうございます。

**さまよえる蟻人間** ◆T6xkBnTXz7B0 · 2019/04/30(火) 20:20:56.73

ああ、プロンプトはVS付属のやつを使うんだった。ごめんなさい。

**デフォルトの名無しさん** · 2019/05/01(水) 05:41:49.27

単にカレントディレクトリを変更できていないだけではなかろうか。
exeのあるディレクトリにcdで移動してからであれば、動作することは確認できた。

cdの使い方が分からないなら、エクスプローラーからPowerShellを起動する方法がある。
1. エクスプローラーでexeのあるディレクトリ(プロジェクトフォルダのbin\Debug)を開く
2. 何もないところをShift+右クリックする
3. 「PowerShellウィンドウをここに開く(S)」を選択
4. 「.\CLDemo.exe one two three」と入れてEnter
　(「CLDemo.exe」の部分はexe名に差し替える。先頭の「.\」を忘れずに)

**デフォルトの名無しさん** · 2019/05/01(水) 12:21:58.44

>>932
学習の足掛かりなら今もやっぱりJava
情報量が膨大だし、C# Kotlin Goあたりへのシフトもしやすい
ポインタがある言語やJavaScriptのような癖のある言語、関数型言語は次のステップでいいと思う

**デフォルトの名無しさん** · 2019/05/01(水) 14:34:45.88

Javaを学習の足がかりにするって今となってはめんどくさすぎるだろｗ
どんだけ環境を整えないといかんのだって

**デフォルトの名無しさん** · 2019/05/01(水) 14:41:09.45

HTML5かwin使ってるならC#でいいよ
Webにある入門ページでタイマープログラムとか
簡単なの作ってみて、何か作りたい物が見つかったら
それにあった言語また考えりゃいい
作りたい物やプラットフォームが決まったら
また相談にくればいいし

**デフォルトの名無しさん** · 2019/05/01(水) 16:28:58.75

>>943
自分もCー>Javaってやって行ったから分からなくもないが、
関数型言語(と言うか無限リスト扱えるHaskell)の方が初心者に優しいと思うぞ。

無限ループも、回数が決まってるループも同じmapやmapM_で扱えるから
whileとforを使い分けないで良いし。

アルゴリズム覚えるのに向いてるし。

PCの性能をもっと引き出したいからPCの仕組み勉強して手続き型言語へってした方がいい。

**デフォルトの名無しさん** · 2019/05/01(水) 17:10:47.23

>>944
all-in-oneのPleiadesをインストールするだけで良くね？
勉強用に使うだけなのに何が心配なの？

**デフォルトの名無しさん** · 2019/05/01(水) 17:47:56.26

>>946
whileとforの使い分けなんて学習コストほぼゼロやん
手続き型言語を知ってる人に関数型言語を説く解説は山ほどあるけどその逆はない
どうせ両方学ぶことになるんだから新しい方のパラダイムから学ぶこともあるまい
目的が明確な初学者なら関数型から入るのが近道になることもあるだろうけど、アルゴリズムがエレガントに書けるかどうかと世間一般的に平易かどうかの評価は違うでしょ

**デフォルトの名無しさん** · 2019/05/01(水) 19:33:06.44

>>948
まあ初心者向けの入門書が少ないのは事実だし、無理に勧める気もないけど。。。
一応すごいH本(中学生から読める)やプログラミングHaskell(高校生からかな)は、プログラミングの知識は前提にしてない。

whileとforを使い分けるのは一例だけど、覚える事が多過ぎる。
入門書が丸々文法を覚えるだけで終わるのがほとんど。

関数型言語の入門書は文法はアルゴリズムも一緒に教えるのが多い。
入門書の情報量が明らかに多い。

ライブラリ関数分からなくても自作しやすいのも関数型言語の利点。

ただまあ、マイナーだからね。。。
マイナーだから入門書が少ない。
入門書が少ないから初心者に選ばれない。
初心者に選ばないからマイナーなままと言う。。。

**デフォルトの名無しさん** · 2019/05/01(水) 23:22:01.34

エクリプスって今でも使われてんの？
とっくにintellijに移ったと思った

**デフォルトの名無しさん** · 2019/05/01(水) 23:24:43.36

ほらな？そうなるからJavaは面倒くさいんやで
ツールの使い方を覚えないといけない

その割にただのテキストエディタじゃ
すぐに作るのが大変になる

**デフォルトの名無しさん** · 2019/05/01(水) 23:39:45.03

メモ帳じゃモチベ上がらんしな

**デフォルトの名無しさん** · 2019/05/02(木) 00:25:34.64

>>951
ほらなて笑
一発インストールできるEclipseか別途JDKを入れるIntelliJか好きな方を選べばいいだけの話で両方覚える必要はない
選択肢が2つあるだけで悩んで身動きとれなくなっちゃうわけじゃないだろ
ツールの使い方ひとつ覚えるのがイヤならVSCodeも辛いのか？
これってお前にとっての最適解を言い当てろというお題だったっけか？

**デフォルトの名無しさん** · 2019/05/02(木) 00:28:01.79

>>953
俺じゃなくて「今から勉強始めるとしたら何がオススメ？」って言ってる人だろ
そりゃそんな人は、ツールを覚えるのが大変に決まってる

**さまよえる蟻人間** ◆T6xkBnTXz7B0 · 2019/05/02(木) 00:41:19.24

原始人ならMakefileでjavacしてる。IDEを使わない一つの選択肢。

**デフォルトの名無しさん** · 2019/05/02(木) 00:55:19.62

大まかな目的すら書かず「今から勉強始めるとしたら何がオススメ？」
ってのには「お前には全くプログラムは向いていない」の回答でいいよ

**デフォルトの名無しさん** · 2019/05/02(木) 01:01:44.43

IDEが嫌ならJDKだけ入れてREPLなり好きなエディタなりで書きゃいいと思うんだが…
すると最初の発言の「どんだけ環境整えなきゃいかんの」がわからん
どういうこと？

**デフォルトの名無しさん** · 2019/05/02(木) 02:03:01.88

クソみたいなコメントや、メソッド名・変数名が嘘ついてるソースコードのいい読み方を教えて下さい。

こんなコメント打ってあるのに、そもそも読んでるテーブルが違う上にInsertしてたり、全然別の処理してたり、意味不明なのが異常に多いです。
↓
//***テーブルから、条件***を満たしたレコードを返す
void FillAAATable()
{}

**デフォルトの名無しさん** · 2019/05/02(木) 04:31:15.75

コメントや名前を書き換えちゃえば
自分用にコピーして

**デフォルトの名無しさん** · 2019/05/02(木) 21:29:05.97

いきなりIDEから入るとコマンドプロントも知らない状態になる。

Windowsの操作の基本もわからない人間は困ります。

**デフォルトの名無しさん** · 2019/05/02(木) 21:45:05.90

コマンドプロントが必要になればそのときに覚えればいいわけだし、IDEだけで済むならその必要もない。

**デフォルトの名無しさん** · 2019/05/02(木) 23:46:58.28

Windowsの操作の基本はクリックです。

**デフォルトの名無しさん** · 2019/05/03(金) 00:40:22.48

コマンドプロントなんか普通知らなくていいけどテンプレの一行目の
「質問する前にGoogleで検索しましょう」
すら読んでなかったり理解できないのは困る

もう少しでこのスレも埋まるけど次スレはすでにある
スレ立てるまでもない質問はここで 149匹目
https://mevius.5ch.net/test/read.cgi/tech/1529199088/　
でいいよね？新しくたてたい人がいれば知らんが

**デフォルトの名無しさん** · 2019/05/03(金) 02:27:47.79

なんで3人ともコマンドプロントなんだよｗ

**デフォルトの名無しさん** · 2019/05/03(金) 05:59:07.32

IDEなど花拳繍腿！コマンドプロンプト&バッチこそ王者のツールよ！

**デフォルトの名無しさん** · 2019/05/03(金) 07:25:36.37

コマンドプロンプトはどうやったら起動できますか？
Powershellウィンドウのことですかわかりません＞＜
令和はコレだね

**デフォルトの名無しさん** · 2019/05/03(金) 09:37:39.58

コマンドライン引数はsteamゲーとx264でどういうものか覚えました！

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

そんなあなたにオススメの言語はAviSynth

**デフォルトの名無しさん** · 2019/05/03(金) 15:00:47.96

Ajaxを勉強するためのオススメの参考書ありますか？

**デフォルトの名無しさん** · 2019/05/03(金) 15:06:25.51

>>969
参考書で勉強するような概念じゃない

**デフォルトの名無しさん** · 2019/05/03(金) 21:00:57.78

>>969
https://jp.vuejs.org/v2/guide/

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

関数型プログラミングでは副作用はどう表現するのですか？
ファイルのIOやprintfは必要だと思うのですが。。。

**デフォルトの名無しさん** · 2019/05/04(土) 09:12:23.39

>>972
関数型言語のスレの方が良い気がするけど。。。
感覚的で良ければ。

圏論では変数も引数のない関数と見なすので、例えばgetLineみたいな副作用のある関数も一種の変数(外部からの入力が入っている変数)と見なします。

n = 1 ― 変数であり、引数なしの関数

入力
↓
getLine ― 副作用関数であり、入力が入っている変数

ただ、入力を通常の値と同じにすると参照透明性が破れるので、IO Stringの様に別の型にして、>>=からしか値が取り出せない様にします。
(逆に通常の型にIOを付けたい場合はreturnを使います)
そうする事で、副作用のある関数は普通の関数も使えるけど、逆は無い事が保証されます。

ぶっちゃけ、純粋関数型言語にも副作用はあると言えますが
(無いと主張するなら虚数の掛け算みたいな感覚。実数に対して90度の回転みたいに、虚空からの値の変数への束縛。
ただしその変数は常に部分適用で見た目が隠されている。みたいな)、
参照透明性が破られることは無い。と言うのが純粋関数型言語の特徴ですね。

**デフォルトの名無しさん** · 2019/05/04(土) 09:14:58.80

こう言う書き方はできない
(この場合、putStrLnはString->IO (), getLineはIO String)

main = putStrLn getLine ― 型が違うのでエラー。

これならおk

main = getLine >>= putStrLn ― 入力(ランダムも)したものの加工や出力は必ず>>=の後になる。
(getLine >>= \str -> putStrLn str を部分適用した)

or

main = do str <- getLine
putStrLn str

出力に対しても、出力関数が左端になる事を保証します。
(普通の関数との合成なども出来るが、普通の関数が左端に来る関数に出力関数が引数になったり、合成されることは無い)

main = map print [1..3] ― 型エラー。

main = mapM_ print [1..3] ― IOモナド用のmapMやmapM_(値を捨てる)ならおk

main = print.length [1..10] ― 出力関数が左端に来るなら、普通の関数と関数合成可能。

main = mapM (\_ -> getLine) [1..3] >>= mapM_ (print.length) ― 結局、型が合えば動くと言う点では普通の関数と同じ。

**デフォルトの名無しさん** · 2019/05/04(土) 09:16:00.91

制限に引っかかった。。。
main = do str <- getLine
putStrLn str

出力に対しても、出力関数が左端になる事を保証します。
(普通の関数との合成なども出来るが、普通の関数が左端に来る関数に出力関数が引数になったり、合成されることは無い)

main = map print [1..3] ― 型エラー。

main = mapM_ print [1..3] ― IOモナド用のmapMやmapM_(値を捨てる)ならおk

main = print.length [1..10] ― 出力関数が左端に来るなら、普通の関数と関数合成可能。

main = mapM (\_ -> getLine) [1..3] >>= mapM_ (print.length) ― 結局、型が合えば動くと言う点では普通の関数と同じ。

**デフォルトの名無しさん** · 2019/05/04(土) 09:29:06.06

main = do str <- getLine
putStrLn str

出力に対しても、出力関数が左端になる事を保証します。
(普通の関数との合成なども出来るが、普通の関数が左端に来る関数に出力関数が引数になったり、合成されることは無い)

main = map print [1..3] ― 型エラー。

main = mapM_ print [1..3] ― IOモナド用のmapM(値を返す)やmapM_(値を捨てる)ならおk

main = print.length [1..10] ― 出力関数が左端に来るなら、普通の関数と関数合成可能。

main = mapM (\_ -> getLine) [1..3] >>= mapM_ (print.length) ― 結局、型が合えば動くと言う点では普通の関数と同じ。

**デフォルトの名無しさん** · 2019/05/04(土) 09:31:47.15

main = do str <- getLine
putStrLn str

出力に対しても、出力関数が左端になる事を保証します。
(普通の関数との合成なども出来るが、普通の関数が左端に来る関数に出力関数が引数になったり、合成されることは無い)

main = map print [1..3] ― 型エラー。

main = mapM_ print [1..3] ― IOモナド用のmapM(値を返す)やmapM_(値を捨てる)ならおk

main = print.length [1..10] ― 出力関数が左端に来るなら、普通の関数と関数合成可能。

main = mapM (\_ -> getLine) [1..3] >>= mapM_ (print.length) ― 結局、型が合えば動くと言う点では普通の関数と同じ。

**デフォルトの名無しさん** · 2019/05/04(土) 15:52:20.32

オープンソースだとソースコードをチェックできるからセキュアだ、
というような言説がありますが、
例えばgithubでソースコードと実行可能バイナリが公開されていたとして、
本当にその実行可能バイナリがそのソースコードからビルドされたのか
分からないんじゃないですか？

何か簡単に確かめる方法はありますか？

**デフォルトの名無しさん** · 2019/05/04(土) 15:53:47.87

ソースあるなら自分でビルドするから

**デフォルトの名無しさん** · 2019/05/04(土) 16:01:13.99

オプソの開発者にも同じこと思ってる人は居てreproducible buildsみたいなプロジェクトもあるっちゃある

**デフォルトの名無しさん** · 2019/05/04(土) 16:11:09.41

バイナリに電子署名付けて私がビルドしましたって証明するのが限界で
元のソースを辿るのは無理だと思う

**デフォルトの名無しさん** · 2019/05/04(土) 16:11:46.40

このビルドはワシが育てた。

**デフォルトの名無しさん** · 2019/05/05(日) 01:22:11.46

>>978
ソースからビルドしたものとサイズを比較する。

**デフォルトの名無しさん** · 2019/05/05(日) 01:44:58.76

>>983
そんなものあてにならん
ビルドしたことないのか

**デフォルトの名無しさん** · 2019/05/05(日) 09:46:43.61

同じツールセットと設定でビルドすればバイナリの差分確認くらいできる。
タイムスタンプとか差分の出るところはわかってるんだから。
プロジェクトによってはちゃんと複数人でそれぞれビルドして同じソースからビルドしたバイナリなのを確認したりする。

**デフォルトの名無しさん** · 2019/05/05(日) 10:51:39.58

>>985
なに全時代的なことしてるんだ？ｗ

ビルドはCIによって自動的に行われ、ビルド手順は
ソースコードと同じようにバージョン管理されるんだから
そんな無意味で時間がかかる＝コストがかかる馬鹿げた方法をやる必要はない