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

**デフォルトの名無しさん** · 2017/08/28(月) 21:53:37.12

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

**デフォルトの名無しさん** · 2017/09/24(日) 19:10:03.30

>>681
いやまあ、せやね。Haskell が吐くアセンブラ複雑すぎてビビったことあるわ
しっかしやっぱりインタプリタ埋め込みかあ。Haskellもそうしてるんだろうか？

**デフォルトの名無しさん** · 2017/09/24(日) 23:54:19.09

c/c++ のコンパイラしか知らんけどそんなに複雑なものが必要かね。
あんまりイメージできないな。

**デフォルトの名無しさん** · 2017/09/25(月) 00:13:26.46

C++だってラムダはそれなりに複雑と思うな～

**デフォルトの名無しさん** · 2017/09/25(月) 00:29:03.12

ブラウザがDOM操作とかgetとかpostとかするのもインタプリタのように見える
JSをいくら最適化しても複雑なデータ構造はそのままだから

**デフォルトの名無しさん** · 2017/09/25(月) 00:30:46.06

>>664
まだ仕変とかABIとか言ってるのかよこの言語。
いい加減枯れろよ

**デフォルトの名無しさん** · 2017/09/25(月) 01:47:53.39

ポストC++としてはD言語が最適だわ
やっぱnullは便利

**デフォルトの名無しさん** · 2017/09/25(月) 10:51:28.03

Dは指針に欠けていて、書けるコードの種類が多すぎる。
最近はクラスは使わないとか言われた時はビックリしたわ。割と好きだけどさ

テンプレートとオーバーロードの充実っぷりはC++の比じゃないし、プロパティあるし、UFCSある所とか好きだけど、演算子の定義を構造体中に書かないといけない所だけは解せない

**デフォルトの名無しさん** · 2017/09/25(月) 12:10:20.51

>>679
llvmのレベルでクロージャー定義されたらつぶし効かなくなるだろ
llvmにそれを期待するのが間違ってる

**デフォルトの名無しさん** · 2017/09/25(月) 12:40:19.83

>>689
期待はしてないぞ。ヒープに関数を展開する機能がないのに、どうやってヒープに関数を展開してるんだろう？って疑問を覚えているだけだぞ

**デフォルトの名無しさん** · 2017/09/25(月) 12:54:44.69

>>690
llvmを持ち出す意味がわからん
cで実装されてる関数型言語はどうやってクロージャー実現してんだろ？とか
jitってどうやったら実現できんだろ？
という疑問の持ち方ならわかる

**デフォルトの名無しさん** · 2017/09/25(月) 13:05:30.42

>>691
「Cで実装されてる関数型言語はどうやってクロージャを実装してるんだろう」でもほとんど同じ意味だけど、別にLLVMでもいいじゃん。俺がLLVMの方を意識してるからLLVMって書いてるだけだが

Jitの方はよくわからん。関数型言語一般でJit使ってるの？

**デフォルトの名無しさん** · 2017/09/25(月) 13:25:06.64

すごい素朴には
class {
unsigned int eax;
...
void add();
...
}
みたいなアセンブラ実行クラス作ればできんじゃないの？

**デフォルトの名無しさん** · 2017/09/25(月) 15:00:43.13

そもそも関数を動的に生成する必要はない
クロージャは環境を引数に取る関数として実装するのが普通だ

**デフォルトの名無しさん** · 2017/09/25(月) 15:37:00.33

動的に関数を作るのはコンビネーターで結合させるんだろ。

**デフォルトの名無しさん** · 2017/09/25(月) 15:40:30.80

その前にまず再帰関数で100の階乗を計算すればいい
関数を100個作るやり方とは違うやり方がわかる

**デフォルトの名無しさん** · 2017/09/25(月) 20:30:11.80

>>692
単なる疑問ということはわかった
物理cpuとそのabiを扱うことを前提にしてるllvmと
λ計算を理論的基礎にしてる関数型言語とでは
メモリモデルが全く違うんだからいきなりマッピングを考えるのは
無理があるとだけ

**デフォルトの名無しさん** · 2017/09/26(火) 00:58:41.50

ハスカルデスクトップソフト作れるようになった？

**デフォルトの名無しさん** · 2017/09/26(火) 13:49:21.20

だからそれは
データは制御フローに影響を与えるし
制御フローはデータに影響を与える
このように双方が影響しあってプログラムが展開していく
(まるで電磁波のようだ)
この複雑性はソフトウェアが有用であり続けるためには仕方が無い

