次世代言語議論スレ[Go Rust Kotlin Scala]第4世代 [無断転載禁止]©2ch.net

**デフォルトの名無しさん** · 2017/04/20(木) 04:43:27.12

いざ、語ろうぞ。

スレタイ超過のため、一部省略。
Go, Erlang, Kotlin, etcもウェルカム。
Haskellは協議により次世代失格になりました

前スレ
次世代言語議論スレ[Go Rust Haskell Scala]第3世代
http://echo.2ch.net/test/read.cgi/tech/1488608741/

あ · 2017/04/20(木) 07:32:05.38

乙

**デフォルトの名無しさん** · 2017/04/20(木) 08:19:51.38

TypeScriptも次世代言語に入れてくれ。

https://trends.google.co.jp/trends/explore?q=Golang,Typescript,Kotlin
Google社内の標準言語としてTypeScriptが承認される。ng-conf 2017
http://www.publickey1.jp/blog/17/googletypescriptng-conf_2017.html
TypeScriptが標準言語になっても、Dartのことは忘れてませんよとGoogle担当者がフォロー
http://www.publickey1.jp/blog/17/typescriptdartgoogle.html

**デフォルトの名無しさん** · 2017/04/20(木) 08:44:47.83

208 デフォルトの名無しさん[sage] 2017/04/19(水) 12:20:37.70 ID:rIlDsUIc

継承もカプセル化もオブジェクト指向には必要ない
クラスを作る、つまり型を定義する事こそがオブジェクト指向

265 デフォルトの名無しさん[sage] 2017/04/19(水) 23:10:42.57 ID:2dTlCsss

>>208
代数的データ型で型を定義できるHaskellはオブジェクト志向言語だった……？

266 デフォルトの名無しさん[sage] 2017/04/19(水) 23:12:01.85 ID:qOdNs+TP

>>265
代数的データ型とはなんぞや？

269 デフォルトの名無しさん[sage] 2017/04/19(水) 23:19:37.80 ID:qOdNs+TP

type c = a or b
みたいな？

270 デフォルトの名無しさん[sage] 2017/04/19(水) 23:20:37.20 ID:qOdNs+TP

これもオブジェクト指向と言ってもいいでしょう！

こんなん草生える

**デフォルトの名無しさん** · 2017/04/20(木) 12:21:47.82

TypeScriptはJavaScriptのクソな点をまともに直しただけで
次世代というものを感じないのだがなんかあるの？

**デフォルトの名無しさん** · 2017/04/20(木) 19:50:17.61

TypeScriptは次世代を担うってよりも
旧世代の資産をなんとか次世代まで持ちこたえさせるつなぎって感じ

**デフォルトの名無しさん** · 2017/04/21(金) 00:32:39.17

別に便利ならそれでいいと思うけど。

**デフォルトの名無しさん** · 2017/04/21(金) 13:54:11.80

>>5
とはいえ次世代は次世代でしょ

あ · 2017/04/21(金) 16:45:28.52

TypeScriptは手段が目的化してきてるからな。
構文は嫌いじゃないけど。

**デフォルトの名無しさん** · 2017/04/21(金) 23:38:23.47

なんでHaskell無くなってるの？もう学ぶの諦めたの？

**デフォルトの名無しさん** · 2017/04/21(金) 23:42:05.24

うん
Haskell学ぶなんて時間の無駄だってことに気づいたの

**デフォルトの名無しさん** · 2017/04/21(金) 23:59:18.37

>>10
前スレでHaskellは次世代言語ではなく遅延評価に問題があるとされた。
でもHaskellの考え方を学んで他の言語で活かすならありだと思う。

**デフォルトの名無しさん** · 2017/04/22(土) 00:57:02.64

問題とされたのは遅延することではなく何秒遅れるか予測不可能なことだと思う
タイミングを何秒後と指定して評価するのは問題ないとされる
現にそういう問題が出題されたしね

**デフォルトの名無しさん** · 2017/04/22(土) 02:36:22.27

いやHaskellを声高にプッシュしていた奴が例題のコードも出さずに逃亡して、Haskellそんなに詳しくない人が替わりに書くという事態になったからだよ
Haskellに詳しい人もHaskellについて議論できる人もいなかったんで対象として取り上げるには不適切になった(このスレでは)
Haskell上げの意見は説得力が無いしHaskell下げの意見はただのレッテル貼りにしかならない

**デフォルトの名無しさん** · 2017/04/22(土) 07:18:18.45

で、Haskellよりも劣った言語が次世代言語候補として残ったわけか
おもしれーw

**デフォルトの名無しさん** · 2017/04/22(土) 07:49:13.55

次世代言語なんだから、現行の言語を語っても意味ないよね。

**デフォルトの名無しさん** · 2017/04/22(土) 09:34:02.47

>>14
逃亡というレッテル貼りをおそれて多くの人が努力したんだな
レッテル貼りには人を努力させる効果があった
レッテル貼りは悪という意見にはあまり説得力がない
この場合、逃亡は悪ではかったと考える方が説得力がある

**デフォルトの名無しさん** · 2017/04/22(土) 09:54:38.02

>>17
最後の１行がそれより前とつながらないんだが

**デフォルトの名無しさん** · 2017/04/22(土) 10:24:05.10

糞問題、糞設計、糞実装だの言うわりにどれ一つ代替案は出てこなかった（つまりパラダイムは変えない）
加えて、正直な感想として現行言語の方が次世代と称される言語よりずっとすっきり書けていた
という現状をふまえると次世代の「売り」って何なのだろう

クラスや付随する言語機能を捨ててシンプルさを求めたこと（継承のデメリットの排除と学習コストの軽減）と
それで生じる表現力・抽象度の低下を型チェックや型推論機構の充実で補ってバランスをとったところ？

**デフォルトの名無しさん** · 2017/04/22(土) 10:33:00.05

HaskellとDが最底辺であることに変わりはない。
実用性皆無なプログラム言語は存在価値無し。

**デフォルトの名無しさん** · 2017/04/22(土) 10:40:11.00

訂正
逃亡は悪ではかった→逃亡は悪ではなかった

>>18
レッテル貼りは悪とは限らないし、そもそも悪と戦うことが目的ではない
戦いが目的でないなら逃亡は合理的だ

**デフォルトの名無しさん** · 2017/04/22(土) 11:00:51.13

>>21
そこじゃない！ｗｗｗ＞訂正

逃亡というレッテル張りを恐れて他の善意のファンが努力
→レッテル張り自体は悪だが結果はそう悪いものでもなかった

という流れからどうして逃亡自体が悪でないという帰結が導かれるのか？
ひたすら机上の空論を展開し、他を貶め、蔑み、悪態をつくだけついて
じゃあ動くコードやよりよい設計を出せというと逃げるのはどうみても身勝手だろう

**デフォルトの名無しさん** · 2017/04/22(土) 11:14:59.00

悪口を言われたから賠償してほしいって？
そんな出題者の意図があるとは知らなかった

