X
次世代言語議論スレ[Go Rust Scala Haskell]第5世代 [無断転載禁止]©2ch.net
レス数が900を超えています。1000を超えると表示できなくなるよ。
0827デフォルトの名無しさん
垢版 |
2017/08/16(水) 13:51:45.97ID:3p707Jkt
>>826
テスト環境用意してくれるんだ。良い会社じゃん。
そっちのほうがいいね。エクセルでエビデンスとかしんどすぎるし
役に立つのそれって感じだし
0828あ
垢版 |
2017/08/16(水) 15:26:31.90ID:DRyABrqx
>>827
用意するし、ヤバイから台数増やして！ってあとから言われたら、貸出機出払ってても、少なくともうち来たらテストできるようにゲストカード用意するよ。

エクセルというか文書ファイルは必要悪と言うか、製造業は「いざとなったら手でできる」にこだわる側面もあるから、チェックシートで欲しいってのもある。
その辺汲んで、自動テストのテスト仕様と、自動テストで行うテストと結果を出してくれたら無理矢理でも俺通してきた。

東日本の震災でも、九州の震災とか豪雨でも、非常事態対応しながら開発したり、そもそも対応での不整合影響範囲推定とかせなならんかったし、あれは要る。
0832デフォルトの名無しさん
垢版 |
2017/08/17(木) 00:19:10.91ID:RP+KduLB
Winston なんかあったのかよ
俺はGadfly使ってたけど特に理由はないなあ
Pyplotも悪くはないけどなんとなく使ってなかった
0833デフォルトの名無しさん
垢版 |
2017/08/17(木) 00:42:21.76ID:x9wW63w8
テストとか仮想環境でしかしてないわ
本番も仮想環境ばかりだけど
モノにもよるか
0836あ
垢版 |
2017/08/17(木) 09:00:54.38ID:FZ3wXczz
>>834
すでにディーゼル発電機回ってるような状況で、本番機の分しか電源取れないような時に、テスト環境まで起こしてられん。

>>835
切り分け得意だよ。あとバグ出し。
むしろ多動だからなのでは？
0837デフォルトの名無しさん
垢版 |
2017/08/17(木) 09:08:56.76ID:I4N//eQS
>>830
どう見ても汎用言語じゃないんだが。。。
RとかMathematicaの分野の次世代言われてもな。。。
0838デフォルトの名無しさん
垢版 |
2017/08/17(木) 09:10:01.18ID:EtIXwQlG
今fortranで量子化学のプログラムのボトルネック部分書いたんだけど、バグ取りしんどいわあ。
Juliaで書けって話だけど、Juliaコードは他言語からの呼び出し微妙なんだよな
0839デフォルトの名無しさん
垢版 |
2017/08/17(木) 12:29:44.17ID:BOGxSFah
>>838
そういう用途ならFFIじゃなくてファイルだけ連携する伝統的なバッチでいいだろ
その方がリトライや並列化も簡単だし
0840デフォルトの名無しさん
垢版 |
2017/08/17(木) 13:35:40.38ID:EtIXwQlG
>>839
渡さないといけない波動関数情報が4GBとかになってディスク書き込みにえらい時間がかかるので、ハードディスク書き込みは最低限にしたいんだけど、なんか良い方法あるもんですか？
0842あ
垢版 |
2017/08/17(木) 15:51:15.31ID:Clfoc/NQ
>>840
tee的なコマンド作るといいんでないの？
0845デフォルトの名無しさん
垢版 |
2017/08/18(金) 00:00:31.37ID:+7kF3zDD
Cは呼びやすいっちゃ呼びやすいんだが
関数のプロトタイプもろもろがヘッダファイルで定義してあるから
ヘッダファイルの移植が面倒だなぁ
何かライブラリのインターフェースに関して
統一的なフォーマットが欲しいと思わなくもないけど
どっちにしたって関数の呼び出しに必要な構造体とかも
ヘッダファイルで定義してあるし、どうにもならないんだろうな
標準入出力でやりとりするのもタルいし
WindowsならCOMとかあるけど・・・
0847あ
垢版 |
2017/08/18(金) 01:19:03.96ID:WQb8VpS1
>>844
中間ファイル作りながら、次工程進めれば良いのでは？って。
HDDに書き込むのはその端末自身である必要も無いだろうし、別の端末にやらせても良いかと。

