次世代言語議論スレ[Go Rust Scala Haskell]第5世代 [無断転載禁止]©2ch.net

**デフォルトの名無しさん** · 2017/06/13(火) 08:54:07.99

いざ、語ろうぞ。

スレタイ超過のため、一部省略。
その他もウェルカム。

前スレ
次世代言語議論スレ[Go Rust Kotlin Scala]第4世代
http://mevius.2ch.net/test/read.cgi/tech/1492631007/

あ · 2017/08/17(木) 09:00:54.38

>>834
すでにディーゼル発電機回ってるような状況で、本番機の分しか電源取れないような時に、テスト環境まで起こしてられん。

>>835
切り分け得意だよ。あとバグ出し。
むしろ多動だからなのでは？

**デフォルトの名無しさん** · 2017/08/17(木) 09:08:56.76

>>830
どう見ても汎用言語じゃないんだが。。。
RとかMathematicaの分野の次世代言われてもな。。。

**デフォルトの名無しさん** · 2017/08/17(木) 09:10:01.18

今fortranで量子化学のプログラムのボトルネック部分書いたんだけど、バグ取りしんどいわあ。
Juliaで書けって話だけど、Juliaコードは他言語からの呼び出し微妙なんだよな

**デフォルトの名無しさん** · 2017/08/17(木) 12:29:44.17

>>838
そういう用途ならFFIじゃなくてファイルだけ連携する伝統的なバッチでいいだろ
その方がリトライや並列化も簡単だし

**デフォルトの名無しさん** · 2017/08/17(木) 13:35:40.38

>>839
渡さないといけない波動関数情報が4GBとかになってディスク書き込みにえらい時間がかかるので、ハードディスク書き込みは最低限にしたいんだけど、なんか良い方法あるもんですか？

**デフォルトの名無しさん** · 2017/08/17(木) 14:51:29.63

>>840
RAMディスク作るとかRAIDやクラウド使うとか

あ · 2017/08/17(木) 15:51:15.31

>>840
tee的なコマンド作るといいんでないの？

**デフォルトの名無しさん** · 2017/08/17(木) 18:45:53.40

他言語から一番呼びやすいのは C なわけだが。

**デフォルトの名無しさん** · 2017/08/17(木) 19:01:21.96

>>841
あんまり詳しくないんだけど、/dev/shmにファイル作って書き込むみたいなもんです？

>>842
？？？

**デフォルトの名無しさん** · 2017/08/18(金) 00:00:31.37

Cは呼びやすいっちゃ呼びやすいんだが
関数のプロトタイプもろもろがヘッダファイルで定義してあるから
ヘッダファイルの移植が面倒だなぁ
何かライブラリのインターフェースに関して
統一的なフォーマットが欲しいと思わなくもないけど
どっちにしたって関数の呼び出しに必要な構造体とかも
ヘッダファイルで定義してあるし、どうにもならないんだろうな
標準入出力でやりとりするのもタルいし
WindowsならCOMとかあるけど・・・

**デフォルトの名無しさん** · 2017/08/18(金) 00:04:56.58

てか、それくらいプリミティブな仕組みだから呼びやすいわけだ。

あ · 2017/08/18(金) 01:19:03.96

>>844
中間ファイル作りながら、次工程進めれば良いのでは？って。
HDDに書き込むのはその端末自身である必要も無いだろうし、別の端末にやらせても良いかと。

teeコマンドは、標準入力からの入力を、ファイルなりなんなりと標準出力に出すコマンド

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

シミュレーションなら入力の内容は全部まとめて読むだろうからパイプを使うのはあまりメリット無いでしょ
デッドロックの原因になるから作法的にも好ましくない
単純にファイル名を起動引数で渡した方がいい

**デフォルトの名無しさん** · 2017/08/18(金) 09:59:20.00

>>841が非常に適切なアドバイスをくれたから、俺の書き込みでも割と通じてるんだと思ったけど、
>>844、>>847には通じてなさそうな気がする
>>848には通じてる

あ · 2017/08/18(金) 13:16:32.57

>>849
通じてるよ。ただファイルで渡しても良いけど、出来上がった暁には全部流したいだろうなと思ったんだが。

