次世代言語18 Go Rust Elixir Kotlin TypeScript
レス数が1000を超えています。これ以上書き込みはできません。
スレタイ以外の言語もok
前スレ
次世代言語17 Go Rust Kotlin TypeScript Julia
https://mevius.5ch.net/test/read.cgi/tech/1567602619/ // この関数を使えばなんでもできます
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
当時はアセンブルと言っていたが、若い人にはコンパイルといったほうが通じ易いらしいので。 今の若い人はマシン語はコンパイルするものと習うのですか?
コンパイル言語を知っている人向けにアセンブルを説明するのに「コンパイルみたいなもの」と説明するのではなく? 次世代じゃないけどOCamlはええぞ。大体の言語のエッセンスを見直すきっかけになる
ちゃんとした型推論と簡潔な型表記があれば静的型付けでも書くのは面倒じゃないって分かったり
クラスってプログラムの必須構成要素なんかじゃないって気づけたり(むしろ用途は凄く限定されるべきもの)
遅延評価って実際にどんだけ便利なの、とか、分かる アセンブラと機械語は一対一に対応していないんだよな。
配置が決定しないと使えない機械語が有るので。 型がいらない/めんどくさいと主張する層は、
大方自分の意図をメソッドのボディによって表現することしか知らないのだろう
HaskellやらOCamlやらある程度の型システムの強度を持っている言語の経験があるプログラマは、
自分の意図の大部分を型で表現することに慣れているから、型がいらないとか正気か?となる 関数型で型が重用されるのは、高階関数によって型が至るところでアドホックに生み出されるため、
型がないとプログラムを正しく組むことが事実上不可能だからだよ
関数型では型は主にプログラムの形式的な正しさを守るためのテクニカルなツールとして用いられていて、
むしろドメインモデルを型で記述するみたいなのは意外にも関数型では重視されなかったりする >>984
言ってることが何一つ理解できないんだが
ほんとに関数型言語の経験か、型システムを専門に研究した経験のどっちかでもある? >>980
haskell と比較した ocaml の利点をぜひ! ん?OCamlってかなり標準ライブラリ豊富って聞いてたけど違うの? そんなに引数に何が来るかわからないという状況が多いのかなあ
このメソッドは何をするかがはっきりしていれば、そんなに型を気にする
必要はないと思うけどなあ。一つのクラスでたくさんのことをさせているのか? メタプログラミングは動的型の方が楽。思いついたアイデアを簡単に試せる
Haskellのマクロとか使いにくいったら無いし、あんなので試行錯誤したくない
RailsもRubyで産まれて、静的型言語に不完全な形でパクられた
だから、ゼロからフレームワークを作る創造的な人達は動的型を好み、
アイデアをパクって実装したり、フレームワーク使うだけのドカタは静的型を好むわけだよ こんなトンデモ論を持ち出さないと、動的型言語を擁護できないのか(笑) >>994
創造性のないドカタっぽいレスですね
知能低そうw メタプログラミングの結果を駆使する立場ならともかく
メタプログラミング自体を行う奴らは試行錯誤とかあんましないレヴェルなんじゃね
書いたら動いてバグがほとんど無い(
もちろんテストはする 釣りなら釣りと分かるように書かないと、タダの馬鹿だと思われるのでは。 >>993 は普通に考えれば釣りなんだけど、本気で顔真っ赤にしながら主張する人もいるから、
どこかに釣りの痕跡残しておかないと、後で釣りでしたと言っても信じてもらえなくなる。 このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 187日 10時間 3分 41秒 レス数が1000を超えています。これ以上書き込みはできません。