**デフォルトの名無しさん** · 2017/04/22(土) 11:36:19.62

>>23
この場合、出題者は関係ないだろう
「他を」は「他言語（あるいはその使い手、ファン、コミュニティ）を」だ

**デフォルトの名無しさん** · 2017/04/22(土) 11:53:17.53

なんかいちいち噛み合わないな
もしかしてHaskell儲がまだいるのか？
なら逃亡行為を好意的に解釈したがるのも頷ける

**デフォルトの名無しさん** · 2017/04/22(土) 12:24:45.77

あんまり荒らしたくはないが、できるかできないかで言えばできたんだから問題ないだろ
それにType Classのコード理解できるやつ何人いた？
単なる継承だと勘違いしてるっぽい奴はいたが

**デフォルトの名無しさん** · 2017/04/22(土) 12:38:09.97

そもそも単価の高いHaskellerにタダでコード書けというほうが間違っている

**デフォルトの名無しさん** · 2017/04/22(土) 13:11:14.86

>>27
旧世代言語なら実質50行程度せいぜい10分で書けるコードにいくら請求するつもりだよｗｗ

それに単価ならカンブリア言語のSmalltalkerの方がよほど高いわ
奴ら呼べばきっと頼まれなくてもホイホイ書くぞ
Rust使いに次いで自分言語大好きだからな
https://developers.srad.jp/story/17/03/31/0448232/

**デフォルトの名無しさん** · 2017/04/22(土) 13:55:32.78

どうせお前ら、フレームワークに用意されたメソッドを
サンプル通りに呼び出すだけのドカタだろ？
次世代言語なんて要らんだろ

**デフォルトの名無しさん** · 2017/04/22(土) 14:38:27.32

そういう言語こそ切望されている。

**デフォルトの名無しさん** · 2017/04/22(土) 19:55:27.63

次世代言語ならおっさんにマウントされずに
仕事できると思ってるバカが多いってだけなんだよ結局。

**デフォルトの名無しさん** · 2017/04/23(日) 13:37:29.12

新スレ

abc系でみんなで人工知能を作ろう！
http://echo.2ch.net/test/read.cgi/tech/1488681839/

**デフォルトの名無しさん** · 2017/04/23(日) 14:04:42.00

個人的にはスレタイからRustも抜いてほしい。まともに物が作れないのにクソモジラのステマだけで話題になってる、言語未満のクソの塊。

**デフォルトの名無しさん** · 2017/04/23(日) 14:08:54.35

このスレは何を目指してるの？

**デフォルトの名無しさん** · 2017/04/23(日) 15:35:02.72

よく分からんよね
いつか知らないけど、次に主流になる言語が何かを決めたいんだろう

**デフォルトの名無しさん** · 2017/04/23(日) 15:41:50.81

もう全部C++でいいんじゃないかな
これから100年先までずっとC++だ

**デフォルトの名無しさん** · 2017/04/23(日) 16:07:52.01

>>36
それでいいそれで。他を圧倒的に突き放して一番早くて実用的な言語だ。

**デフォルトの名無しさん** · 2017/04/23(日) 16:10:21.34

多次元配列弱いC++はFortran以下
まず配列アクセス演算子が引数一つしか取れない時点で終わってる

**デフォルトの名無しさん** · 2017/04/23(日) 16:16:54.85

そりゃ、関数で十分だからな。テンプレートとオーバーロードと参照があれば
配列アクセス演算子なんて最初から必要なかった。

**デフォルトの名無しさん** · 2017/04/23(日) 16:20:47.89

まあ確かにEigenなんかは関数呼び出し演算子で代用してるな
そのEigenでさえ3次元以上には対応してないっていうのがC++の自由度の低さを物語ってるが

**デフォルトの名無しさん** · 2017/04/23(日) 16:24:19.41

逆に聞くけどそれなくて何か実用的なプログラミングで困るの？

**デフォルトの名無しさん** · 2017/04/23(日) 16:29:32.67

C++++あくしろよ

**デフォルトの名無しさん** · 2017/04/23(日) 17:38:01.40

>>41
深層学習とか統計処理とかには必須だぞ
量子化学にもあれば便利だな
データ整理一般にも使うしな

**デフォルトの名無しさん** · 2017/04/23(日) 19:47:31.29

いや、そんな要素一つ一つに対して別個の処理をするようなコードは
あんまいらんだろ。
本当に必要な場合は結局、配列レベルで高速化が望まれる場合だけだし。
誰かが用意した python のライブラリでも使ってなさいってこった。
カスが個人的に作ったものよりもよっぽど速くて正確なものがあるんだから。

**デフォルトの名無しさん** · 2017/04/23(日) 20:12:53.69

Python >>>> C++が証明されたな
速度においてもCython擁するPythonが負ける要素はないし

**デフォルトの名無しさん** · 2017/04/23(日) 20:19:34.87

C++er「もう全部C++でいい」
配列マン「多次元配列需要あるのにC++にはないやん」
C++er「そんなもんあんまいらんだろ。Pythonでも使ってなさいカス」

C++erってやっぱダブルスタンダードのカスだわ

**デフォルトの名無しさん** · 2017/04/23(日) 20:36:30.78

用途によって使い分けるという当たり前の発送のないバカと一緒にされたくないんだけど。。

**デフォルトの名無しさん** · 2017/04/23(日) 21:11:17.67

皮肉なのにマジで取られても

**デフォルトの名無しさん** · 2017/04/23(日) 21:15:41.28

あとはID:UJAzDyB2だけか

**デフォルトの名無しさん** · 2017/04/23(日) 21:50:20.49

多次元配列とはいえ結局は仮想メモリ上に一次元に乗るデータになるんだから、多次元→一次元マッピングを最初から最適にデータ設計出来てればいらんだろそんなもん。
そこを処理系任せにしてメモリ上のデータ構造チューニングできないようなものが次世代言語なのか？

**デフォルトの名無しさん** · 2017/04/23(日) 21:51:12.16

あ、ID変わったけどID:UJAzDyB2。

**デフォルトの名無しさん** · 2017/04/23(日) 22:10:15.66

最先端のアルゴリズムで実用ライブラリを書く言語としてのC++はこの先100年安泰で、
ラッパ用スクリプトのPythonとはそもそも言語としての立ち位置が違うって話。

**デフォルトの名無しさん** · 2017/04/23(日) 22:22:19.93

100年後の言語ってどうなってんだろな
頭にチンポ型の伝送デバイスハメるだけでプログラミングできたりする？

**デフォルトの名無しさん** · 2017/04/23(日) 22:24:04.51

そりゃもう感応入力で思考の速度でプログラミングできてるだろう
言語はなくなってるかもしれん

**デフォルトの名無しさん** · 2017/04/23(日) 23:40:41.71

C++を今の地位から引きずり下ろすためにもRustには頑張って欲しいものだ

**デフォルトの名無しさん** · 2017/04/24(月) 00:14:14.60