**デフォルトの名無しさん** · 2017/08/18(金) 15:30:18.21

>>840
圧縮して書き込めば？

**デフォルトの名無しさん** · 2017/08/18(金) 15:56:35.28

>>850
流す？よく分からんけど、FFIの代わりの話ししてるのになんで標準出力にもHDDにも出すことになってるんだ？？？？？？

>>851
double precisionで構成される配列を圧縮……

**デフォルトの名無しさん** · 2017/08/18(金) 17:29:36.01

>>852
圧縮でサイズが1%でも減らすことができればほぼ確実にパフォーマンス向上するぞ。
https://gist.github.com/jboner/2841832

**デフォルトの名無しさん** · 2017/08/18(金) 18:38:52.93

デバッグしにくい設計してしまったんだな

あ · 2017/08/18(金) 21:59:17.07

>>852
標準出力とは限らんよ。
だからtee「的」と言ってるんだが。

**デフォルトの名無しさん** · 2017/08/18(金) 22:15:46.41

何この人。結局何を伝えようとしてくれてるのか全く分からなくて怖いんだけど

**デフォルトの名無しさん** · 2017/08/18(金) 23:31:23.26

自分の頭が混乱してるのを
2chに書き込むことで整理しようとしているだけの人だからね

**デフォルトの名無しさん** · 2017/08/19(土) 00:57:54.03

つか素直にメモリ詰むかSSD買ってこいよ
それも駄目ならinplaceな方法にでも書き換えるしかない

**デフォルトの名無しさん** · 2017/08/19(土) 01:10:16.34

キチガイが住み着くのはよくあること

**デフォルトの名無しさん** · 2017/08/19(土) 01:14:45.90

>>858
いや普通にFFI使うわ。なんかFFI微妙そうに言われたからFFIよりいい方法があるか聞いてただけだし。
>>841の後も長々やっちゃって申し訳ない

**デフォルトの名無しさん** · 2017/08/19(土) 01:41:53.01

そんなにFFIが面倒ならmmapとexecとか、端的なやりようあるよ
つか俺もストリーム処理にでもした方がいいんじゃねえかと思うが

**デフォルトの名無しさん** · 2017/08/19(土) 02:04:33.04

FFIは不安定になったりビルドが面倒になったりデバッグも開発も面倒だったりで極力やりたくないわ
ファイルやパイプはもちろん、RPCやMQを使う手もある

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

設定より規約ってのを実践すればFFIも面倒ではないだろう
パイプには型がないから型を宣言する設定ファイルもない

**デフォルトの名無しさん** · 2017/08/19(土) 13:43:40.11

ファイルベースだと分散処理とかクソ簡単
俺も学生時代シミュレーションやってたけどMakefileのjオプションで並列化してる人もいた

**デフォルトの名無しさん** · 2017/08/19(土) 13:58:03.00

え？分散処理するならファイルシステム使うとか悪手中の悪手でしょw

**デフォルトの名無しさん** · 2017/08/19(土) 14:01:57.56

ストリーム処理にできるかどうかって何やろうとしてるかによるでしょ
長大テキスト処理的なものかどうかはわからないのにパイプやストリームがいいって言っても意味なくない？
質問がどういうデータをどう処理するってのを専門外の人に書いてないのも返答が発散する原因の一つではあると思うけど

**デフォルトの名無しさん** · 2017/08/19(土) 14:04:50.26

>>865
バッチ処理なら普通に使うでしょ
Hadoopとかファイル使いまくりだよ

**デフォルトの名無しさん** · 2017/08/19(土) 14:14:41.27

>>866
シミュレーションで波動関数情報渡すって言ってるから、
普通に考えてストリーミング処理できるようなデータではなく全部一括して扱うもんだろう
複数件のジョブをまとめてバッチとして渡してるとかなら分ける余地はあるかもしれないけど

**デフォルトの名無しさん** · 2017/08/19(土) 14:18:44.31

波動関数情報4GBをアップロードして、必要な分だけシーケンシャルかランダム・アクセスしたらいい

あ · 2017/08/19(土) 16:00:48.68

規格化されとるならtとx1でアクセスできる方が便利では？
確率密度で欲しいならちとめんどいが。
全然ジョブ別けれると思う。

