次世代言語12 Go Rust Swift Kotlin TypeScript

**デフォルトの名無しさん** · 2018/07/04(水) 09:38:15.76

スレタイ以外の言語もok

前スレ
次世代言語11[Rust Swift TypeScript Dart]
https://mevius.5ch.net/test/read.cgi/tech/1528037607/

**デフォルトの名無しさん** · 2018/08/12(日) 13:22:32.17

typescriptのジェネリクスのヤバさを目撃すると、どうにもgo2でジェネリクスを導入するのは見送ったほうが良い気がする。
少なくとも、慌てて入れるんじゃなくてgoらしく独自な感じで頼みたい。

**デフォルトの名無しさん** · 2018/08/12(日) 13:29:17.87

同じ家だか会社だか学校の回線使っての意見対立か何かか？

**デフォルトの名無しさん** · 2018/08/12(日) 13:30:22.02

ただのID被りだろ

**デフォルトの名無しさん** · 2018/08/12(日) 13:35:17.74

被る確率と自演の確率
確率の多数決や

**デフォルトの名無しさん** · 2018/08/12(日) 13:42:50.54

ここでいくら python3 へ移行しても無問題と叫んだところで、
未だに macOS ではデフォルトが python2 のままという事実からは
逃げられないんだな
おまけに次期バージョンの Mojave に至っても、プレビュー版では python2 だし

・Apple、macOS 10.14 MojaveにもPython v2.7.10を同梱？
　https://applech2.com/archives/20180612-macos-10-14-mojave-beta-with-python-v2-7-10.html

