- 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/
- 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]
- やっぱり型無し糞言語池沼ってガイジだなw
- 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]
- このスレッドは1000を超えました。
新しいスレッドを立ててください。 life time: 187日 10時間 3分 41秒
- 1043 名前:過去ログ ★ [[過去ログ]]
- ■ このスレッドは過去ログ倉庫に格納されています
|
|