**デフォルトの名無しさん** · 2017/08/19(土) 16:06:22.01

>>870
早く発電する作業に戻らないとテストできなくなるぞ

あ · 2017/08/19(土) 16:13:24.70

>>871
発電機回すのは俺のやる事じゃないよ。
主任技術者がやる事。

**デフォルトの名無しさん** · 2017/08/19(土) 16:20:38.90

この人がまともに働けるってすごいことだと思う
周りの人が理解してサポートしてくれている恵まれた環境なんだろうな

**デフォルトの名無しさん** · 2017/08/19(土) 16:52:15.03

コミュ力と文章力はほとんど関係ない気がするので文章だけ見てもよくわからないな

あ · 2017/08/19(土) 17:57:32.52

>>873
周り良い人だよ。俺含め変なやつ自体が多いけど。
人間、三十人ぐらい集まれば最終的に良い部分同士でキレイにまとまる。

>>874
文書として書くならちゃんと書くぞ。

**デフォルトの名無しさん** · 2017/08/19(土) 21:26:38.70

>>868
趣味で超適当な流体シミュレーションぐらいしか作ったことないけど全部一括して扱うもんだろうという推測には同意する

たとえば画像処理でSIFTとかの特徴点抽出アルゴリズムを使いたい場合に、ストリーミングで実装することに可能性やメリットはあるのかなぁ。

なんでもかんでもストリーミングで実装して効率良くなるなら極端な話スパコンなんて要らないじゃんってことになると思うんだけど

**デフォルトの名無しさん** · 2017/08/19(土) 23:57:56.57

直受けの50万客：いつまでもうちにいていいよ
3次受けの50万（客は70万払ってる) 客：短期延長していい？
5次受けの50万（客は110万払ってる) 客：作り終わったらとっと出てけ　できなかったら即退場だ　
長時間労働　高稼働　高スキル要求が多い

零細フリーランスサイトは5次受けから誰もできない難易度の高い仕事　余り物の仕事を紹介してくる。40万円代でやってくれと

これならJIETから3次でいったほうがいいな

446非決定性名無しさん2017/08/02(水) 22:12:48.95

JIETに毎月5千円払えば３次から入場できるだろ？
高額をうたうフリーランスのサイトはだいたい５次から４５万円
JIETで閲覧応募できる末端価格からさらに搾取するのが高額をみせつけるフリーランスサイトでした
高額案件をみせつけるフリーランスサイトも案件の取得はJIETでした

473非決定性名無しさん2017/08/03(木) 15:21:30.71

JIETに加入すれば誰でも3次60万からスタートだ。フリーランスのサイトをやってる
自称エージェントもそこから案件情報を取得しきてる。サイトで60万で釣って40万から55万の
間でやらしている。

372仕様書無しさん2017/08/11(金) 10:31:43.41
フリーランスで検索すると引っかかる零細ITがやっているフリーランスのサイトはだめだ。
高額に見せているけど実際は50万前後
JIET加入した方がいいよ。案件は毎日千件以上末端価格は60万円　平凡な稼働時間の80万円の案件もある。
ユー子も求人をだしてる。名刺も渡せる。ユー子に名刺が渡せるんだぞ。夢のようだ

それらの案件まさぐってHPで転売していたのが零細ITがやるフリーランスサイト

自称エージェントはJIETから流れてくる案件を転売してるだけだった。
JIETに加入すれば誰でも案件に応募することができた。収入が40万50万台にならなくて済む

**デフォルトの名無しさん** · 2017/08/20(日) 01:15:26.57

>>876
そら富豪プログラミングが一番いいわ
ただリソース削ろうなんて貧乏性な考えしてるんだから他に方法ねえだろ

**デフォルトの名無しさん** · 2017/08/20(日) 01:31:48.22

>>878
そういう問題じゃない
ランダムアクセスされるデータをどうやってストリーミング処理するのか

**デフォルトの名無しさん** · 2017/08/20(日) 01:39:16.53

あと、>>876が言ってるスパコン云々は
データをストリーミング処理できるということはすなわちデータ件数に対して線形時間で処理できるということを意味する
全ての問題がそうだったら世の中に重い処理なんか存在しないからスパコンなんか要らないよね?ということだと思う