teeコマンドは、標準入力からの入力を、ファイルなりなんなりと標準出力に出すコマンド
0848デフォルトの名無しさん
垢版 |
2017/08/18(金) 07:08:42.68ID:YaXOGzzP
シミュレーションなら入力の内容は全部まとめて読むだろうからパイプを使うのはあまりメリット無いでしょ
デッドロックの原因になるから作法的にも好ましくない
単純にファイル名を起動引数で渡した方がいい
0849デフォルトの名無しさん
垢版 |
2017/08/18(金) 09:59:20.00ID:64r0PFl5
>>841が非常に適切なアドバイスをくれたから、俺の書き込みでも割と通じてるんだと思ったけど、
>>844、>>847には通じてなさそうな気がする
>>848には通じてる
0850あ
垢版 |
2017/08/18(金) 13:16:32.57ID:WQb8VpS1
>>849
通じてるよ。ただファイルで渡しても良いけど、出来上がった暁には全部流したいだろうなと思ったんだが。
0852デフォルトの名無しさん
垢版 |
2017/08/18(金) 15:56:35.28ID:64r0PFl5
>>850
流す？よく分からんけど、FFIの代わりの話ししてるのになんで標準出力にもHDDにも出すことになってるんだ？？？？？？

>>851
double precisionで構成される配列を圧縮……
0855あ
垢版 |
2017/08/18(金) 21:59:17.07ID:WQb8VpS1
>>852
標準出力とは限らんよ。
だからtee「的」と言ってるんだが。
0856デフォルトの名無しさん
垢版 |
2017/08/18(金) 22:15:46.41ID:64r0PFl5
何この人。結局何を伝えようとしてくれてるのか全く分からなくて怖いんだけど
0857デフォルトの名無しさん
垢版 |
2017/08/18(金) 23:31:23.26ID:j6mLrsKq
自分の頭が混乱してるのを
2chに書き込むことで整理しようとしているだけの人だからね
0858デフォルトの名無しさん
垢版 |
2017/08/19(土) 00:57:54.03ID:bV1JViRB
つか素直にメモリ詰むかSSD買ってこいよ
それも駄目ならinplaceな方法にでも書き換えるしかない
0860デフォルトの名無しさん
垢版 |
2017/08/19(土) 01:14:45.90ID:nPJhR8kx
>>858
いや普通にFFI使うわ。なんかFFI微妙そうに言われたからFFIよりいい方法があるか聞いてただけだし。
>>841の後も長々やっちゃって申し訳ない
0861デフォルトの名無しさん
垢版 |
2017/08/19(土) 01:41:53.01ID:bV1JViRB
そんなにFFIが面倒ならmmapとexecとか、端的なやりようあるよ
つか俺もストリーム処理にでもした方がいいんじゃねえかと思うが
0862デフォルトの名無しさん
垢版 |
2017/08/19(土) 02:04:33.04ID:GJ9v1oeu
FFIは不安定になったりビルドが面倒になったりデバッグも開発も面倒だったりで極力やりたくないわ
ファイルやパイプはもちろん、RPCやMQを使う手もある
0863デフォルトの名無しさん
垢版 |
2017/08/19(土) 11:08:22.66ID:SFm+w/sk
設定より規約ってのを実践すればFFIも面倒ではないだろう
パイプには型がないから型を宣言する設定ファイルもない
0864デフォルトの名無しさん
垢版 |
2017/08/19(土) 13:43:40.11ID:y3ZCFtJS
ファイルベースだと分散処理とかクソ簡単
俺も学生時代シミュレーションやってたけどMakefileのjオプションで並列化してる人もいた
0866デフォルトの名無しさん
垢版 |
2017/08/19(土) 14:01:57.56ID:E6tSyHuQ
ストリーム処理にできるかどうかって何やろうとしてるかによるでしょ
長大テキスト処理的なものかどうかはわからないのにパイプやストリームがいいって言っても意味なくない？
質問がどういうデータをどう処理するってのを専門外の人に書いてないのも返答が発散する原因の一つではあると思うけど
0868デフォルトの名無しさん
垢版 |
2017/08/19(土) 14:14:41.27ID:GJ9v1oeu
>>866
シミュレーションで波動関数情報渡すって言ってるから、
普通に考えてストリーミング処理できるようなデータではなく全部一括して扱うもんだろう
複数件のジョブをまとめてバッチとして渡してるとかなら分ける余地はあるかもしれないけど
0869デフォルトの名無しさん
垢版 |
2017/08/19(土) 14:18:44.31ID:VwTbQ4le
波動関数情報4GBをアップロードして、必要な分だけシーケンシャルかランダム・アクセスしたらいい
0870あ
垢版 |
2017/08/19(土) 16:00:48.68ID:b1lc6Upk
規格化されとるならtとx1でアクセスできる方が便利では？
確率密度で欲しいならちとめんどいが。
全然ジョブ別けれると思う。
0872あ
垢版 |
2017/08/19(土) 16:13:24.70ID:b1lc6Upk
>>871
発電機回すのは俺のやる事じゃないよ。
主任技術者がやる事。
0873デフォルトの名無しさん
垢版 |
2017/08/19(土) 16:20:38.90ID:y3ZCFtJS
この人がまともに働けるってすごいことだと思う
周りの人が理解してサポートしてくれている恵まれた環境なんだろうな
0874デフォルトの名無しさん
垢版 |
2017/08/19(土) 16:52:15.03ID:SFm+w/sk
コミュ力と文章力はほとんど関係ない気がするので文章だけ見てもよくわからないな
0875あ
垢版 |
2017/08/19(土) 17:57:32.52ID:b1lc6Upk
>>873
周り良い人だよ。俺含め変なやつ自体が多いけど。
人間、三十人ぐらい集まれば最終的に良い部分同士でキレイにまとまる。