言語がなくなる
科学がなくなる
数学がなくなる
こういう無数の可能性から一個選んで的中させるのはほぼ不可能だよな

**デフォルトの名無しさん** · 2017/04/24(月) 00:21:20.12

ID:bkkcl6Xnの発言は一番気が狂っていた頃のエンジニアガイジと似てるな

**デフォルトの名無しさん** · 2017/04/24(月) 00:26:31.35

>>36
早くネットワーク系のライブラリを標準で入れてくれぃ

**デフォルトの名無しさん** · 2017/04/24(月) 00:33:57.43

ID:UJAzDyB2「C++は実用的な言語である。多次元配列がなくても実用的なプログラムでは困らない」
ID:bkkcl6Xn「私はID:UJAzDyB2である。C++は実用ライブラリを書くための言語だ」

なにこれ

**デフォルトの名無しさん** · 2017/04/24(月) 00:40:56.94

>>50
多次元配列でチューニングすべきところなんかあるか？せいぜい格納方向が2通りあるくらいだろ。チューニング出来るものは一切搭載してないFortranにすらデフォルトで搭載されてる機能だぜ？
それにそれ言っちゃあSTLなんてどうなるんだよ？まさかSTLは使うけど多次元配列は自分で作るなんて言わないよなあ？

**デフォルトの名無しさん** · 2017/04/24(月) 00:56:56.87

>>60
ガチ用途でSTL使わねえだろバカも休み休み言えよ……
STL使うC++なんてちょっと速いPythonやらRubyじゃねえか。

**デフォルトの名無しさん** · 2017/04/24(月) 00:58:00.30

>>61
ほーんSTLより速いの書いてあげてみ？
絶対無理だろ

**デフォルトの名無しさん** · 2017/04/24(月) 01:04:22.49

>>62
そりゃ自分の書くものに一番合うように書くから、あらゆるベンチを通すように丸く作られたSTLに全分野で勝てるわけないだろ。

**デフォルトの名無しさん** · 2017/04/24(月) 01:10:06.24

>>63
この用途ならこれが一番速くて信頼性が高くて拡張性も優れていて、自分で書いてSTLを使わないコストという面でも釣り合いが取れるっていうのがあるってことだよな？
用途から自分で設定していいから書いてみろよ。

**デフォルトの名無しさん** · 2017/04/24(月) 01:16:51.68

いや、そもそも多次元配列の話してたんだし、numpyを超えるスピード、信頼性の多次元配列を書いてもらうべきだな

**デフォルトの名無しさん** · 2017/04/24(月) 01:19:28.66

疎行列

**デフォルトの名無しさん** · 2017/04/24(月) 01:22:28.66

ああ、そもそもSTLで出来ないことを書いて「勝った」っていうのはなしだぞ。それこそ疎行列とかな

**デフォルトの名無しさん** · 2017/04/24(月) 01:30:31.10

ハッシュマップ

**デフォルトの名無しさん** · 2017/04/24(月) 01:36:23.44

ってか割と真面目にC++上で動く多次元配列欲しいんだけど
1～5次元くらいまで同じインターフェースで動く奴作ろうとして、思いの外面倒だったから辞めてFortranに乗り換えたことあるんだよな

**デフォルトの名無しさん** · 2017/04/24(月) 06:51:30.21

>>42
亀だけど、C#って、C++++という意味を込めてるんだよ。

**デフォルトの名無しさん** · 2017/04/24(月) 20:17:17.36

>>65
だよねぇ、多次元配列の操作で Python に勝るのは Fortran くらいしか思いつかないや
純粋手続き型言語の始祖である Fortran と、同じく純粋手続き型スクリプト言語である
Python、誰にも否定できない当然の結果だよね

もう、このスレでは次世代 Fortran は Python で決まり！！ってこと結論が出たね

**デフォルトの名無しさん** · 2017/04/24(月) 21:50:54.50

その結論は何を表すの？

**デフォルトの名無しさん** · 2017/04/24(月) 23:19:46.46

>>71
多次元配列操作で次世代言語を選ぶならJuliaだろう。

Python使いをJuliaに引き込むサンプル集
http://www.mwsoft.jp/programming/julia/python_to_julia.html
RユーザのためのJulia入門（行列編）
http://rishida.hatenablog.com/entry/2013/11/30/194733

**デフォルトの名無しさん** · 2017/04/24(月) 23:52:45.18

Juliaのステマ貼るならせめて最新版の解説貼れよ
ないけどさ

**デフォルトの名無しさん** · 2017/04/25(火) 00:38:05.23

>>74
Qiitaで検索するかAdvent Calendarｓを読め。
普及が始まっている次世代言語は
たいていAdvent Calendarｓ 2016がある。

**デフォルトの名無しさん** · 2017/04/25(火) 02:23:12.66

言語オタクが重視する言語間の細かいシンタックスの差なんてどうでも良くて、
次世代言語に必要だったのは高速で便利な多次元配列だったってオチか

**デフォルトの名無しさん** · 2017/04/25(火) 08:40:21.09

>>75
Julia0.3の化石みたいな記事貼るなって意味だよ

**デフォルトの名無しさん** · 2017/04/25(火) 10:54:45.65

Juliaって化石なの？

**デフォルトの名無しさん** · 2017/04/25(火) 10:55:45.34

0.3はね
そろそろ0.6

**デフォルトの名無しさん** · 2017/04/25(火) 11:10:54.53

>>76
多次元配列が必要な人間は一部だけど文法が全員に影響があるから、多数決で文法優先
オタクではなく多数決です

**デフォルトの名無しさん** · 2017/04/25(火) 11:51:27.86

RubyとPythonとか観てると文法より多次元配列やライブラリのが重要だと実感するが。
C#やJavaScriptにしても、簡潔に書けるとかじゃなくて何を作れる(サポートするプラットフォームの多さ)で選ばれてるし。

**デフォルトの名無しさん** · 2017/04/25(火) 12:35:16.20

利用者が多い・ライブラリが豊富って現在流行っているものの話でしょ

**デフォルトの名無しさん** · 2017/04/25(火) 12:35:23.60

多次元配列が重要って感覚がわからないんだけど、
どういう分野の人が使うの？

あ · 2017/04/25(火) 12:49:25.85

多次元配列ってジャグじゃないものの事だよな？
マクロ書いちゃえばいいんでないの？
アクセス演算子と大仰な言い方するが、要は単に掛け算なんだし。アライメントも揃えられるしさ。

適当な並べ方してるとメモリアクセスで悲しい思いをする気がする。特にどーんとクラスタに投げるときとか。
Fortranでもメモリマップ的には後ろの列からの順番になるから思い付きで並べると重いよ。

あ · 2017/04/25(火) 12:51:38.43

>>83
テンソルに係数を掛けたり、テンソルとベクトルを掛けたりすると、欲しくなるのは確か。
unionって思ってたより随分便利だなーって思うやつ。

**デフォルトの名無しさん** · 2017/04/25(火) 12:56:48.67