**デフォルトの名無しさん** · 2017/08/20(日) 01:46:50.23

>>879
意味不明
メモリ転送だけが問題なら転送だけストリームすりゃいい
もとの文脈無視してただ叩きたいってだけか？

**デフォルトの名無しさん** · 2017/08/20(日) 01:50:05.35

>>880
んな当たり前の事ドヤ顔で語る前に
前提と問題ぐらい読み解こうな

**デフォルトの名無しさん** · 2017/08/20(日) 02:00:28.35

いや、これ本人がマウントしてんのかな…

**デフォルトの名無しさん** · 2017/08/20(日) 04:44:52.46

>>876だけど元の質問してる人とは別人だよ。
ストリーミング処理って普通は大きなデータをストリームで流して一部だけ処理していくことで大きなデータを全部オンメモリにしなくても処理できるから嬉しいよねっていうことで
ストリームに対して処理する実装のことを指すと思うんだけど。

元々の話はFortranはデバッグがきついからJuliaで書きたいけどデータの受け渡しイマイチだし他にいい方法あるか？って話だと思うのでリソースを削ろうって話ではないと思う
ただ、データが4GBとデカいんでmemcpyとかディスク書き込みとかは明らかなメリットがなければしたくないっていうだけの話で

そもそもメモリ転送だけストリームっていうのは、ストリーム処理と言えるのかな？そして、本来はメモリ転送も無い方がいいに決まってるので。

スパコンの例はまさに>>880の言ってるとおり。物理現象の時間発展をシミュレーションすることが目的のプログラミングなんかは瞬間瞬間のデータ全部が相互に影響を与えあっているような
モデルを用いて実装されるだろうから、全部がオンメモリでランダムアクセス可能でなきゃそもそも実現が難しいと思うのよ。今見える範囲だけ処理するというストリーミングのやり方では原則的にはうまくいかないと思う。

**デフォルトの名無しさん** · 2017/08/20(日) 05:41:57.25

文脈が違うから違う結論になっただけと言ってるのに、なぜくどくど説明したがるのか…

まず最初から素直にtmpfsでも高速なSSDでも使えばすぐ済む話
まさかそれすら最初から思いつかないってことはないだろう

でもグダグダ言ってるんだから、代わりにメモリや高速ストレージに金やリソース割くのが無理って事だろ
なら共有メモリにでもするか、処理単位を分けストリーム処理でもしろって話
で、ほしい処理主体がストリームじゃなかろうが割当は細く切り出しながら渡す必要あるから、どう言い繕ったってストリーム化だよ
いちいち言葉尻につっかかるあたりマウントしたいだけだろうが

**デフォルトの名無しさん** · 2017/08/20(日) 06:26:59.79

>>838は>>860じゃないかな
「FFIを使う」「FFIよりいい方法があるか聞いてみただけ」ということで話は終わっているような

**デフォルトの名無しさん** · 2017/08/20(日) 08:00:42.48

で、それのどこが次世代言語なの？

**デフォルトの名無しさん** · 2017/08/20(日) 09:02:07.47

話は変わるけどFFIやRPCなどのインターフェイスを抽象化して多言語で共通に使える仕組みがあればいいのに
ThriftやgRPCみたいなのはサービスとして動かさなきゃいけないし、
Javaや.NETみたいなのは理想だけど仮想マシンに縛られるし

**デフォルトの名無しさん** · 2017/08/20(日) 11:14:26.93

なんだかんだ言ってjs or TypeScriptが最強な気がする
機械学習すら手軽に始められる言語になり始めてるし
https://pair-code.github.io/deeplearnjs/

ここ最近のES2015以降言語仕様の進化はいい方向に進んでいるし
パターンマッチングとか入り始めたらマジでこれでいいってなりそう。

**デフォルトの名無しさん** · 2017/08/20(日) 11:15:55.74

jsonをインターフェースとして考えるならjs

**デフォルトの名無しさん** · 2017/08/20(日) 11:36:57.11

周辺のエコシステムがちっともエコじゃない
ボイラプレート使わないと、めんどくさすぎてまずスタートラインにすら立てないという
おにちく仕様
ちゅか、フロタイプかタイプスクリプトを標準にしろ
生JSはできない

