次世代言語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/

952 ：デフォルトの名無しさん：2020/04/04(土) 17:59:36 ID:f2T6dYaQ.net

>>949
なるほど、まさしく>>934は「異常系」のテストは、極論と自己都合解釈して省こうとしてるのですね

953 ：デフォルトの名無しさん：2020/04/04(土) 18:06:51 ID:ebeS0Dvl.net

>>951
型無し糞言語脳って、型チェックがあればそもそも発生しないバグのチェックに何日費やしてるんだろうな

静的型だと0秒で終わるバグを三ヶ月ぐらい掛けて修正してそう

954 ：デフォルトの名無しさん：2020/04/04(土) 19:42:07.40 ID:ebMvcEKD.net

ワイ「この作業、手動でやるとめんどいしpythonで自動化するかぁ」

型おじさん「……型は？」

ワイ「え？」

型おじさん「簡単なスクリプトだからって舐めてない？引数とかに色んな型が入ること想定してる？」

ワイ「いや……」

型おじさん「あのさぁ！！！！！型が無いと万が一のこともあるよねぇ！？！？！？エラーが起きてサーバぶっ壊れるかもしれないだろ！？！？」

ワイ「サーバが壊れる！？どうしたんですか」

型おじさん「ああああああああ！！！！！！！！」

次の日にそのおじさん退職したわ
前の職場でも型型騒いで辞めたらしい
お前らも気をつけろよ

955 ：デフォルトの名無しさん：2020/04/04(土) 19:46:39.69 ID:C11LX2Y6.net

>>954
そんな低レベルな職場に一生居たくないと思ったんだろう。
かわいそうに。

956 ：デフォルトの名無しさん：2020/04/04(土) 20:02:34.31 ID:4KWBPZA4.net

型おじ釣られすぎだろ
ネット初心者かよ

957 ：デフォルトの名無しさん：2020/04/04(土) 20:03:33.83 ID:dzVJGpcL.net

>>954
最近多いんだよねー
Pythonとかちょっとかじった程度で
「俺プログラマーやってます」って顔する子

最初の入り口が動的型付け言語なんだよね最近の子って
そんなもんじゃ使いものにならねっての

958 ：デフォルトの名無しさん：2020/04/04(土) 20:04:21.63 ID:0WjGsUHg.net

長文でクソおもんない作り話書いてて楽しそうですね

Juliaなんかはパフォーマンス向上目的での型の導入だけど、型安定とかわざわざドキュメントに記すなら言語側でそもそも制約を強めてエラーにしてしまうとかでよかったんじゃないかと思ってしまう

959 ：デフォルトの名無しさん：2020/04/04(土) 20:17:41.20 ID:ebeS0Dvl.net

やっぱり型無し糞言語池沼ってガイジだなｗ

960 ：デフォルトの名無しさん：2020/04/04(土) 21:08:43.70 ID:g5yerRCZ.net

pythonの型とかどうでもいいよ。次世代言語の話をしよう。

961 ：デフォルトの名無しさん：2020/04/04(土) 21:13:34.71 ID:xxHp0w1Z.net

N88-BASICにも型の概念はあったからなあ…

962 ：デフォルトの名無しさん：2020/04/04(土) 21:22:41.67 ID:nlgyx7EU.net

classイコール型みたいな言語だと考慮しないといけない事項が多すぎるし記述量は馬鹿みたいに多い
なので、そういう言語しか知らない人が「静的型付けは煩わしい」と思うのは仕方ないことかもしれん、と思う

一度はOCamlを使って欲しい
OCamlは正格評価だし、型は強力で作りやすくて使いやすいし、OOPとも丁度いい距離を取ってる
smalltalkほど死んじゃいないし、Haskellほどアカデミックじゃない
次世代言語じゃない！と言うなら、ReasonMLでも良い。OCaml -> Javascriptみたいな環境もある

963 ：デフォルトの名無しさん：2020/04/04(土) 22:28:52.51 ID:oHbtMe0Y.net

>>949
正常系を一発通すだけで十分なのかどうかは仕様次第
ただオープンソースではよくあるのは開発者がテスト軽視してるだけで
動的言語か静的言語か関係ない

>>950
>>921の関数に対してどういうテストをすべきかは仕様次第
仕様は不明だけど考えうる限り網羅的にテストすべきって考え方自体が
テスト設計したことない人の考え方だよ

964 ：デフォルトの名無しさん：2020/04/04(土) 22:57:35.78 ID:f2T6dYaQ.net

こいつの人間は間違わないっていう前提にたってる品質管理が草

965 ：デフォルトの名無しさん：2020/04/04(土) 23:05:06.65 ID:ebeS0Dvl.net

