次世代言語議論スレ[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/08/28(月) 22:00:48.12

Goどこいった

**デフォルトの名無しさん** · 2017/08/28(月) 22:07:52.50

Goは次世代じゃないのでｗ

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

Scalaは文字数の関係で消した
Kotlinがあるしまあええやろ

**デフォルトの名無しさん** · 2017/08/28(月) 22:13:01.46

やったぜｗ

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

Haskellが残ってるとか

あ · 2017/08/28(月) 22:36:21.21

宛らHaskellオナニー会場だな。

**デフォルトの名無しさん** · 2017/08/28(月) 22:38:29.82

あ、Haskellのこと何も知らなかった奴がHaskell攻撃してるｗ

**デフォルトの名無しさん** · 2017/08/28(月) 22:58:47.92

屁臭いペチプァは死ね
臭いがうつるから寄ってくるなガイジが

**デフォルトの名無しさん** · 2017/08/29(火) 01:21:57.77

Goはな、一瞬勢いはあったからこれは結構伸びるなって思ってたけど、本当にどこいったの？

**デフォルトの名無しさん** · 2017/08/29(火) 02:04:04.63

Go消されてて笑った

**デフォルトの名無しさん** · 2017/08/29(火) 03:39:12.04

GoはGoogle開発じゃなかったら
見向きもされてなかったな
SwiftもAppleじゃなかったら

あ · 2017/08/29(火) 08:02:13.86

>>8
古い状態しか知らなかったのは認めるが、Haskellを攻撃してるんじゃないぞ。
Haskell信者に、オナニーすんなよって牽制してるだけ。

あ · 2017/08/29(火) 08:03:40.21

>>10
>>11
Scalaも消えてる時点でお察し。

**デフォルトの名無しさん** · 2017/08/29(火) 08:30:30.26

古い状態？古い状態？？？？？ｗｗｗｗｗ

905 ：デフォルトの名無しさん：2017/05/31(水) 06:14:00.96 ID:wEozaoTa
>>879
では、具体的にGHCが実行時型情報を必要とするケースを挙げてみろよ。
言っておくが、パラメトリック多相は全てコンパイル時に解決されるし、
型クラスによるアドホック多相も、あれは関数オーバーロードの形式化だからな。
関数オーバーロードはコンパイル時に解決されるぞ。
さあ、具体的に挙げてみろよ。

908 ：あ：2017/05/31(水) 09:15:21.09 ID:dc+IbjjD
>>905
具体的に上げろと言われてもなぁ。
<T>を持ったenumがOptionかcar(T)とcdr(<T,T>)である時くらいかな。

0940 デフォルトの名無しさん 2017/06/01 01:21:00
>>930
>いや、完全に記憶だよりだからその辺違うなら違うんだと思う。
>optionじゃなくてnilだった気もする。

記憶違いのレベルでなく、それはどこからどう見てもHaskellの型とは似ても似つかない。
記法の問題でもない。
概念レベルから根本的にHaskellとは異なるものをHaskellの欠点と言い張っているだけ。

クソゴミガイジスギィ！！！！！！！！！！！
こんなガバガバ知識でHaskell 信者牽制しようとか草草草ァ！！！！！

あ · 2017/08/29(火) 11:12:24.85

>>15
余程Haskell好きなんだね。
そりゃ永遠の次世代に相応しいのかもしれんな。

**デフォルトの名無しさん** · 2017/08/29(火) 11:54:57.29

Go消すなや。言語としては素朴だがエコシステムは他の言語でも取り入れてほしい部分が多いぞ。

あ · 2017/08/29(火) 12:48:01.55

Haskell推したくて仕方ないんでしょw
わざわざScala落としてるし。

しかし、Haskellなプロジェクト聞かんなぁ。グループ社内にも稼働してるプロジェクトなさげ。
どこでどう使ってるんだろう？

まあ、知識無いのはそうなんだろう。本気で使った事は無いし。
アンチ的な意味ではなくて、実用例知りたい。
信者なら信奉してる凄いコードとかプロダクトあるだろうに。
無いから次世代だって訳でも無いだろうしね

**デフォルトの名無しさん** · 2017/08/29(火) 13:24:21.08

あんな間違いするとか書いたことすら無いんだよなあ

**デフォルトの名無しさん** · 2017/08/29(火) 15:11:18.71

次世代言語ってのは出た時期じゃなくて言語の機能だぞ
Goは全然次世代言語じゃない

**デフォルトの名無しさん** · 2017/08/29(火) 15:43:04.97

スレチかもしれませんが質問です。
爆サイというサイトで「なりすまし防止」でパスワードを入れたんですが、解析されて同じトリップを相手に使用されました。
気持ち悪くて怖くなり、それ以来やっていません。
62^4＝14776336通りもあるパスワードをどうやって解析したんでしょうか？
もし解析ができるなら、やり方までは聞きません。
解析ができるのかできないのかを知りたいです。お願いします。

**デフォルトの名無しさん** · 2017/08/29(火) 15:48:07.79

これまでのスレチシリーズのなかでもトップクラスのスレチじゃね？

**スレチにマジレス** · 2017/08/29(火) 17:51:59.68

40bit(2^40≒1兆通り)暗号化が
総当たり攻撃であっという間に陥落するご時世ですが、何か？

**デフォルトの名無しさん** · 2017/08/29(火) 18:21:23.82

スレチどころかマルチポストだぞ
あちこちに貼りまくってる

**デフォルトの名無しさん** · 2017/08/29(火) 18:28:32.80

どうしてハスケラーってメンヘラばかりなの？

あ · 2017/08/29(火) 20:00:09.20

あれ？煽りは書けるのにプロダクトは出てこないんだ？

**デフォルトの名無しさん** · 2017/08/29(火) 20:31:26.98

>>23
つまり、ここ2ちゃんのトリップも簡単に該当できるということでしょうか？
>>24
すみません。
ここと合わせて3ヵ所に書きました。
どこのカテゴリーで尋ねればよろしいでしょうか？

**デフォルトの名無しさん** · 2017/08/29(火) 20:59:39.37

前スレでも書いたけど、うちの会社はネットワークインフラをdotで書くんだけど、それが論理矛盾してないかを確かめるツールはHaskellで書いてあるよ

**デフォルトの名無しさん** · 2017/08/29(火) 21:07:40.00

>>27
DeepLaningでお前の書き込みから逆アセで住所特定したわ
震えて眠れよ

**デフォルトの名無しさん** · 2017/08/29(火) 21:08:38.45

>>12
redhatに支援されてるのに泣かず飛ばすの
ceylonに謝れ！

**デフォルトの名無しさん** · 2017/08/29(火) 21:15:01.24

>>29
そうなんですか。凄い詳しいんですね。ありがとうございます。
私みたいなクズ人間の住所を知られて、お伺いしてもらってもかまいません。
オフ会でもしますか？

**デフォルトの名無しさん** · 2017/08/29(火) 21:30:26.08

>>31
きも

**デフォルトの名無しさん** · 2017/08/29(火) 21:43:45.07

>>32
textPlusってアプリ入れてますか？
お電話します？
タダでは申し訳ないので、色々と教えていただけましたら、お礼はいたします。

**デフォルトの名無しさん** · 2017/08/29(火) 21:50:56.48

>>29のレスを見事にボケ重ねで潰した来た格好

**デフォルトの名無しさん** · 2017/08/29(火) 21:56:58.85

IP変えてマジビビりしてる雑魚ｗｗ

**デフォルトの名無しさん** · 2017/08/29(火) 22:08:55.01

>>35
なにもしてないですよ？

**デフォルトの名無しさん** · 2017/08/29(火) 22:42:29.93

>>20
機能かなぁ。
むしろポリシーとか思想とかそっちじゃない？
機能だとしても、温故知新でより整理されたのであれば必ずしも新しなくてもいいと思う。

**デフォルトの名無しさん** · 2017/08/29(火) 23:32:07.30

おれも思想とかポリシーのが重要だと思う。
糞機能をなるべく排除した方がよいというのはとても前向きな発想。

**デフォルトの名無しさん** · 2017/08/29(火) 23:38:29.14

>>20
時期じゃなくて機能で語れば
今でもPrologは次世代言語

**デフォルトの名無しさん** · 2017/08/30(水) 00:22:44.78

prologの機能は有用だがyaccのような小物感しかない

**デフォルトの名無しさん** · 2017/08/30(水) 01:06:01.85

>>39
そうだよ

**デフォルトの名無しさん** · 2017/08/30(水) 01:06:33.52

次スレは実用言語のKotlin外してprolog入れようぜ

**デフォルトの名無しさん** · 2017/08/30(水) 01:41:45.91

>>38
まさにこれ。 Goは引き算の美学がある。

* publicとかprivateとか本当に識別子として必用？削ろうぜ。
* classとstructって本当に両方必用？ structだけにちゃうぜ
* 構文規約、言語側で決めちゃうんで問答無用で従ってね。
* パッケージ管理っている？直接import文にgithubのurl使っちゃおうぜ。（最高!）

**デフォルトの名無しさん** · 2017/08/30(水) 01:45:02.96

>>43 ruby から似たような匂いを感じる。

**デフォルトの名無しさん** · 2017/08/30(水) 01:54:44.48

>>44
それはあるのかもしれない。

まつもとゆきひろの言語のしくみを読んでるけどそんな感じはする。
rubyの作者が作ってる言語streemも気になる。
言語としてRxの全てはストリーム。を体現する言語になるんだろうか。

**デフォルトの名無しさん** · 2017/08/30(水) 05:36:12.15

>>43
引き算は使いやすくなる範囲でなら良い
Lispみたいに極端に単純化し過ぎて
可読性下げなければ

**デフォルトの名無しさん** · 2017/08/30(水) 06:50:09.29

>>43
ギフハフが死んだらどうすんだろ

あ · 2017/08/30(水) 07:14:31.87

>>47
別にgithubではなくても、リポジトリ作れるし取ってこれるよ。
逆に、フォークするのがめんどいと問題になるぐらい。

**デフォルトの名無しさん** · 2017/08/30(水) 09:33:07.61

まるでLispの可読性が低いかのような書き込みはやめ給へ

**デフォルトの名無しさん** · 2017/08/30(水) 09:47:54.40

)))))))))

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