**デフォルトの名無しさん** · 2017/08/20(日) 13:16:38.54

ここまで次世代言語の議論なし

あ · 2017/08/20(日) 14:05:20.43

>>888
なんかすごい懐かしい言葉が色々浮かぶけど、どれも対して成功してないな。
逆にhttpがここまで伸びたのも凄いが。

**デフォルトの名無しさん** · 2017/08/20(日) 14:40:01.39

ハイパーテキストじゃなくてもhttpプロトコルだしな。

**デフォルトの名無しさん** · 2017/08/20(日) 16:38:15.82

>>885
「処理単位を分けられる処理」なのかは把握した上でストリーム化を勧めてるんだったらわかる。
質問者の望む処理がそういう処理だと思ったってことである程度どうやって分割するかも予想がついた上でストリーム処理にした方がいいって言ったってことだよね？

マウンティングとかじゃなくてさ、問題を的確に把握する前にアドバイスしたってしょうがないだろって思ってるだけだよ。

**デフォルトの名無しさん** · 2017/08/20(日) 17:02:53.59

>>888
結局、各言語でメモリの取り扱いが異なるわけだから、.NET みたいなことする以外に
解決方法なんてないだろう。
メモリの取り扱いを抽象化するってのはどうしたって結局のところ性能的に無理が生じる。

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

847 あ[sage] 2017/08/18(金) 01:19:03.96 ID:WQb8VpS1
>>844
中間ファイル作りながら、次工程進めれば良いのでは？って。
HDDに書き込むのはその端末自身である必要も無いだろうし、別の端末にやらせても良いかと。
teeコマンドは、標準入力からの入力を、ファイルなりなんなりと標準出力に出すコマンド

849 デフォルトの名無しさん[sage] 2017/08/18(金) 09:59:20.00 ID:64r0PFl5
841が非常に適切なアドバイスをくれたから、俺の書き込みでも割と通じてるんだと思ったけど、
844、847には通じてなさそうな気がする
848には通じてる

850 あ[sage] 2017/08/18(金) 13:16:32.57 ID:WQb8VpS1
通じてるよ。ただファイルで渡しても良いけど、出来上がった暁には全部流したいだろうなと思ったんだが。

852 デフォルトの名無しさん[sage] 2017/08/18(金) 15:56:35.28 ID:64r0PFl5
流す？よく分からんけど、FFIの代わりの話ししてるのになんで標準出力にもHDDにも出すことになってるんだ？？？？？？

855 あ[sage] 2017/08/18(金) 21:59:17.07 ID:WQb8VpS1
標準出力とは限らんよ。
だからtee「的」と言ってるんだが。

856 デフォルトの名無しさん[sage] 2017/08/18(金) 22:15:46.41 ID:64r0PFl5
何この人。結局何を伝えようとしてくれてるのか全く分からなくて怖いんだけど

明らかに話が噛み合っていないのに「通じてるよ」とか、855の受け答えとか、話し通じないガイジ丸出しで大変面白い

あ · 2017/08/20(日) 22:15:08.78

>>897
なんの会話もせず、レス拾って文句つけるだけとは随分面白くて有意義な書き込みだなぁ。

**デフォルトの名無しさん** · 2017/08/20(日) 23:05:46.98

会話ができてないお前がいうか？

**デフォルトの名無しさん** · 2017/08/20(日) 23:36:43.04

単発のお前がいうか？

**デフォルトの名無しさん** · 2017/08/21(月) 00:48:06.97

>>895
そちらの言い分は分かるが、俺の言いたい事は違うよ
分割の話はFFIを界面にしてる点を取っ掛かりに言ったに過ぎない
不明な仕様という点を踏まえて、より一般化したの代替の提案してるだけ

要するに言外の事に突っ込んだ話はしてません

**デフォルトの名無しさん** · 2017/08/21(月) 00:52:50.95

このスピードのスレで単発煽りとか、普段はID真っ赤のガイジですって自己紹介してるようなもんじゃん……

**デフォルトの名無しさん** · 2017/08/21(月) 02:03:36.52