なので
・制御フローがデータに何か書き込むタイミング
・制御フローがデータを読み取って分岐するタイミング
の二つをトラップして言語やシステムで何かサポートしてやろう
というのが基本的な考え方なんだよ

**デフォルトの名無しさん** · 2017/09/26(火) 14:35:36.67

制御フロー？は座標系や文字のエンコーディングに影響を与えるやつですか？
エンコーディングに依存しないデータが欲しいです

**デフォルトの名無しさん** · 2017/09/26(火) 16:08:19.45

つまり、いつ実行するか？今でしょ。
ということだな。

**デフォルトの名無しさん** · 2017/09/26(火) 21:28:19.34

マイクロソフト、量子コンピュータ向けプログラミング言語を発表 https://ndjust.in/t7GAzsXB

俺の予測したとおり次世代言語は機械学習に最適化された言語ってことだな

**デフォルトの名無しさん** · 2017/09/27(水) 05:16:13.47

どうせ博士クラスの研究者しか扱えない代物なんでしょ？

**デフォルトの名無しさん** · 2017/09/27(水) 08:06:15.29

この中に1人だけ、量子コンピューティングと機械学習を混同してドヤってるバカがいます。

**デフォルトの名無しさん** · 2017/09/27(水) 08:58:09.74

>>704
相手にしてるお前なんなん？
恥ずかしいからやめて。

量子コンピュータの用途が何％機械学習を経由するであろうか、お前は全て見通しているとでもいうのか？
お前のその自己矛盾に気づかない頭の悪さよりよっぽどマシな発言だと思うが。

**デフォルトの名無しさん** · 2017/09/27(水) 09:00:05.94

そして俺はそんなアホを相手にするアホ以上の何者でもないことは断っておこう。

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

少なくとも今現役の量子コンピュータは機械学習専用ってくらい
それくらいしか使いみちがないと思うんだが。
他の用途で使えるの？

**デフォルトの名無しさん** · 2017/09/27(水) 09:48:07.08

>>707
単独の最適化問題って機械学習関係あるの?

**デフォルトの名無しさん** · 2017/09/27(水) 09:49:46.52

別に今使ってるパソコンが量子コンピューターに置き代わっても
処理速度が向上してうれしいだろ。

**デフォルトの名無しさん** · 2017/09/27(水) 10:00:45.88

バイナリ変数の二次多項式の最小化しか解けないのだが。

**デフォルトの名無しさん** · 2017/09/27(水) 10:36:08.63

日本人は量子コンピューターのなかで機械学習をやってるように物事をみるが
西洋人は機械学習を量子コンピューターでやっているようにしか見えないらしい

**デフォルトの名無しさん** · 2017/09/27(水) 13:42:52.32

機械学習やりたいからやってるだけの人の気持ちがわからない
わからないなら真似しなければいいのに
量子力学上の理由で機械学習をやってるという設定で人の真似をするモンスターがいる

**デフォルトの名無しさん** · 2017/09/27(水) 17:06:07.52

結局は大きい部屋を占領する量子コンピューター（冷却の都合で小型化困難）で
端末から2進数コンピューターのエミュレーションさせてそうｗ

**デフォルトの名無しさん** · 2017/09/27(水) 18:07:06.65

これだけ過去の資産であふれかえってたら
そう簡単に移行できないね

**デフォルトの名無しさん** · 2017/09/27(水) 21:35:28.14

お前らずっと型型うるさいな。だまってSmalltalkかjsかRuby使ってろよ。
そんなんじゃrustで発狂するぞ。

>>649
>パブリック/プライベートとか
カプセル化が幻想だっていい加減気付いてほしい。
有用なのも抽象データ型だけだし。

**デフォルトの名無しさん** · 2017/09/27(水) 21:39:54.28

>>714
行きたいところがあれば大抵一人で行けるからみんなで移行はしないのであって
みんなで行けないから一人で行くのではない

**デフォルトの名無しさん** · 2017/09/27(水) 23:40:28.56

>>715
> 有用なのも抽象データ型だけだし。

個人的にはデータと操作を一緒にして型としなくてもいいかもって思うことある。

でも複数のデータをまとめる機能とオーバーロード・ジェネリクス可能な関数、それと名前空間は欲しい。

**デフォルトの名無しさん** · 2017/09/27(水) 23:54:51.33

最初の引数名をthisかselfするとデータと操作が一緒
それ以外の名前にするとデータと操作が一緒じゃない
これは幻想

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

