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

**デフォルトの名無しさん** · 2022/04/17(日) 17:52:35.38

スレタイ（順番はRedMonk準拠）以外の言語もok

前スレ
次世代言語24 Go Nim Rust Swift Kotlin TypeScript
https://mevius.5ch.net/test/read.cgi/tech/1647887021/

**デフォルトの名無しさん** · 2022/06/20(月) 13:52:48.64

型無し言語じゃない
型無し糞言語だ
間違えるな痴れ者が

型無し糞言語3兄弟といえばＲｕｂｙ、ＰＨＰ、Ｐｅｒｌ
業界の常識

未だこれ使ってる時代遅れのバカ老害どもは首吊って死んでええぞ

**デフォルトの名無しさん** · 2022/06/20(月) 13:55:02.11

>>961
https://ja.wikipedia.org/wiki/%E5%9E%8B%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0#%E5%9E%8B%E3%81%AA%E3%81%97
型付けを更に厳密に定義した区分として型なし（英: untyped）という区分が存在する。
代表的な言語としてはSmalltalk[7]、BCPL、B言語、アセンブリ言語などがある。
Smalltalkでは高速化のため処理系依存で実行時に型検査することがあるものの言語的には型検査がなく、
動的型付け言語のように文字列に割り算をするといった不正な操作をしても処理系が型検査して停止する事は無い。

BCPL、B言語、アセンブリ言語などオブジェクト指向とは関係なく型を持たない言語では、
ハードウェアのワード長に依存した1種類の型のみを持つか、
言語を使う側でデータを参照するときにデータ幅や種類の解釈を決定することとなる。

**デフォルトの名無しさん** · 2022/06/20(月) 14:10:59.58

>>960
bashのdeclareについては一旦忘れていただく方向でお願いします

**デフォルトの名無しさん** · 2022/06/20(月) 14:23:54.46

>>964
ほんまや
Brainfuckとかみたいな難解言語もだいたいuntypedかな

**デフォルトの名無しさん** · 2022/06/20(月) 14:32:59.17

>>963が言っている型無し言語とは、一つの変数がいろいろな型の値を束縛できるってこと？

**デフォルトの名無しさん** · 2022/06/20(月) 15:16:39.40

untypedは基本的にdynamically typedのこと
アカデミック用語で実務者用語ではない
実務者が型なし言語と呼ぶのはtypeless languagesのこと

現代において動的型付け言語を型なし言語と呼ぶのは明らかな間違い

**デフォルトの名無しさん** · 2022/06/20(月) 15:39:41.45

>>968
> untypedは基本的にdynamically typedのこと
出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。

**デフォルトの名無しさん** · 2022/06/20(月) 15:54:46.01

型付けなんてプログラマにとっては基本の基本で
おろそかにしていいものではないから

> 型無し糞言語3兄弟といえばＲｕｂｙ、ＰＨＰ、Ｐｅｒｌ

これがいかにド素人で無教養で恥知らずな発言かは
お分かりいただけてると思う

**デフォルトの名無しさん** · 2022/06/20(月) 16:28:03.20

複おじ怒りのマジレス

**デフォルトの名無しさん** · 2022/06/20(月) 18:29:27.28

>>901
これがちょっと辛いんだよな。

**デフォルトの名無しさん** · 2022/06/20(月) 18:53:41.48

型無し言語と言えば型無しラムダ計算だろ。

**デフォルトの名無しさん** · 2022/06/20(月) 19:04:42.99

次スレ（リニューアル）
Era 26

コンセプトは、現状の漠然とした実質未来最強言語決定戦という誰も得しない未来トレンドの断定を避けて、
次世代言語はまだ存在しない仮説を使って建設的な言語仕様の検討を促すことです。

**デフォルトの名無しさん** · 2022/06/20(月) 19:05:46.77

https://mevius.5ch.net/test/read.cgi/tech/1655719441/l50
↑次スレのリンクです。もし興味があればどうぞ。

（一定数いる最強言語決定戦を続けたい層には不向きかもしれないので、
棲み分けなどに、もし良いアイデアがあればどうぞご自由になさいませ。）

**デフォルトの名無しさん** · 2022/06/20(月) 19:24:15.90

そういうのGitHubでやったほうがいいよ

**デフォルトの名無しさん** · 2022/06/20(月) 19:52:16.37

>>972
今どきの言語ならそんなことは起きないんじゃないかな
例えばRustの標準ライブラリには同名のreplace()という関数が10個もあるけど

(1) まず名前空間が分かれている
例えば str::replace() や Option::replace() など

(2) 次にメソッドの場合は名前空間を明示する必要がない
例えば let s = "価格: 123円"; という文字列に対してはstr::を付けずに
s.replace("価格", "値段"); // → "値段: 123円"

(3) 更にジェネリックな引数も取れる
例えば文字列""ではなく文字''も指定可能
s.replace('円', "万円"); // → "価格: 123万円",
文字判定関数を指定することも可能
s.replace(char::is_numeric, "*"); // → "価格: ***円"

このように様々な対象に対して様々な引数で用いられていても
同名のreplace()で曖昧になることもなくそれぞれを使うことができる
昔のように長い関数名を付けずに済むようになっている

**デフォルトの名無しさん** · 2022/06/20(月) 20:07:59.34

次スレ立てるのはもうそろそろかな