俺は天才と信じている異常者（低学歴・障害者手帳持ち）　＝　型無し糞言語ガイジ

966 ：デフォルトの名無しさん：2020/04/04(土) 23:05:29.19 ID:wh1EiJLW.net

web プログラミングのように外は危険がいっぱいという状況と
機械学習のように入力情報は保証されているという状況では
当然テストの質が異なる
議論がすれ違っているのはその辺の違いかと

967 ：デフォルトの名無しさん：2020/04/04(土) 23:09:15.46 ID:oWvr86T9.net

それ型の有無関係ない話じゃん
それこそ論点ずれてる

968 ：デフォルトの名無しさん：2020/04/04(土) 23:12:02.58 ID:H4c+c10U.net

そもそもテストと型は無関係なんですかそれは

969 ：デフォルトの名無しさん：2020/04/04(土) 23:21:54.26 ID:L/BdUORC.net

Javaとpythonで争ってたところに
唐突に岡村提案されてて草

970 ：デフォルトの名無しさん：2020/04/05(日) 00:17:54.25 ID:bKlpD2Cq.net

データに型は必要ない。
データの内容によって命令を使い分ければ良いのだ。
↑
機械語で十分って事では？

971 ：デフォルトの名無しさん：2020/04/05(日) 00:34:46.44 ID:GfhXthds.net

>>970
確かに。
ポインタも整数も同じ整数レジスタで行うね、マシン語だと。
整数演算で可能な型ならビット数以外の型情報が無い。

972 ：デフォルトの名無しさん：2020/04/05(日) 00:37:30.12 ID:GfhXthds.net

>>971
それで、マシン語だと間違った演算でもコンパイル時にエラーがでにくかったが
C言語で細かな型が導入されて間違いをコンパイラが発見することに成功した。
ところが最近のスクリプト言語では明確な型宣言がないものが流行り出し、
かつての問題点がまた出てくるようになってしまった。

973 ：デフォルトの名無しさん：2020/04/05(日) 00:56:47 ID:d7/7NuuZ.net

ほう…マシン語でコンパイルを

974 ：デフォルトの名無しさん：2020/04/05(日) 01:07:09.53 ID:N+saKT+1.net

普通に静的型＋型推論でええやん
型書けない言語はもうありえんわ
一時期PHP使ってたことあるけど、正気の沙汰じゃなかった

975 ：デフォルトの名無しさん：2020/04/05(日) 01:15:27.47 ID:O4a3Y/9V.net

TypeScriptが一番しっくりくるという悲しい現実

976 ：デフォルトの名無しさん：2020/04/05(日) 01:22:54.32 ID:k4Q+DqWZ.net

PureScriptに慣れてしまったらTypeScriptの構文はやぼったいわ

977 ：デフォルトの名無しさん：2020/04/05(日) 01:23:18.72 ID:GfhXthds.net

>>973
当時はアセンブルと言っていたが、若い人にはコンパイルといったほうが通じ易いらしいので。

978 ：デフォルトの名無しさん：2020/04/05(日) 01:36:39.25 ID:oP415tbW.net

>>962
岡村さん何してはるんですか

979 ：デフォルトの名無しさん：2020/04/05(日) 02:12:33.78 ID:d7/7NuuZ.net

今の若い人はマシン語はコンパイルするものと習うのですか？
コンパイル言語を知っている人向けにアセンブルを説明するのに「コンパイルみたいなもの」と説明するのではなく？

980 ：デフォルトの名無しさん：2020/04/05(日) 02:16:10.20 ID:dvIeqTXE.net

次世代じゃないけどOCamlはええぞ。大体の言語のエッセンスを見直すきっかけになる

ちゃんとした型推論と簡潔な型表記があれば静的型付けでも書くのは面倒じゃないって分かったり
クラスってプログラムの必須構成要素なんかじゃないって気づけたり(むしろ用途は凄く限定されるべきもの)
遅延評価って実際にどんだけ便利なの、とか、分かる

981 ：デフォルトの名無しさん：2020/04/05(日) 02:16:21.31 ID:bKlpD2Cq.net

アセンブラと機械語は一対一に対応していないんだよな。
配置が決定しないと使えない機械語が有るので。

982 ：デフォルトの名無しさん：2020/04/05(日) 02:30:40.57 ID:k4Q+DqWZ.net

型がいらない/めんどくさいと主張する層は、
大方自分の意図をメソッドのボディによって表現することしか知らないのだろう

HaskellやらOCamlやらある程度の型システムの強度を持っている言語の経験があるプログラマは、
自分の意図の大部分を型で表現することに慣れているから、型がいらないとか正気か？となる