オブジェクト指向はスケールしないパターンマッチングとしか言いようがないな。
抽象データタイプの値コンストラクタの引数は評価されなくてもサンクの為の
メモリーを消費するかな。

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

結局、言語なんて何使っても一緒というのが結論だな。Cを除いて

**デフォルトの名無しさん** · 2017/09/28(木) 06:49:19.68

じゃあCOBOLで

**デフォルトの名無しさん** · 2017/09/28(木) 12:13:20.80

>>720
結論なんてないさ
結論がないということはどれでも一緒なんだろうという推理は微妙に間違っている

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

>>719
それは君の理解が浅いからだな。ばーか

**デフォルトの名無しさん** · 2017/09/28(木) 15:55:46.02

要するに構文が単純になるとコンテキスト依存になってパースが
線型時間スペースで不可能になりコードを生成に向かないジレンマなんだよな。

**デフォルトの名無しさん** · 2017/09/28(木) 21:56:38.55

理解が浅い、じゃなくて変な理解をしているか使う言葉にオレオレ文脈を入れてるかだろう
1レス内に意味の通じない言葉や理屈が複数あると突っ込むことも面倒臭いから、よっぽど親切な人に出会わないと自覚できない

**デフォルトの名無しさん** · 2017/09/29(金) 00:23:21.75

幽霊には主体性がない
人を怖がらせるのも自由意志ではなく信賞必罰か何かのルールに従っているだけ
逆にルールを破るのも他人が言ったことを鵜呑みにする形で破る

**デフォルトの名無しさん** · 2017/09/29(金) 01:30:00.14