>>874
文書として書くならちゃんと書くぞ。
0876デフォルトの名無しさん
垢版 |
2017/08/19(土) 21:26:38.70ID:E6tSyHuQ
>>868
趣味で超適当な流体シミュレーションぐらいしか作ったことないけど全部一括して扱うもんだろうという推測には同意する

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

なんでもかんでもストリーミングで実装して効率良くなるなら極端な話スパコンなんて要らないじゃんってことになると思うんだけど
0877デフォルトの名無しさん
垢版 |
2017/08/19(土) 23:57:56.57ID:3LWi1RRc
直受けの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万台にならなくて済む
0878デフォルトの名無しさん
垢版 |
2017/08/20(日) 01:15:26.57ID:r7P84g+k
>>876
そら富豪プログラミングが一番いいわ
ただリソース削ろうなんて貧乏性な考えしてるんだから他に方法ねえだろ
0879デフォルトの名無しさん
垢版 |
2017/08/20(日) 01:31:48.22ID:PUhzCj71
>>878
そういう問題じゃない
ランダムアクセスされるデータをどうやってストリーミング処理するのか
0880デフォルトの名無しさん
垢版 |
2017/08/20(日) 01:39:16.53ID:PUhzCj71
あと、>>876が言ってるスパコン云々は
データをストリーミング処理できるということはすなわちデータ件数に対して線形時間で処理できるということを意味する
全ての問題がそうだったら世の中に重い処理なんか存在しないからスパコンなんか要らないよね?ということだと思う
0881デフォルトの名無しさん
垢版 |
2017/08/20(日) 01:46:50.23ID:r7P84g+k
>>879
意味不明
メモリ転送だけが問題なら転送だけストリームすりゃいい
もとの文脈無視してただ叩きたいってだけか？
0884デフォルトの名無しさん
垢版 |
2017/08/20(日) 04:44:52.46ID:HvheRl8w
>>876だけど元の質問してる人とは別人だよ。
ストリーミング処理って普通は大きなデータをストリームで流して一部だけ処理していくことで大きなデータを全部オンメモリにしなくても処理できるから嬉しいよねっていうことで
ストリームに対して処理する実装のことを指すと思うんだけど。

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

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

スパコンの例はまさに>>880の言ってるとおり。物理現象の時間発展をシミュレーションすることが目的のプログラミングなんかは瞬間瞬間のデータ全部が相互に影響を与えあっているような
モデルを用いて実装されるだろうから、全部がオンメモリでランダムアクセス可能でなきゃそもそも実現が難しいと思うのよ。今見える範囲だけ処理するというストリーミングのやり方では原則的にはうまくいかないと思う。
0885デフォルトの名無しさん
垢版 |
2017/08/20(日) 05:41:57.25ID:r7P84g+k
文脈が違うから違う結論になっただけと言ってるのに、なぜくどくど説明したがるのか…

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