>>729 からすれば Apple は「2にしがみついてる老ガイ」らしいけど、
Apple を罵倒できる男の子ってカッコイイなぁ(棒

**デフォルトの名無しさん** · 2018/08/12(日) 15:01:21.79

>>774
vertualenvどころかhomebrewも使わずにシステムのpythonにnumpyやtensorflowとか入れてんの？
完全にアホじゃんww

**デフォルトの名無しさん** · 2018/08/12(日) 15:12:08.06

こういうアホの子も機械学習に手を出してるのを見ると俺もやらないとって思うけど、解決したい問題が無いという

**デフォルトの名無しさん** · 2018/08/12(日) 15:30:23.13

珍しく弱気だな
いつもならノーベル物理学賞ですら、それ何の役に立つの？って強気で問い詰めるくせに

**デフォルトの名無しさん** · 2018/08/12(日) 15:40:32.20

>>770
tsのジェネリクスのヤバさ詳しく
興味ある

**デフォルトの名無しさん** · 2018/08/12(日) 16:23:38.77

これとか
https://qiita.com/m0a/items/cacc1d705e7cc67e3d11

**デフォルトの名無しさん** · 2018/08/12(日) 16:28:19.24

型がない言語に型を持ち込んだからだって突っ込まれるかもしれんけど、
こんなことになる可能性はジェネリクスを持つ言語全般に言える。
ちなみにジェネリクス関連のエラーにぶつかるとさっきのリンクみたいな型情報をエラーメッセージに垂れ流して直せって要求してくる。

**デフォルトの名無しさん** · 2018/08/12(日) 17:22:29.96

>>774
AppleじゃなくてもどのシステムでもWindows以外はデフォルトはPython2だよ
だからこそPython3にはシステムが依存せずに最新版選ぶ事ができるんだから

**デフォルトの名無しさん** · 2018/08/12(日) 17:40:26.13

インフラ言語の悲哀だな

**デフォルトの名無しさん** · 2018/08/12(日) 18:20:40.98

Go
Gnericsできることは中身なしのインターフェース型（interface{}）できるからいらないって言う人もいて
確かにできるんだけども
欲しいって言ってる人はできるできないじゃなくて実行前にエラー教えてほしい（せっかく静的型付けなんだから）って人たちだから

できるからいらないって言っても納得しないんじゃないの？

**デフォルトの名無しさん** · 2018/08/12(日) 18:26:35.82

"で"できる

が

できる
になって意味不明の文章になってる
すまん

**デフォルトの名無しさん** · 2018/08/12(日) 18:28:53.89

>> 779

これ、redux に型情報書こうとしてるからこんなことになってるだけで、
int,doubleで2回も同じの書かなくていいみたいのだったらこんなことにならんけど...

**デフォルトの名無しさん** · 2018/08/12(日) 18:33:03.21

>>783
空インターフェイスが問題なんだから、それが絶対に使わないようにする方法があれば良いんだよね。
goにおいてはcode生成が一つの答えだったりする。

**デフォルトの名無しさん** · 2018/08/12(日) 22:54:48.62

>>781
え、 >>774 のリンク先にも書かれている2015年に公開された
Python の公式文書 PEP 394 もご存知ないんですか？

Windows以外の「どのシステム」というのが曖昧ですけど、
すでに主要な Linux ディストリビューションだと
デフォルトのインストールは Python3 になって移行を完了してます

・LinuxディストリビューションにおけるPython 3デフォルト化の流れ
　https://orangain.hatenablog.com/entry/python3-as-default

だからこそ、それでも Python2 のデフォを維持しようとする
Apple は「老ガイ」なのか？と >>774 で問題提起したわけです
もう少し Python を勉強したほうが良いのではないかと思われます

**デフォルトの名無しさん** · 2018/08/12(日) 23:23:16.06

しがみついてるんじゃなくて放置してるって読めるけど

**デフォルトの名無しさん** · 2018/08/12(日) 23:36:27.18

システムPythonなんか使わんしどうでもいい

**デフォルトの名無しさん** · 2018/08/13(月) 01:13:05.86

>>786
コード生成はひと手間かかるから敬遠してしまう。
コード書き換えたら再生成しないといけないし、
やっぱりC++やRustみたいな感じでジェネリクスくらいはできてほしいと思ってしまうなぁ。

**デフォルトの名無しさん** · 2018/08/13(月) 01:46:54.15

う、うん…

**デフォルトの名無しさん** · 2018/08/13(月) 03:28:03.67

前メジャーバージョンのサポートを十年以上続けてきた言語って何なんだろうね

**デフォルトの名無しさん** · 2018/08/13(月) 07:08:12.23

>>790
ジェネリックってもの自体が実際それくらい手間かかるものって認識した方がいい。
だからエラー出た時に追いづらいわけで。
マクロにしろテンプレにしろ本質的には生成系だよ。

**デフォルトの名無しさん** · 2018/08/13(月) 07:27:37.29

rustがあるのにgoの未来に期待する必要ないよね

**デフォルトの名無しさん** · 2018/08/13(月) 07:37:37.74

>>793
goaとかコード生成を多用するフレームワークにさわると実感する。
生成されたコードは読みやすいし、
追いやすい。
ジェネリクスは書いてる最中はともかくエラーが出たときに、対応が難しい。
あとgoの言語仕様自体がコード生成に対して最適化されてると思う。

**デフォルトの名無しさん** · 2018/08/13(月) 07:55:24.83

>>787
そうなん？CentOSは保守的だからさておき
RaspbianもPythonって打つと2が動いてたから
まだまだ2がデフォなんだと思ってた

あとAndroidのPython3もいつになったらKivyに対応するんだかね

**デフォルトの名無しさん** · 2018/08/13(月) 08:06:40.33

>>796
対応してる
https://towardsdatascience.com/python-for-android-start-building-kivy-cross-platform-applications-6cf867d44612

https://qiita.com/gotta_dive_into_python/items/3f0d8db9373e7d96ef91

**デフォルトの名無しさん** · 2018/08/13(月) 08:18:19.29

つい最近QPython3をスマホに入れてkivyのサンプル動かそうとしたら2でやれってメッセージ出たんだけど

**デフォルトの名無しさん** · 2018/08/13(月) 08:21:11.42

一言で言うと、馬鹿には無理

**デフォルトの名無しさん** · 2018/08/13(月) 10:36:37.93

ジェネリクスのエラー対応が難しいってよくわからないなあ・・・
ジェネリクスでエラーでるって言っても複雑な型地獄にはまって出るものと、
結局実行時にエラーになるから教えてくれるものがあるし
後者なら別にエラー直すの難しくない

型地獄にはまるのって関数型言語や関数型インスパイアにフレームワークで厳密に型定義しようとした時しか思いつかない…

あと、ジェネリクスって言っても文法上は同じでも種類があって
C++…
超高機能なマクロみたいなもの
全部インライン展開される（実行効率はいい）
コンパイルに時間がかかるし、実行ファイルサイズが膨れ上がる

Java…
Java バイトコード上は generics に対応していない
Java コンパイラがキャストを自動的に挿入してくれる
いわゆる「型消去」

C#…
ILにgenerics 用の命令がある
ャストの分のコードが減って実行効率がいい
ボクシング不要

って種類がってGoはどれになるか...

> goの言語仕様自体がコード生成に対して最適化されてると思う。

ここまで書いといてあれだけど
確かにこれは同意だなあ

**デフォルトの名無しさん** · 2018/08/13(月) 11:50:08.24

>>794
RustがGCで動けばRust使ってた。
所有権システムがややこしくて挫折した。

>>793
C++使ってたことあるから、エラー出たときの追いづらさについては、個人的に少々目が瞑れる。
Goで新しく実装されるなら、C++よりはマシにはなるだろう。

**デフォルトの名無しさん** · 2018/08/13(月) 12:05:41.62

これ以上有象無象のプログラミング言語を増やすな
全言語LLVM対応してよ

**デフォルトの名無しさん** · 2018/08/13(月) 12:21:57.16

そんなことは無理なのは歴史が証明してる

**デフォルトの名無しさん** · 2018/08/13(月) 12:23:51.46

所有権システムって、コンパイラに怒られる怒られない関係なく、C++使ってたことがあると言うなら考えていて当然だし、適応できて当然というか感謝するレベルだと思うんだけど、
何でrustアンチは「C++が書ける」みたいなハッタリかますの？

**デフォルトの名無しさん** · 2018/08/13(月) 12:32:59.05

ややこしくて挫折したと言っているんだから、別にアンチではないでしょ

**デフォルトの名無しさん** · 2018/08/13(月) 12:35:54.83

確かにアンチでは無いか。
言い方が悪かったな。すまん。

所有権意識しない奴がC++書けるって言っても、全然書ける気がしない違和感の事を言いたかった。

**デフォルトの名無しさん** · 2018/08/13(月) 13:30:54.99

ただの入力補完はもう古い！
人工知能がコーディングを補助！

Visual Stuio IntelliCode
https://visualstudio.microsoft.com/ja/services/intellicode/

・無料かつオープンソース
・Githubでスターの多いリポジトリで機械学習
・あなたのコードの文脈を理解した提案
・今のところC#のみ対応、別言語も提供予定

**デフォルトの名無しさん** · 2018/08/13(月) 15:55:14.56

所有権システムの理解と所有権の意識は別の話だと思うけどな

C++と違って型パラメータでライフタイムの整合性取る必要あるし
今のC++はコピー上等の値型指向を右辺値参照でカバーする感じなところなど考え方がやや違う

**デフォルトの名無しさん** · 2018/08/13(月) 17:48:17.15

rustがgoより劣っているのは学習コストの高さと開発支援ツール(racer/rls)がポンコツであることくらいだけども、誰でもコストが払えるわけじゃないし、ボローチェッカーにうんざりする気分は分かる

**デフォルトの名無しさん** · 2018/08/13(月) 19:16:22.47

>>808
実際にrust書いてる人でも引数のライフタイムがそこまで全く違うようなコードは
普通書かないでしょ。
あれを複雑に設定しなきゃならんシチュエーションはそもそも設計ミスってる。

**デフォルトの名無しさん** · 2018/08/13(月) 20:57:16.91

C++ならポインタにはdeleteの義務があるやつとないやつがある
参照カウントがあればカウントが1のとき義務があるのは誰でも理解できる
最適化などと称してカウントを省略するから分からなくなる
そもそもdeleteの義務のことを所有権というから意味が分からない

**デフォルトの名無しさん** · 2018/08/13(月) 21:22:57.94

C++書ける人ならRustに感謝するってそんなこと言ってるのRustプログラマだけだろ
こんな仕様に感謝したこと一度もない
Rustの二次元配列の要素のswap
ttps://qiita.com/tanakh/items/d70561f038a0ef4f0ff1

**デフォルトの名無しさん** · 2018/08/13(月) 21:56:10.59

MS嫌悪は病気と言ったというLinusが嫌悪したC++を書ける人だけが石を投げなさい

**デフォルトの名無しさん** · 2018/08/13(月) 22:35:37.85

>>807
これに頼ったインチキプログラマが大量に湧いてきそうで怖い

**デフォルトの名無しさん** · 2018/08/13(月) 23:01:44.24

ルーストにゴールデンカリバーン(GC)が実装されたら最強カードになるとオモｗ

**デフォルトの名無しさん** · 2018/08/13(月) 23:47:48.71

Rust(ラスト)ね
発音: r??'st

**デフォルトの名無しさん** · 2018/08/13(月) 23:50:02.28

5chは発音記号は無理なのか…

**デフォルトの名無しさん** · 2018/08/13(月) 23:51:09.53

>>812
何度もその仕様を憎むコードを書いたの？
unsafe事案なんだからunsafeで書けばいいじゃん

**デフォルトの名無しさん** · 2018/08/13(月) 23:54:51.00

>>806
C++使ってたときは、所有権(どこでdeleteさせるか)に関して迷うほど複雑なことはしてなかったし、
C++書けるってほどじゃないです。ごめんね。

Rustは特にクロージャ絡んでくると所有権がややこしくて挫折した。
パフォーマンス気にしてRust使ったほうがいい場面もあるかもしれないけど、
GC使って楽できるならそうしたいっていう。

**デフォルトの名無しさん** · 2018/08/14(火) 00:16:21.60

>>806
正論はときに人を傷つけるからやめとけｗ
kuso設計をスマポ（）で誤魔化してる連中には
所有権も借用もライフタイムもまだ早い

**デフォルトの名無しさん** · 2018/08/14(火) 00:20:28.33

rustの1番の問題点はハスケルと一緒でこういう選民思想持ったバカが多いって事なんだがまあ気づかないで言語毎消え去るんだろうな。

**デフォルトの名無しさん** · 2018/08/14(火) 00:24:17.94

それにしても選民思想って言葉が好きだな
そんなにお気に入りなのか？

**デフォルトの名無しさん** · 2018/08/14(火) 00:25:37.76

よく選民思想だって言われてるけど単に一生懸命勉強したほうがいいよってことでしょ
プログラマにとってはそれが仕事じゃん
goとrustで実行に必要なコンピュータリソースに5%差があるならビジネス的には大きなアドバンテージになるのに、ややこしいからという理由で放棄するのはプログラマとしてどうかと思うよ

**デフォルトの名無しさん** · 2018/08/14(火) 00:36:01.66

その位置からだと選民思想に見えちゃうんだなｗ

**デフォルトの名無しさん** · 2018/08/14(火) 00:37:36.39

>>823
よく言われてるって…
今までこのスレで選民思想って言ってたの多分全部同一人物だと思うよ
俺の記憶にあるかぎりではどれも主張と口調がすごく似通ってるし…

**デフォルトの名無しさん** · 2018/08/14(火) 00:40:35.89

まあいいけどね。。小難しく書くことに価値があると思ってるならそうしてればいいさ。
そのうち誰からも相手にされなくなるだけだから。

**デフォルトの名無しさん** · 2018/08/14(火) 00:45:34.31

その位置からだと「小難しく書くことに価値があると思ってる」ように見えるんだなｗ

**デフォルトの名無しさん** · 2018/08/14(火) 00:47:13.83

>>826
2行目は壮大なブーメランになると予想

**デフォルトの名無しさん** · 2018/08/14(火) 09:58:27.32

まあこれはインチキ人工知能が人間に勝つための作戦だと思う
人間が小難しいことを考えたら批判する
人工知能が小難しいことを考えたらほめてほめてほめまくる

**デフォルトの名無しさん** · 2018/08/14(火) 10:11:21.24

なんの目的もなく「小難しい」事を書いてるわけ無いでしょw
そもそも理解すれば小難しくも何でもないし。

選民思想って言葉は、裏表あるが、選民の方の定義がよくわからん。
ついて行けた人間って事？
なら、ついていけなかった自分の心の平静を維持するために
「あいつらは理解できる人間で徒党を組んで理解できない人間をバカにしている」と思い込まないと仕方ないからのように見えるなぁ。
そうなると完璧に敗北を認めたような発言なんだし、選民思想云々と言って恥を晒さずにおとなしくしてりゃいいんじゃないかな？

**デフォルトの名無しさん** · 2018/08/14(火) 11:56:14.73

いきなりどうした

**デフォルトの名無しさん** · 2018/08/14(火) 17:30:29.19

自分たちのことを選ばれた民なんて自称する馬鹿は(滅多に)いないので
外から呼ばれる時の言葉に決まってる、という当たり前の話を長く書いてるだけ

**デフォルトの名無しさん** · 2018/08/14(火) 18:56:49.78

大丈夫か？嫌なことでもあったのか？

**デフォルトの名無しさん** · 2018/08/14(火) 21:12:37.06

あったんだろうなｗ

**デフォルトの名無しさん** · 2018/08/15(水) 03:37:09.83

>>816
板ごとの設定による。
言語学板とかは書ける。

**デフォルトの名無しさん** · 2018/08/15(水) 06:53:04.88

>>835
何言ってだこいつ

**デフォルトの名無しさん** · 2018/08/15(水) 07:14:29.89

rustで組み込みできないか調べ始めてるんだが
メモリまわり完全に使うがわで制御可能？
暗黙的にヒープ使われると見積りできなくなるからいやなんだが

**デフォルトの名無しさん** · 2018/08/15(水) 07:16:40.13

c代替言語探しても全部そのへんでアウトなんだよね
妥協して適当なヒープ見積りで作るぐらいならcでいいやってなる

**デフォルトの名無しさん** · 2018/08/15(水) 07:25:16.84

ヒープを使わないのは可能
ヒープを使うときはBoxに入れるので宣言的

**デフォルトの名無しさん** · 2018/08/15(水) 07:31:23.45

平行処理向け、OOP、例外なし、漸進的型付け
https://inko-lang.org

**デフォルトの名無しさん** · 2018/08/15(水) 07:40:18.88

このスレ見たことも聞いたことも
無いような言語が出てきて勉強になるw

**デフォルトの名無しさん** · 2018/08/15(水) 08:06:57.88

>>836
文字化けするかどうかの話だろ

**デフォルトの名無しさん** · 2018/08/15(水) 15:26:38.61

このスレで教えられた見たことも聞いたこともないような言語：
ponylang
plasmalang
redlang
nimlang
minlang

**デフォルトの名無しさん** · 2018/08/15(水) 15:51:44.24

nimは良さげだけどなぁ

**デフォルトの名無しさん** · 2018/08/15(水) 16:29:44.37

lang大杉

**デフォルトの名無しさん** · 2018/08/15(水) 16:36:47.86

Wikipediaにあるプログラミング言語のリスト

1950年代 FORTRAN LISP ALGOL RPG COBOL
1960年代 CPL BASIC PL/I APL BCPL Simula LOGO B
1970年代 Forth Pascal C Prolog Smalltalk Scheme ML AWK SQL Ada
1980年代 C++ Objective-C Common Lisp Eiffel Erlang Perl Mathematica J
1990年代 Python Tcl Haskell Visual Basic Ruby Lua Delphi Java JavaScript PHP OCaml SuperCollider R ECMAScript
2000年代 C# Scala D F# Go Nim
2010年代 Dart Ceylon Elixir Hack Swift Rust Perl 6 Elm Julia Kotlin

90年代は豊作だったな。

**デフォルトの名無しさん** · 2018/08/15(水) 16:41:03.73

6っていう言語があるのかと思った

**デフォルトの名無しさん** · 2018/08/15(水) 17:18:12.79

>>839
なるほどそんな感じなのか
ヒープのライブラリをすげ替えるのは可能？

**デフォルトの名無しさん** · 2018/08/15(水) 17:20:39.18

ちょっとスレ違いでごまんなさい

**デフォルトの名無しさん** · 2018/08/15(水) 18:17:20.87

>>848
すげ替えとはどんな意味？
Boxは特別扱いされてるから挙動を変えたりはできないと思う
より具体的な話はrustスレがよいでしょう

**デフォルトの名無しさん** · 2018/08/15(水) 19:49:02.22

chapelを誰かレビューしてください。気になってるけど試してないんだ

**デフォルトの名無しさん** · 2018/08/15(水) 21:02:28.91

>>848
アロケータを変えたいという意味で聞いてるのなら一応可能だったはず。
「一応」っていうのは確かNightly(不安定版)だったはずってのと
使ったこと無いから正直俺もよく分かってないって意味。

因みにデフォルトのアロケータはjemallocだよ。

**デフォルトの名無しさん** · 2018/08/15(水) 22:26:34.97

>>840
最初から漸進的型付とかバカちゃうか
型無し糞言語だからしょうがなく漸進的型付と型推論入れて糞をごまかしてるのに
最初から糞丸出しの糞とか糞以外の何糞なんだ？

**デフォルトの名無しさん** · 2018/08/15(水) 22:55:11.78

そりゃUnkoだろ

**デフォルトの名無しさん** · 2018/08/15(水) 23:41:03.78

UNKOLANGwwwwwwwwwwwwwwwwwwwwwwwwwwww
バカじゃねwwwwwwwwwwwwwwwwwwバーカバカwwwwwwwwwwwwwwww

**デフォルトの名無しさん** · 2018/08/15(水) 23:41:33.78

型無しを見下すのも選民思想のようなものだな
HaskellやRustはこいつの手口に学んだのだろう

**デフォルトの名無しさん** · 2018/08/16(木) 00:05:20.96

でも型のない言語で作られたプロジェクトの9割がゴミだったわ
PHP 5系とかほんと酷かった

**デフォルトの名無しさん** · 2018/08/16(木) 01:31:52.58

サーバーがゴミ
スマホを見習うべき
修理するより10割捨てて買い換えろ

**デフォルトの名無しさん** · 2018/08/16(木) 08:43:40.33

最初は型ありで、動的言語台頭してきて、
それがまた型ありのほうが良いってなった。
繰り返してるのかな？
また、将来動的言語の方が良いってならないか？

**デフォルトの名無しさん** · 2018/08/16(木) 08:54:14.64

動的と静的が合体したのがあればいいんだがな(´・ω・｀)

**デフォルトの名無しさん** · 2018/08/16(木) 09:04:42.23

型推論が進化するとむしろ人間が下手に型を書くと推論の邪魔になるから最小限しか書かなくなるようになる

**デフォルトの名無しさん** · 2018/08/16(木) 09:11:01.01

>>860
動的型付け+型ヒンティングがそれだろう。TypeScriptが理想に近いと思う。

**デフォルトの名無しさん** · 2018/08/16(木) 09:15:57.05

個人的には静的型ベースにdynamic導入が好み

**デフォルトの名無しさん** · 2018/08/16(木) 09:22:55.02

>>859
多分君が言ってる「型」ってのは、文字列、整数、浮動小数点とか構造体の事じゃね？
初期に普及したCPUアーキテクチャでは、そういった原始的型の実現が重要だった。
ソフトウェの組み方が、プロセス指向、データ指向、オブジェクト指向、メッセージ指向と拡張されるに連れて、必要な型も拡張されてきた。
で、現在「型」って一般的に言ってるのはオブジェクト指向用なんだが、その一方でC言語の入門編では古代の型を教えるから、大抵の人は混乱してしまう。

**デフォルトの名無しさん** · 2018/08/16(木) 10:14:16.07

オブジェクト指向用()

**デフォルトの名無しさん** · 2018/08/16(木) 10:35:09.79

最近は動的な型解決が主流なんだろ？

**デフォルトの名無しさん** · 2018/08/16(木) 11:27:59.24

動的にも静的にも良いところはあるんだし、一概にどうとは言えんだろう。
動的型言語に慣れてるやつに言わせれば、コンパイラに指摘されるまでエラーに気づかないのは甘え、テスト不足、みたいな極論になるぞ。

オブジェクト指向もずいぶんアラン・ケイが考えたものと乖離してる気はするしな。
smalltalkは放置するとして、erlangみたいなメッセージ志向の言語はもう少しあっても良いと思う。

**デフォルトの名無しさん** · 2018/08/16(木) 12:14:27.85

コンパイル通れば安全！IDEが全部教えてくれる！
これぞ最強モダン開発

**デフォルトの名無しさん** · 2018/08/16(木) 15:59:24.18

>>852
ありがーと！