%%%3%%%
000-DOK<NAZE-0.8112162>
001-3800%\73NMB/1,81,2,NB"IKKI"%
002-91.81%ML7"8.122231746668193,43@ML.4@"%^23.1444
003-1.33321444718%"YLD""SO"%{71.%{62.1339816{331.422231765%<<<NL6
004-LOOP%Go To"000"%

VCL

**デフォルトの名無しさん** · 2017/09/29(金) 01:36:36.52

まあ統一言語を欲するのは銀の弾丸を信じるのと同じくらい愚かだってことだよ。

**デフォルトの名無しさん** · 2017/09/29(金) 03:47:22.75

一言語で何でもやろうとすると
C++みたいに複雑になり過ぎる

**デフォルトの名無しさん** · 2017/09/29(金) 04:58:15.94

自然科学の雄たる物理学のこれまでの試みを全否定でワロた。
そういう所謂愚かな天才たちのお陰で今がある訳だが。

**デフォルトの名無しさん** · 2017/09/29(金) 08:27:55.49

銀の弾丸を求める方がまだマシだね

**デフォルトの名無しさん** · 2017/09/29(金) 08:29:27.12

物理学はバカにはできないのと同様、いい言語はバカにはできないのでこの世にはPHPが存在するのです……

**デフォルトの名無しさん** · 2017/09/29(金) 09:30:18.50

このスレってタイトルの割には中身カスだね
巡回やめ

**デフォルトの名無しさん** · 2017/09/29(金) 11:04:49.63

>>730
ニュートン力学で十分なところを相対性理論だの量子力学だので解こうとするのは
高度なアプリケーションをマシン語で書くようなものでは
原理的には単一の言語で書けるというのと
実際にそれで書くというのは違う

**デフォルトの名無しさん** · 2017/09/29(金) 12:23:50.97

なるほど、言葉という点からするとそりゃそうか。分かりやすい喩えだね。

**デフォルトの名無しさん** · 2017/09/29(金) 18:13:13.46

プログラミング言語を手軽にプログラミングできる言語を開発すれば
あらゆる問題に対処できる言語になるんじゃないかな

**デフォルトの名無しさん** · 2017/09/29(金) 18:20:21.61

プログラム言語のシンタックスはスケールしないからな。
要するに一次元のストリングスをパースする実行性の限界なんだよな。

**デフォルトの名無しさん** · 2017/09/29(金) 19:22:42.97

「言語」がカバーしようとする範囲はある意味では「物理学」の範囲を超えてるしな。
文学だろうと心理学だろうと社会学だろうと記述しようとしているようなもんだよ。

**デフォルトの名無しさん** · 2017/09/29(金) 19:53:59.09

そんなことより世の中　車輪の再発明と移植がおおすぎるから
どんな言語で書かれたライブラリもどんな言語からでも呼び出せる
ライブラリの標準フォーマットと仕組みを作ってほしい
そしたら言語のシェアなどもう気にする必要ない

**デフォルトの名無しさん** · 2017/09/29(金) 20:02:43.96

>>739
たしかに統一ライブラリは必要だよね
Java のライブラリをC#で共用するのはうけるだろうか？

**デフォルトの名無しさん** · 2017/09/29(金) 20:29:00.72

でも統一ライブラリとなるとオブジェクト指向とかが必須になるような
マクロとか許可すると意味不明なことになるから

でもそうなると言語自体の進化がしづらくなるかも？

**デフォルトの名無しさん** · 2017/09/29(金) 20:44:30.11

>>737
映画メッセージの話みたいだな。
人間の認識能力を進化させて言語を+次元化するしかないな。

ところでUE4のブループリントって正直使いづらいんだけど
あれってメリットあんのかね。ビジュアルスクリプティングっていまいち
シンドいんだよなぁ。

**デフォルトの名無しさん** · 2017/09/29(金) 21:04:07.14

.NETみたいな

**デフォルトの名無しさん** · 2017/09/29(金) 21:37:17.79

>>740
普通にWebAPI経由でいいやん

**デフォルトの名無しさん** · 2017/09/29(金) 22:27:07.00

いや統一ライブラリに一番近いのはCでしょ

**デフォルトの名無しさん** · 2017/09/29(金) 23:25:07.49

メジャーな言語だと大体FFIあるしな

**デフォルトの名無しさん** · 2017/09/30(土) 00:51:21.85

>>739
MicroServiceも知らないのかい？

**デフォルトの名無しさん** · 2017/09/30(土) 01:03:28.54

言語は統一できない
コンパイル済みのライブラリに言語の痕跡が残っているからライブラリも統一できない

**デフォルトの名無しさん** · 2017/09/30(土) 01:07:04.15

gRPCおすすめ
言語違っても呼び出せる

**デフォルトの名無しさん** · 2017/09/30(土) 02:52:34.28

>>748
プログラム言語の機械翻訳？

**デフォルトの名無しさん** · 2017/09/30(土) 08:20:51.39

>>736
アラン・ケイがそんな研究してた
助成金が尽きてやめちゃったけど
言語自体にPEGベースの解析器生成器を組み込んで
既存の言語も含め、ドメインに適した言語を適宜構築・実行できるようにして
２万行でWindowsみたいなGUI OSを書けるようにするってやつ

STEPS プロジェクトご紹介
http://d.hatena.ne.jp/propella/touch/20091219/p1

STEPS プロジェクトご紹介その２
http://d.hatena.ne.jp/propella/touch/20111022/p1

**デフォルトの名無しさん** · 2017/09/30(土) 09:30:03.37

>>751
PEGいいよね。PEG.js使ってるけど簡単に言語が作れそうな予感
独自HTMLモドキパーサー書いてつかってるわ。

**デフォルトの名無しさん** · 2017/09/30(土) 09:58:40.63

PEGベースってメモリー酷く消費するから使いたくないな。

**デフォルトの名無しさん** · 2017/09/30(土) 10:47:06.01

そう言うだろうと思って、統一はしないで各自で好きなものを自由に使えるようにした
ここまで予想できてたやつは頭良いな

**デフォルトの名無しさん** · 2017/09/30(土) 10:51:55.84

Racket もそんな感じを目指してなかったか。

**デフォルトの名無しさん** · 2017/09/30(土) 12:51:28.75

>>690
http://clang.llvm.org/docs/BlockLanguageSpec.html
C言語にすらクロージャが導入されてるし。

**デフォルトの名無しさん** · 2017/09/30(土) 22:40:20.15

糞ペチプーの標準ライブラリをHaskellで呼び出すプロジェクトとかあったら発狂しそう

あ · 2017/10/01(日) 00:21:40.89

phpを単に糞と言うにはphpを知らなすぎるんじゃないかなぁ、と思うが。
あれはただの歯ブラシだけど、最高の歯ブラシだよ。歯を磨くことに関しては。

**デフォルトの名無しさん** · 2017/10/01(日) 00:40:48.00

>>758
そういう比喩は結局なにに向いてるって言ってるのかわからんよね。
フレームワークを駆使するような規模のコードには合わないって言ってるのかな？

**デフォルトの名無しさん** · 2017/10/01(日) 00:42:01.71

しったかブーメランガイジに絡むな��

**デフォルトの名無しさん** · 2017/10/01(日) 01:17:26.87

>>758
君はPHPのコンセプトは知ってるようだが、現実を知らんのだね
PHPは便器に突っ込まれた糞ブラシだよ
汚物まみれで害を撒き散らす

PHPのプロジェクトは例外なく糞まみれだった
糞みたいなプロジェクトに糞みたいな運用に糞みたいな技術者
今さらPHPを選ぶ奴は糞、センスないと言ってもいい

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

いまだにそんな事言ってる奴のがよっぽどセンスない
速度上がってから案件増えてるよ

**デフォルトの名無しさん** · 2017/10/01(日) 03:40:25.93

PHPは案件が増えるほど、技術者の質が下がっていく、、、

**デフォルトの名無しさん** · 2017/10/01(日) 05:23:27.13

「PHPプロジェクトは糞ばかり」への返答が「PHPプロジェクトは増えている」ってなんだよ。大した日本語だな

**デフォルトの名無しさん** · 2017/10/01(日) 05:38:37.40

サーバーの話？
PHPってjavaやC使うほどでもなく
ライトな技術で実装できるからPHPにしてるんでしょ？

**デフォルトの名無しさん** · 2017/10/01(日) 09:47:56.64

>>762
やっぱペチパーって能なし脳なしセンスなし技術なしのガイジですわ

まぁ俺の関係のない最底辺の土方イット産業で
せいぜい糞ブラシで糞こねくりまわしとけや

**デフォルトの名無しさん** · 2017/10/01(日) 09:52:15.80

>>764
>>766
いかにもロクに仕事もできない奴が言いそうな事だな
道具は時と場合で選ぶもんだぞ口だけの無能共

**デフォルトの名無しさん** · 2017/10/01(日) 09:52:38.54

>>765
ペチパーに技術選定なんてできるわけないだろ
ペチパーはPHPしか知らないからPHPを選ぶんだよ
そして単価50万レベルの障害者を寄せ集めて
ヘビーな糞の山をこさえる
開発が糞まみれなら保守も運用も糞まみれ

そして障害者ペチパーは糞みたいな経歴書を元に
糞みたいな案件に流されていくこと糞のごとし
糞の輪廻転生

**デフォルトの名無しさん** · 2017/10/01(日) 09:55:13.81

>>767
でたよ、ペチパー最後の砦だな
「道具は時と場合で選ぶ」
これ言ってりゃPHPでも正当化できると信じてる

糞ブラシを選ぶ時も場合もねえって言ってるんだよ、ガイジｗ

**デフォルトの名無しさん** · 2017/10/01(日) 09:59:27.21

道具を時と場合で選んだ結果がPHPって
どう思いますか？（微笑）

**デフォルトの名無しさん** · 2017/10/01(日) 10:02:06.28

でそのクソサイト相手に無駄に力を注いでコスト増やしてるバカがお前だ

**デフォルトの名無しさん** · 2017/10/01(日) 10:05:51.06

>>770
じゃお前のおすすめの構成教えてよ
もちろんPHP並の安値で利益率も高い奴で

**デフォルトの名無しさん** · 2017/10/01(日) 10:07:57.31

>>772
PHPしか書けない人に何いってもなぁ

ねえ、前世でどんな悪いことしたんだ？
糞ブラシで便器掃除の仕事しないと生きていけないって
かわいそう

**デフォルトの名無しさん** · 2017/10/01(日) 10:14:13.92

>>773
はい逃げた

**デフォルトの名無しさん** · 2017/10/01(日) 10:21:57.72

スレタイ嫁
phpは確かに糞だが次世代言語に関係ねえだろ

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

こんだけボロクソ言っといて話題そらして済まそうとか草
はよ出せや

**デフォルトの名無しさん** · 2017/10/01(日) 10:32:26.85

ガイジガイジ騒いでるだけのエアプ野郎いい加減うぜえ
コテハンの数十倍うぜえ

**デフォルトの名無しさん** · 2017/10/01(日) 10:36:48.53

いい加減うるせーよ
PHP禁止

**デフォルトの名無しさん** · 2017/10/01(日) 10:51:22.35

何自演で逃げようとしてんだよ
はよ出せ

**デフォルトの名無しさん** · 2017/10/01(日) 10:55:33.43

すぐ自演認定とか糖質かよ
ガガイのガイｗ

**デフォルトの名無しさん** · 2017/10/01(日) 10:57:02.64

スレタイ嫁