次世代言語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/19(日) 10:55:12.05

>>938
具体的にはどういうとこ？
俺は最初からC#ダサいと思ってたけど

**デフォルトの名無しさん** · 2022/06/19(日) 11:04:07.37

>>939
具体的にダサいところあげてくれ
ついでにダサくない言語も教えてくれ

**デフォルトの名無しさん** · 2022/06/19(日) 11:07:05.21

単純にMicrosoftのソフトウェア開発能力がめちゃくちゃ高いからどんどん変わっていけてるだけだぞ
昔から巨大ソフトウェアをずっとたくさん作り続けてるだけあるよ

他の言語だってリソースさえあればあれもこれもやりたい、って言ってるのたくさんあるじゃん

**デフォルトの名無しさん** · 2022/06/19(日) 11:11:04.94

言語仕様が使いもしないパターンマッチよりにどんどん変わってる
学習コストが上がるだけなのに

if (x is { Name.Length: 1 })
{
Console.WriteLine("single-char Name");
}

**デフォルトの名無しさん** · 2022/06/19(日) 11:13:34.22

>>942
へーそうなん
サンクスコ

**デフォルトの名無しさん** · 2022/06/19(日) 11:15:07.77

x is { Name.Length: 1 }

これが何を指しているか直観的にわかるように思えて実際は違っている

**デフォルトの名無しさん** · 2022/06/19(日) 13:07:02.40

MicrosoftはTeamsのアップデートしすぎ、ほぼ毎日バージョンが変わる。マジで勘弁してほしい

**デフォルトの名無しさん** · 2022/06/19(日) 13:32:37.74

C#は場当たり的に糖衣構文追加するもんだから
BNFがとんでもない長さになってるな
ここまで言語仕様汚くなった言語他に無いんじゃね？

**デフォルトの名無しさん** · 2022/06/19(日) 13:39:49.73

さすがに C++ Perl Ruby には敵わないだろ

**デフォルトの名無しさん** · 2022/06/19(日) 14:13:50.73

>>944
具体的に他の言語で書くとどういう記述に相当するもの？

**デフォルトの名無しさん** · 2022/06/19(日) 14:16:23.55

BNFで構文表現できてる時点で綺麗だよね

**デフォルトの名無しさん** · 2022/06/19(日) 14:21:29.08

BNFで表現できない文法はやめてくれ

**デフォルトの名無しさん** · 2022/06/19(日) 14:37:30.12

>>947
Rubyは意外にシンプル

**デフォルトの名無しさん** · 2022/06/19(日) 15:16:16.80

>>951
シンプルでなくイージー
型無し糞言語代表だろ

**デフォルトの名無しさん** · 2022/06/19(日) 15:23:17.11

rubyに型がないとかｗ
恥を知れ恥を

**デフォルトの名無しさん** · 2022/06/19(日) 17:07:15.35

恥を知れ恥をって一番恥ずかしい煽りだよな

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

他の言語の定型文をそのまま日本語に持ってくるからそうなる

富士山は日本で一番高い山の一つですは誤訳

**デフォルトの名無しさん** · 2022/06/19(日) 22:06:45.19

Rubyはスクリプト言語にしてはPythonに比べ型は厳格だが、なんにでもなれるメソッドなかったっけ？

**デフォルトの名無しさん** · 2022/06/19(日) 22:28:00.46

#method_missing

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

>>952
型無し言語って何？

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

シェルスクリプトやアセンブリのことです

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

シェルスクリプトにも変数の型はあるしアセンブリもレジストリの種類は意識しないといけない

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

型なし言語って、誤用でしか用例を聞いた覚えがないけど、型なし言語とかいう用語はあるの？
文脈からして何を言いたいかはわかるんだけど

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

値に型がない言語のことを型なし言語、って呼ぶのは正しいの？

**デフォルトの名無しさん** · 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秒