次世代言語18 Go Rust Elixir Kotlin TypeScript

1 名前：デフォルトの名無しさん [2019/10/01(火) 02:58:03.93 ID:aEwUIB6s.net] スレタイ以外の言語もok 前スレ 次世代言語17 Go Rust Kotlin TypeScript Julia https://mevius.5ch.net/test/read.cgi/tech/1567602619/ 818 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 12:09:22 ID:KIy2b3FX.net] >>782 こういう奴は良い会社や良いプロダクトの 例は出せやしない 819 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 12:10:19 ID:VaiYZBCN.net] >>784 本来、変数とは読んで字のごとく「変化する数」なわけだから 本質的に mutable(変更可能な)なもの。 にも関わらずRustでは、変更可能な変数には mut を指定しなければならないので 確率論的にはソースコードの量が増えてしまうことになる。 820 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 12:14:59 ID:VaiYZBCN.net] >>788 さらにいえば、Rustでは、型を明示する場合は、 let a:TYPE = xxx;　// (1), TYPE は xxx の型 と書くが、:TYPE を省略して、 let a = xxx;　// (2) のようにもaの型を書くと自動推論する機能を持っている。 C++にもあるバージョンから auto などでこれと同様の機能が入って、 一見便利だが、型がわかりにくくて問題にある可能性がある。 逆に、C++ だと型を明示する場合には、 TYPE a = xxx;　// (3) と(1)に比べて短く書けることも重要。 Rustだと:TYPEを書くのが面倒なために、(2)ように省略してしまう 人が続出する可能性がある。 821 名前：これは問題だ。 [] [ここ壊れてます] 822 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 12:15:48 ID:VaiYZBCN.net] >>789 誤：のようにもaの型を書くと自動推論する機能を持っている。 正：のように型を自動推論する機能を持っている。 823 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 12:21:05.07 ID:aLfv28Wa.net] >>788 今どきimmutableな変数も受け入れられないとかどんだけ化石なんだよ 824 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 12:21:34.20 ID:aLfv28Wa.net] あ、確率論的にヤバイやつに触ってしまった スマヌ 825 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 12:23:58.46 ID:hY05skqC.net] Rustだと所有権とかでエラーになる部分も警告で留めてくれる+警告潰せばだいたい安全、みたいなのがほすぃ(´・ω・`) 826 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 12:27:10.00 ID:VaiYZBCN.net] 大手が採用したとかで一見目立っているが、Google Trends で見る限り 極度の低空飛行で、人気は横ばいよりも下がり気味だ。 827 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 12:33:25.16 ID:VaiYZBCN.net] Rustは、去年の7月辺りをピークとして人気が下がってきている。 828 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 12:36:17 ID:VaiYZBCN.net] >>791 非難する人を「古い人」扱いすれば切り抜けられると思ったら大間違いだ。 829 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 12:39:35 ID:VaiYZBCN.net] >>784 しかし、C++ の場合、new の働きは明確なのに対し、 Rustは、Box::new のコードを見ても、「box」という組み込みキーワードを 使ってしまっているのでそれ以上追う事は出来ず、曖昧さが残る。 C++の場合は、少なくともC++98までだとかなり原始的なレベルまで やっていることが明確だった。C++11あたりから異常になったが。 830 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 12:51:59.02 ID:AdoNhS+g.net] で、Rust使ったらPHPより売れるプログラム書けるの？ｗ 831 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 13:02:00 ID:3tCJhGUU.net] >>788,789 俺もRustは指示するわけではないが、問題点として挙げるのがほんのわずかなタイプ数だなんて、根拠としては弱いというかどうでも良い話だろ 832 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 13:07:03 ID:VaiYZBCN.net] >>799 C++が使いこなせる程度の適正があるプログラマにとっては、タイプ量の増加 は苦痛以外の何者でもない。 彼らは特にC++でバグに悩まされたりしてるわけじゃないのだから。 833 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 13:44:45.27 ID:ShoDX97I.net] タイプ量なんかより大事なことがあるって分かる奴が Rustをつくりだして、または使ってるんだろうなｗ 834 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 13:52:21.68 ID:KIy2b3FX.net] 連日あちこちのスレで荒らしてる奴なので 相手するだけ無駄 835 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 14:09:16 ID:VaiYZBCN.net] タイプ量はとても大事だ。 頭が賢ければ、タイプする体力と時間が不要なのだよ。 頭が悪い人は、体力と時間で勝負するしかないからタイプ量が多い言語を使うしかない。 836 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 14:40:34.92 ID:gM1jKcLP.net] タイプ量はどうでもいい 読みやすいかどうか 837 名前：デフォルトの名無しさん [2020/03/27(金) 14:42:32.41 ID:VaiYZBCN.net] let a:i32 = x; と int a = x; なら、後者は短いのに分かり易い。コンパイラに伝達される情報は同じだし。 838 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 14:54:06 ID:VaiYZBCN.net] Rustで、 let a = x; //(1) と let a:i32 = x; //(2) なら、そもそもコンパイラに伝わる情報が違い、後者は記述量が多くてもバグの少ないプログラミングに役立つ。 後から読み直しても a を i32 型にしたいプログラマの意図が分かって分かり易い。 だから、記述量が増えても後者は良い面を持つ。 ところが、Cで int a = x; //(3) と書けば、Rustの(2)と全く同じ情報がコンパイラに伝わり、エラーチェックのレベルも同程度だから、 Cは、少ない記述量で同じ事ができると言える。 (1)と(2)の違いと、(2)と(3)の違いを混同してはならない。 前者は記述量が多くなっても安全性向上という意味で意味が有るのに対し、後者は、書くのが長くなるだけで全く意味が無いのだから。 839 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 15:00:14.28 ID:ShoDX97I.net] ガイジかこいつ 840 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 15:01:10.96 ID:I9gCjo9A.net] 型推論て今時どの言語にもあるんじゃね GoやJavaにさえある つまり問題視する方がお� 841 名前：ﾙ子い [] [ここ壊れてます] 842 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 15:11:19.11 ID:VaiYZBCN.net] 型推論することで安全性が駄目になるから、Cでは型を明示して宣言するようになったんだ。 その哲学を壊す言語が増えてきているだけ。 843 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 15:13:12.70 ID:u+JL0HJF.net] タイプ量タイプ量ってさぁ 型無し言語かhaskellでもやってろ 844 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 15:17:28.55 ID:E0iV7Jya.net] 型の選択みたいな重要なことをコンピューター任せにしてしまって良いのでしょうか？！ 845 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 15:17:37.12 ID:M0gPeD08.net] null安全を考慮した言語よりnullの方が良いと 主張していたアホだから 846 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 15:19:37.09 ID:E0iV7Jya.net] Cも暗黙の型変換があるからｲｸﾅｲ 高度な型推論はいずれチューリング完全性を有して機械的手続きでは御しきれなくなる そして人類が機械でないという証拠は今のところ無い 847 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 15:42:26 ID:VaiYZBCN.net] >>808 型推論は、C++は template が深くて複雑すぎて、templateを使っているときに、 人間側が結果や変数の本当の型が分からなくなってきたので、しょうがなく 最近になって導入された。 もしこれをちゃんと手で書くと複雑で長い型になり過ぎる。 templateはソースがあるが読んでも複雑すぎて多くのC++プログラマには型が分からない。 また、templateはRADのような簡単に機能を使いたいときに使えるように設計された ものなのに、型が難しすぎてわからないということは本末転倒であった。 そのためにしょうがなく型推論できる機能がC++に導入された。 848 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 15:44:18.61 ID:VaiYZBCN.net] >>810 型を打つこと自体は良いんだ。 >>806 を読むべし。 849 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 15:46:21 ID:VaiYZBCN.net] >>812 そうじゃない。 nullable指定を明示的に行うことは良いと思うが、 nullを絶対悪として、NullObjectとPolymorphismで対応することで nullを完全排除しようとしている一部の人に対して反論していただけだ。 850 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 15:53:09.55 ID:Oj6vZ37J.net] 結局これ「型」の宣伝だからね この謎のゴリ押しにタダ乗りして得をしてるのはRustも同じ 851 名前：デフォルトの名無しさん [2020/03/27(金) 15:58:44.21 ID:6mKroLAz.net] let a = 1; 型無し数値リテラルはデフォルトでi32でintと変わらないし数値リテラルで変えたい時は明示的にする だから long int a = 1; より let a = 1i64; または let a: i64 = 1; の方がデフォルト以外の型が現れるかつタイプ数も少ない こういうやつらはなんで後置型指定でletで変数宣言するか意図を理解してない そもそもNull最高とか言ってるやつらに構っても意味ないな 一生C/C++とかJava、PHP、VB触ってろよ無能 852 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 16:00:21.15 ID:VaiYZBCN.net] >>818 違う。C/C++では、 long int a = 1; とも書けるが、typedefやusingなどを使えば、 i64 a = 1; と非常に古くから書ける。 853 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 16:02:26.87 ID:zbLM5N3A.net] そもそもCの理解も怪しいよな 854 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 16:06:14.83 ID:gM1jKcLP.net] >>806 型推論できるのは冗長性があるからで 冗長性にもいい面悪い面がある 悪い面は変更に弱くなる あっちかえたらこっちもってね rustはそのへんバランスとろうとしている 効果はさておき そのへんまで考察しないと浅いよ 855 名前：デフォルトの名無しさん [2020/03/27(金) 16:10:41 ID:sMse3dA+.net] >>819 普段C++触るけど同じ型指定なのに二通りの書き方あるのはC++の悪いところだと思う Cの資産引き継ごうとしててC++特有のカオスによりしてる 856 名前：デフォルトの名無しさん [2020/03/27(金) 16:15:28 ID:9RtDMjhb.net] C/C++ は typedef した型を区別出来れば良かったのにな 857 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 18:30:43 ID:E0iV7Jya.net] 別のclasssにすれば区別できるお、 intと同じ振る舞いをするがintと区別されるclass、みたいな� 858 名前：竄ﾂは必要に駆られてたまに作る [] [ここ壊れてます] 859 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 19:41:47.93 ID:1SbgdhCL.net] C++は最悪templateで筋肉解決できるけどCでtypedefを別の型にしちゃうとインターフェイス相応のものもderiveマクロ相応のものもそもそもないし、組み込み型のオペレーター群を指定する方法もないから記述がべろべろになってしまうんだよな C++はそれと統一性をもたせざるを得なかったから現状がある 良しか悪しきかは知らん 860 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 20:40:39 ID:t91Qh+gU.net] 型なんて屁みたいなもんでガチャガチャ言ってる入口さん どんだけ効率的に書けて実行出来るか焦点はforeach と食わすリストよ 動的なリストでも分岐無くすとかキャッシュ乗り鬼効率な凄いのをくれ 861 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 21:51:32 ID:vVxM6cgA.net] その屁みたいなもんが無くなったらNumPyやCythonの無いPythonのようなもので それはもうウンコやん 862 名前：デフォルトの名無しさん [2020/03/27(金) 22:51:32 ID:YevT+Fte.net] phpはシンタックスがゴミ （そもそもなんだよ　$ -> => って...） パッケージ管理もゴミ ログ出力の見やすさもデバッグのしやすさもゴミ バージョン乱立 フレームワーク乱立 土台の言語仕様自体がゴミなの棚に上げて コーディング規約の強要 やることなすこと全部他言語の猿真似 動的片付けの癖にプリミティブ型がメソッドや属性すら 持ってない JavaやRailsやJavaScriptはいい加減糞PHPを 著作権侵害で訴えろや 消えうせろ、潰れちまえパクリウンコゴミ溜め言語が 863 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 23:03:13.17 ID:AdoNhS+g.net] >>828 で？君はPHPで書かれたプロダクトより良いプロダクトを持っておりゅかね？？ 864 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 23:19:21 ID:h10m8k5F.net] Rubyは 次世代の日本を担う素晴らしい言語 Railsは、流行りのWebサイトでほとんど使われてる。 Qiitaも、Rails 最近流行ってた、質問箱も、Rails 雇われから脱出し、マックザッカバーグを目指すならRails一択！！！！！！！ 865 名前：デフォルトの名無しさん mailto:sage [2020/03/27(金) 23:52:10 ID:oRj/lH5B.net] phpもそうだしエクセルもそうなんだけど、濫用するヤツが増えると悪評が一気に増える もしかしたらm4がphp並みに嫌われる世界もあったかもしれないと思う 言語の適用範囲を高めるためには、抽象度の高い概念を基本とした方が良い。できるなら数学的に議論可能なレベルで 866 名前：デフォルトの名無しさん [2020/03/28(土) 00:26:31 ID:UNB7xn0N.net] マックザッカーバーグを目指すから、 Facebookに倣ってPHPにするは！ 867 名前：デフォルトの名無しさん mailto:sage [2020/03/28(土) 00:51:24.52 ID:ZE1QO4UJ.net] FacebookほどPHP憎んでそうな企業もないと思うが HackやらReactやら 868 名前：デフォルトの名無しさん [2020/03/28(土) 02:26:30.25 ID:7+pamnWR.net] なんでReact？？ そもそもフロント技術だし、しかもフレームワークだし、ベースがJSだからPHPと全然違う PHPは糞言語なのは間違いないけど論点違うだろ 869 名前：デフォルトの名無しさん mailto:sage [2020/03/28(土) 02:37:43.77 ID:ZE1QO4UJ.net] 関数型、immutable、思想の話 870 名前：デフォルトの名無しさん [2020/03/28(土) 03:00:20 ID:7+pamnWR.net] じゃあ尚更PHPとの比較は外した方がいいな 関数型、immutableってJSがESで取り込んでいった方針だから 871 名前：デフォルトの名無しさん mailto:sage [2020/03/28(土) 03:06:32 ID:5hSs4v6h.net] Facebookつながりで書いてるだけやろ 872 名前：デフォルトの名無しさん [2020/03/28(土) 03:39:20.77 ID:UNB7xn0N.net] ちなみにザッカーバーグのfacebookはrubyもrailsも全く関係ない。 安定のrubyガイジ妄想クオリティ。 873 名前：デフォルトの名無しさん mailto:sage [2020/03/28(土) 04:46:49.21 ID:N90Naszz.net] Railsで作られたサイトは、山ほどあるけど、Laravelで作られた有名なサイトは、少ない。 というか、見たことない。 Laravel使いは、誰も使わないサービスを量産してお金を稼ぐ負の存在。。。！？ 技術だけじゃなく、ビジネスで勝負したいならRails一択！！！！！ 874 名前：デフォルトの名無しさん mailto:sage [2020/03/28(土) 07:02:49.77 ID:jVMyeik2.net] 人はパンのみにて生くるにあらずという名セリフを知らないのかよ 875 名前：デフォルトの名無しさん mailto:sage [2020/03/28(土) 13:06:34 ID:zHaA6Kc0.net] 本屋のrubyの本消滅していてワロタ 876 名前：デフォルトの名無しさん mailto:sage [2020/03/28(土) 14:11:57.48 ID:lvHGCPQW.net] ZOZO は、Laravel レールは続く】 Ruby on Rails Part21 【これからも https://medaka.5ch.net/test/read.cgi/php/1545146635/103 世界を驚かせた、表示速度が異常なサイトも、Rails 製だった！ https://dev.to/ 877 名前：デフォルトの名無しさん mailto:sage [2020/03/29(日) 11:04:58.76 ID:IJ+/NVut.net] Goだとクリティカルになる場合だけRustを使う、あとは面倒なだけだから(マークアップ以外は)絶滅して無問題、わりとマジで 878 名前：デフォルトの名無しさん mailto:sage [2020/03/29(日) 14:53:46.23 ID:mFLaDIgK.net] wasmて使用言語混ぜて分割コンパイルとか出来るん? 879 名前：デフォルトの名無しさん mailto:sage [2020/03/29(日) 15:19:30.65 ID:Kzf4aDfw.net] >>844 Wasmはマシン語に相当するものなので、Wasm自体には使用言語に関する混合に関して何の制限も無い。 ただし、nativeアプリの場合と同じで、C言語の関数を通じてお互いに呼び出しあうなどは必要。 なお、今のところ、最低限マシン語とC言語の仕組みに関して知識がないと難しい。 （最低、アドレスやポインタについての理解がいる。） 880 名前：デフォルトの名無しさん mailto:sage [2020/03/29(日) 15:27:11 ID:Kzf4aDfw.net] >>845 例えば、LLVMをバックエンドに持つコンパイラであって、LLVMの中の %struct.XXXX のアラインメントのとり方が同じであって、かつ、 export、importする関数がC言語のインターフェースを持っているならば、 Wasm用のリンカでリンクが可能。 この条件を満たさない場合、リンクするのは難しいが、以下のようにすれば、 実行段階でお互いに関数を呼び出しあうことが出来る。 ・それぞれの言語処理系でリンクを行って、*.wasm ファイルを作る。 　これらは、「Module」と呼ばれる。 ・ModuleをWasmとして機能させるには、JSでInstace化を行う。 ・この際に、それぞれの関数名を import すれば、お互いに関数を呼び出しあうことが可能。 ・この場合、文字列や配列の様なものにアクセスし合いたい場合、ポインタ値がJSレベルでは 　単なる整数値になるので、それを、Memory と呼ばれる線形メモリーの ArrayBufferの 　アドレス値とすることで、可能。 881 名前：デフォルトの名無しさん mailto:sage [2020/03/29(日) 21:23:25 ID:s3Co173K.net] 並列処理一番簡単に書けるスクリプト言語なに? 882 名前：デフォルトの名無しさん [2020/03/29(日) 21:30:38.73 ID:aoCWY+mA.net] go 883 名前：デフォルトの名無しさん mailto:sage [2020/03/29(日) 21:33:30.37 ID:Erzf/uFl.net] ｐｈｐ 884 名前：デフォルトの名無しさん [2020/03/29(日) 21:33:38.94 ID:AoSt3bhf.net] >>847 PureScript 885 名前：デフォルトの名無しさん mailto:sage [2020/03/29(日) 21:44:17 ID:MKM75DKF.net] bash 886 名前：デフォルトの名無しさん mailto:sage [2020/03/29(日) 21:47:11 ID:s3Co173K.net] バラバラじゃん 人によって違うのか 887 名前：デフォルトの名無しさん [2020/03/29(日) 21:51:55 ID:AoSt3bhf.net] そらそうやろ 何個言語あってプログラマ何人おると思ってるねん 888 名前：デフォルトの名無しさん mailto:sage [2020/03/29(日) 22:23:37 ID:GFdzppn9.net] コロナ菌に強い言語は？ 889 名前：デフォルトの名無しさん mailto:sage [2020/03/29(日) 22:55:19 ID:Erzf/uFl.net] ｐｈｐ 890 名前：デフォルトの名無しさん mailto:sage [2020/03/29(日) 23:14:39 ID:Sg0tN/NI.net] >>847 Make 891 名前：デフォルトの名無しさん mailto:sage [2020/03/29(日) 23:23:25 ID:AoSt3bhf.net] TypeScriptで質問なんだけど、全く新しい型を導入する方法ってあるのかな？ 構文がわからないから疑似コードで書くけど、 t 892 名前：ypedef X; // Xという新しい型を定義 function makeX<T> (t T): X { /* ... */ } // makeXで作られた値以外を渡したらいつもコンパイルエラー function soSomethingWithX( x: X ) :void { /* ... */ } こういうことがしたいんだけど… [] [ここ壊れてます] 893 名前：デフォルトの名無しさん mailto:sage [2020/03/29(日) 23:53:44 ID:Erzf/uFl.net] TypeScript は構造的部分型だから無理 type Nekko = { name: string age: number } type Inu = { name: string age: number } これらは同じ扱いになる っていう話？ それとも makeX 以外で X を作れなくしたいという話？ 別に X を満たせば、 makeX 以外が X 作ってもよくない？ makeX が作った X と、makeX 以外が作った X が別物なのであれば、 それらは別の型だろう 894 名前：デフォルトの名無しさん mailto:sage [2020/03/29(日) 23:54:30 ID:Erzf/uFl.net] なんか頭おかしそうな奴とID被ってて最悪・・・ 895 名前：デフォルトの名無しさん mailto:sage [2020/03/30(月) 00:09:09 ID:2aeq6Dek.net] 型の表現力が低くて嫌だねそれ。0以上の数を表す型とか作れないじゃん 896 名前：デフォルトの名無しさん [2020/03/30(月) 00:15:47 ID:byCSvntg.net] >>847 erlang かな むしろ全て機能を並列処理で書くしか無い割り切りというか 897 名前：デフォルトの名無しさん mailto:sage [2020/03/30(月) 00:42:47 ID:Oymj8mf6.net] >>847 スクリプト言語ではないが、GPGPU 用のC言語に似た言語は、そもそも 最初から並列処理を前提にしている。 898 名前：デフォルトの名無しさん mailto:sage [2020/03/30(月) 01:02:40 ID:DOS6yDxg.net] >>860 プロパティが一致しなければ別の型になるので、 piotrwitek/utility-types の nominal type 使うなどして、自分で識別子を与えればできる JavaScriptというカオスな言語・膨大な資産を利用するには、仕方ない面もある 899 名前：デフォルトの名無しさん mailto:sage [2020/03/30(月) 19:47:31.17 ID:UMPMfaDu.net] 並列処理などお前らが書く必要はない。 ライブラリを使え。 900 名前：デフォルトの名無しさん mailto:sage [2020/03/30(月) 20:46:42 ID:kgJURof2.net] erlangｔって、堅牢かもしれんが縛りがきつくて決して簡単だとは思えないが。 901 名前：デフォルトの名無しさん mailto:sage [2020/03/30(月) 21:04:07.42 ID:bUcOwvrU.net] Objective-C → Swift や Java → Kotlin と同じ感じで Erlang → Elixir がある 902 名前：デフォルトの名無しさん [2020/03/30(月) 21:09:02.33 ID:08TDMd3Q.net] >>864 やっぱりPureScriptでAffがナンバーワン！ 903 名前：デフォルトの名無しさん mailto:sage [2020/03/30(月) 21:15:44.17 ID:kgJURof2.net] いや文法がどうとかじゃなくて、データを一切共有しないアクターモデル自体がね。 904 名前：デフォルトの名無しさん mailto:sage [2020/03/30(月) 23:04:26.22 ID:N7kDQWeU.net] Erlang、 905 名前：デフォルトの名無しさん [2020/03/30(月) 23:41:35.89 ID:mSBWf3OZ.net] 並列処理は、データベース管理システムで結合したマルチプロセスでほとんどの場合十分だろ、って思ってしまう 局所的な高速化だったらライブラリ使えになっちゃうし 906 名前：デフォルトの名無しさん mailto:sage [2020/03/31(火) 01:01:31.54 ID:G9etW8qy.net] >>867 JSは自前でWorker使った並列処理書かないと 並列化はされてないんじゃないの？ 907 名前：デフォルトの名無しさん mailto:sage [2020/03/31(火) 09:07:30 ID:tO4cMY6a.net] どこもzenの話題がないな。 908 名前：デフォルトの名無しさん mailto:sage [2020/03/31(火) 09:22:07.43 ID:c3F4yVlK.net] zenzen話題にならないね、全然 909 名前：デフォルトの名無しさん mailto:sage [2020/03/31(火) 09:49:27 ID:PWbizjT8.net] 当然だろ 910 名前：デフォルトの名無しさん mailto:sage [2020/03/31(火) 11:26:57.93 ID:S3VhPMDw.net] zig/zen/c2にはCの壁は崩せんかなぁ いい感じではあるけどいい感じから更に上回って採用するほどではないという 911 名前：デフォルトの名無しさん mailto:sage [2020/03/31(火) 13:17:16.39 ID:OTxurRkT.net] cの壁崩す前にcの前に散っていった言語の特徴でもまとめておいた方がよっぽど前向きだよ。 912 名前：デフォルトの名無しさん mailto:sage [2020/03/31(火) 13:25:17.44 ID:c3F4yVlK.net] 僕たちはＣの世界で契約したんだ 913 名前：デフォルトの名無しさん mailto:sage [2020/03/31(火) 1 ] [ここ壊れてます] 914 名前：4:38:03.91 ID:EXHwmcq2.net mailto: UNIXにしろWindowsにしろOSのAPIがCの関数だから アプリもCで書くのが一番自然になる [] [ここ壊れてます] 915 名前：デフォルトの名無しさん mailto:sage [2020/03/31(火) 15:39:54.43 ID:chhHfIYK.net] cしか書けない人はこういう極論を言う 916 名前：デフォルトの名無しさん [2020/03/31(火) 15:45:01.73 ID:54ZUq6ql.net] 極論であると同時に正論でもある稀有な例。 917 名前：デフォルトの名無しさん mailto:sage [2020/03/31(火) 16:43:37 ID:chhHfIYK.net] 正論も何もnativeでABI準拠できればいいのであって cである必然性はない 918 名前：デフォルトの名無しさん [2020/03/31(火) 16:47:11.45 ID:54ZUq6ql.net] つまりわざわざC以外にする必要性もないわけだね 919 名前：デフォルトの名無しさん mailto:sage [2020/03/31(火) 17:06:20.65 ID:chhHfIYK.net] システムコールだけが言語選択の基準 って思考から脱却しろ あほらし 920 名前：デフォルトの名無しさん mailto:sage [2020/03/31(火) 17:34:36.26 ID:WCUraC1a.net] Cおじいちゃんって職場で若者にマウント取ってそう 921 名前：デフォルトの名無しさん mailto:sage [2020/03/31(火) 17:37:12.28 ID:mFEQEhdF.net] C調言葉にご用心〜♪ 922 名前：デフォルトの名無しさん mailto:sage [2020/03/31(火) 17:38:37.75 ID:c3F4yVlK.net] でもPHPの方が生産性高いよね 923 名前：デフォルトの名無しさん mailto:sage [2020/03/31(火) 17:40:28 ID:qnv4SZcB.net] アセンブリでマウント取る爺様方がだいたい鬼籍に入って次はCでマウント取る爺様方の時代になった感じやね 924 名前：デフォルトの名無しさん [2020/03/31(火) 18:01:22.91 ID:uDSFrRRV.net] C#からCのAPI呼ぶとき 構造体とか配列のポインタとか面倒だな・・・ 925 名前：デフォルトの名無しさん mailto:sage [2020/03/31(火) 18:27:57.93 ID:S3VhPMDw.net] Cベースはむしろマシなんだよほとんどの言語でFFIあるし 問題は処理系依存マシマシのC++ベースAPI/ABI 926 名前：デフォルトの名無しさん mailto:sage [2020/03/31(火) 18:58:18.61 ID:DEnjdkJH.net] >>888 C#のFFIはかなり良い方だろ C側でラッパーを一切書くことなくC#から呼び出せる 何より、トラブルの元になりがちな変なコードジェネレータの類がなくて、宣言した通りに正しく素直に動くってのが素晴らしい そのストレスフリーさに比べたら、C#側で関数や構造体の宣言を書き直さなきゃいけないのは余裕で受け入れられる冗長性だと思う 927 名前：デフォルトの名無しさん mailto:sage [2020/03/31(火) 21:40:41 ID:OTxurRkT.net] 別にcで書けって話でなくて、cのそういう側面くらい常識として知っとけって だけなのに、なんかコンプレックス刺激されちゃう奴がいるのな。 928 名前：デフォルトの名無しさん mailto:sage [2020/03/31(火) 22:05:04.60 ID:HDRrREDo.net] >>891 C がわかる、てだけでドヤるのも大概だけれども それよりももっと性質が悪いのは C がわからないコンプをこじらせているやつ 929 名前：デフォルトの名無しさん mailto:sage [2020/03/31(火) 22:28:42 ID:G9etW8qy.net] 次スレは「次世代言語を夢見るレガシー言語労働者達のマウンティング合戦スレ」に改題で 930 名前：デフォルトの名無しさん [2020/04/01(水) 10:12:43 ID:5VJq6KKK.net] 解決しそうだけど 何このモヤモヤ感 https://qiita.com/hmuronaka/items/619f8889e36c7b5db92d 931 名前：デフォルトの名無しさん [2020/04/01(水) 17:19:13.73 ID:XWi3lCYB.net] C#はわからん 932 名前：デフォルトの名無しさん [2020/04/01(水) 18:46:22 ID:60SS71wY.net] ヒカルと店長からこれまで話してこなかった真面目な話があります https://www.youtube.com/watch?v=WiPoQWJfFt0&t=900s 全部話します。YouTuberヒカルが生まれるまでの話しと今の本音 https://www.youtube.com/watch?v=97FsyM7G1jw 高校生の自分に教えたいこと https://www.youtube.com/watch?v=y0SY32zOExc 嫌われながら好きなことで、生きていく「起業家-ヒカル」 https://www.youtube.com/watch?v=OcsN5iD7C-s 【本音対談】これからYouTubeをはじめるあなたへ【DJ社長×ヒカル】 https://www.youtube.com/watch?v=IDL3dLxyPuk 【好きなことで、生きていく】『レペゼン地球-DJ社長-』 https://www.youtube.com/watch?v=PPnbEiXSYM8 933 名前：デフォルトの名無しさん mailto:sage [2020/04/01(水) 20:24:09.70 ID:GB ] [ここ壊れてます] 934 名前：jVGlaM.net mailto: >>896 グロ [] [ここ壊れてます] 935 名前：デフォルトの名無しさん [2020/04/02(木) 20:08:57.64 ID:SaXsz2/b.net] 標準ライブラリが豊富な言語ってC++, Javaとかになるの？ 936 名前：デフォルトの名無しさん [2020/04/02(Thu) 22:35:51 ID:0tSRYO67.net] C++は豊富とは言えない。 937 名前：デフォルトの名無しさん mailto:sage [2020/04/02(Thu) 22:39:04 ID:D0Dsg/MO.net] Cの非標準ライブラリまとめ言語 と言われたくない人達 938 名前：デフォルトの名無しさん [2020/04/02(木) 23:17:47.62 ID:iuGcEdKM.net] プログラム板でこのスレしか人いないのほんと草 939 名前：デフォルトの名無しさん mailto:sage [2020/04/02(木) 23:53:07.21 ID:tEUzHDBS.net] Javaと並ぶのはないんじゃないの？ 940 名前：デフォルトの名無しさん mailto:sage [2020/04/03(金) 00:01:45.98 ID:0E621fjE.net] .NETも標準ライブラリ豊富だろ つか、今時スレが言語スレだが言語だけで語る滑稽さ 次世代言語というより、標準ライブラリも含めた次世代環境がほしい 941 名前：デフォルトの名無しさん mailto:sage [2020/04/03(金) 00:21:31.40 ID:v6FKoEXq.net] 最近の言語はどれも環境そろってるだろ。 適当なインストーラーとライブラリ管理はあるし。 ビルド通らねー糞が！とかもだいぶ減った。 942 名前：デフォルトの名無しさん [2020/04/03(金) 00:44:59.65 ID:WSo5wZTZ.net] rustはpythonがらみでエラー出てビルド通らなかった。 本気だして調べる気力もなく、関連ファイル削除して男友達と焼肉食いに行った。 わざわざ男友達と書いたのは、女友達なんかいないからだ。 943 名前：デフォルトの名無しさん mailto:sage [2020/04/03(金) 01:46:29 ID:y4LIlYUL.net] >>905 わざわざどうでもいいつまらないことを書き込むところが女友達のいない原因だろう 944 名前：デフォルトの名無しさん mailto:sage [2020/04/03(金) 01:54:07 ID:b0rZIsH6.net] >>905 1行目からイミフ 945 名前：デフォルトの名無しさん mailto:sage [2020/04/03(金) 07:20:23.73 ID:x2AIwLRG.net] >>907 rust自身のビルドが、Pythonに依存しているって話じゃない？ 946 名前：デフォルトの名無しさん mailto:sage [2020/04/03(金) 10:41:31.87 ID:TFqtSApO.net] Pythonはいいぞ Makefileより読みやすく Python自身のビルドはLLVMのビルドより10倍か100倍速い 947 名前：デフォルトの名無しさん mailto:sage [2020/04/03(金) 10:53:44.07 ID:b0rZIsH6.net] 型無しの時点でゴミという現実 948 名前：デフォルトの名無しさん mailto:sage [2020/04/03(金) 14:42:39 ID:Tc814Ws0.net] 型が無いんじゃなくて型を差別してないのさ どんな型が来ても受け入れるおおらかさがある 949 名前：デフォルトの名無しさん mailto:sage [2020/04/03(金) 15:11:10.65 ID:v6FKoEXq.net] 動的な型なだけだな。 ネストした構造をループ処理するときなんかは確かに楽なことも多い。 950 名前：デフォルトの名無しさん mailto:sage [2020/04/03(金) 15:32:53.86 ID:b0rZIsH6.net] それを世間一般では型無し糞言語と言うんだよ 951 名前：デフォルトの名無しさん mailto:sage [2020/04/03(金) 15:51:03.27 ID:MTkh8ajj.net] 強い動的型付けだし型アノテーションだいぶ充実してきたしでだいぶマシだと思うけどなぁ 弱い動的型付けと同一視するのは誤りの元だし、漸進的型付けの存在を無視するのもまた評価を誤りかねないですよ 952 名前：デフォルトの名無しさん mailto:sage [2020/04/03(金) 16:37:43.22 ID:UYNPUerC.net] Pythonの型アノテーションは実際には全くと言っても差し支えないほど使われていないから無視して問題ない そろそろ後付け静的型の代表的成功例であるTypeScriptと何が違ったのかを真剣に議論すべき時期にきてる 953 名前：デフォルトの名無しさん mailto:sage [2020/04/03(金) 16:50:18.12 ID:v6FKoEXq.net] したけりゃすりゃいいじゃん。 954 名前：デフォルトの名無しさん mailto:sage [2020/04/03(金) 17:36:01 ID:qlrRurvi.net] TypeScriptの方が使いやすい型システムしてるのわかる 955 名前：デフォルトの名無しさん mailto:sage [2020/04/03(金) 17:42:02 ID:HJoja6bN.net] 型無しは苦手だけどbashは認める 956 名前：デフォルトの名無しさん [2020/04/03(金) 18:10:28.37 ID:VVxcL9Mv.net] >>902 C#は多いけど標準かって言われるとな・・・ C/C++も「標準」に拘ると何もできないω 957 名前：デフォルトの名無しさん mailto:sage [2020/04/03(金) 22:01:00.40 ID:9+J0Mjhv.net] 型なし言語でも宣言時に初期化と代入を済ませれば問題がない 958 名前：デフォルトの名無しさん mailto:sage [2020/04/03(金) 22:20:48.78 ID:bCeKFD21.net] 動的だと、神関数が、作れるからオススメ。 func add_god(a,b){ 959 名前：return a + b } add_god(1,2) add_god("a","b") add_god(1,"a") 神関数、があれば、コードの削減が可能！！！！！！！！！ ノーコード時代には動的型付け言語一択！！！！！！！！ [] [ここ壊れてます] 960 名前：デフォルトの名無しさん mailto:sage [2020/04/03(金) 23:12:24 ID:IuiLyZOy.net] 型無しのデバッグ作業に駆り出された事有るけど、マジで地獄やぞ。絶滅はよ 961 名前：デフォルトの名無しさん mailto:sage [2020/04/03(金) 23:39:58.52 ID:b0rZIsH6.net] ガチのマジで型無し糞言語の良さがわからん 死ねとまでは言わないが生まれてこなければよかったのに 962 名前：デフォルトの名無しさん mailto:sage [2020/04/03(金) 23:46:38.92 ID:y4LIlYUL.net] 型無し言語より>>921に絶滅してほしい 963 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 01:01:37.87 ID:ImIgGAA9.net] 何回言われても直す気がないからもう悪意だと認識してるけど、動的型付けと型なしは全く別のものとしてそもそも存在してるので、動的型付けを型なしと呼びまた強い型付けと弱い型付けの区別を無視する限りこの議論が有意義に進むことはないよ 964 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 01:03:28.27 ID:9qrNMGHe.net] このへんでも読めば？ https://myuon.github.io/posts/type-system-poem/ 965 名前：デフォルトの名無しさん [2020/04/04(土) 01:04:40.59 ID:PddOPzm8.net] 型があれば静的解析に有効というのは間違い無いのだが 静的解析すれば全てのバグを取り除けるというのは間違い 966 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 01:34:09 ID:ezNPGdHf.net] > 静的解析すれば全てのバグを取り除けるというのは間違い そもそもそんな主張誰もしていない 967 名前：デフォルトの名無しさん [2020/04/04(土) 02:58:03 ID:bmDmb45p.net] スクリプト界隈もlintから始まってflowだTypeScriptだ型定義は素晴らしい！静的型付けバンザイ！ とかあれだけ動的型付け素晴らしいからの静的型付け面倒臭いとかディスッといてこの状況は大草原ですわ まぁ何事もトレードオフだからケースバイケースで使い分ければいいんだが 今頃ブレイクスルーだなんだと大騒ぎなのは滑稽ですな js界隈も結局サーバサイドレンダリングに回帰してるしファッションや音楽と同じで10〜20年スパンでサイクルすんのかね 968 名前：デフォルトの名無しさん [2020/04/04(土) 04:34:22.45 ID:aJleCvsu.net] JSを本業にしてる層って最近の若者で学生時代にちょっと触り始めた生意気なガキが多いから気にしない方が健全 969 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 07:59:21.83 ID:ImIgGAA9.net] CのunionとかC++のオブジェクトスライシングの話を見てたら型が無いからクソみたいな言説は発生しないはずなんだがな…… 型があっても言語としての使い方がクソならクソだし、静的解析のないLLだからってランタイムにきちんと型エラー吐いてくれるものが比較的マシという評価になるのは間違いないでしょ デジタルな分野扱ってるからって判断までI/Oにするもんじゃない 970 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 08:04:15.02 ID:7gXG4pCc.net] 静的解析マンセーな輩はただテストコード書く技量がないだけ。 971 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 09:42:25 ID:BgK/PXFy.net] >>932 君は　>>921　の関数に、整数、小数、文字列、オブジェクト、真偽値、日付型・・・ たくさんの引数を与えて 一生懸命テストを書くのだろうな それは素晴らしいことだと思うよ 感動で涙がで、でますよ 972 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 09:47:00 ID:7gXG4pCc.net] またそう言う極論をほざくところが静的解析マンセー厨らしいよ。 973 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 09:48:28 ID:BgK/PXFy.net] >>934 おやおや・・・君もテストコード書く技量がないだけ？？ 974 名前：デフォルトの名無しさん mailto:sage [2020/0 ] [ここ壊れてます] 975 名前：4/04(土) 09:50:52 ID:BgK/PXFy.net mailto: それともコメントに、 この引数は整数でございます。小数、文字列、オブジェクト、真偽値、日付型・・・は教育によろしくないので与えないでいただけますと幸い至極でございます。 とでも一生懸命書くのかな？？ それでIDEの静的解析に警告を受けたら 「やっぱり型無し糞言語でも安全！！型はいらない！！！」 とか言うのかな あれっｗ [] [ここ壊れてます] 976 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 10:24:55 ID:4+4qlucB.net] Pythonは現実的 言語名が不明な「静的型」は現実みが浅い 977 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 10:34:48.74 ID:LqQwLSmR.net] Pythonは有名ライブラリにことごとく型がついてないので やっぱりクソ 978 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 10:48:28.81 ID:g5yerRCZ.net] >>937 現実みが浅い、って日本語として気持ち悪い 979 名前：デフォルトの名無しさん [2020/04/04(土) 11:05:52.17 ID:L/BdUORC.net] 逆に静的型付けの何がいいのか知りたい JavaScriptやpyなんか連想配列や辞書 定義するのもコンソール出力もめっちゃ便利やぞ コンパイルエラーの手間もないしめっちゃデバッグが楽 980 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 11:12:33.09 ID:oHbtMe0Y.net] >>932 それな 全員がそうだとは言わないけどテスト設計できないやつが大半 981 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 11:46:08.97 ID:nZpdiFMX.net] // この関数を使えばなんでもできます func god(args...){} これだけで基幹システム作ったわ 1年掛かる工数を3日に短縮できる動的言語ってやっぱ神だわ 982 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 11:54:03.53 ID:BgK/PXFy.net] >>942 うーんこの神 みずほ案件も型無し糞言語を使っていれば3人日で完成していた 983 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 12:50:45.86 ID:7gXG4pCc.net] >>940 メソッドの実装探すのに苦労する。 984 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 13:09:18.66 ID:XKUUvXNa.net] public class HelloWorld { public static void main(String[] args) { System.out.println("hello, world"); } } やっぱJavaだわ 記述量が多いから努力した気になれるし成長した気にもなれる 静的型付けだから動的野郎にもマウント取れるし 昔ながらの大企業でよく使われてるから日本の伝統も感じられるし 今後50年は食いっぱぐれないし Oracleに転職できるかもしれない 985 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 13:11:54.28 ID:ebeS0Dvl.net] またそう言う極論をほざくところが型無し糞言語マンセー厨らしいよ。 986 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 13:15:24.41 ID:c4e/DrqX.net] 30年後50年後にコードを書く文化って残ってるのかな 987 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 14:40:47.29 ID:4+4qlucB.net] 英語圏の文化で面白いのがプログラムしかない これが無くなったら英語自体がオワコン 988 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 17:38:57 ID:VsggCgGE.net] >>941 動的派の書くテストは正常系を一発通すだけのものが多くて、あれでテストちゃんと書いてますと言われても首を傾げてしまう 動的型のコードがデグレで動かなくなるのは日常茶飯事であるし、そもそも最初から全く動かないウンコであることも珍しくない だから最低でも変更の度に自動テストで一度動しておけば品質は大幅に上がるのだが、とはいえ血便が下痢便になる程度 一方、静的型はプログラマの品質に対する意識の高さや静的型検査の恩恵のため、動かすだけのテストにはあまり意味がない 起こりうる様々なケースを試したり挙動の変更を厳密に監視したりと、静的型においては自動テストに求められる基準は遥かに高くなる 989 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 17:54:20 ID:f2T6dYaQ.net] >>933のいうとおりだな。人間どうミスするかわからんから、 整数、少数..本来は全部やるべきだな エラーの原因の大半 990 名前：は人間のちょっとしたミスだからな >>934は勝手に都合のいい解釈でそういうテスト省こうとしてるだけやんw [] [ここ壊れてます] 991 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 17:57:18 ID:j3yAmUj/.net] 過激派静的言語マンってミスが一切許されない職場で働いてそう 動的だと一週間で終わるものを三ヶ月ぐらい掛けて実装してそう 992 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 17:59:36 ID:f2T6dYaQ.net] >>949 なるほど、まさしく>>934は「異常系」のテストは、極論と自己都合解釈して省こうとしてるのですね 993 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 18:06:51 ID:ebeS0Dvl.net] >>951 型無し糞言語脳って、型チェックがあればそもそも発生しないバグのチェックに何日費やしてるんだろうな 静的型だと0秒で終わるバグを三ヶ月ぐらい掛けて修正してそう 994 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 19:42:07.40 ID:ebMvcEKD.net] ワイ「この作業、手動でやるとめんどいしpythonで自動化するかぁ」 型おじさん「……型は？」 ワイ「え？」 型おじさん「簡単なスクリプトだからって舐めてない？引数とかに色んな型が入ること想定してる？」 ワイ「いや……」 型おじさん「あのさぁ！！！！！型が無いと万が一のこともあるよねぇ！？！？！？エラーが起きてサーバぶっ壊れるかもしれないだろ！？！？」 ワイ「サーバが壊れる！？どうしたんですか」 型おじさん「ああああああああ！！！！！！！！」 次の日にそのおじさん退職したわ 前の職場でも型型騒いで辞めたらしい お前らも気をつけろよ 995 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 19:46:39.69 ID:C11LX2Y6.net] >>954 そんな低レベルな職場に一生居たくないと思ったんだろう。 かわいそうに。 996 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 20:02:34.31 ID:4KWBPZA4.net] 型おじ釣られすぎだろ ネット初心者かよ 997 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 20:03:33.83 ID:dzVJGpcL.net] >>954 最近多いんだよねー Pythonとかちょっとかじった程度で 「俺プログラマーやってます」って顔する子 最初の入り口が動的型付け言語なんだよね最近の子って そんなもんじゃ使いものにならねっての 998 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 20:04:21.63 ID:0WjGsUHg.net] 長文でクソおもんない作り話書いてて楽しそうですね Juliaなんかはパフォーマンス向上目的での型の導入だけど、型安定とかわざわざドキュメントに記すなら言語側でそもそも制約を強めてエラーにしてしまうとかでよかったんじゃないかと思ってしまう 999 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 20:17:41.20 ID:ebeS0Dvl.net] やっぱり型無し糞言語池沼ってガイジだなｗ 1000 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 21:08:43.70 ID:g5yerRCZ.net] pythonの型とかどうでもいいよ。次世代言語の話をしよう。 1001 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 21:13:34.71 ID:xxHp0w1Z.net] N88-BASICにも型の概念はあったからなあ… 1002 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 21:22:41.67 ID:nlgyx7EU.net] classイコール型みたいな言語だと考慮しないといけない事項が多すぎるし記述量は馬鹿みたいに多い なので、そういう言語しか知らない人が「静的型付けは煩わしい」と思うのは仕方ないことかもしれん、と思う 一度はOCamlを使って欲しい OCamlは正格評価だし、型は強力で作りやすくて使いやすいし、OOPとも丁度いい距離を取ってる smalltalkほど死んじゃいないし、Haskellほどアカデミックじゃない 次世代言語じゃない！と言うなら、ReasonMLでも良い。OCaml -> Javascriptみたいな環境もある 1003 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 22:28:52.51 ID:oHbtMe0Y.net] >>949 正常系を一発通すだけで十分なのかどうかは仕様次第 ただオープンソースではよくあるのは開発者がテスト軽視してるだけで 動的言語か静的言語か関係ない >>950 >>921の関数に対してどういうテストをすべきかは仕様次第 仕様は不明だけど考えうる限り網羅的にテスト� 1004 名前：ｷべきって考え方自体が テスト設計したことない人の考え方だよ [] [ここ壊れてます] 1005 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 22:57:35.78 ID:f2T6dYaQ.net] こいつの人間は間違わないっていう前提にたってる品質管理が草 1006 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 23:05:06.65 ID:ebeS0Dvl.net] 俺は天才と信じている異常者（低学歴・障害者手帳持ち）　＝　型無し糞言語ガイジ 1007 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 23:05:29.19 ID:wh1EiJLW.net] web プログラミングのように外は危険がいっぱいという状況と 機械学習のように入力情報は保証されているという状況では 当然テストの質が異なる 議論がすれ違っているのはその辺の違いかと 1008 名前：デフォルトの名無しさん mailto:sage [2020/04/04(土) 23:09:15.46 ID:oWvr86T9.net] それ型の有無関係ない話じゃん それこそ論点ずれてる 1009 名前：デフォルトの名無しさん [2020/04/04(土) 23:12:02.58 ID:H4c+c10U.net] そもそもテストと型は無関係なんですかそれは 1010 名前：デフォルトの名無しさん [2020/04/04(土) 23:21:54.26 ID:L/BdUORC.net] Javaとpythonで争ってたところに 唐突に岡村提案されてて草 1011 名前：デフォルトの名無しさん [2020/04/05(日) 00:17:54.25 ID:bKlpD2Cq.net] データに型は必要ない。 データの内容によって命令を使い分ければ良いのだ。 ↑ 機械語で十分って事では？ 1012 名前：デフォルトの名無しさん mailto:sage [2020/04/05(日) 00:34:46.44 ID:GfhXthds.net] >>970 確かに。 ポインタも整数も同じ整数レジスタで行うね、マシン語だと。 整数演算で可能な型ならビット数以外の型情報が無い。 1013 名前：デフォルトの名無しさん mailto:sage [2020/04/05(日) 00:37:30.12 ID:GfhXthds.net] >>971 それで、マシン語だと間違った演算でもコンパイル時にエラーがでにくかったが C言語で細かな型が導入されて間違いをコンパイラが発見することに成功した。 ところが最近のスクリプト言語では明確な型宣言がないものが流行り出し、 かつての問題点がまた出てくるようになってしまった。 1014 名前：デフォルトの名無しさん [2020/04/05(日) 00:56:47 ID:d7/7NuuZ.net] ほう…マシン語でコンパイルを 1015 名前：デフォルトの名無しさん mailto:sage [2020/04/05(日) 01:07:09.53 ID:N+saKT+1.net] 普通に静的型＋型推論でええやん 型書けない言語はもうありえんわ 一時期PHP使ってたことあるけど、正気の沙汰じゃなかった 1016 名前：デフォルトの名無しさん mailto:sage [2020/04/05(日) 01:15:27.47 ID:O4a3Y/9V.net] TypeScriptが一番しっくりくるという悲しい現実 1017 名前：デフォルトの名無しさん mailto:sage [2020/04/05(日) 01:22:54.32 ID:k4Q+DqWZ.net] PureScriptに慣れてしまったらTypeScriptの構文はやぼったいわ 1018 名前：デフォルトの名無しさん mailto:sage [2020/04/05(日) 01:23:18.72 ID:GfhXthds.net] >>973 当時はアセンブルと言っていたが、若い人にはコンパイルといったほうが通じ易いらしいので。 1019 名前：デフォルトの名無しさん mailto:sage [2020/04/05(日) 01:36:39.25 ID:oP415tbW.net] >>962 岡村さん何してはるんですか 1020 名前：デフォルトの名無しさん [2020/04/05(日) 02:12:33.78 ID:d7/7NuuZ.net] 今の若い人はマシン語はコンパイルするものと習うのですか？ コンパイル言語を知っている人向けにアセンブルを説明するのに「コンパイルみたいなもの」と説明するのではなく？ 1021 名前：デフォルトの名無しさん mailto:sage [2020/04/05(日) 02:16:10.20 ID:dvIeqTXE.net] 次世代じゃないけどOCamlはええぞ。大体の言語のエッセンスを見直すきっかけになる ちゃんとした型推論と簡潔な型表記があれば静的型付けでも書くのは面倒じゃないって分かったり クラスってプログラムの必須構成要素なんかじゃないって気づけたり(むしろ用途は凄く限定されるべきもの) 遅延評価って実際にどんだけ便利なの、とか、分かる 1022 名前：デフォルトの名無しさん [2020/04/05(日) 02:16:21.31 ID:bKlpD2Cq.net] アセンブラと機械語は一対一に対応していないんだよな。 配置が決定しないと使えない機械語が有るので。 1023 名前：デフォルトの名無しさん mailto:sage [2020/04/05(日) 02:30:40.57 ID:k4Q+DqWZ.net] 型がいらない/めんどくさいと主張する層は、 大方自分の意図をメソッドのボディによって表現することしか知らないのだろう HaskellやらOCamlやらある程度の型システムの強度を持っている言語の経験があるプログラマは、 自分の意図の大部分を型で表現することに慣れているから、型がいらないとか正気か？となる 1024 名前：デフォルトの名無しさん [2020/04/05(日) 02:48:33 ID:bKlpD2Cq.net] 型が無いのはとても良いことです。 1025 名前：デフォルトの名無しさん mailto:sage [2020/04/05(日) 02:49:08 ID:c8uove51.net] 関数型で型が重用されるのは、高階関数によって型が至るところでアドホックに生み出されるため、 型がないとプログラムを正しく組むことが事実上不可能だからだよ 関数型では型は主にプログラムの形式的な正しさを守るためのテクニカルなツールとして用いられていて、 むしろドメインモデルを型で記述するみたいなのは意外にも関数型では重視されなかったりする 1026 名前：デフォルトの名無しさん [2020/04/05(日) 02:49:14 ID:bKlpD2Cq.net] プログラミングが必要なくなればもっと良いです。 1027 名前：デフォルトの名無しさん [2020/04/05(日) 02:50:35 ID:bKlpD2Cq.net] でも今はまだ無理です。 素直に型を使いましょう。 1028 名前：デフォルトの名無しさん mailto:sage [2020/04/05(日) 03:09:06.75 ID:k4Q+DqWZ.net] >>984 言ってることが何一つ理解できないんだが ほんとに関数型言語の経験か、型システムを専門に研究した経験のどっちかでもある？ 1029 名前：デフォルトの名無しさん mailto:sage [2020/04/05(日) 03:27:35 ID:O4a3Y/9V.net] >>980 標準ライブラリなんとかして 1030 名前： mailto:sage [2020/04/05(日) 03:31:26.32 ID:1D4UZmeK.net] >>980 haskell と比較した ocaml の利点をぜひ！ 1031 名前：デフォルトの名無しさん [2020/04/05(日) 06:23:20.59 ID:bKlpD2Cq.net] タイプ数を節約できることでは？ 1032 名前：デフォルトの名無しさん [2020/04/05(日) 10:17:02 ID:/6aVgV0B.net] ん？OCamlってかなり標準ライブラリ豊富って聞いてたけど違うの？ 1033 名前：デフォルトの名無しさん mailto:sage [2020/04/05(日) 11:56:52.59 ID:ZlQTcj/v.net] そんなに引数に何が来るかわからないという状況が多いのかなあ このメソッドは何をするかがはっきりしていれば、そんなに型を気にする 必要はないと思うけどなあ。一つのクラスでたくさんのことをさせているのか? 1034 名前：デフォルトの名無しさん mailto:sage [2020/04/05(日) 12:17:46.87 ID:aRq634GN.net] メタプログラミングは動的型の方が楽。思いついたアイデアを簡単に試せる Haskellのマクロとか使いにくいったら無いし、あんなので試行錯誤したくない RailsもRubyで産まれて、静的型言語に不完全な形でパクられた だから、ゼロからフレームワークを作る創造的な人達は動的型を好み、 アイデアをパクって実装したり、フレームワーク使うだけのドカタは静的型を好むわけだよ 1035 名前：デフォルトの名無しさん mailto:sage [2020/04/05(日) 12:33:48 ID:N+saKT+1.net] こんなトンデモ論を持ち出さないと、動的型言語を擁護できないのか（笑） 1036 名前：デフォルトの名無しさん mailto:sage [2020/04/05(日) 12:35:55.88 ID:aRq634GN.net] >>994 創造性のないドカタっぽいレスですね 知能低そうw 1037 名前：デフォルトの名無しさん mailto:sage [2020/04/05(日) 12:42:23 ID:N+saKT+1.net] うわぁ・・・ 1038 名前：デフォルトの名無しさん mailto:sage [2020/04/05(日) 12:51:43 ID:9ug9dps/.net] メタプログラミングの結果を駆使する立場ならともかく メタプログラミング自体を行う奴らは試行錯誤とかあんましないﾚｳﾞｪﾙなんじゃね 書いたら動いてバグがほとんど無い（ もちろんテストはする 1039 名前：デフォルトの名無しさん [2020/04/05(日) 12:55:49 ID:bKlpD2Cq.net] 釣りなら釣りと分かるように書かないと、タダの馬鹿だと思われるのでは。 1040 名前：デフォルトの名無しさん [2020/04/05(日) 12:58:04.13 ID:bKlpD2Cq.net] >>993 は普通に考えれば釣りなんだけど、本気で顔真っ赤にしながら主張する人もいるから、 どこかに釣りの痕跡残しておかないと、後で釣りでしたと言っても信じてもらえなくなる。 1041 名前：デフォルトの名無しさん [2020/04/05(日) 13:01:44.09 ID:bKlpD2Cq.net] 縦読み入れておくのが良いのでは。 1042 名前：1001 [Over 1000 Thread.net] このスレッドは１０００を超えました。 新しいスレッドを立ててください。 life time: 187日 10時間 3分 41秒 1043 名前：過去ログ ★ [[過去ログ]] ■ このスレッドは過去ログ倉庫に格納されています

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef