次世代言語18 Go Rust Elixir Kotlin TypeScript
レス数が950を超えています。1000を超えると書き込みができなくなります。
スレタイ以外の言語もok
前スレ
次世代言語17 Go Rust Kotlin TypeScript Julia
https://mevius.5ch.net/test/read.cgi/tech/1567602619/ UNIXにしろWindowsにしろOSのAPIがCの関数だから
アプリもCで書くのが一番自然になる 正論も何もnativeでABI準拠できればいいのであって
cである必然性はない システムコールだけが言語選択の基準
って思考から脱却しろ
あほらし アセンブリでマウント取る爺様方がだいたい鬼籍に入って次はCでマウント取る爺様方の時代になった感じやね C#からCのAPI呼ぶとき
構造体とか配列のポインタとか面倒だな・・・ Cベースはむしろマシなんだよほとんどの言語でFFIあるし
問題は処理系依存マシマシのC++ベースAPI/ABI >>888
C#のFFIはかなり良い方だろ
C側でラッパーを一切書くことなくC#から呼び出せる
何より、トラブルの元になりがちな変なコードジェネレータの類がなくて、宣言した通りに正しく素直に動くってのが素晴らしい
そのストレスフリーさに比べたら、C#側で関数や構造体の宣言を書き直さなきゃいけないのは余裕で受け入れられる冗長性だと思う 別にcで書けって話でなくて、cのそういう側面くらい常識として知っとけって
だけなのに、なんかコンプレックス刺激されちゃう奴がいるのな。 >>891
C がわかる、てだけでドヤるのも大概だけれども
それよりももっと性質が悪いのは C がわからないコンプをこじらせているやつ 次スレは「次世代言語を夢見るレガシー言語労働者達のマウンティング合戦スレ」に改題で 標準ライブラリが豊富な言語ってC++, Javaとかになるの? Cの非標準ライブラリまとめ言語
と言われたくない人達 .NETも標準ライブラリ豊富だろ
つか、今時スレが言語スレだが言語だけで語る滑稽さ
次世代言語というより、標準ライブラリも含めた次世代環境がほしい 最近の言語はどれも環境そろってるだろ。
適当なインストーラーとライブラリ管理はあるし。
ビルド通らねー糞が!とかもだいぶ減った。 rustはpythonがらみでエラー出てビルド通らなかった。
本気だして調べる気力もなく、関連ファイル削除して男友達と焼肉食いに行った。
わざわざ男友達と書いたのは、女友達なんかいないからだ。 >>905
わざわざどうでもいいつまらないことを書き込むところが女友達のいない原因だろう >>907
rust自身のビルドが、Pythonに依存しているって話じゃない? Pythonはいいぞ
Makefileより読みやすく
Python自身のビルドはLLVMのビルドより10倍か100倍速い 型が無いんじゃなくて型を差別してないのさ
どんな型が来ても受け入れるおおらかさがある 動的な型なだけだな。
ネストした構造をループ処理するときなんかは確かに楽なことも多い。 強い動的型付けだし型アノテーションだいぶ充実してきたしでだいぶマシだと思うけどなぁ
弱い動的型付けと同一視するのは誤りの元だし、漸進的型付けの存在を無視するのもまた評価を誤りかねないですよ Pythonの型アノテーションは実際には全くと言っても差し支えないほど使われていないから無視して問題ない
そろそろ後付け静的型の代表的成功例であるTypeScriptと何が違ったのかを真剣に議論すべき時期にきてる TypeScriptの方が使いやすい型システムしてるのわかる >>902
C#は多いけど標準かって言われるとな・・・
C/C++も「標準」に拘ると何もできないω 型なし言語でも宣言時に初期化と代入を済ませれば問題がない 動的だと、神関数が、作れるからオススメ。
func add_god(a,b){
return a + b
}
add_god(1,2)
add_god("a","b")
add_god(1,"a")
神関数、があれば、コードの削減が可能!!!!!!!!!
ノーコード時代には動的型付け言語一択!!!!!!!! 型無しのデバッグ作業に駆り出された事有るけど、マジで地獄やぞ。絶滅はよ ガチのマジで型無し糞言語の良さがわからん
死ねとまでは言わないが生まれてこなければよかったのに 何回言われても直す気がないからもう悪意だと認識してるけど、動的型付けと型なしは全く別のものとしてそもそも存在してるので、動的型付けを型なしと呼びまた強い型付けと弱い型付けの区別を無視する限りこの議論が有意義に進むことはないよ 型があれば静的解析に有効というのは間違い無いのだが
静的解析すれば全てのバグを取り除けるというのは間違い > 静的解析すれば全てのバグを取り除けるというのは間違い
そもそもそんな主張誰もしていない スクリプト界隈もlintから始まってflowだTypeScriptだ型定義は素晴らしい!静的型付けバンザイ!
とかあれだけ動的型付け素晴らしいからの静的型付け面倒臭いとかディスッといてこの状況は大草原ですわ
まぁ何事もトレードオフだからケースバイケースで使い分ければいいんだが
今頃ブレイクスルーだなんだと大騒ぎなのは滑稽ですな
js界隈も結局サーバサイドレンダリングに回帰してるしファッションや音楽と同じで10〜20年スパンでサイクルすんのかね JSを本業にしてる層って最近の若者で学生時代にちょっと触り始めた生意気なガキが多いから気にしない方が健全 CのunionとかC++のオブジェクトスライシングの話を見てたら型が無いからクソみたいな言説は発生しないはずなんだがな……
型があっても言語としての使い方がクソならクソだし、静的解析のないLLだからってランタイムにきちんと型エラー吐いてくれるものが比較的マシという評価になるのは間違いないでしょ
デジタルな分野扱ってるからって判断までI/Oにするもんじゃない 静的解析マンセーな輩はただテストコード書く技量がないだけ。 >>932
君は >>921 の関数に、整数、小数、文字列、オブジェクト、真偽値、日付型・・・
たくさんの引数を与えて
一生懸命テストを書くのだろうな
それは素晴らしいことだと思うよ
感動で涙がで、でますよ またそう言う極論をほざくところが静的解析マンセー厨らしいよ。 >>934
おやおや・・・君もテストコード書く技量がないだけ?? それともコメントに、
この引数は整数でございます。小数、文字列、オブジェクト、真偽値、日付型・・・は教育によろしくないので与えないでいただけますと幸い至極でございます。
とでも一生懸命書くのかな??
それでIDEの静的解析に警告を受けたら
「やっぱり型無し糞言語でも安全!!型はいらない!!!」
とか言うのかな
あれっw Pythonは現実的
言語名が不明な「静的型」は現実みが浅い Pythonは有名ライブラリにことごとく型がついてないので
やっぱりクソ >>937
現実みが浅い、って日本語として気持ち悪い 逆に静的型付けの何がいいのか知りたい
JavaScriptやpyなんか連想配列や辞書
定義するのもコンソール出力もめっちゃ便利やぞ
コンパイルエラーの手間もないしめっちゃデバッグが楽 >>932
それな
全員がそうだとは言わないけどテスト設計できないやつが大半 // この関数を使えばなんでもできます
func god(args...){}
これだけで基幹システム作ったわ
1年掛かる工数を3日に短縮できる動的言語ってやっぱ神だわ >>942
うーんこの神
みずほ案件も型無し糞言語を使っていれば3人日で完成していた public class HelloWorld {
public static void main(String[] args) {
System.out.println("hello, world");
}
}
やっぱJavaだわ
記述量が多いから努力した気になれるし成長した気にもなれる
静的型付けだから動的野郎にもマウント取れるし
昔ながらの大企業でよく使われてるから日本の伝統も感じられるし
今後50年は食いっぱぐれないし
Oracleに転職できるかもしれない またそう言う極論をほざくところが型無し糞言語マンセー厨らしいよ。 30年後50年後にコードを書く文化って残ってるのかな 英語圏の文化で面白いのがプログラムしかない
これが無くなったら英語自体がオワコン >>941
動的派の書くテストは正常系を一発通すだけのものが多くて、あれでテストちゃんと書いてますと言われても首を傾げてしまう
動的型のコードがデグレで動かなくなるのは日常茶飯事であるし、そもそも最初から全く動かないウンコであることも珍しくない
だから最低でも変更の度に自動テストで一度動しておけば品質は大幅に上がるのだが、とはいえ血便が下痢便になる程度
一方、静的型はプログラマの品質に対する意識の高さや静的型検査の恩恵のため、動かすだけのテストにはあまり意味がない
起こりうる様々なケースを試したり挙動の変更を厳密に監視したりと、静的型においては自動テストに求められる基準は遥かに高くなる >>933のいうとおりだな。人間どうミスするかわからんから、
整数、少数..本来は全部やるべきだな
エラーの原因の大半は人間のちょっとしたミスだからな
>>934は勝手に都合のいい解釈でそういうテスト省こうとしてるだけやんw 過激派静的言語マンってミスが一切許されない職場で働いてそう
動的だと一週間で終わるものを三ヶ月ぐらい掛けて実装してそう >>949
なるほど、まさしく>>934は「異常系」のテストは、極論と自己都合解釈して省こうとしてるのですね >>951
型無し糞言語脳って、型チェックがあればそもそも発生しないバグのチェックに何日費やしてるんだろうな
静的型だと0秒で終わるバグを三ヶ月ぐらい掛けて修正してそう ワイ「この作業、手動でやるとめんどいしpythonで自動化するかぁ」
型おじさん「……型は?」
ワイ「え?」
型おじさん「簡単なスクリプトだからって舐めてない?引数とかに色んな型が入ること想定してる?」
ワイ「いや……」
型おじさん「あのさぁ!!!!!型が無いと万が一のこともあるよねぇ!?!?!?エラーが起きてサーバぶっ壊れるかもしれないだろ!?!?」
ワイ「サーバが壊れる!?どうしたんですか」
型おじさん「ああああああああ!!!!!!!!」
次の日にそのおじさん退職したわ
前の職場でも型型騒いで辞めたらしい
お前らも気をつけろよ >>954
そんな低レベルな職場に一生居たくないと思ったんだろう。
かわいそうに。 >>954
最近多いんだよねー
Pythonとかちょっとかじった程度で
「俺プログラマーやってます」って顔する子
最初の入り口が動的型付け言語なんだよね最近の子って
そんなもんじゃ使いものにならねっての 長文でクソおもんない作り話書いてて楽しそうですね
Juliaなんかはパフォーマンス向上目的での型の導入だけど、型安定とかわざわざドキュメントに記すなら言語側でそもそも制約を強めてエラーにしてしまうとかでよかったんじゃないかと思ってしまう pythonの型とかどうでもいいよ。次世代言語の話をしよう。 classイコール型みたいな言語だと考慮しないといけない事項が多すぎるし記述量は馬鹿みたいに多い
なので、そういう言語しか知らない人が「静的型付けは煩わしい」と思うのは仕方ないことかもしれん、と思う
一度はOCamlを使って欲しい
OCamlは正格評価だし、型は強力で作りやすくて使いやすいし、OOPとも丁度いい距離を取ってる
smalltalkほど死んじゃいないし、Haskellほどアカデミックじゃない
次世代言語じゃない!と言うなら、ReasonMLでも良い。OCaml -> Javascriptみたいな環境もある >>949
正常系を一発通すだけで十分なのかどうかは仕様次第
ただオープンソースではよくあるのは開発者がテスト軽視してるだけで
動的言語か静的言語か関係ない
>>950
>>921の関数に対してどういうテストをすべきかは仕様次第
仕様は不明だけど考えうる限り網羅的にテストすべきって考え方自体が
テスト設計したことない人の考え方だよ こいつの人間は間違わないっていう前提にたってる品質管理が草 俺は天才と信じている異常者(低学歴・障害者手帳持ち) = 型無し糞言語ガイジ web プログラミングのように外は危険がいっぱいという状況と
機械学習のように入力情報は保証されているという状況では
当然テストの質が異なる
議論がすれ違っているのはその辺の違いかと それ型の有無関係ない話じゃん
それこそ論点ずれてる Javaとpythonで争ってたところに
唐突に岡村提案されてて草 データに型は必要ない。
データの内容によって命令を使い分ければ良いのだ。
↑
機械語で十分って事では? >>970
確かに。
ポインタも整数も同じ整数レジスタで行うね、マシン語だと。
整数演算で可能な型ならビット数以外の型情報が無い。 >>971
それで、マシン語だと間違った演算でもコンパイル時にエラーがでにくかったが
C言語で細かな型が導入されて間違いをコンパイラが発見することに成功した。
ところが最近のスクリプト言語では明確な型宣言がないものが流行り出し、
かつての問題点がまた出てくるようになってしまった。 普通に静的型+型推論でええやん
型書けない言語はもうありえんわ
一時期PHP使ってたことあるけど、正気の沙汰じゃなかった TypeScriptが一番しっくりくるという悲しい現実 PureScriptに慣れてしまったらTypeScriptの構文はやぼったいわ >>973
当時はアセンブルと言っていたが、若い人にはコンパイルといったほうが通じ易いらしいので。 レス数が950を超えています。1000を超えると書き込みができなくなります。