次世代言語議論スレ[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/05/31(水) 15:40:30.39

>>925
別に多動のせいじゃないと俺は思うがなあ。多動ってそもそも議論できる出来ないに関係あったっけ？
単に意見の擦り合わせが絶望的に出来ないから知ったかと同じような議論破綻に突っ込む感じで、
ディベートを議論と勘違いしてるよくある感じのやつだと思ってる。

**デフォルトの名無しさん** · 2017/05/31(水) 15:53:44.27

俺はHaskellはトーシロ（死語）だから実行時に型チェックするパターンがあるかどうかなんて細かいこと分からんが
エンジニアガイジが「Haskellの型はほとんどコンパイル時解決だ」って言われたときに
やるべきだった反応は
「俺はこのパターンは実行時解決だと思ってたけど違ったか？」であって
「ほとんどは全部じゃねえよはい論破」じゃない。
こういうところが議論向いてないんだよな。

**デフォルトの名無しさん** · 2017/05/31(水) 17:26:35.18

(TvT)

**デフォルトの名無しさん** · 2017/05/31(水) 18:22:27.22

>>908
enum？
もしかしてHaskellとScala間違えてんの？

あ · 2017/05/31(水) 20:17:12.66

>>921
相手の意見は汲み取れと言われながら、自分の主張は汲み取る必要が無いように余すことなく全て話せと言われると、
それは違う思う。

>>929
いや、完全に記憶だよりだからその辺違うなら違うんだと思う。
optionじゃなくてnilだった気もする。

なんと言うか、凄いな。Haskellを否定するだけでここまでヒートアップするのは。
スレタイからも抜けたし、否定し放題だとは思うが。
否定されるのが嫌ならHaskellスレに引きこもってりゃ良いのに。

**デフォルトの名無しさん** · 2017/05/31(水) 20:44:50.62

自分の意見が伝わりにくいことは現象として理解してる癖に、優しい人が理由を考えてあげると反論してしまい受け入れられない
誰かがいってた放置されてきた子って的確な表現だな
どんな優しい人でもこれは放置する

**デフォルトの名無しさん** · 2017/05/31(水) 20:46:07.28

言語についてテキトーな事を書いたらツッコミ入れるような奴が
このスレに集まってるだけだぞ
Haskell関係ない

**デフォルトの名無しさん** · 2017/05/31(水) 21:11:21.68

>>930
＞相手の意見は汲み取れと言われながら、自分の主張は汲み取る必要が無いように余すことなく全て話せ
それをお互いにやるんだよ。
でもどちらも人間なんだから限界あるだろ？そこを擦り合わせるんだよ。
それが論破合戦じゃない議論なんだよ。

**デフォルトの名無しさん** · 2017/05/31(水) 21:29:09.19

もしかしてエンジニアガイジは自分の意見に反論や疑問が飛んできたとき、
「こいつは自分を潰しに来たから潰し返さないと」とか思ったりしてる？

**デフォルトの名無しさん** · 2017/05/31(水) 22:25:13.36

それできてる奴このスレにいるんですか
大抵潰し合ってないですかね

**デフォルトの名無しさん** · 2017/05/31(水) 22:39:52.28

>>930
Haskellを否定というか、
明らかに間違えてるので、知りもしないで突っ込んでるとしか思えないが

**デフォルトの名無しさん** · 2017/05/31(水) 22:43:08.23

というか、この人Haskell触ったことなくて叩いてるよね
食わず嫌いは勝手だからいいとしても、さも知っていて、かつ理性的かのように振る舞うのはどうなんだ？
素直に理由はないがキモいと言えばいいのに

**デフォルトの名無しさん** · 2017/05/31(水) 23:51:50.75

>>851
大規模案件で採用されているゴミ屑PHPさんの悪口はやめろ

**デフォルトの名無しさん** · 2017/06/01(木) 00:21:45.04

まあルストはダメだってことはわかった。

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

>>930
>いや、完全に記憶だよりだからその辺違うなら違うんだと思う。
>optionじゃなくてnilだった気もする。

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

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

carとcdr使う静的言語ってなんだ

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

型推論付きのSchemeか？w

**デフォルトの名無しさん** · 2017/06/01(木) 02:27:16.60

まあHaskell触った事ある奴はOptionとMaybe
Nothingとnilは間違えないよな
nullって書いても他言語とは全く異なるし

**デフォルトの名無しさん** · 2017/06/01(木) 02:30:44.70

あとBottomType的な意味でnilとか言ってもだめだぞ
ないからなw

**デフォルトの名無しさん** · 2017/06/01(木) 02:55:42.04

>>930
どこから見てもお前の言ってる事がおかしいぞ
論理的におかしい事をさも正しい事のように言ってるから叩かれてるだけ

**デフォルトの名無しさん** · 2017/06/01(木) 03:12:08.82

どこから見てもおかしいというだけの主張が論理的なのか

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

>>946
何を言ってるかわからないほど破綻してるから、おかしいで合ってるし
そして論理そのものは前提で変わり、妥当性とは関係ないので、お前の主張もおかしい
論理的云々と言うやつほど論理を知らない証左

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

関数型の思想を一切使わずアプリケーションをバグ無く作れる者だけが、彼に石を投げなさい

あ · 2017/06/01(木) 07:44:01.52

おお、皆に言われるとHaskellをもう一度学ばないといかん気はしてきたな。
割とありがたいし、せっかくだからちょっとやってみるわ。

>>933
あーなるほど。それはわからんでもないな。
ただ、指導教官に昔言われた「不明点は察するな、現実を話させろ」を実践してて、
言ってしまえばアスペ的思考をしてたから、ちょっと慣れるまでに時間かかるかも。
実際役にもたったしね。その発想。

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

みんなが言ってくれてんのはね
Haskellｂﾇうのこうのとｂ｢うよりもまず
お前は重度の知ったか自己弁護野郎であり
さすがに付き合いきれないよってこと

たぶん、そういうとこは伝わってないんやろな

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

文字化け修正：
Haskellどうのこうのというよりもまず

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

>>949
＞不明点は察するな、現実を話させろ
大学の研究室や学会では正しいが、2chっつーかネット越しの文字でやるには向いてない手法だな
手法は場によって選ぼうな？

あと自分が間違ってるかもしれないって懸念は常に持っとこうな。

**デフォルトの名無しさん** · 2017/06/01(木) 10:39:52.18

>>952
下段は今回のHaskellのことに限らず知ったかぶり悪循環に陥ることへのフェイルセーフな。
俺はHaskell詳しくないから知ったかかどうかわからんのだが一応。

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

治療法を察するな、症状を話させろ
Haskellを知ったかぶるのは大したことないが、医学を知ったかぶると命に関わる

**デフォルトの名無しさん** · 2017/06/01(木) 11:26:50.36

誤解の生じない自然言語が望まれる

**デフォルトの名無しさん** · 2017/06/01(木) 11:27:26.76

ところで質問なんですが
Haskellの型クラスは裏でメソッド辞書を渡して実行時ディスパッチをするって読んだんですがこの理解で合ってます？
https://people.csail.mit.edu/dnj/teaching/6898/papers/wadler88.pdf

それともコールする関数の決定も何らかの最適化機構でコンパイル時にすませてしまうのでしょうか

**デフォルトの名無しさん** · 2017/06/01(木) 11:48:38.71

>>956
C++のコンパイル時ダックタイピングと同じ
実行時ディスパッチではない

**デフォルトの名無しさん** · 2017/06/01(木) 12:35:37.68

>>956
後者で合ってる
GHCの場合は最適化無しでランタイムにdictionary lookupするコードを生成
最適化でコンパイル時解決になる
指定なしなら通常は最適化される

**デフォルトの名無しさん** · 2017/06/01(木) 12:56:45.70

>>958
なるほど

If the type of a function contains a class, then this
is translated into a dictionary that is passed at runtime.

The translation simply assures that the appropriate dictionaries
passed at run-time; ...

One drawback of our translation method is that it introduces
new parameters to be passed at runtime, ...

等々しつこく書いてあったのでてっきり今もランタイムかと。
その後コンパイル時に完結できるようになっていたんですね。ありがとうございます。

**デフォルトの名無しさん** · 2017/06/01(木) 14:21:39.82

>>959
念のため言うが、飽くまで一般の話だよ
上での言及のように例外なく、必ずcompile timeになるかどうかはわからない
普通に考えれば、呼出側だけでなく、モジュールに何か細工が必要だろうし

**デフォルトの名無しさん** · 2017/06/01(木) 14:30:58.85

>>959
調べてみたが、少なくともHaskell 2010ではCompile timeが保証されているようだ
というか88年の文献は、いくらなんでも古すぎないか？

**デフォルトの名無しさん** · 2017/06/01(木) 19:59:34.59

他者と誤解なく分かりあえるようになるための共通言語を開発しよう
もちろん、人と人だけでなく、人とコンピュータも分かりあえる共通言語だ
それこそが次世代言語だ

あ · 2017/06/01(木) 20:05:18.45

>>952
ネット越しだからやるべきかとは。。

>>961
ヨコからだけどありがとう。参考になるわ。見てくる。

>>962
エスペラントを一歩すすめる時代か。

**デフォルトの名無しさん** · 2017/06/01(木) 20:18:08.98

>>963
やった結果がお前さんの現状なんだよな。

**デフォルトの名無しさん** · 2017/06/01(木) 20:42:26.57

>>961
Haskell 2010 でもまだランタイムに依存しているみたいだけど違う？
https://stackoverflow.com/questions/28169119/is-the-dispatch-of-a-haskell-typeclass-dynamic#comment44713002_28170590

**デフォルトの名無しさん** · 2017/06/01(木) 22:45:39.05

あらゆるモダン言語で見るようになったmapとかflatmapっていうのはどこから生まれたものなの？

**デフォルトの名無しさん** · 2017/06/01(木) 22:50:28.99

LISPじゃね

**デフォルトの名無しさん** · 2017/06/02(金) 00:08:33.62

>>965
ちょっと話が見えないんだが、もしかして回答してほしいのは
>https://people.csail.mit.edu/dnj/teaching/6898/papers/wadler88.pdf
に限定した話ではないのか？
保証については、再帰がない場合の話で、その参照先は>>959とは状況違う
その場合>>958 + >>960という回答になる

**デフォルトの名無しさん** · 2017/06/02(金) 02:50:18.61

再帰があっても深さを制限すればspecializeできるんじゃね
制限を超えたらエラーにするか、あるいはspecializeをやめたら無限に再帰できるか？

**デフォルトの名無しさん** · 2017/06/02(金) 07:14:02.17

>>968
あ、いえ、すみません
>>958+960 で理解の確認はできています
ありがとうございます

ただ一方で >>905 >>957 >>961 みたいな主張もあるようなので
最新の実装では型クラスを取り巻く状況もかなり違ってきているのかなと

**デフォルトの名無しさん** · 2017/06/03(土) 09:45:16.91

これ互換性にあまり影響のない実装の変更だよね
それより互換性が完全になくなった変更を批判する方が建設的

**デフォルトの名無しさん** · 2017/06/12(月) 07:29:42.96

GOって手続き型言語？
可読性が高いって言われてる理由が知りたい
インスコしようかな

**デフォルトの名無しさん** · 2017/06/12(月) 08:00:12.68

とりあえずインスコしてみたら
何系の言語かは自分で判断すべし

**デフォルトの名無しさん** · 2017/06/12(月) 09:42:46.07

手続き型だよ
文法知らなくてもほぼほぼ読めるぐらい平易だから可読性高いって言われてるのでは

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

実質は新しいCOBOLなのにGoogleが推してるせいで意識高そうなイメージがあり、
Webの文系エンジニアにバカウケ

**デフォルトの名無しさん** · 2017/06/12(月) 11:13:43.87

>>975
さすがにCOBOLに失礼ちゃう？

**デフォルトの名無しさん** · 2017/06/12(月) 12:21:21.41

Goが流行ってしまうと今まで必死に体得してきたプログラミングの概念がほとんど無に還すから
プログラミング熟練度と人気が反比例してると聞いたな

**デフォルトの名無しさん** · 2017/06/12(月) 12:42:10.81

意識低い系言語

**デフォルトの名無しさん** · 2017/06/12(月) 12:49:20.16

コスパが高い言語

**デフォルトの名無しさん** · 2017/06/12(月) 13:55:38.04

さすがに今日日昔のJavaのobject地獄を再び見ることにもなれば嫌いにもなるわな。
それ以外は割とよくまとまってる。

**デフォルトの名無しさん** · 2017/06/12(月) 14:00:31.39

Goにジェネリクスが入れば割と理想の言語感はある
ノリとしては極限まで肉をそぎ落としたJavaに近いかな。

**デフォルトの名無しさん** · 2017/06/12(月) 17:23:51.63

>>981
手続き型言語でオブジェクト指向止めるとなるとグローバル変数が問題になる。
変数宣言時に、その変数へ読み書き出来る関数とかをホワイトリスト的なものを宣言する事で制限したりとか、そう言う仕組みが要るんじゃないかな。

**デフォルトの名無しさん** · 2017/06/12(月) 18:19:16.46

Cにガベコレと並行処理追加した正統後継言語
C++がキメラ化してるしある程度人気出るのも納得できる

あ · 2017/06/12(月) 19:20:57.74

>>982
ローカル変数こそが、そもそもこいつが何者かわからん存在であるって言語もあるしな。
「僕この名前で変数使いたいから、いったん退けて。ブロック抜けたら要らないから捨てて」
「制御命令？IFとスタック積まないラベルジャンプとスタック積むサブルーチン呼び出しがあれば、それ以外要らないでしょ。仕方ないからブロック構文だけは作ってやったぞ」
という現代の言語から考えたら意味のわからん命令があるM言語みたいな。
ライセンス高いし大手以外ノウハウないし、最近オブジェクト指向しようと歪になってるらしいから、それこそ化石だろうけど。
今どこ使ってるんだろ。

**デフォルトの名無しさん** · 2017/06/12(月) 19:33:33.80

%%%MC+7,8%%%

}

