次世代言語27 TypeScript Swift Go Kotlin Rust Nim

**デフォルトの名無しさん** · 2022/08/05(金) 08:26:38.87

スレタイ以外の言語もok

前スレ
https://mevius.5ch.net/test/read.cgi/tech/1655771266/

**デフォルトの名無しさん** · 2022/08/16(火) 22:39:39.43

プログラマーは社会不適合者しかいないんだから仲良くせいや

**デフォルトの名無しさん** · 2022/08/16(火) 22:42:24.87

簡単に言うとRustはCやC++を置き換える言語

だからCやC++が通常使わなれない用途で流行ることはまずない
これが現実、いくら信者が発狂しても現実は変わらんよ

**デフォルトの名無しさん** · 2022/08/16(火) 22:43:33.40

>>543
言語の良さを語り合うのは問題ないと思うぜ
特定の言語を執拗に批判し続けたり粗探しをして叩いている異常者が問題視されている

**デフォルトの名無しさん** · 2022/08/16(火) 22:45:57.82

ID:8YjBNSEW が自分のことを棚に上げて藁人形を持ち出した

**デフォルトの名無しさん** · 2022/08/16(火) 22:48:22.06

>>544
調べてみたが『RDBは不要』と主張している人はこのスレに一人もいない
あなたが狂っているから全く存在しないものをあなただけが見えているのだろう
あなたは自分が狂っていることにそろそろ気付くべきだ

**デフォルトの名無しさん** · 2022/08/16(火) 22:53:09.15

>>88
>>99
コストの観点でRDBは論外って言ってるから不要って言ってるようなもんじゃんw

コストを気にしてRDBを使わないって初めて聞いたんだが笑
どんだけここにいるRust妄信者って無知なんだよw

コスト気にするから全てのプログラムにおいてRDBを減らしつつRustを使えってwwwww

何で人件費のこととかは他のこと考えられないの？w

**デフォルトの名無しさん** · 2022/08/16(火) 22:53:32.19

>>546
そういう嘘はよくないなあ
流れとしては明らかに2系統あって
『自動メモリ解放で安全なのに、C言語と同じ省メモリ＆同じ速さが出る言語』として
スクリプト言語を含む様々なGC言語からRustへ、という流れが多い

**デフォルトの名無しさん** · 2022/08/16(火) 22:57:57.27

Rustと他言語の関係も
RDBもNoSQLの関係も同じで
実際は要件に照らし合わせて適材適所で選択していくのが現実

Rust信者は適材適所って言葉を知らないからNoSQLが最強でRDBはゴミ
Rustが最強でGC言語はゴミ

と要件を無視しまるで全ての用途に対し万能であるかのように喧伝する

こういった思考停止したマウント意識の高い妄信者が死滅してくれればRustは日本でも流行っていくだろうw

**デフォルトの名無しさん** · 2022/08/16(火) 22:59:41.00

>>551
> スクリプト言語を含む様々なGC言語からRustへ

それってあなたの感想ですよね？なんかそう言うデータあるんですか？
CやC++からRustに移行していくって流れなら一般的に言われてると思うけどそれは初めて聞いたわー
妄信者しか言ってないよね笑

**デフォルトの名無しさん** · 2022/08/16(火) 23:01:02.80

>>550
ほら、あなたが狂っていることがこれで完全に証明された
あなたが指しているそれらのスレを見ると
『RDBは不要』との主張などこにもなく
むしろ逆で
『RDBの利用を必要最小限にする』とある
つまりRDBを最小限必要とするとの主張だ
以下ソース引用

>>88
> RDBはコストが高いだけでなくパフォーマンス面でも不利だから利用を最小限にする

>>99
> クラウドが提供するRDBの高コストなど現実を理解していれば
> RDBの利用を必要最小限にした方が有利なことが理解できるだろう

ソース引用以上
あなたが狂っているからあなたは誤読としくは意図的に嘘をつく狂った行動をあなたはとっていると証明された

**デフォルトの名無しさん** · 2022/08/16(火) 23:03:45.36

そもそもGC言語ってのは誰でも書きやすいようになってるから流行ってるわけ
CとC++に比べて劇的に楽になっているってのが流行ってる最大の理由

Rustは当然GCがなくなる分自分で管理する必要がありそれなりの難易度があるからGC言語からRustに置き換わるなんて流れはどこにもありはしない
ほんと妄想が酷いんだなw