>>82
Rubyが流行りそうになった時、RoRの登場で一躍有名になった。
Pythonにはそれに相当するものが無かった。
後に同じようなの出来たけど、Rubyを引き離すほどじゃ無かった。
Ruby1.9の時、互換性切り捨てでRuby自滅が決定打だった。
結果としてディープラーニング向けライブラリの登場で揺るぎない地位を得た。

文法はRuby1.9以降のが好きだし理に適ってる。
でも、世界的には終わった言語。

あ · 2017/04/25(火) 13:06:52.92

Rubyは理想を追いかけ過ぎ。
自然言語で言えば、エッセイストは言語学者じゃないのに形態素に基づくなんとかかんとか、こういうしきたり、こういうルールってのを並べられてもって感じで、
しかも、言語学者側はそれを素晴らしいと絶賛してると言う狂った状態に近い。

英語なんかあんな破綻した闇仕様に溢れた言語
(例えば、Shipの口語の代名詞に失われた性を補完してsheを使う)なのに、
あんなに全世界で使われてるんだから。

言語なんて歯ブラシなんや、ってPHPの方が随分スタンスとして好き。

**デフォルトの名無しさん** · 2017/04/25(火) 13:39:27.32

次世代の定義と合わなくね？って書き込みになんでそんなレスがつくんだろ

**デフォルトの名無しさん** · 2017/04/25(火) 13:59:47.20

かつて次世代だった言語の栄枯盛衰から、次世代言語に何が必要かが分かると思って投下した。

**デフォルトの名無しさん** · 2017/04/25(火) 14:18:46.85

文法は繁栄の原因にはならないけど互換性云々で衰退の原因になるんだ

あ · 2017/04/25(火) 14:31:36.92

>>88
あんまり原理主義的な事話してると怒られるから。。

**デフォルトの名無しさん** · 2017/04/25(火) 14:54:40.56

文法は繁栄の原因にもなり得たよ。
Rubyも注目された当初は簡単でなんでも出来る言語としてsmalltalk作ったけど、真のsmalltalkはRubyだったとかアラン・ケイも絶賛してたし、RoRもRubyの文法に惚れて作られた。
その後の保守戦略家で差が付いた。

**デフォルトの名無しさん** · 2017/04/25(火) 14:55:18.59

x保守戦略家
o保守戦略

**デフォルトの名無しさん** · 2017/04/25(火) 18:40:55.97

戦略ってなんだろう
どうやって決めたかは教えないけど、成功とか失敗とか成果だけ教えてやるよって感じ
成果だけが重要と思っているからなのか

**デフォルトの名無しさん** · 2017/04/25(火) 18:52:57.84

>>86
>Ruby1.9の時、互換性切り捨てでRuby自滅が決定打だった。

互換性切り捨てってのは、これのこと？

http://echo.2ch.net/test/read.cgi/tech/1413113999/128

うーみゅ、確かに Hello world レベルのお題ですら動かなくなるようでは、
互換性切り捨てと批判されるのも仕方ないよね

**デフォルトの名無しさん** · 2017/04/25(火) 19:19:36.86

>>94
戦略って言っても、私が結果だけ見てそう判定しただけだがね。
結局、言語の開発管理側が業務で使われているって事実を重要と見たかどうかってだけ。
どっちも互換性切り捨ててるんだけど、Pythonはまだ旧バージョン系列サポート切ってないし、長々とアナウンスしてる。

**デフォルトの名無しさん** · 2017/04/25(火) 19:40:02.70

訂正してあげるね

X：Pythonはまだ旧バージョン系列サポート切ってないし
O：Pythonはまだ旧バージョン系列サポート切れないし

Pythonはまだ新旧バージョンでの後方互換性切り捨てが災いして、
未だに旧バージョン系列から新バージョン系列へ移行できていないだけの話
だから旧バージョン系列サポートを切りたくても切れないってのが現実

http://blog-imgs-82.fc2.com/n/o/r/noriaki3/201508310726369c2.jpg

**デフォルトの名無しさん** · 2017/04/25(火) 20:00:00.53

それが企業に好感持たれてる現実。
強行したRubyはどうなったよ。

**デフォルトの名無しさん** · 2017/04/25(火) 20:09:39.00

こうなった
http://echo.2ch.net/test/read.cgi/tech/1486026729/900

ところで、Rubyの互換性切り捨てとは具体的には何を指しているのかな？
少なくとも Hello world レベルであれば、RoR登場以前の 1.6 から最新の 2.2 に至るまで、
Ruby であれば Syntax Error にならず正常動作するから互換性は維持されているけどね

◆QZaw55cn4c · 2017/04/25(火) 20:17:10.34

>>87
うーん，LL(1)に徹している pascal が古今東西素晴らしいとおもっているんだが‥ruby ってそんなにすごいの？

**デフォルトの名無しさん** · 2017/04/25(火) 20:37:45.43

Rubyが理想を追いかけてるとか、苦笑しか出てこない。

**デフォルトの名無しさん** · 2017/04/25(火) 20:45:57.84

>>100
？
低機能パーザー使うと何ですごいの？

◆QZaw55cn4c · 2017/04/25(火) 21:06:43.69

>>102
＞自然言語で言えば、エッセイストは言語学者じゃないのに形態素に基づくなんとかかんとか、こういうしきたり、こういうルールってのを並べられてもって感じで、
だろうね

**デフォルトの名無しさん** · 2017/04/25(火) 21:16:47.80

結局、キャットドア問題解決できなかったしね

**デフォルトの名無しさん** · 2017/04/25(火) 22:43:32.29

python3 とか好きじゃないんだよな。。
1/ 2 = 0.5
とか型が弱くなる方向に修正したんだか。。
明示的に書かせるのが python の良さなのにそれと逆行しようとしてるのが好きになれん。

あ · 2017/04/25(火) 23:45:33.40

>>100
pascalは素晴らしいと思うよ。俺も。
いつの間にか呼ばれてるto_intみたいな馬鹿な仕様もないし。
あれは理想ではなくて現実。
>>101
追いかけてるだろー。
「Objectには不要なものが多すぎる、好ましくない。でも、互換性失いたくない。
　そうだ、Objectの親にBasicObjectを作って白紙のオブジェクトとしよう」
なんてまともな神経してたらちょっと思いついたけど敢えて忘れるレベルの実装をマジでやった上に、
一番やめてほしい==の実装をBasicObjectに持ってったんだぞ。
気が狂ってる。
わざわざtrueClassやらnilClass作ってたのが原理主義っぽくて良かったのに。
n = true if false
で、nがnilになるのもおかしい。
n = n+1でnilに+はねえよってメッセージの原因だけど、こればっかりは異常。

**デフォルトの名無しさん** · 2017/04/25(火) 23:47:17.89

>>106
言葉に気をつけろよ
キャットドア問題の前にお前らはボロ雑巾のように敗れ去っているのだから

あ · 2017/04/25(火) 23:50:40.24