000-"M","LES","TUV=0.13325&/0\7&%&",

001-"23","1","0","2","7.14",[\b%7/1444*%812%2.3%7&6111\end\\]{%3%12%\br

**デフォルトの名無しさん** · 2017/06/12(月) 21:06:32.45

>>982
Goだとその辺はパッケージである程度制御はできるな
あとはクソカジュアルにmutexが使えたりcontextでセッションローカル変数簡単に引き回せたり、
Goroutineでの並列を売りにしてるのは伊達じゃねえやって感じ

**デフォルトの名無しさん** · 2017/06/12(月) 23:39:00.43

>>977
まあそんへんの糞なプライドを捨てればいい言語だと思うよ。

**デフォルトの名無しさん** · 2017/06/13(火) 00:16:36.48

>>977
熟練者はそれを逆手に取って嫌いなものを体得する
嫌いなものを無に還すことができるなら必死に体得するのは理にかなっている

**デフォルトの名無しさん** · 2017/06/13(火) 00:41:45.36

>>980
>>981
同意

**デフォルトの名無しさん** · 2017/06/13(火) 01:29:19.80

次スレにはTypeScriptかHaskell入れる？

**デフォルトの名無しさん** · 2017/06/13(火) 04:24:57.99

Scala外してTypeScript
長さ制限に引っかかったらこのままでいい

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

コトィンに負けてしまったスァァ・・・

**デフォルトの名無しさん** · 2017/06/13(火) 07:08:11.18

Rustももういいだろ
OUT: Scala, Rust
IN: TypeScript, Swift に一票

あ · 2017/06/13(火) 07:09:42.20

>>988
一からできるなんて楽しすぎるしな。
>>990
Haskellはガイジと呼ばれる俺ですら感じるキチガイを集める事になるから反対。
TypeScriptは微妙。それより、いっそJS側に倒してESnextとかでいいんでないの？

あ · 2017/06/13(火) 07:11:05.41

>>993
Scalaが要らんのは同意、Rustはちょっとどっちでもいい。
InのTypeScriptは反対。Swiftはもうちょいガチでマルチプラットフォームに来てほしいけど、くる気配あれば同意

**デフォルトの名無しさん** · 2017/06/13(火) 07:21:44.82

TypeScriptは今時の流行りの言語の一つのリファレンスとしては悪くないと思うが、
まあC#系はKotlinが一つあれば十分かな

**デフォルトの名無しさん** · 2017/06/13(火) 07:32:00.56

ナウでヤングな型システムとかムーブセマンティクスとかモナドが次世代なんじゃないの？
ScalaとRustはずしてSwiftいれるとか正気か？
お手軽言語スレでも立ててそっちでやれと

**デフォルトの名無しさん** · 2017/06/13(火) 07:40:02.81

お手軽言語が嫌いならまずはGoを敵視しような

**デフォルトの名無しさん** · 2017/06/13(火) 08:43:16.91

>>990
Haskellアンチは一人の発達障害だけであることが判明したので入れましょう

**デフォルトの名無しさん** · 2017/06/13(火) 08:54:31.06

**1001** · Over 1000

このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。
life time: 54日 4時間 11分 5秒