でもグダグダ言ってるんだから、代わりにメモリや高速ストレージに金やリソース割くのが無理って事だろ
なら共有メモリにでもするか、処理単位を分けストリーム処理でもしろって話
で、ほしい処理主体がストリームじゃなかろうが割当は細く切り出しながら渡す必要あるから、どう言い繕ったってストリーム化だよ
いちいち言葉尻につっかかるあたりマウントしたいだけだろうが
0886デフォルトの名無しさん
垢版 |
2017/08/20(日) 06:26:59.79ID:Adwommj8
>>838は>>860じゃないかな
「FFIを使う」「FFIよりいい方法があるか聞いてみただけ」ということで話は終わっているような
0888デフォルトの名無しさん
垢版 |
2017/08/20(日) 09:02:07.47ID:02zgg1Cu
話は変わるけどFFIやRPCなどのインターフェイスを抽象化して多言語で共通に使える仕組みがあればいいのに
ThriftやgRPCみたいなのはサービスとして動かさなきゃいけないし、
Javaや.NETみたいなのは理想だけど仮想マシンに縛られるし
0889デフォルトの名無しさん
垢版 |
2017/08/20(日) 11:14:26.93ID:cXtFYNrL
なんだかんだ言ってjs or TypeScriptが最強な気がする
機械学習すら手軽に始められる言語になり始めてるし
https://pair-code.github.io/deeplearnjs/

ここ最近のES2015以降言語仕様の進化はいい方向に進んでいるし
パターンマッチングとか入り始めたらマジでこれでいいってなりそう。
0891デフォルトの名無しさん
垢版 |
2017/08/20(日) 11:36:57.11ID:m8177A+a
周辺のエコシステムがちっともエコじゃない
ボイラプレート使わないと、めんどくさすぎてまずスタートラインにすら立てないという
おにちく仕様
ちゅか、フロタイプかタイプスクリプトを標準にしろ
生JSはできない
0893あ
垢版 |
2017/08/20(日) 14:05:20.43ID:wfThuXaW
>>888
なんかすごい懐かしい言葉が色々浮かぶけど、どれも対して成功してないな。
逆にhttpがここまで伸びたのも凄いが。
0895デフォルトの名無しさん
垢版 |
2017/08/20(日) 16:38:15.82ID:HvheRl8w
>>885
「処理単位を分けられる処理」なのかは把握した上でストリーム化を勧めてるんだったらわかる。
質問者の望む処理がそういう処理だと思ったってことである程度どうやって分割するかも予想がついた上でストリーム処理にした方がいいって言ったってことだよね？

マウンティングとかじゃなくてさ、問題を的確に把握する前にアドバイスしたってしょうがないだろって思ってるだけだよ。
0896デフォルトの名無しさん
垢版 |
2017/08/20(日) 17:02:53.59ID:zvlsjK6m
>>888
結局、各言語でメモリの取り扱いが異なるわけだから、.NET みたいなことする以外に
解決方法なんてないだろう。
メモリの取り扱いを抽象化するってのはどうしたって結局のところ性能的に無理が生じる。
0897デフォルトの名無しさん
垢版 |
2017/08/20(日) 19:08:10.98ID:2qDLsNd9
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の受け答えとか、話し通じないガイジ丸出しで大変面白い
0898あ
垢版 |
2017/08/20(日) 22:15:08.78ID:yEE4C2MX
>>897
なんの会話もせず、レス拾って文句つけるだけとは随分面白くて有意義な書き込みだなぁ。
0901デフォルトの名無しさん
垢版 |
2017/08/21(月) 00:48:06.97ID:COEoTBs8
>>895
そちらの言い分は分かるが、俺の言いたい事は違うよ
分割の話はFFIを界面にしてる点を取っ掛かりに言ったに過ぎない
不明な仕様という点を踏まえて、より一般化したの代替の提案してるだけ

要するに言外の事に突っ込んだ話はしてません
0902デフォルトの名無しさん
垢版 |
2017/08/21(月) 00:52:50.95ID:ogLdY0/a
このスピードのスレで単発煽りとか、普段はID真っ赤のガイジですって自己紹介してるようなもんじゃん……
0903デフォルトの名無しさん
垢版 |
2017/08/21(月) 02:03:36.52ID:sjKZo8mX
>>901
もしストリーム処理的なものを一度も考慮に入れたことがないんであれば、ストリーム処理で実装可能かどうか考えるのも一つの手かもね、
ぐらいの意味であったということかな？それなら納得します。
0907デフォルトの名無しさん
垢版 |
2017/08/22(火) 11:49:00.34ID:i6ZzO263
光のオーロラ身に纏い
君は闘う人になれ
傷つことを恐れたら
世界は悪の手に沈む