エディタが括弧ハイライトしてくれるし、)))))が読みにくいと感じたことはない。
いやメモ帳で書いてるんなら確かに読みにくいと思うけど

**デフォルトの名無しさん** · 2017/08/30(水) 14:27:05.87

>>46
lisp つっても common lisp と scheme だとだいぶ違うけどね。
common lisp はだいぶ残してる方だよ。

**デフォルトの名無しさん** · 2017/08/30(水) 15:34:39.73

>>43
リスト操作をforで書かせる言語のどこが引き算の美学？

**デフォルトの名無しさん** · 2017/08/30(水) 15:35:17.90

goはまともにリスト扱えるようにしてから出なおして来い

あ · 2017/08/30(水) 16:03:05.84

>>53
forと言う単語に引きずられてるのでは？
チャンネルが尽きるまで、がforで書ける。
シーケンシャルに舐めるのであれば、バッファのあるチャンネルが実質、リストとして使うに充分。
マップでも同じ構文で書けるけど、キーでアクセスしない、Enumerator的なものは充分にチャンネルで捌ける。
かつ、そうしとくと入れる方も出す方も両方goroutineにできるので、思ってるより色々シンプルに片付くよ。

**デフォルトの名無しさん** · 2017/08/30(水) 16:24:27.60

>>49
>>51
Lispは可読性の低さが普及しない原因