**デフォルトの名無しさん** · 2022/06/20(月) 20:46:13.10

>>975
アスペっぽい　ガイジ

**デフォルトの名無しさん** · 2022/06/20(月) 21:02:14.54

>>963
ガイジ乙！

**デフォルトの名無しさん** · 2022/06/20(月) 21:08:22.86

>>977
3つともオーバーロードやデフォルト引数はほぼ関係ない話じゃん
3つめがかろうじてオーバーロードに引っかかってはいるが論点が違う

**デフォルトの名無しさん** · 2022/06/20(月) 21:24:31.48

シャドーイングがOKで関数オーバーロードがNGって普通は逆じゃね？

**デフォルトの名無しさん** · 2022/06/20(月) 21:29:29.90

>>982
その2つがどう関係あるのか説明してくれ

**デフォルトの名無しさん** · 2022/06/20(月) 21:39:32.57

シャドーイング　　同じ変数名で実際は完全に別物
関数オーバーロード　同じ関数名で引数が違う　でも普通は同じ働き

**デフォルトの名無しさん** · 2022/06/20(月) 21:50:35.85

引数の型が違うだけならジェネリクスでいいし、ジェネリクスで表現できないような
引数の違いがあるような場合はそもそも同じ関数名にすべきじゃないような気がする。
オーバーロードいらないよな。

**デフォルトの名無しさん** · 2022/06/20(月) 22:04:20.07

せいぜい意味不明なワードがくっついた似たり寄ったりの関数を大量に作ってくれよ

**デフォルトの名無しさん** · 2022/06/20(月) 22:09:55.02

>>984
なるほどそういう意味か

イミュータブルとムーブがデフォルトだとシャドーイングNGだと命名負荷が高くなりすぎるのよ
オーバーロードやデフォルト引数/オプション引数ないとメソッドの命名負荷が高くなるのと似てる

**デフォルトの名無しさん** · 2022/06/20(月) 22:17:07.52

>>982
C++/Java/C#書いてる脳だとまあすんなり同意するけど
OCamlだのHaskellだの書いてる脳で読むと「お前の普通なんか知らねーよ」って感じだな

**デフォルトの名無しさん** · 2022/06/20(月) 22:26:34.16

>>982
効果が真逆という結論のようです

> シャドーイングは同時に存在できるのが一つだけで曖昧さがなくプログラミングにおいてプラス効果
> オーバーロードは同時に異なるものが存在できるため可読性を下げたりミスを起こす機会を生じさせてマイナス効果

確かにシャドーイングが出来ない言語では例えば
price_str = "398"
price_int = int(price_str)
とするかミスを生みやすい動的型付けで同じ変数名priceに入れるようです
シャドーイングがいかに優れているかよくわかりますね

**デフォルトの名無しさん** · 2022/06/20(月) 22:30:15.50

書き込みする前に読み返したか？
ふわっふわしてるぞ

**デフォルトの名無しさん** · 2022/06/20(月) 22:36:51.94

Rsutは関数オーバーロードがないから
int(price_str)できない

**デフォルトの名無しさん** · 2022/06/20(月) 22:44:52.02

>>991
そういう時にメソッドではない不要なグローバル関数を設けるプログラミング言語は時代遅れ
もしstrに対してintに変換する関数int()を用意するならばstrのメソッドとして用意する
君には>>977を読み直すことを勧める

**デフォルトの名無しさん** · 2022/06/20(月) 22:52:38.23

Rustは同様に　abs(ｘ)ができない
他の言語ではmath.abs()とかにある

x.abs()と言う不思議な感じになる

-1_i32.abs()
は　-1になる変な言語

**デフォルトの名無しさん** · 2022/06/20(月) 22:54:18.35

>>991
Rustではintが多数あるため
let s = "98765";
let a: i32 = s.parse()?;
let b: u64 = s.parse()?;
となります
どちらも同じメソッドparse()で大丈夫です
あなたが使っている言語では多数のint毎に別々の変換用の関数があるのですか？

**デフォルトの名無しさん** · 2022/06/20(月) 22:55:48.87

>>994
出た
愚者の?

**デフォルトの名無しさん** · 2022/06/20(月) 22:59:31.50

>>993
>int(price_str)できない
>Rustは同様に　abs(ｘ)ができない

それはどっちもできるよ

**デフォルトの名無しさん** · 2022/06/20(月) 22:59:45.45

>>993
i32::abs(-1)

**デフォルトの名無しさん** · 2022/06/20(月) 23:01:03.11

parseは多分ジェネリック実装されてて戻り値の推定からジェネリック型決めてるんだろ？
そっちのほうが不気味

そのparseだってどうせトレイトで実装してんだろ？

**デフォルトの名無しさん** · 2022/06/20(月) 23:02:42.38

>>985
ジェネリクスはまた別物だろ。

ライブラリ無いからシステムコール利用する機能を提供しようとする。
例えば socket(2)でいいわ。
第3引数なんて使うことないからと第2引数までを取るAPIとして公開、後になって第3引数必要になった(例えばSCTP利用)ってなった場合、オーバーロードできないとAPI変える必要あるじゃん。

**デフォルトの名無しさん** · 2022/06/20(月) 23:03:17.12

>>996-997

それは実質fabs()と変わらない

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 64日 5時間 10分 42秒