GCがボトルネックになるケースなんてごく稀であるし、そういったレアな要件で初めてRustに移行することを検討するべき
Rust信者はそう言った要件を無視し脳死でGC言語からRustへだとかほざいているけど
そんな流れはこの世のどこにも存在しない

**デフォルトの名無しさん** · 2022/08/16(火) 23:06:19.94

いつものお二人さんw
まぁこの二人のための隔離スレだからいいんだけどさ

**デフォルトの名無しさん** · 2022/08/16(火) 23:08:08.30

>>552
その「NoSQLが最強でRDBはゴミ」などの書き込みはどこにあるんだ？

そういう妄想を書き込んで開き直ったり
特定の言語を執拗に批判し続けたり粗探しをして叩いている異常者がここでは問題視されている

**デフォルトの名無しさん** · 2022/08/16(火) 23:08:46.78

>>554
不要って言ったのは邪推しただけかもしれないが
問題はそう言う言葉遊びではなくRust信者のコストが減るからあらゆる用途でRustがいいとかいう妄言が完全に矛盾してるから馬鹿にしてるだけだよw

それを運用していく上での人件費は？w

**デフォルトの名無しさん** · 2022/08/16(火) 23:11:57.30

早くGC言語からRustって流れのソースを教えてくれよw

仮にPython使ってるとしたらなんでわざわざRustに変えないといけないのよ笑
どこにそんな流れがあるのか教えてくれ

**デフォルトの名無しさん** · 2022/08/16(火) 23:17:55.21

GCか否かなんてことよりも
純粋にRustはプログラミングしやすいから
Rustが7年連続で最も愛されているプログラミング言語No.1となった

**デフォルトの名無しさん** · 2022/08/16(火) 23:22:46.98

PythonだけでなくRubyからRustへ変えて高速化したCookpadの例もあるね
どの言語からも高速化するならRust一択になりそう

**デフォルトの名無しさん** · 2022/08/16(火) 23:25:10.82

Pythonは参照カウントもする中立派
高速化しない者だけが中立になれる

**デフォルトの名無しさん** · 2022/08/16(火) 23:27:19.81

プログラミングしやすいらしいがクラウド用途ではGoばかりでRustは全然使われてないな

Rustはtraitとかマクロとか抽象化プログラミング、メタプログラミングの機能がやたらと充実してるけど、逆にそれのせいでプログラミングしにくくなってるのでは？
レベルの高いプログラマーではないとうまく扱えないピーキーさがある

シンプルな言語仕様のGoで書かれた実用的なプログラムがやたらと多いのを考えるとそう言う傾向が見て取れるよね

だからここにいるアホRust信者はRustなんてピーキーすぎて扱えないのが現実
だから他言語にマウントを取るしか能がないわけ

**デフォルトの名無しさん** · 2022/08/16(火) 23:27:24.61

こいつRust信者の仮面を被ったアンチRust工作者だな
そうでもなければここまでアホレス垂れ流し続けられないよ

**デフォルトの名無しさん** · 2022/08/16(火) 23:36:57.97

>>563
もしかしてRustでプログラミングして何かを作ったことない人なのかな
既存言語と比べてそれらの充実したRustの機能により格段にプログラミングしやすくなってるよ

**デフォルトの名無しさん** · 2022/08/17(水) 05:04:30.24

>>565
「オートマよりもマニュアルの方が機能が充実しているから扱いやすい」ぐらいめちゃくちゃな主張だな。
あるいは「スマホよりパソコンの方が機能が充実しているから扱いやすい」とか。

**デフォルトの名無しさん** · 2022/08/17(水) 06:30:44.49

>>566
逆っぽい
色んなことがコンパイラにより自動化されているRustがオートマに相当かな

例としてヌルポ(事故)を避けることを考えてみると
(1)ヌルポを避ける機構を言語が提供していなくてプログラマーが手動で全て頑張らないといけない言語
(2)ヌルポを避ける機構を言語が提供してるけど適用必須でないためプログラマーが自分でその機構の利用を選択しなければならない言語
(3)ヌルポを避ける機構を言語が提供していて必ずその機構が用いられる言語
と3種類に分けた場合でもRustは自動適用の(3)だよね