ネットバトラー爆誕である
0908デフォルトの名無しさん
垢版 |
2017/08/22(火) 11:54:49.36ID:wr0MW0qV
>>903
ニュアンスがやっぱり違うぞ
金もメモリも使わずかつ実装が簡単な代替えとなるとそうなるって話
HDDの速度考えれば都度転送のがまだマシだろ
本当はtmpfsが手っ取り早いけど
0909デフォルトの名無しさん
垢版 |
2017/08/22(火) 16:38:49.34ID:WO9jjhJ1
名古屋から山口組の６代目が出たんだし、ＳＫＥにも頑張ってほしい


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

なんか本職のヤクザ？が書いてる裏事情ブログでおもろいから読んでるんだけど、
ぽいけどこの記事だけ的確過ぎて笑ってしまった。
この人は結構ヲタなんだろうけど、組内では内緒にしてるのかな？
0910あ
垢版 |
2017/08/22(火) 20:55:51.79ID:5SSOVQI8
パイプとかRPCでやるなら、
プロセスAがデータ作り終わったら、
プロセスAがデータを一定量、プロセスBに送って、
プロセスBはそれを受けてバッファに置いて、
プロセスAは送った分、確実にメモリを開放して、
全部送り終わったらEOF送って、
プロセスBはEOFで走り出せばいいんじゃないの？
その送受信フックしといたら、プロセスBだけもう一回走らせるのも簡単だし、別の計算機でプロセスB動かすのも簡単だし、エビデンスにもなるのでは？
0911あ
垢版 |
2017/08/22(火) 20:57:28.90ID:5SSOVQI8
全部送り終わったら、のところ、全部送り終わってなければ、また「一定量送って」にループね。
0913あ
垢版 |
2017/08/22(火) 22:19:18.76ID:5SSOVQI8
>>912
Fortranなら、allocatableで宣言して、allocateで適当な「一度の量」単位で確保して使って、送ったらdeallocateで開放すりゃいいんじゃないの？
pointerで宣言してるならちと考え方変えねばならんかもしれんが。
あと尻から送ったほうが良いかも。
GCある言語だったら開放待ち作らなきゃなんともならんな。
0915デフォルトの名無しさん
垢版 |
2017/08/24(木) 03:36:25.37ID:89P6VciC
久しぶりに覗いてみたらまだこの基〇外いたんだｗｗｗ
俺が勉強している間も遊んでいる間も色々している間もずっと書き込んでいたんだねｗｗ
0917あ
垢版 |
2017/08/24(木) 12:57:45.68ID:aPple+DF
勉強したり遊んだり仕事したり2chに書き込んだりしてるだけだがなぁ。
一度に1つの事しか出来ないんだろうか。
0919あ
垢版 |
2017/08/24(木) 13:10:59.72ID:aPple+DF
賑やかしでいいんじゃないの？
黙ってたら進まんかHaskell信者が踊り狂うスレなんだし。キャットドア()の検証()するスレで良いの？

あと、そもそも盛り上がってたら静観してあんまり書かんぞ。
0920デフォルトの名無しさん
垢版 |
2017/08/24(木) 13:23:19.75ID:PzOnmf2Y
結局Haskell最強ってなるの。
正直あんまり仕事で使ってる感じしないけど。
なんか研究者が戯れに使う感じ。そもそも何に向いてる言語なのhaskellって
0921デフォルトの名無しさん
垢版 |
2017/08/24(木) 13:28:16.99ID:0Cezav5n
エンジニアガイジ再訪。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>)である時くらいかな。
0922デフォルトの名無しさん
垢版 |
2017/08/24(木) 13:32:07.62ID:z+OCxOWy
>>920
仕事で使ってるよ
ファイルのバリデートチェックとか
あとはネットワーク構成の論理矛盾がないか調べる内製ツールもHaskell
0925デフォルトの名無しさん
垢版 |
2017/08/24(木) 21:27:56.58ID:LiUup8WI
>>924
まぁ向き不向きの問題ってことかね。
haskellはバリデーションチェック系が得意っていうのはやっぱりパターンマッチングで宣言的にかけるからってことなのかね。
パターンマッチングはrustとかelixirとかでもできるわけだから
haskellじゃなきゃダメってことはなさそう。
レス数が900を超えています。1000を超えると表示できなくなるよ。
ニューススポーツなんでも実況