>>901
もしストリーム処理的なものを一度も考慮に入れたことがないんであれば、ストリーム処理で実装可能かどうか考えるのも一つの手かもね、
ぐらいの意味であったということかな？それなら納得します。

**デフォルトの名無しさん** · 2017/08/21(月) 03:02:40.94

俺たちのスピードについてこれない香具師がいるようだね

**デフォルトの名無しさん** · 2017/08/21(月) 22:30:29.02

いつまでストリームのはなししてるの。
ストリームならRxだろjk

**デフォルトの名無しさん** · 2017/08/22(火) 00:33:08.71

ワイはBlackRx

**デフォルトの名無しさん** · 2017/08/22(火) 11:49:00.34

光のオーロラ身に纏い
君は闘う人になれ
傷つことを恐れたら
世界は悪の手に沈む

ネットバトラー爆誕である

**デフォルトの名無しさん** · 2017/08/22(火) 11:54:49.36

>>903
ニュアンスがやっぱり違うぞ
金もメモリも使わずかつ実装が簡単な代替えとなるとそうなるって話
HDDの速度考えれば都度転送のがまだマシだろ
本当はtmpfsが手っ取り早いけど

**デフォルトの名無しさん** · 2017/08/22(火) 16:38:49.34

名古屋から山口組の６代目が出たんだし、ＳＫＥにも頑張ってほしい

◆ＡＫＢは近代ヤクザのシステムを導入しているとしか思えない◆
http://robo-mae.com/2017/06/20/

なんか本職のヤクザ？が書いてる裏事情ブログでおもろいから読んでるんだけど、
ぽいけどこの記事だけ的確過ぎて笑ってしまった。
この人は結構ヲタなんだろうけど、組内では内緒にしてるのかな？

あ · 2017/08/22(火) 20:55:51.79

パイプとかRPCでやるなら、
プロセスAがデータ作り終わったら、
プロセスAがデータを一定量、プロセスBに送って、
プロセスBはそれを受けてバッファに置いて、
プロセスAは送った分、確実にメモリを開放して、
全部送り終わったらEOF送って、
プロセスBはEOFで走り出せばいいんじゃないの？
その送受信フックしといたら、プロセスBだけもう一回走らせるのも簡単だし、別の計算機でプロセスB動かすのも簡単だし、エビデンスにもなるのでは？

あ · 2017/08/22(火) 20:57:28.90

全部送り終わったら、のところ、全部送り終わってなければ、また「一定量送って」にループね。

**デフォルトの名無しさん** · 2017/08/22(火) 21:45:32.91

>>910
>送った分、確実にメモリを開放

ってどうやるんだろ

あ · 2017/08/22(火) 22:19:18.76

>>912
Fortranなら、allocatableで宣言して、allocateで適当な「一度の量」単位で確保して使って、送ったらdeallocateで開放すりゃいいんじゃないの？
pointerで宣言してるならちと考え方変えねばならんかもしれんが。
あと尻から送ったほうが良いかも。
GCある言語だったら開放待ち作らなきゃなんともならんな。

**デフォルトの名無しさん** · 2017/08/23(水) 19:38:39.70

>>912
mallocじゃなくてシステムコール使う

**デフォルトの名無しさん** · 2017/08/24(木) 03:36:25.37

久しぶりに覗いてみたらまだこの基〇外いたんだｗｗｗ
俺が勉強している間も遊んでいる間も色々している間もずっと書き込んでいたんだねｗｗ

**デフォルトの名無しさん** · 2017/08/24(木) 07:01:09.06

まろ～く

あ · 2017/08/24(木) 12:57:45.68

勉強したり遊んだり仕事したり2chに書き込んだりしてるだけだがなぁ。
一度に1つの事しか出来ないんだろうか。

**デフォルトの名無しさん** · 2017/08/24(木) 13:06:05.45

この基地外の収容所と化したからな。このスレは

あ · 2017/08/24(木) 13:10:59.72

賑やかしでいいんじゃないの？
黙ってたら進まんかHaskell信者が踊り狂うスレなんだし。キャットドア()の検証()するスレで良いの？

あと、そもそも盛り上がってたら静観してあんまり書かんぞ。

**デフォルトの名無しさん** · 2017/08/24(木) 13:23:19.75