>>52
CLでも大差ないと思う

Clojureまで行って少し可読性
上がったかなっていう程度

**デフォルトの名無しさん** · 2017/08/30(水) 16:32:29.25

>>56
具体的にどのあたりが読みにくい？
確かに視認性はよくないなと思うことはあって
エディタの助けがかなり必要だとは思うけど。

**デフォルトの名無しさん** · 2017/08/30(水) 16:33:38.01

>>56
>Lispは可読性の低さが普及しない原因

そこまで断定的に書くってことはなんかエビデンスあんの？

**デフォルトの名無しさん** · 2017/08/30(水) 16:59:12.43

こうなってくると未だに現役バリバリなC言語って凄くね？
適当なメモリブロックを適当な型に適当にキャストするだけで
配列としてアクセス出来たり、構造体としてアクセス出来たり
世の中には、こんな基本的な事すら出来ない言語もあるようだし

**デフォルトの名無しさん** · 2017/08/30(水) 16:59:57.64

どんな言語だってヘボの目には可読性が悪い言語に見える。
エビデンスは>>56。

あ · 2017/08/30(水) 18:35:51.68

clojureの記号が読みやすいと思う奴居るんだ。
あれクソ構文だと思ってた。

**デフォルトの名無しさん** · 2017/08/30(水) 18:53:59.16