メッセージパッシングで大枠作ったのにな

そもそも、クラスを破壊せずに機能追加せよ、って矛盾した設問がおかしい事にまだ気づかんのかなぁ。

**デフォルトの名無しさん** · 2017/04/26(水) 00:00:43.82

>>100
俺もpascalはシンプルで好きな方。
だけどブロックは波括弧が好きなんだよなぁ。

**デフォルトの名無しさん** · 2017/04/26(水) 00:34:00.42

>>99
うろ覚えだが、文字列から文字を取り出すのが思い切り変わった。
これは阿鼻叫喚になるなって印象はあった。

**デフォルトの名無しさん** · 2017/04/26(水) 00:43:56.99

>>110
＞うろ覚え
正しくは。うる覚え。な
学がないやつはこれだから

**デフォルトの名無しさん** · 2017/04/26(水) 03:53:03.15

スレタイからElixir抜いた奴俺の許可とったの？

**101** · 2017/04/26(水) 04:48:11.60

>>106
Objectクラスの親クラスにProtoObjectクラスがあるのも、
==をProtoObjectで実装するのも、
TrueクラスやUndefinedObjectクラスがあるのも、
false ifTrue: [true]がnilになるのも、
みんなSmalltalkでは理想どころじゃない、
ProtoObjectは90年代のOO普及期からずっと当たり前のこと、
それ以外は80年代のOO黎明期からずっと当たり前のことだが、
どこがどう理想なのか、どこがどう次世代なのか、教えてくれよ。

**ich1** · 2017/04/26(水) 07:20:16.12

https://goo.gl/Y4tSAe
これは嘘でしょ？
本当なら落ち込むわ。。

**デフォルトの名無しさん** · 2017/04/26(水) 07:22:08.94

「うろ覚え」の誤り。「うろ覚え」は、はっきりと覚えていない様子を意味する語。空洞を意味する「うろ」が、文字や音の似た「うる」に置き換わって生じたといわれている。ネットスラングとしては、「ふいんき」と同様に、誤記を承知で敢えて用いられる例が見られる。

ネットスラングとしては、「ふいんき」と同様に、誤記を承知で敢えて用いられる例が見られる。
ネットスラングとしては、「ふいんき」と同様に、誤記を承知で敢えて用いられる例が見られる。

**デフォルトの名無しさん** · 2017/04/26(水) 08:01:30.06

>>111

**デフォルトの名無しさん** · 2017/04/26(水) 08:02:47.44

>>71
Python の配列って、list でしょ？

あ · 2017/04/26(水) 08:27:05.94

>>113
だから、理想に走りすぎで現実見えてないって言ってるの。その論調だとsmailltalkが自然で目指すべきだと聞こえるが？俺はそうは思わないけど。
泥の中の蓮的な理想感はあるが、実際にはそんな物が必要ならそれこそRubyなんか使ったら劣化コピーで気持ち悪いものをこねくり回して満足してる学者大先生と同じ。
エスペラント語を素晴らしいと言いはって、エスペラント語でエッセイ書くようなもんだ。書いてみりゃわかるが、無謀だよ。
正しくしか書けないし、元の発想が比喩で作られてるようなもんだから、比喩表現は比喩の比喩になってもう意味がわからない姿になる。
永遠に次世代になりたくて、実は永遠に次世代ではない。

**デフォルトの名無しさん** · 2017/04/26(水) 09:01:42.16

エッセイなら正しく書けばいいだろ。
ポエムは難しいけど。

**デフォルトの名無しさん** · 2017/04/26(水) 09:43:39.33

>>111
思い出したよ。
Stringクラスからeachメソッド無くなって、each_lineとかeach_charsになったんだ。
お陰で配列と同じように扱ってたのが、文字列だけ別扱いになったから、ダックタイピング出来なくなった。

あと文字コードの扱いとか。

詳細はこっち。
https://www.oreilly.co.jp/community/blog/2009/05/changes-on-ruby-1-9.html

**デフォルトの名無しさん** · 2017/04/26(水) 10:59:41.81

スクリプトは純粋仮想関数が無意味だからクラスの意味をこじつけるのが大変
Pythonのクラスは演算子を定義する機能のような印象

あ · 2017/04/26(水) 12:47:25.64

>>119
小論文の意味のエッセイなら割とそうだろうけど、それでも主観の表現方法を無理やり曲げられる時点でダメだろ。
グーグルをラ行五段活用する事を無理に実現するために他の名詞が巻き沿い食う感じ。

**デフォルトの名無しさん** · 2017/04/26(水) 13:48:30.98

経験則
表音文字に依存するな、記号に依存しろ

**デフォルトの名無しさん** · 2017/04/26(水) 15:44:49.66

（みんなあってもよくね？と思ってたはずなのに）
ずっとクラスベースを拒否し続けたJavaScriptも
ある意味プロトタイプベースの理想を追い続けてるような

あ · 2017/04/26(水) 16:06:30.69

>>123
まぁ、恐ろしいほどに無意識に使ってるスペースなんて記号も英語ベースだしな。
コアダンプが漢詩のように見える事もあるけど。

>>124
あれはあれで、リストをああいう形で実現した時点で割と言語としては完成してた。冗長だけど。

**デフォルトの名無しさん** · 2017/04/26(水) 21:50:24.12

>>98
>それが企業に好感持たれてる現実。

Hello world すら Syntax Error になってしまう(>>95)ほどの壊滅的な
後方互換性切り捨てを強行してなお旧バージョンのサポート打ち切りなんて、
常識的な企業倫理からはありえないだろ
そんな対応を指して「好感」という言葉は冷酷な皮肉でしかない

あるいは、過去に Hello world がバージョンアップで動かなくなったメジャー言語が存在するの？

print が文なのか関数なのかという言語とライブラリ設計における根源的な決定、
言い換えると入出力処理は構文で実現すべきなのか(すなわち文)、それとも
ライブラリで提供すべきなのか(すなわち関数または手続き)という言語設計の哲学、
そんな初歩的な判断すらできない人物によって行き当たりばったりに設計されたのが
Python だろ

**デフォルトの名無しさん** · 2017/04/26(水) 22:30:36.25

>>120
$ irb1.9
irb(main):001:0> "abc".each { |x| p x }
NoMethodError: undefined method `each' for "abc":String
from (irb):1
from /usr/bin/irb:12:in `<main>'

うん、確かに実行時エラーになった
では、ここで呪文を唱えてみよう

irb(main):002:0> class String; alias :each :each_char; end
=> nil
irb(main):003:0> "abc".each { |x| p x }
"a"
"b"
"c"
=> "abc"
irb(main):004:0>

あれ、おかしいなあ、Ruby 1.9 の String クラスなのに、Ruby 1.8 と同じく
配列と同じように扱えるようになったぞ、しかも元のコードは一切改変されていない
いったいどうなってるんだあ…

あ · 2017/04/26(水) 23:16:03.93

メソッド生やしてしまえる事自体がオブジェクト指向でも何でもない気持ち悪さ。