他にもこのスレで既出の「データ競合回避」や「自動メモリ解放」なども同様
Rustはコンパイラが全て必ず適用してくれるからプログラマーの責任が激減してるよね
したがってRustがオートマに最も近いっぽい

**デフォルトの名無しさん** · 2022/08/17(水) 06:38:31.18

良い物を作るだけで自動的に売れると思うのがオートマ
ゴリ押しするのがマニュアル

**デフォルトの名無しさん** · 2022/08/17(水) 07:32:06.74

GC言語使ってる人にとってGCがないRustがオートマなわけがないだろう
C++がマニュアルだとしたらRustはセミオートマだ
GC言語はオートマ

**デフォルトの名無しさん** · 2022/08/17(水) 07:51:45.43

>>569
GC言語もRustもメモリ自動解放サポートで同じだからそこはいいとして、
それらの言語の中でもぬるぽ問題やデータ競合問題などもRustはサポートしているから、
Rustはオートマ度が最も高い言語の一つではないかしら。

**デフォルトの名無しさん** · 2022/08/17(水) 08:00:37.20

>>570
GC言語使ってる人は、もぬるぽ問題やデータ競合問題と無縁、考えたこともない人だっているよ。

例えば、私の席の近くでExcelのVBA使ってる人は、用語の説明からしないといけないレベル。

**デフォルトの名無しさん** · 2022/08/17(水) 08:03:19.44

>>570
ならNimの方がオートマにふさわしいな。
Rustはせいぜい教官付きの教習車ぐらい。コストもそんなもんだろ。

**デフォルトの名無しさん** · 2022/08/17(水) 08:19:18.07

>>571
考えたこともないなら単なるバカだな
データ競合はGC言語か否かに関係なく起きて防ぐ必要がある
ぬるぽもJavaからGoに至るまで多くのGC言語で起きて防ぐ必要がある

**デフォルトの名無しさん** · 2022/08/17(水) 08:34:23.74

>>573
バカで良いけれど、そんなの気にする必要もない要件もあるって事だよ。世の中何でもRustの機能を必要としているわけじゃないさ。

Pythonだと、ジャイアントロック掛けまくってるけれど、困らない事が多いという想定でしょう。

**デフォルトの名無しさん** · 2022/08/17(水) 08:42:33.37

>>573
考える必要が無いからオートマなんだろ。オートマ使いはギアチェンジとかエンストとかほとんど意識しない。
問題を回避するためにコンパイラの指示に従う必要のあるRustはオートマじゃない。やっぱり教官付きマニュアル教習車だな。

**デフォルトの名無しさん** · 2022/08/17(水) 08:45:03.08

>>574
ここは次世代言語スレ
それら色々な機能がついている言語がメイン対象
だからRustが何歩かリードしてる感じ

**デフォルトの名無しさん** · 2022/08/17(水) 09:13:39.86

>>573
並列処理を始めてやっと起きるのでは？
例えばNodeだとデータ競合は発生しないよ
シングルスレッドで行単位では処理が入れ替わらずawaitって書いてあるところ（コールバック単位）でスイッチングするから
競合状態はもちろん発生する、で、競合状態に関してはRustでも防ぐことは不可能

だからNode使ってる人にとってデータ競合はそもそも発生しないからその観点でRustに魅力を感じることはないよね

**デフォルトの名無しさん** · 2022/08/17(水) 09:34:31.75

>>575
その、問題を回避するためにコンパイラの指示に従う、のが正しい解決方法で合ってる。
例えば、ぬるぽ問題回避(Null安全)は、KotlinでもSwiftでもRustと同じく別の型とする対応策。
Null安全でないコードが書かれると、コンパイラにより型不一致エラーとなり、コンパイラの指示に従いプログラマーがコードを修整して解決。

このように、ぬるぽ問題回避にしても、データ競合回避にしても、自動対応は無理なので、コンパイラが静的に検知してエラーとするのが正しい解決方法。
型システムの強化により、様々な問題に対応できるようになっていく。

**デフォルトの名無しさん** · 2022/08/17(水) 09:51:56.11

>>577
サーバーサイドをやってる周りではこういう状況
Node.jsはもちろん(Workerを除き)シングルスレッドで安全にasync/await並行処理できる
それだけで十分なところもあるけど次第にCPUコア活かして並列処理も加えて高速化したいところも増加中
その時にWorkerでは使い勝手の限界があるのはご存知と思う
すると今まで同様に安全にasync/await並行処理＋新たに並列処理を加えて高速化をできる環境を考えるとRustが筆頭候補
実際に移行したところも出てきているし少しずつサーバーサイドRust化の流れが今後主流になりそうな雰囲気