Lisp族読みにくいって主張してる奴の中で、エアプじゃない奴ってどれくらいだ？

**デフォルトの名無しさん** · 2017/08/30(水) 19:05:39.52

Lispって（）使いまくりなんだろ。だから可読性低いってイメージ
使ったことはないが。

**デフォルトの名無しさん** · 2017/08/30(水) 19:25:08.76

>>44
rubyは足し算の醜学だろ一緒にすんな！
map/reduce, collect/inject これすらまとめられません笑
関数、ブロック、プロック、え？ラムダが流行りだって？じゃそれも笑
思想がないからあれもできるようにしましたこれもできるようにしましたで何一つまとめられません涙
goと真逆じゃねーか何でもかんでも未整理にぶっ混みやがって思想もへったくれもあるかあんなゴミ。
言い過ぎたがgoの引き算にすり寄っていい言語じゃないことは確かだろ

**デフォルトの名無しさん** · 2017/08/30(水) 20:46:07.16

いやはや、いつもこのスレはゴミが集まってんねー

**デフォルトの名無しさん** · 2017/08/30(水) 21:39:23.85

エビデンスのエクセルにはきちんと表紙に承認印をもらってから提出しなさい。

**デフォルトの名無しさん** · 2017/08/31(木) 00:09:20.36

インデントしなきゃどんな言語も可読性悪いし、すればlispだって読めるだろ
普及期にC言語が一番使われてたからそれに似た言語が一番読みやすい人が多いってことだろ

**デフォルトの名無しさん** · 2017/08/31(木) 00:42:44.93

それでもCライクな文法が一番流行ってるのは
それが読みやすさの本質を持ってるからだろ

ペェ～ルとかルビー（藁）とかさぁ・・・なんだい、あのゴミは

**デフォルトの名無しさん** · 2017/08/31(木) 00:54:30.69

ブロックインデントの方が読み易いしC言語のように括弧を多用する言語は読み難いと思う

**デフォルトの名無しさん** · 2017/08/31(木) 01:06:35.21

ブロックインデントってBNFとかで表現するときどうするんだろう
yaccとかに食わせられるんかね、良く知らんが

**デフォルトの名無しさん** · 2017/08/31(木) 01:18:56.42

可読性が… みたいな事言ってる人はどうやってソース読んでるんだろ

まさかソースを(白黒)印刷して読んでるわけではあるまい？

**デフォルトの名無しさん** · 2017/08/31(木) 01:20:35.67

英語と日本語と中国語どれが読みやすいかと同じじゃね？

漢字のような表意文字は抽象度が高く、短い語数で意味が凝縮されるから可読性は高まる
でも中国語のように英数字以外がすべて漢字になると、区切りや各単語の軽重が分かりにくく可読性が下がる面もある
ということで日本語は優れてると思うけど結局は慣れの問題が一番大きい

**デフォルトの名無しさん** · 2017/08/31(木) 02:02:58.96

それ言ったら英語なんか動詞で文全体の構造が決まる言語だからな
基本五文型とか初めて習ったときは意味不明だったよ
日本語には無い考え方だ
着目している部分が全然違ってて流石だなとしか言いようがない

もっと言えば英語のような言語は構造重視、関係性重視の言語だと思うし
日本語のように述語が最後に来る形式は時系列重視の言語だと思う

**デフォルトの名無しさん** · 2017/08/31(木) 02:12:56.17

あと、a とか the とかもマジ意味不明で
そんなもの無くても会話は成立するのになんでって感じだし
日本語には全くない感覚だからな
あるカテゴリーの中の一つ、とか、固有名詞、とか、えらく数学的で
普段からそんなこと考えながら会話してんのかよマジ半端ネーナって感じ
文法の中にそんなものを持ち込むこと自体が凄いし
言語が自然発生的に出来上がったのだとすると、脳の構造違いすぎるでしょ
世の中のことをそういうベン図みたいな捉え方するのが彼らの日常ってことだからな

**デフォルトの名無しさん** · 2017/08/31(木) 03:23:00.21

a * (b * c) = (a * b) * c (可読性高)

(= (* a (* b c)) (* (* a b) c)) (中)

a.mul(b.mul(c)).eq(a.mul(b).mul(c)) (低)