**デフォルトの名無しさん** · 2017/04/27(木) 00:01:25.31

Open Class だろ。モンキーパッチ

**デフォルトの名無しさん** · 2017/04/27(木) 00:31:22.08

>>128
その理屈だとSmalltalkはオブジェクト指向じゃなくてなんだったんだ？

**デフォルトの名無しさん** · 2017/04/27(木) 00:39:07.48

Stringは定数ではなくグローバル変数のように改変される
全ての関数をクラスという箱に入れた結果全てが事実上のグローバル変数になった

**デフォルトの名無しさん** · 2017/04/27(木) 00:55:55.98

>>131
見方によってはそう(グローバル変数)なんだよね。
スコープは狭い方が良い。
正直オープクラスはイマイチと思うのだが、でもjavascript はそのおかげでpolyfillとかできるんだよな。

あ · 2017/04/27(木) 01:20:41.99

>>130
Smalltalkはレシーバだろ

**デフォルトの名無しさん** · 2017/04/27(木) 02:05:35.72

>>133
記法の問題ってこと?

**デフォルトの名無しさん** · 2017/04/27(木) 07:23:11.77

>>134
ビヤーネ・ストラウストラップらの抽象データ型のOOP（カプセル化、継承、多態性）と
アラン・ケイの遅延結合徹底のOOP（オブジェクトにメッセージを送る）は別物だって事をいいたいのかな

**デフォルトの名無しさん** · 2017/04/27(木) 07:38:57.38

Smalltalkがウンコ過ぎて世間からそっぽ向かれて死滅したんだから
後追いのRubyも死滅するのは歴史が証明している

あ · 2017/04/27(木) 08:15:10.34

>>135
そう。パッシングの口でしかない。

**デフォルトの名無しさん** · 2017/04/27(木) 08:28:33.27

まさか、rubyがADT拡張としてのOOPLだと思ってる？

**デフォルトの名無しさん** · 2017/04/27(木) 08:44:30.71

>>136
死滅したとか記憶から消し去りたいロートルがいる一方でスタートアップで勝負をかける奇特な人もいる
http://pharo.org/success/AllStocker
スタートアップ界の異端児！産業機器 x IT x SmalltalkのSORABITO株式会社
https://thepedia.co/article/1068/

Smalltalkのとらえ方は人それぞれやね

**デフォルトの名無しさん** · 2017/04/27(木) 08:58:08.10

Smalltalkはうんこすぎて死滅したと2ちゃんでクダ巻いてるだけの爺さんを横目に、
今日もSmalltalkが世界の海上コンテナ輸送の30%を捌いているわけだが。

**デフォルトの名無しさん** · 2017/04/27(木) 09:17:39.03

>>140
OOCLのことを言っているんなら、あれってJavaに置き換えられたんじゃないの？

Who uses Smalltalk? : programming - Reddit
https://www.reddit.com/r/programming/comments/3wv7ik/who_uses_smalltalk/cxzzhkp/

**デフォルトの名無しさん** · 2017/04/27(木) 09:25:15.12

>>140
もしかしてOOCLのこと言ってんの？
とっくにそんなシェア無くなって、今年に入って買収の噂が出るくらい落ちぶれてるぞ

**デフォルトの名無しさん** · 2017/04/27(木) 10:07:04.57

爺さん批判してる奴の知識が爺さんだったか

**デフォルトの名無しさん** · 2017/04/27(木) 10:10:47.76

Smalltalkがどうこう以前にファンやアンチがうんこすぎてわらた

**デフォルトの名無しさん** · 2017/04/27(木) 10:12:00.41

Smalltalk信者とHaskell信者はよく似てる

**デフォルトの名無しさん** · 2017/04/27(木) 12:35:13.63

>>141
よく読め。再実装されたのはUIだけだ。あほか？

**デフォルトの名無しさん** · 2017/04/27(木) 13:02:15.04

>>146
なんでとても素晴らしいsmalltalkで再実装されなかったの？

**デフォルトの名無しさん** · 2017/04/27(木) 13:17:16.51

おそらく同じ言語で再実装するとeachをeach_charに変えたくなるから
そんなことするなら言語ごと変えた方が良い

**デフォルトの名無しさん** · 2017/04/27(木) 14:09:11.99

>>147
Smalltalk は開発環境含めてあまりにオールインワン過ぎるから。

**デフォルトの名無しさん** · 2017/04/27(木) 17:05:36.01

>>146
そんなどーでもいいことより30%シェア撤回ﾏﾀﾞｰ

**デフォルトの名無しさん** · 2017/04/27(木) 20:07:13.14

どーでもいいな、クソくだらねえ。

**デフォルトの名無しさん** · 2017/04/27(木) 20:28:54.10

もう死んでる言語を追い詰めても仕方ないよな
死体蹴りは良くない

**デフォルトの名無しさん** · 2017/04/27(木) 22:14:26.81

もう風化してて蹴るものもないと思ったのに

**デフォルトの名無しさん** · 2017/04/27(木) 22:36:43.95

風化すればまた再発明される
過去に同じことがあったと口で言っても証拠が残ってなければ同じことが繰り返される

**デフォルトの名無しさん** · 2017/04/27(木) 23:26:29.59

死んだ言語の死んだ理由ってのは新しい言語の糞機能アピールよりかは勉強にはなる。

**デフォルトの名無しさん** · 2017/04/28(金) 08:28:08.68

死んだ言語ねえ…
死んでるのはおめーの脳みそだろ？

http://pharo.org/success

**デフォルトの名無しさん** · 2017/04/28(金) 08:55:25.45

SmallTalkガイジって一番ガイジだった頃のエンジニアガイジとちょっと似てるな

あ · 2017/04/28(金) 17:12:11.94

>>157
いつでも同じクオリティじゃないか

**デフォルトの名無しさん** · 2017/04/28(金) 20:19:57.31

>>158
最近文読みやすくなってきてるしちょっとええ感じやで

あ · 2017/04/28(金) 20:29:25.20

>>159
まぁ具体的に「パラグラフが長い」「言い回しがくどい」と言われたら、
なるほどと思うし、ちょっと気を付けられるからな。
読みにくい、ガイジか！とだけ言われたら、読みにくいだけならしっかり読めとしか言いたくなくなる。

**デフォルトの名無しさん** · 2017/04/29(土) 02:55:48.56

シミュレーションをより簡略に作成するための新言語開発を。

「ロボットは東大に入れるか」成果報告会 in 2016（11/14）レポート
http://blog.livedoor.jp/dg_law/archives/52354118.html

これからはシミュレーションシステムの構築が簡略化されるので、来年のセンター物理は大きく得点が伸びるに違いない。