983 ：デフォルトの名無しさん：2020/04/05(日) 02:48:33 ID:bKlpD2Cq.net

型が無いのはとても良いことです。

984 ：デフォルトの名無しさん：2020/04/05(日) 02:49:08 ID:c8uove51.net

関数型で型が重用されるのは、高階関数によって型が至るところでアドホックに生み出されるため、
型がないとプログラムを正しく組むことが事実上不可能だからだよ
関数型では型は主にプログラムの形式的な正しさを守るためのテクニカルなツールとして用いられていて、
むしろドメインモデルを型で記述するみたいなのは意外にも関数型では重視されなかったりする

985 ：デフォルトの名無しさん：2020/04/05(日) 02:49:14 ID:bKlpD2Cq.net

プログラミングが必要なくなればもっと良いです。

986 ：デフォルトの名無しさん：2020/04/05(日) 02:50:35 ID:bKlpD2Cq.net

でも今はまだ無理です。
素直に型を使いましょう。

987 ：デフォルトの名無しさん：2020/04/05(日) 03:09:06.75 ID:k4Q+DqWZ.net

>>984
言ってることが何一つ理解できないんだが
ほんとに関数型言語の経験か、型システムを専門に研究した経験のどっちかでもある？

988 ：デフォルトの名無しさん：2020/04/05(日) 03:27:35 ID:O4a3Y/9V.net

>>980
標準ライブラリなんとかして

989 ：：2020/04/05(日) 03:31:26.32 ID:1D4UZmeK.net

>>980
haskell と比較した ocaml の利点をぜひ！

990 ：デフォルトの名無しさん：2020/04/05(日) 06:23:20.59 ID:bKlpD2Cq.net

タイプ数を節約できることでは？

991 ：デフォルトの名無しさん：2020/04/05(日) 10:17:02 ID:/6aVgV0B.net

ん？OCamlってかなり標準ライブラリ豊富って聞いてたけど違うの？

992 ：デフォルトの名無しさん：2020/04/05(日) 11:56:52.59 ID:ZlQTcj/v.net

そんなに引数に何が来るかわからないという状況が多いのかなあ
このメソッドは何をするかがはっきりしていれば、そんなに型を気にする
必要はないと思うけどなあ。一つのクラスでたくさんのことをさせているのか?

993 ：デフォルトの名無しさん：2020/04/05(日) 12:17:46.87 ID:aRq634GN.net

メタプログラミングは動的型の方が楽。思いついたアイデアを簡単に試せる
Haskellのマクロとか使いにくいったら無いし、あんなので試行錯誤したくない
RailsもRubyで産まれて、静的型言語に不完全な形でパクられた

だから、ゼロからフレームワークを作る創造的な人達は動的型を好み、
アイデアをパクって実装したり、フレームワーク使うだけのドカタは静的型を好むわけだよ

994 ：デフォルトの名無しさん：2020/04/05(日) 12:33:48 ID:N+saKT+1.net

こんなトンデモ論を持ち出さないと、動的型言語を擁護できないのか（笑）

995 ：デフォルトの名無しさん：2020/04/05(日) 12:35:55.88 ID:aRq634GN.net

>>994
創造性のないドカタっぽいレスですね
知能低そうw

996 ：デフォルトの名無しさん：2020/04/05(日) 12:42:23 ID:N+saKT+1.net

うわぁ・・・

997 ：デフォルトの名無しさん：2020/04/05(日) 12:51:43 ID:9ug9dps/.net

メタプログラミングの結果を駆使する立場ならともかく
メタプログラミング自体を行う奴らは試行錯誤とかあんましないﾚｳﾞｪﾙなんじゃね
書いたら動いてバグがほとんど無い（
もちろんテストはする

998 ：デフォルトの名無しさん：2020/04/05(日) 12:55:49 ID:bKlpD2Cq.net

釣りなら釣りと分かるように書かないと、タダの馬鹿だと思われるのでは。

999 ：デフォルトの名無しさん：2020/04/05(日) 12:58:04.13 ID:bKlpD2Cq.net

>>993 は普通に考えれば釣りなんだけど、本気で顔真っ赤にしながら主張する人もいるから、
どこかに釣りの痕跡残しておかないと、後で釣りでしたと言っても信じてもらえなくなる。

1000 ：デフォルトの名無しさん：2020/04/05(日) 13:01:44.09 ID:bKlpD2Cq.net

縦読み入れておくのが良いのでは。

1001 ：2ch.net投稿限界：Over 1000 Thread

2ch.netからのレス数が1000に到達しました。