**デフォルトの名無しさん** · 2022/08/17(水) 11:15:55.18

>>579
サーバーサイドでRustとか何のギャグなの？って思うんだけどｗ
Goですらイマイチ伸びないのにｗ

**デフォルトの名無しさん** · 2022/08/17(水) 11:47:55.34

Rustはサーバーサイドでもやらないとこのまま消えて無くなるから必死なんだろ

**デフォルトの名無しさん** · 2022/08/17(水) 12:58:48.28

>教官付きマニュアル教習車だな。
これは言い得て妙だな

**デフォルトの名無しさん** · 2022/08/17(水) 13:05:23.96

静的型付け言語は全てそのパターンだから
実行前にコンパイラに全てを静的にチェックしてもらい指導に従うパターンがプログラミング言語の最高峰なのではないかな

**デフォルトの名無しさん** · 2022/08/17(水) 14:13:12.92

最高峰ww

**デフォルトの名無しさん** · 2022/08/17(水) 14:16:02.99

ろくに準備をせずに登頂を試みると命に関わります

**デフォルトの名無しさん** · 2022/08/17(水) 14:27:25.73

めんどくささでは最高峰だよなぁｗ

**デフォルトの名無しさん** · 2022/08/17(水) 14:52:45.44

>>586
本気か？
静的型付け言語をめんどくさいと言うやつはプログラマーに向いていない

**デフォルトの名無しさん** · 2022/08/17(水) 15:02:44.38

かまちょ！

**デフォルトの名無しさん** · 2022/08/17(水) 15:14:47.69

>>587
ものによるだろｗ
頭悪い奴の方が型に依存しないと物を作れ無さそうだしｗ
全く逆だなｗ向いてないのはお前ｗ

**デフォルトの名無しさん** · 2022/08/17(水) 15:39:54.22

その件は昔からはっきり答えが出ている
まともにプログラミングするならば静的型付けが必須
動的型付けだと実行時にムダにデバッグ時間を奪われて効率が悪い
いずれそのことを学習すると動的型付け言語から静的型付け言語へ移っていく
典型的な例がJavaScript(動的型付け)からTypeScript(静的型付け)へ

**デフォルトの名無しさん** · 2022/08/17(水) 16:35:25.14

俺は型が無いとコードかけないな
メソッドの名前の一部しか覚えてなくてサジェスト機能に頼りまくってるわ

**デフォルトの名無しさん** · 2022/08/17(水) 17:14:40.55

>>590
ウェブのフロントエンドしかやってない人はその辺理解できない人多い印象
動けばオッケーなんだろね

**デフォルトの名無しさん** · 2022/08/17(水) 17:44:11.47