　スーパーコンピュータでの計算に必要となるプログラムはときに数十万行にも及び、作成やチューニングは大変困難です。
一方で、原理的にはシミュレーションしたい自然現象とその離散化法（注2）を指定すれば、プログラムは機械的に生成できます。
しかし、プログラミングはシミュレーションとコンピュータ双方に深い知識が必要となる非常に高度な作業であり、多数の計算機を
協調して動作させるスーパーコンピュータの性能を引き出す高度なプログラムを、自動かつ汎用的に生成することは不可能でした。
　そこで共同研究グループは、方程式がプログラムに変換されるまでの一連の段階に対応する数学的定義を作りました。
スーパーコンピュータが持つ階層のすべての段階において、自然が元来備えている「並列性」と「局所性」（注3）を保持する変換
を厳密に定めることで、新たなプログラミング言語「Formura」を開発しました。これによって、これまで不可能だったプログラミング
の機械化に成功しました。さらにFormuraは、同じアプリケーションに対して何万通りものプログラムを試し、最も速かったものを自動的に選択します。
　Formuraを開発したことで、規則格子シミュレーション（注4）分野においては、自然科学者が慣れ親しんだ方程式の記法を使ってシミュレーション
したい対象を記述することで、スーパーコンピュータの性能を引き出すための高度なプログラムが自動的に作成できるようになりました。
気象、地震、宇宙、生態ネットワークの研究など、規則格子シミュレーションを用いる分野の研究の加速が期待できます。
http://pr.fujitsu.com/jp/news/2016/12/2.html

あ · 2017/04/29(土) 12:11:59.50

投機ベースは確かに分野限られるし、実用例と先端の研究者が解離してる典型だわなぁ。
「5%の不良率で100個発注したら当たり前のように105個納品されてくるようなどっかのおおざっぱな国の発想だ」
と、日本の会社だと反発されるやつ。
ナップサックとか問題持ち出して、モノによっては泥臭く計算せなあかんのやと言うのと、
次は百万台でやっても一つのタスクの不可分な時間以下にはならんのだよ、
を説明して説得して導入するようなものだから。

トポロジ解析と図面生成か何かで原始的なそれやった事ある。

**デフォルトの名無しさん** · 2017/04/29(土) 13:21:11.09

>>161
多くの深層学習フレームワークはNN構造をPythonなどで記述すると
それをテンソルの計算グラフに変換してGPUで高速計算してくれる。
NN構造や規則格子をさらに簡略に記述したければJuliaがある。
Fomuraの20行のシミュレーション記述も既存の言語でできるはずだ。

つまりシミュレーションをより簡略に作成するために新言語は必要ない。
必要なのは用途毎のフレームワークだ。

**デフォルトの名無しさん** · 2017/04/29(土) 18:34:55.63

発展し続ける言語とゴミ屑同然に忘れ去られる言語、何が違うんだろうなぁ

**デフォルトの名無しさん** · 2017/04/29(土) 19:09:01.68

言語の良さを理解して使い続けられる人と、ゴミ屑同然の脳みそですぐに忘れ去ってしまう人、何が違うんだろうなぁ

**デフォルトの名無しさん** · 2017/04/30(日) 00:13:09.75

>>164
覚えやすさとチューニングのしやすさ。
以上。

**デフォルトの名無しさん** · 2017/04/30(日) 01:03:20.38

>>164
いろんなプログラム言語を開発しておいて、その上で『良いとこ取り』で新言語を開発する。

**デフォルトの名無しさん** · 2017/04/30(日) 01:49:39.39

>>164 バックでしょ
Goはグーグル発じゃなかったら「今どき継承もない言語作ったのかよ？ｗ」で即死

**デフォルトの名無しさん** · 2017/04/30(日) 01:50:36.87

>>167
なおScala

**デフォルトの名無しさん** · 2017/04/30(日) 09:42:21.85

>>168
実際死んでね？言語としては。
言語として死んでるのをGoogle謹製の周辺ツールで無理やりカバーしてゾンビ化してる感じ。
ゾンビなので一周回って死ににくい。

**デフォルトの名無しさん** · 2017/04/30(日) 10:18:39.25

どんだけバックが大きくてゴリ押ししても
死ぬときは死ぬ
Dartとか

**デフォルトの名無しさん** · 2017/04/30(日) 12:02:29.80

>>168 >>170
Goは文法が簡単で高性能という特徴がある。
おかげで文法は簡単だが低性能な言語から移行しやすい。
だから難しい言語が選ばれない所で活躍している。

Gopherの道を歩む – Node.jsからGo言語への移行
http://postd.cc/the-way-of-the-gopher/
Go言語の低レイテンシGC実現のための取り組み
http://postd.cc/gos-march-to-low-latency-gc/

**デフォルトの名無しさん** · 2017/04/30(日) 15:36:43.63

Goって手続き型だろ？
Mainに集中して必要な機能呼び出すだけでいいんだから設計書なしで良さそう

**デフォルトの名無しさん** · 2017/05/02(火) 06:00:14.79

Mathematica 11.1 | 2017年4月（日本語版）詳細 ≫
バージョン11.1では，機械学習，ニューラルネットワーク，音声処理，ロバストな記述統計等の分野における
MathematicaおよびWolfram言語の最先端機能が拡張されています．
広範な応用分野に加わった，130を超える新関数
ニューラルネットワークの新しい20種類の層の追加，および再帰型ネットワークと可変長シーケンスのシームレスなサポート
NetModelにより，増加し続ける完全なニューラルネットワーク（訓練されたものとされていないものを含む）のリポジトリにアクセス
データ，画像，テキスト等の空間を機械学習ベースで可視化するFeatureSpacePlot
SequencePredict，ActiveClassification，ActivePredictionを含む，新しい機械学習関数
AudioCaptureを使って音声を直接ノートブック内で録音することによって，すぐに処理・解析することが可能に
2Dおよび3D画像に対する，*，-等を使った計算が可能に
計算写真学と計算顕微鏡学に対するサポートの拡張
ImageGraphicsを使って，ビットマップのベクトルグラフィックスによる近似を求める
HilbertCurveやSierpinskiMesh等の空間充填およびフラクタル領域コンストラクタ
WinsorizedMean， SpatialMedianを含む，新しいロバスト統計と空間統計
新しいGeoBubbleChartと，Callout，ScalingFunctions等のサポートの拡張
記号次数を持つ導関数のサポート
解像度が高くなった標高データ
シームレスに統合されたWeb検索，Web画像検索，テキスト翻訳のための外部サービス
セッション間の値をローカル，あるいはクラウド等に保存するための，幅広いPersistentValueシステム
クラウド内で個別に編集できるノートブックをシームレスに配布するためのAutoCopy
ノートブックベースのスクリプトエディタを使ったWolframScriptの.wlsファイルの生成
Wolfram言語スクリプトの自動実行がWindowsでも可能に
ドキュメントセンターおよびオンラインの例題すべてが新しくレスポンシブデザインに
https://www.wolfram.com/mathematica/quick-revision-history.ja.html?footer=lang

**デフォルトの名無しさん** · 2017/05/02(火) 06:54:00.89

回転放物面の方程式と東大の問題
http://mathtrain.jp/kaitenhobutsu