結局Haskell最強ってなるの。
正直あんまり仕事で使ってる感じしないけど。
なんか研究者が戯れに使う感じ。そもそも何に向いてる言語なのhaskellって

**デフォルトの名無しさん** · 2017/08/24(木) 13:28:16.99

エンジニアガイジ再訪。Part4より

905 ：デフォルトの名無しさん：2017/05/31(水) 06:14:00.96 ID:wEozaoTa
>>879
では、具体的にGHCが実行時型情報を必要とするケースを挙げてみろよ。
言っておくが、パラメトリック多相は全てコンパイル時に解決されるし、
型クラスによるアドホック多相も、あれは関数オーバーロードの形式化だからな。
関数オーバーロードはコンパイル時に解決されるぞ。
さあ、具体的に挙げてみろよ。

908 ：あ：2017/05/31(水) 09:15:21.09 ID:dc+IbjjD
>>905
具体的に上げろと言われてもなぁ。
<T>を持ったenumがOptionかcar(T)とcdr(<T,T>)である時くらいかな。

**デフォルトの名無しさん** · 2017/08/24(木) 13:32:07.62

>>920
仕事で使ってるよ
ファイルのバリデートチェックとか
あとはネットワーク構成の論理矛盾がないか調べる内製ツールもHaskell

**デフォルトの名無しさん** · 2017/08/24(木) 18:31:02.84

キャットドアって何？

**デフォルトの名無しさん** · 2017/08/24(木) 19:43:58.38

>>920
結論は「～言語最強」とか言ってる輩は馬鹿ってことかな。

**デフォルトの名無しさん** · 2017/08/24(木) 21:27:56.58

>>924
まぁ向き不向きの問題ってことかね。
haskellはバリデーションチェック系が得意っていうのはやっぱりパターンマッチングで宣言的にかけるからってことなのかね。
パターンマッチングはrustとかelixirとかでもできるわけだから
haskellじゃなきゃダメってことはなさそう。

**デフォルトの名無しさん** · 2017/08/24(木) 21:34:11.83

いやHaskellのが楽
RustなどにQuickTestのようなものはない

**デフォルトの名無しさん** · 2017/08/24(木) 21:34:48.48

QuickCheckだ間違えた

**デフォルトの名無しさん** · 2017/08/25(金) 00:50:39.84

ある。使ったことは無いがhttps://github.com/BurntSushi/quickcheck
ただRustの型システムはHaskellより貧弱だし、最初からメモリについて意識しないとプログラムが動かない
Haskellで作ったプロトタイプをRustで書き直して速度を稼ぐのはアリ

**デフォルトの名無しさん** · 2017/08/25(金) 06:00:59.36

>>928
めちゃくちゃ冗長だねこれ…

**デフォルトの名無しさん** · 2017/08/25(金) 11:10:28.70

暗黙の型変換は大嫌いな俺でも型システムを信じすぎる輩はどうかと思う。

**デフォルトの名無しさん** · 2017/08/25(金) 13:37:23.88

>>930
ちょっと言ってる意味わからない。(言いたいことはわかるかな)
暗黙の型変換好きってなら、そのあとのでも型システムを信じすぎる云々につながるけど

**デフォルトの名無しさん** · 2017/08/25(金) 20:25:21.97

暗黙嫌い＝与党ってことだな
たとえ内容が全く同じでも、野党が批判するのと、与党の俺が批判するのは全然違うと
最近の日本語は面倒臭い

**デフォルトの名無しさん** · 2017/08/25(金) 20:45:47.36

>>930
もしかしてRustの型が貧弱というのに反論しているつもりなのか？

**デフォルトの名無しさん** · 2017/08/25(金) 20:56:12.07

例えば perl みたいに "123" を勝手に数値変換したり文字列として取り扱ったりってな
言語は好きじゃないって話が一方であり、
じゃあ haskell みたいに型チェックを強めにやってりゃバグありませんって態度も
どうかと思うって話だよ。

なぜ与党とか政治の話になるのか謎。。

**デフォルトの名無しさん** · 2017/08/25(金) 21:20:19.63

与党は比喩だな
一方、Haskellの「バグありません」って態度とか台詞とかは擬人化だろ