(中)と(低)の括弧の数は同じ

**デフォルトの名無しさん** · 2017/08/31(木) 05:18:08.46

RISCとCISCの違いだろ
つまり表示デバイスや読む人の能力によると

**デフォルトの名無しさん** · 2017/08/31(木) 06:50:16.52

>>76
お前の表示デバイスだと>>75が違って見えるの？
頭おかしいな

あ · 2017/08/31(木) 07:55:30.12

>>74
意外に日本語では修飾語使うしかないシーンでも端的に話せるから便利だよ。
ラテン語ぐらい活用があればホントに単語に主語すら含まれてるから文章の密度が濃くできる。
aや数詞とtheは、日本語でも知らず知らずのうちに使ってるよ。

あ · 2017/08/31(木) 08:09:36.17

>>75
まともなlisp書くやつは、可読性中とやらみたいなの書かんだろ。
(= (* b c a)
　 (* a b c)
)
みたいになるんでないの？

**デフォルトの名無しさん** · 2017/08/31(木) 09:50:39.26

>>77
表示可能な文字数が少なかったりプリンタだったりしたらRISCの方が効率いいだろ
お前が書く全てのプログラムは>>75程度なのか?
それともお前の頭がおかしいのか?

**デフォルトの名無しさん** · 2017/08/31(木) 09:51:05.42

CISCの方が

**デフォルトの名無しさん** · 2017/08/31(木) 10:43:49.29

PEG.jsつかえば俺言語が簡単に作れる。
jsの処理系使ってaltJS作るのに最適かもしれない。
こういうの触るとLISPってまんま構文木を言語と対応させたもんって感じ。

**デフォルトの名無しさん** · 2017/08/31(木) 12:24:42.21

>>57
括弧が多いこと以外にも
JavaやRubyみたいな
ふつうの言語の文法と違いが
大きいところが読み書きしにくい

たとえば代入は＝じゃなくてsetqとか

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

それは最初に慣れた言語がそうだったからというだけでは
たまに初心者がなんでイコールが代入なの言うけど確かになが

**デフォルトの名無しさん** · 2017/08/31(木) 15:50:27.57

C系の文法ばっかりになったのは個性が薄い感じがして寂しい
という漏れもそうじゃない文法を自分で書きたくはないけどねｗ

あ · 2017/08/31(木) 16:46:31.78

>>83
setqはset quoteに展開されるマクロで、setも関数。
ただの代入の構文ではない。
すべて式、みたいな流行りの言語のように、すべてリストで、リストの先頭を関数として解釈しとるだけ。

**デフォルトの名無しさん** · 2017/08/31(木) 17:58:28.60

>>85
OOPは言語レベルでサポートされていなければならないってC++の作者が力説したから
これは文法とパラダイムは無関係という説を否定したようなもので
同じパラダイムをサポートするなら文法もほぼ同じになると考えられる

**デフォルトの名無しさん** · 2017/08/31(木) 18:09:22.78

そんなこと言うとまたSmalltalkerが湧き出してくるぞ

**デフォルトの名無しさん** · 2017/08/31(木) 20:52:52.64

>>72
a→具体的な意味を持たない。ok?
鋭→具体的な意味を持つ。まだ大丈夫？
具体的の反対は何か分かるかな？
分かんないか、ごめんね。正解は「抽象的」
漢字のような表意「文字」が(アルファベットのような表音「文字」と比べて)抽象度が高いなんてことはあり得るのかな？お母さんに聞いてみようね！

**デフォルトの名無しさん** · 2017/08/31(木) 20:58:02.45

俺もそれは気になってたけど指摘しなかった
漢字を抽象度が高いというのは何か違うと思った

**デフォルトの名無しさん** · 2017/08/31(木) 22:44:56.31

重要なのは意味とか音とか二つ以上の部品に分解することだよ
それらは対等に扱った方が対称性が高い
どっちが高レベルでどっちが低レベルかという問題にこだわるのは対称性が低い

**デフォルトの名無しさん** · 2017/08/31(木) 23:07:03.73

>>89
「抽象度」という概念を知らないのね

1. x^100 + 9x^7 - 3x^2
2. x to the hundred plus nine x to the seventh minus three x squared.

「どっちが抽象度が高い？」と言うのと
「どっちがより具体的な意味を持つ(もしくは持たない)？」と言うのとは意味が違うんだよ