「放物線 y = 3/4 - ｘ^2」
を
「y軸の回りに回転させる」

・・・例えば、こういう操作ができる３次元ＣＡＤって開発されてないんですか？

統計的機械翻訳では自然言語処理は無理という話も聞いているけれど、高校数学でやることは内容が限られており、
一般的な機械翻訳よりは難易度は低いと思われます。

**デフォルトの名無しさん** · 2017/05/02(火) 07:13:28.68

3次元CADを名乗っていて回転体を作れないもののほうが珍しいと思うが、
その問題を解けるCADは多くないだろうな。
近似的な数値解が求まることと、解を方程式で表して数式処理できることは全くの別物。

**デフォルトの名無しさん** · 2017/05/02(火) 07:39:13.20

>>176
＞その問題を解けるCADは多くないだろうな。

そのための新プログラム言語開発ってことだよな。

あ · 2017/05/02(火) 11:18:08.85

>>175
ごく当たり前の機能として存在する。
面で切り取る事もできる(面に対する押し出しで、相手方を削り取る感じ)
体積も求められるよ。
拘束条件は厳密だし、カーブを式で入れることもできるから。

ただ、それのために1License300万出す？

**デフォルトの名無しさん** · 2017/05/02(火) 14:54:44.43

ああ、高精度な数値解を導出することと、任意の拘束条件から方程式を導出することの区別がつかない人がいるようだ。

**デフォルトの名無しさん** · 2017/05/02(火) 14:57:14.02

解析解が必要な場面なのか？これは

あ · 2017/05/02(火) 17:06:18.52

>>179
うちでつかってるのは数値解じゃなくて方程式まで自由じゃないけど変数の式でも出たはず。あれ内製だったかな。
AutoCADのMASSPROPとかくらいだと、悲しいかな数値解しか出ないけど、カーネルに手を出せる会社ならだいたいその辺持ってると思うよ。

あ · 2017/05/02(火) 17:07:00.26

もし内製だったら、当たり前の機能として、とは言えんな。
それはすまん。

**デフォルトの名無しさん** · 2017/05/02(火) 17:33:48.15

任意の方程式を扱えないと、>>175 の問題は解けないよね？

あ · 2017/05/02(火) 22:27:44.92

>>183
押出する元の図形をプロシージャルではなくて、曲線定義で描く。
曲線への拘束条件で何を取るか次第だけど、問題文通り入れればそれで良いと思うよ。
ゴールデンウイークは試せないのがもどかしいな。

**デフォルトの名無しさん** · 2017/05/03(水) 16:11:10.64

Smalltalkって名前だけ変えて次世代言語って紹介されたら
殆どの人は信じてしまうくらい先進的だよね
進歩しすぎてて理解されない不幸な言語

**デフォルトの名無しさん** · 2017/05/03(水) 16:33:31.70

比較的新しい言語ってvar t : Type形式が多い気がするけどType t形式を利用しなくなった理由ってあるのかね

**デフォルトの名無しさん** · 2017/05/03(水) 16:46:20.28

>>186
型推論の問題じゃない？多分

**デフォルトの名無しさん** · 2017/05/03(水) 16:53:47.90

型を書いたり書かなかったりする場合に記述を大きく変える必要がなくて都合がいいんだろう。
型推論を使う言語とか、動的型言語に型ヒントを追加する場合とか。

**デフォルトの名無しさん** · 2017/05/03(水) 17:10:47.34

たとえばC#だと基本はType tで後から型推論var t(: typeはない)を追加した
だったら最初から統一的な記法で良くね？ってなる

**デフォルトの名無しさん** · 2017/05/03(水) 19:11:09.93

なるほど
型推論が流行ってる(のかはわからないが)から型推論の書き方+αで書けるようにしたってことか

**デフォルトの名無しさん** · 2017/05/03(水) 20:37:23.26

デニス・リッチーも型前置にしたことを後悔していたんじゃなかったっけ？
たぶん型後置の方が合理的という点には大方の一致があって、あとは合理性を取るか、Cの語順に近づけることを取るかっていう感じなんじゃないかな？

**デフォルトの名無しさん** · 2017/05/03(水) 22:01:20.86

>>186
pascalがそういう記法だけど、コンパイル速いのはpascalがコンパイラの都合に合わせた文法だからって読んだことある。
何かしらコンパイラが解釈し易い記法なんじゃね？

**デフォルトの名無しさん** · 2017/05/03(水) 23:27:43.76

>>192
Pascalの構文は再帰的パーサを簡単に書けるLL(1)文法なんじゃなかったかな
LL(1)ならトップダウンで構文解析できるからパーサは書きやすいしパーサの効率も多分だけど高い

Cの場合は、例えば

　　atype;

という宣言があった場合、"atype"という識別子が

１．typedefで型の名前として既に定義済であれば「変数が指定されてない構文エラー」となるし

２．そうでない場合、"atype"という名前のint型の変数の宣言として扱われ
　　２―１．"atype"という変数が既に宣言済であれば２重宣言のエラー、
　　２―２．そうでなければ正しい変数宣言

となるので、構文解析の際にsymbol tableを参照する必要がある（つまり本質的なレベルで文脈依存文法）ケースが存在するので
当然ながらコンパイラの効率が下がるだろうね

**デフォルトの名無しさん** · 2017/05/04(木) 00:37:37.35

昔のpascalは1パスコンパイラだった。コンパイルの速さはそれもあったかもね。
今のobject pascalはジェネリクスもあるしどうだろう？

**デフォルトの名無しさん** · 2017/05/04(木) 05:29:59.66

>>186
v: Type形式なら変数の型だけでなく、式に型をつける構文としてもそのまま使えるから。

**デフォルトの名無しさん** · 2017/05/04(木) 09:04:54.52

値の演算だけでなく型の演算として同じ記号を使うのがCのポインタや配列
これは評判が悪かった
悪いのはポインタだけだというのがJava
全部悪いから全部変えるのが次世代

**デフォルトの名無しさん** · 2017/05/04(木) 09:34:14.90

まあポインタの宣言と参照のための記号に同じ * 使ってんのは今でもなんでなんとは思う。

**デフォルトの名無しさん** · 2017/05/04(木) 09:51:37.05

関数の戻り値型の指定はPython,TypeScriptが=>、Swiftだと->が混ざって
いまいち統一感がないんだよな。:のままだと構文的にうまくない部分があるんだろうか。

**デフォルトの名無しさん** · 2017/05/04(木) 10:09:01.14

>>186
C方式に慣らされてるからそう感じるだけであって
あれはパースしづらいクソ構文だよ

struct S s;
を捨てたのは何でだろうと問うべきだよ

**デフォルトの名無しさん** · 2017/05/04(木) 10:44:22.27

そもそも静的型が悪いと思えば単純明快だな

静的型は悪くない、だがジェネリクスは不要、ただし Array<T> 等はこっそり入れておく
こんな状態で統一感（笑）を期待する方がおかしい