>>592
逆じゃね？
むしろフロントエンドに型とかいらんだろｗ元々javascriptなのだし
JavaとかC#とかだとjsonをデコードする為にもクラス用意したりとか逆にめんどくさく感じるわ
ほぼ一人のプロジェクトでクライアント側はUnity(C#)とかだったりするから仕方なく用意しているが
管理画面(vue等)でフロントも書いてるけどjsのままで不便だと思った事すらないし
TypeScriptなんか導入する気にもならんｗ

**デフォルトの名無しさん** · 2022/08/17(水) 18:03:01.95

>>593
一人でやってるからじゃね？

**デフォルトの名無しさん** · 2022/08/17(水) 18:06:52.80

状況に合わせて使う道具を変える判断力すら持ち合わせてないやつは自称プログラマーでも最底辺だからな
適性はないよ

**デフォルトの名無しさん** · 2022/08/17(水) 18:09:47.20

>>594
彼は趣味グラマだから涙
チーム開発の苦労とは無縁なのだ。

**デフォルトの名無しさん** · 2022/08/17(水) 18:29:38.04

このスレでRustなどを叩いている>>593氏ってやっぱりレベルがかなり低い人だったんだな

**デフォルトの名無しさん** · 2022/08/17(水) 18:30:00.14

>>593
デバッグが手間だから静的型付けが必要、という文脈なんだけど？
結局あなたが言ってるのは動けばオッケーってことでは？

**デフォルトの名無しさん** · 2022/08/17(水) 18:52:35.57

動的型とは端的に言えば値に型情報が付属していることであり、おそらくお前らは何か誤解している。
型を指定しないことが動的だと思っているんじゃないか？
図星じゃないか？

**デフォルトの名無しさん** · 2022/08/17(水) 19:16:27.92

実行時の値とソースコードの変数の違いは重要だけど、この違いを意識しているプログラマーは少ないよね。

**デフォルトの名無しさん** · 2022/08/17(水) 19:28:56.47

実行前にコンパイル時点で静的に型も確定する静的型付け言語がベストだな

**デフォルトの名無しさん** · 2022/08/17(水) 20:10:33.59

>>572
Nimはダメだよ
例えばref objectな変数は初期化も何もされないからヌルポ状態となり実際にSIGSEGVで落ちる

もちろんNimでもRustｂﾆ同様のoptionｂgえばヌルポｂﾅきるけｂﾇ
Nimでは前述のようにoptionを使わないコードも許されるからヌルポが起きてしまう

**デフォルトの名無しさん** · 2022/08/17(水) 21:22:11.22

Kotlin Rust Swift ← Null安全な新世代言語
Go Nim ← Null安全ではない旧世代言語

**デフォルトの名無しさん** · 2022/08/17(水) 21:32:11.18

Swiftって将来性あんのかね
アップル依存大きすぎな時点で知れてると思うんだけど

**デフォルトの名無しさん** · 2022/08/17(水) 22:14:45.59

>>559
多くのcli コマンドが go, rust で再実装されつつあるのは perl, python, ruby のようなスクリプト言語から go, rust といったちょうどよいモダンさのあるコンパイル型言語への大きな流れがある気がしている。

**デフォルトの名無しさん** · 2022/08/17(水) 23:47:09.64

>>600
値と変数じゃなくて昔はデータ構造とアルゴリズムの違いを意識していた

どのような演算を想定しているかという型情報を
被演算子の側に付属させるというアイデア自体が
演算子と被演算子を一体化させ、両者を分けて考えない原因になった

**デフォルトの名無しさん** · 2022/08/18(木) 08:11:22.29

動的型付け言語のメリットてなんだ？
(習得が容易とか書き心地とかを除いて理論的なメリット)

**デフォルトの名無しさん** · 2022/08/18(木) 08:38:35.77

>>607
処理系の実装が容易
型検査いらないしホストの実装が直接的に実行時の動作を記述するため圧倒的にシンプル

**デフォルトの名無しさん** · 2022/08/18(木) 08:39:41.85

>>607
インスタンスの型判定を実際のインスタンスで行うことができるので、コードの適用範囲が広くなる。

C++を理解しているなら、dynamic castの適用事例を考えればいい。総称型で保管して具象型で使用するようなケースが代表的。

**デフォルトの名無しさん** · 2022/08/18(木) 09:15:09.69

>>608
> 型検査いらないし
実行時にやるだろ
なので動的型付け言語の多くはインタープリタ
ネイティブコンパイル言語だと逆に結構大変だよ

**デフォルトの名無しさん** · 2022/08/18(木) 09:44:19.64

実行時の型検査なんて、存在しないメンバにアクセスしようとしたらエラーとかオペランドが特定のデータ型でなければエラーといったルールを、演算子やオブジェクトの実装に組み込むだけだよ
ホストとの間で実行モデルやオブジェクトモデルを共有してるから楽勝
JITの場合もオブジェクトモデルは共有するから比較的簡単

**デフォルトの名無しさん** · 2022/08/18(木) 09:50:57.04

そんな言い方するなら静的型付け言語もコンパイル時にやるだけで似たようなもんだろ

**デフォルトの名無しさん** · 2022/08/18(木) 09:55:55.60

全然違うよ
ホスト言語で直接実装すりゃいいだけだからな
JITの場合も極限のパフォーマンスを求める静的型とは違ってホスト言語で書かれたランタイムの呼び出しを多用するのが普通だから、
インタプリタと大差ないし徐々にランタイムを使わないように改良していくアプローチが採れる

**デフォルトの名無しさん** · 2022/08/18(木) 10:05:05.63

>>613
型チェックとどこが違うのか具体的に書いて
あとホスト言語という謎用語使うならちゃんと定義してくれ
（ホスト言語自体はDSL界隈とかで使われてるけどコンパイラとかの文脈で使ってるの見たことない）

**デフォルトの名無しさん** · 2022/08/18(木) 10:15:42.84

事前に型検査をやろうとすると予め静的な型のモデルを厳密に定義しなきゃいけないでしょ？

**デフォルトの名無しさん** · 2022/08/18(木) 10:30:27.96

途中書き込み失礼
一方で動的型の場合、実行時のオブジェクトモデルさえ定義されていれば実行時の検査が可能であり、静的な型モデルと実行時のオブジェクトモデルの両方を厳密に定義する必要がない。
平たく言えば、実装が仕様だ、みたいな進め方をすることが難しいわけだ
更に、リフレクションが可能な処理系の場合には静的型であっても実行時に型検査を行う必要があるよね。

**616** · 2022/08/18(木) 10:54:49.56

> 平たく言えば、実装が仕様だ、みたいな進め方をすることが難しいわけだ
は静的型の場合ね。念のため。

**デフォルトの名無しさん** · 2022/08/18(木) 11:15:33.98

>>607
インタプリタのメリットは自分自身をコンパイルするコンパイラを作らないこと
言語は二つ以上になってしまうがそれでいい

他にもGCを実装する言語がGCに依存するんじゃないかとか
型情報を定義する言語がーとかいう問題に対する煩悩が消える

**デフォルトの名無しさん** · 2022/08/18(木) 11:54:36.40

>>615
型のモデルとかイマイチよくわからんが定義は必要だろ
動的型付でも実行時には必要なんだし

>>616
> 更に、リフレクションが可能な処理系の場合には静的型であっても実行時に型検査を行う必要があるよね。
動的型付と類似の処理だからね
そういう意味で面倒というならまだわかる

**デフォルトの名無しさん** · 2022/08/18(木) 11:55:56.17

言語を作る側のメリットしかわかんねぇの？
言語を作る側じゃなく使う側のメリットを聞いてんだろ

**デフォルトの名無しさん** · 2022/08/18(木) 12:42:07.20

>>608
ツリーウォーク型のインタプリタなら楽だろうけど、速度出すにはJITとか考えないと行けないし、コンパイラ書くのと大差ない気がする

**デフォルトの名無しさん** · 2022/08/18(木) 12:57:08.67

>>620
具体的な実装をギリギリまで遅らせることができる＆設計が間違っていても無理やり嵌め込むことができる。
プロトタイピングとかライブラリ開発とかで楽できるし、リファクタリングで段階的に仕様を固めることができる。

最終的には静的型付けの方が堅牢になるけど、最初からミス無く設計するのは無理だから、開発初期は動的型付けの方が有利。

**デフォルトの名無しさん** · 2022/08/18(木) 13:30:03.60

>>620
言語でも仕事でも持続可能性のためには作る側が儲かるぐらいがちょうどいい

**デフォルトの名無しさん** · 2022/08/18(木) 13:42:10.72

>>620
>>608 から読み直せ

**デフォルトの名無しさん** · 2022/08/18(木) 14:00:24.69

Juliaはここに入らんの？

**デフォルトの名無しさん** · 2022/08/18(木) 14:19:26.19

ぬるぽ

**デフォルトの名無しさん** · 2022/08/18(木) 14:28:23.47

もちろんプログラマーや生成物実行者やサービス利用者にとっては静的型付け言語の方が大きく有利
プログラミングも静的型付け言語は支援が大きく楽だし実行時デバッグも減らせる
そして実行速度も静的型付け言語の方が速くできるため実行者やサービス利用者も時間の節約や応答性の良さを得られる

**デフォルトの名無しさん** · 2022/08/18(木) 14:31:48.41

>>624
>>608とか一番ダメな回答じゃん
このスレでイキってるやつらって結局このレベルなんだな
視野狭窄

**デフォルトの名無しさん** · 2022/08/18(木) 14:33:36.79

>>627
使い分けができない人の典型的な言い訳ですね

**デフォルトの名無しさん** · 2022/08/18(木) 14:36:30.08

>>628
だからダメダメって言ってるのに横からアホみたいに絡んでくるなよ

**デフォルトの名無しさん** · 2022/08/18(木) 15:54:24.58

>>630
ダメさ加減は君も引けを取ってないぞ
イキり加減もねw

**デフォルトの名無しさん** · 2022/08/18(木) 16:45:13.83

はいはいw

**デフォルトの名無しさん** · 2022/08/18(木) 16:58:47.72

小規模なプログラムを早く作りたいというときに
動的型付け言語は向いている

**デフォルトの名無しさん** · 2022/08/18(木) 17:26:35.30

main関数の型がいつも同じなのはシェルが静的型付けではないからだ
設定より規約
独自のユーザー定義型を設定しなくても使える

**デフォルトの名無しさん** · 2022/08/18(木) 18:13:32.09

>>622
あえて突っ込んでみるが

>具体的な実装をギリギリまで遅らせることができる
to_foo()できるFooableなインスタンスを受け取る前提でBarを作るみたいなのは動的型付けでも静的型付けでも同じじゃない？

>設計が間違っていても無理やり嵌め込むことができる。
これも動的型付けでも静的方付けでも同じじゃない？
渡す型が間違ってるみたいなのは設計間違いというよりコーディングミスでしょ

**デフォルトの名無しさん** · 2022/08/18(木) 18:32:21.72

>>607
今やない
モダンな言語は静的型だけど動的型のように書けるから

**デフォルトの名無しさん** · 2022/08/18(木) 19:10:46.93

>>635
＞なインスタンスを受け取る前提

そういう前提を開発当初に決められなかったり、そもそも問題領域に対する知見が足りなくて手探りで開発を進めるたり。当然「前提」が間違っていることもある。
間違うことを前提に「とりあえず動くものを用意して情報収集しながら開発する」というプロトタイプ開発だと、静的型付けは設計が重すぎて使いづらい。そういうケースだと柔軟性の高い動的型付けの方が便利。

**デフォルトの名無しさん** · 2022/08/18(木) 20:34:52.46

テスト書かないで書き散らすなら静的型はミスが生じにくい分本来的には有利だと思うけどね
ただ、静的型ってモデルとビューモデルみたいな似た型を複数作って左から右に渡すような設計をしがちだからコード量が増えやすいんだよね
静的型でも共通の型を使い回して重複を発生させないことはできるだろうけど、動的型と違って型が目に見えてしまうもんだから、
オプショナルな属性だらけの汚い型が目についてしまって、心理的に適切に型を使い分ける設計になりがち

**デフォルトの名無しさん** · 2022/08/18(木) 20:43:30.66

そもそもメンテをするつもりもテストをするつもりもない程度の用途なら、短いコードで完結に書けることが多い動的型言語は比較的有利そうだね
まあそういうときはなんでもいいから一番慣れてる言語を使えばええやんって感じだが

**デフォルトの名無しさん** · 2022/08/18(木) 20:59:53.63

>>637
いや、それは型推論の無かった静的型言語を使ってた時代の話だよ。
今時の言語は型推論あるからコード書く分には動的型言語と遜色ない。

いくら動的型言語が柔軟だと言ったって想定と異なる型のデータで関数なりメソッドなり呼ばれれば、その部分は動かない。下手したらデータ破壊しながら処理進めてしまいかねん。

**デフォルトの名無しさん** · 2022/08/18(木) 21:02:31.69

>>638
そのあたりの問題は最近の静的型付け言語は既に解決済みではないかな
そういう様々な異なる型に対して、横断的な共通の扱いをしたいならば、
例えばRustでは用途ごとに3通りの対応方法を提供しているよね
(1) ボディ付きenumによる複数の異種型の横断的な収容
(2) impl Traitによる複数の異種型の横断的な共通振る舞いとその静的モノモーフィゼーション
(3) dyn Traitによる複数の異種型の横断的な共通振る舞いとその動的ディスパッチ

**デフォルトの名無しさん** · 2022/08/18(木) 21:10:33.58

プロトタイプには動的型って一見もっともなんだけど
じゃあいつ本番開発に移行すんの？ってのは気になるな
結局ある程度動き始めたらそのままズルズル行っちゃうのでは？
それとも「今日から静的型で書き直すので一ヶ月開発止まります」とかやるの？

**デフォルトの名無しさん** · 2022/08/18(木) 21:10:45.17

>>641
そんな小難しいことを最初から真面目に考えて設計しなければならない時点で遅いんだよ

**デフォルトの名無しさん** · 2022/08/18(木) 21:13:42.36

動的型だと素早く開発できるという話は品質を犠牲にすれば素早く開発できるという話と同じ匂いを感じる