次世代言語11[Rust Swift TypeScript Dart]

**デフォルトの名無しさん** · 2018/06/03(日) 23:53:27.92

スレタイ以外の言語もok

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

**デフォルトの名無しさん** · 2018/06/14(木) 11:59:10.86

ただまあ、カスタマイズしないと使い物にならない、と、
カスタマイズいくらでも出来る、はまた別だからな。
VSCodeに関しては、吊るしで割と使えて、拡張機能で相当便利になって、
めちゃくちゃニッチなものなら自作もできる分、
割といいと思うよ。

生粋のemacsユーザみたいにemacsでメールチェックも何もかも済ませちゃう所までは行かないし、今更誰も求めないだろうけど。

**デフォルトの名無しさん** · 2018/06/14(木) 12:28:53.86

エ、エディタで人の知能判断するのか………
宗教戦争がなくならないわけだ

**デフォルトの名無しさん** · 2018/06/14(木) 12:29:31.01

>>399宛ね

**デフォルトの名無しさん** · 2018/06/14(木) 12:50:39.82

証拠で判断する
知能が低い証拠や高い証拠
戦争も強さを立証するためにやってる

**デフォルトの名無しさん** · 2018/06/14(木) 15:34:54.59

そのエディタはお前が作ったのか？
使ってる道具を知能の証拠にするとかいいの？
ましてや戦争レベルにスケールアップするとかさあ…

**デフォルトの名無しさん** · 2018/06/14(木) 15:38:59.76

伝統あるエディタ戦争に水を差すんじゃない

**デフォルトの名無しさん** · 2018/06/14(木) 16:53:15.33

少なくともメモ帳やEclipseやAtom使ってるやつの知能は心配していいと思う

**デフォルトの名無しさん** · 2018/06/14(木) 17:10:56.98

ファイルサイズでかいと途端に無能になるエディタが多くてなあ
モダンなエディタでまともに動くのはsublimetextくらいだわ

**デフォルトの名無しさん** · 2018/06/14(木) 18:24:40.70

RstudioはIDEに入りますか？

**デフォルトの名無しさん** · 2018/06/14(木) 18:26:59.95

atomは重すぎないかあれは
俺がクソザコpcだからなのかあれは

**デフォルトの名無しさん** · 2018/06/14(木) 18:31:50.48

Electron製エディタなんて重くなって当たり前なところはある

**デフォルトの名無しさん** · 2018/06/14(木) 18:42:50.92

ElectronだからってAtomのもっさり感は大概だと思うけどなぁ
VSCode使ってたら尚の事

**デフォルトの名無しさん** · 2018/06/14(木) 18:45:30.85

>>411
大概？

**デフォルトの名無しさん** · 2018/06/14(木) 20:34:53.45

おまえらIDE使う時って立ち上げっぱなし？

**デフォルトの名無しさん** · 2018/06/14(木) 20:44:46.79

>>413
？

**デフォルトの名無しさん** · 2018/06/14(木) 20:58:02.94

真のプログラマはedでコードを書く

**デフォルトの名無しさん** · 2018/06/14(木) 21:28:49.77

早いところreact-nativeで、再実装されたvscode見てみたいな。最近のマイクロソフトのRN推しはなかなか良い。

**デフォルトの名無しさん** · 2018/06/14(木) 21:34:51.94

完璧なプログラマならcatで十分

**デフォルトの名無しさん** · 2018/06/14(木) 21:37:57.29

>>417
youtubeでいいからデモってみてよ

**デフォルトの名無しさん** · 2018/06/14(木) 22:06:46.68

真のプログラマー（）
https://imgs.xkcd.com/comics/real_programmers.png

**デフォルトの名無しさん** · 2018/06/14(木) 23:23:01.61

Goは「エンター押してGo！」って標語通りのコンパイル速度目指したあれだろ
トランスパイラなんか噛ませて「エンター押してコーヒーブレイク！」じゃアカンでしょ

**デフォルトの名無しさん** · 2018/06/14(木) 23:53:16.06

>>420
go自体早くなってきてるし一段トランスパイラ噛ませても早いのでは？

**デフォルトの名無しさん** · 2018/06/15(金) 00:04:39.58

型推論とジェネリクスが入るとどうやっても遅くなるんでない？Fo試してないけど。

**デフォルトの名無しさん** · 2018/06/15(金) 00:07:41.96

>>422
なぜ型推論で？

**デフォルトの名無しさん** · 2018/06/15(金) 00:09:30.32

>>421
エンター押してGoのためにゲネリクスまで捨ててるのに
それ捨てたら捨てるものしか残らないゴミ箱になるだろ

**デフォルトの名無しさん** · 2018/06/15(金) 00:33:51.36

いやだからgo本体に組み込まれるよりかトランスパイラで実験的に使ってもらったほうがいいってことでしょ。

**デフォルトの名無しさん** · 2018/06/15(金) 00:36:28.20

いやだからエンター押してGoなんだよ
ばかか？

**デフォルトの名無しさん** · 2018/06/15(金) 00:37:49.96

旧世代言語はどうでもいいですから

**デフォルトの名無しさん** · 2018/06/15(金) 00:38:51.14

なんだ日本語の通じない人か。

**デフォルトの名無しさん** · 2018/06/15(金) 05:22:22.21

コミュ力重視棒で殴ってばかりで代案を出さないのが普通の日本人

**デフォルトの名無しさん** · 2018/06/15(金) 05:28:09.92

いちいち代案を出してくるポリコレ棒よりも酷い

**デフォルトの名無しさん** · 2018/06/15(金) 06:38:19.10

そもそもgoにジェネリクス入れないとは行ってないぞ。faq見ろや。むやみに希望通りに機能追加したくないだけ。
phpみたく投票で決めてうまく行った例をみない

**デフォルトの名無しさん** · 2018/06/15(金) 06:51:25.85

Haxe(ヘックス)はOSSで、JSに型チェックを付けたような言語で(altJS)、
JS(ES5), Flash, PHP, C++, Java, C#, Python, Lua に書き出せる

インストールしてみた。楽しみ

**デフォルトの名無しさん** · 2018/06/15(金) 10:34:51.24

共同ツール 1
https://seleck.cc/685

https://trello.com/
ボードのメニュー → Power-Upsから拡張可能 Slack DropBoxなど
Trello Chrome拡張機能　elegant
ttp://www.kikakulabo.com/service-eft/
trelloのオープンソースあり

共同ツール 2
https://www.google.com/intl/ja_jp/sheets/about/

共同ツール 3
https://slack.com/intl/ja-jp
https://www.dropbox.com/ja/
https://bitbucket.org/
https://ja.atlassian.com/software/sourcetree
https://www.sketchapp.com/
ttp://photoshopvip.net/103903
ttps://goodpatch.com/blog/sketch-plugins/

Trello Chrome拡張機能プラグイン集
https://chrome.google.com/webstore/search/trello?_category=extensions

Slackプラグイン集
https://slack.com/apps

Sketchプラグイン集
https://sketchapp.com/extensions/plugins/
https://supernova.studio/

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

>>431
多数決がロクでもないのは本当にそう思うわ
Linusほどとは言わないがBDFLが方向性と重要な決定で決断するのは本当に重要

**デフォルトの名無しさん** · 2018/06/15(金) 19:19:52.68

最近はRust風のRFCベース開発が増えてるが
これはどうなんだ？

正直発端のRustがゴミなんでこの方法も多数決と大差ないゴミだと思うんだが

**デフォルトの名無しさん** · 2018/06/15(金) 19:49:49.25

>>269
RustがゴミだからRCFもゴミという理屈を通すなら
RCFがゴミだからインターネット技術も全てゴミということか
ネット技術を否定するとはたまげたなぁ

**デフォルトの名無しさん** · 2018/06/15(金) 19:54:31.63

>>436
訂正
>>269 → >>435

**デフォルトの名無しさん** · 2018/06/15(金) 20:45:14.15

Request For Comment

**デフォルトの名無しさん** · 2018/06/15(金) 20:51:19.95

Request Comment For internetsだろ。

**デフォルトの名無しさん** · 2018/06/15(金) 21:00:01.61

Rustがゴミだというのは要出典だが
1人か数人程度で書いた出典が多数派より強いなら多数決ではない

**デフォルトの名無しさん** · 2018/06/15(金) 21:43:27.34

マスカキ・ラスマス・豚ラードみたいなクソガイジが作ってるガイジ専用PHPoorは
今すぐ死ね
今すぐにだ

**デフォルトの名無しさん** · 2018/06/15(金) 21:44:51.73

Rustがゴミなら
さしずめPHPは放射線汚染汚物だな
存在自体が害悪

**デフォルトの名無しさん** · 2018/06/15(金) 21:51:29.71

その場合は放射線じゃなく放射能では？
言葉は正しく使いましょう。

**デフォルトの名無しさん** · 2018/06/15(金) 21:53:44.43

放射能に汚染されるとかあるの？
放射線を当ててDNA傷つけるとかはあるけど。

**デフォルトの名無しさん** · 2018/06/15(金) 22:07:03.48

放射能を取り込んだら常に放射線を受けるようになる。これを汚染という

**デフォルトの名無しさん** · 2018/06/15(金) 22:13:02.74

文書を管理し公開すれば質問に答える手間が省ける
独裁者は効率が良いというが、文書管理ができない独裁者は効率が悪い

**デフォルトの名無しさん** · 2018/06/15(金) 22:13:49.24

>>445
放射性物質と間違えてないか？

**デフォルトの名無しさん** · 2018/06/15(金) 22:24:16.62

>>447
「放射能漏れ (放射性物質が意図せず外部に流出すること)」など、
放射能という言葉で放射性物質を意味することが我が国では頻繁にある

**デフォルトの名無しさん** · 2018/06/15(金) 22:29:57.45

>>448
なんと！
日本語審査会で審議しないといけないな。

**デフォルトの名無しさん** · 2018/06/15(金) 22:31:43.92

放射能とは放射線を発する能力のことだよな。
それなのに、放射性物質漏れを放射能漏れと言うとは、原発村は朝鮮部落じゃないのか？
日本語全然ダメじゃないか。

**デフォルトの名無しさん** · 2018/06/15(金) 22:56:31.11

class 物質 {
　　放射能 : Double

　　onRecv(r: 放射線) {
　　　　var a = is放射性物質()
　　　　放射能 += calc(this, 放射線)
　　　　if(a != is放射性物質()){ on放射化() }
　　}
　　on放射化(){
　　}
　　is放射性物質(){
　　　　return 0 < 放射能
　　}
　　onTick() : 放射線 {
　　　　return 放射性崩壊()
　　}
}

**デフォルトの名無しさん** · 2018/06/15(金) 22:57:24.63

もっと関数型みたいに言ってよ

**デフォルトの名無しさん** · 2018/06/15(金) 23:26:24.39

関数型なら放射能の基底値最低値みたいなものがあればモノイドやモナドに出来るはず

**デフォルトの名無しさん** · 2018/06/16(土) 00:22:45.39

開発のオッチャンが
ポンコツになって病んで
いつの間にか復帰したと思ってたら情シスに異動してて
クソみたいなノーパソのセッティングとかするだけのマシーンになってた

おまえらもいつかああなるんだな

**デフォルトの名無しさん** · 2018/06/16(土) 00:38:54.86

>>436
誰だよRFCをRCFと書いたバカは？
あ…俺か…
疲れてるんだよきっと…

**デフォルトの名無しさん** · 2018/06/16(土) 01:09:58.22

Rust Flied Chiken

**デフォルトの名無しさん** · 2018/06/16(土) 06:58:14.17

>>454
楽そうで良さそう

**デフォルトの名無しさん** · 2018/06/16(土) 07:05:02.10

関数型も注目された結果色々なエッセンスがそうでない多くの言語に取り込まれたけど依存型線形型は難しくて部分的な取り込まれ方もしなそうという気持ちがある
純粋に難しいのもあるし実務を見据えると煩雑すぎる

**デフォルトの名無しさん** · 2018/06/16(土) 07:57:54.56

型の話をするなら動的型と静的型に分ける
型の話をするならHaskellとTypeScriptは似たもの同士である

**デフォルトの名無しさん** · 2018/06/16(土) 08:49:47.24

TypeScriptみたいなド型とHaskellの型システムを一緒にしないでくれる？

**デフォルトの名無しさん** · 2018/06/16(土) 09:00:12.20

TypeScriptは構造的部分型
クラス定義の見た目が似ているだけで、Java系のド型とは実は概念的に全然違う

**デフォルトの名無しさん** · 2018/06/16(土) 09:30:23.46

型チェックと値チェックを一緒にするのは動的型なら簡単に思いつくこと
依存型が難しいというのは静的型が難しいだけのこと

**デフォルトの名無しさん** · 2018/06/16(土) 09:50:04.68

>>460
はいはいHaskellは至高至高。

**デフォルトの名無しさん** · 2018/06/16(土) 11:17:22.13

>>454
クソコード書いてメンテ不能状況作るよりかそっちのがよっぽど建設的だわ。

**デフォルトの名無しさん** · 2018/06/16(土) 11:35:20.13

逆に言うと、建設的なことをやらない理由は、やったら差別されるから
差別があるから非効率的になる

**デフォルトの名無しさん** · 2018/06/16(土) 11:42:05.87

ド型ﾜﾛﾋﾟｵ大草原パークwwwwwwwwwwwwwwwwwwwww

**デフォルトの名無しさん** · 2018/06/16(土) 11:43:12.41

>>465
たかしに
あんな惨めなポジで会社にしがみつくとか情けなさすぎて俺なら絶対できねえ

**デフォルトの名無しさん** · 2018/06/16(土) 11:59:56.47

>>462
静的に値チェックがカリーハワード同型対応の下で示せるのが依存型のうれしさなので動的型で簡単と言われてもそれは不完全性としか聞こえない

**デフォルトの名無しさん** · 2018/06/16(土) 12:51:53.05

PythonもHaskellも全部やれば完全になるのに
同型対応というなら少なくとも2つの具体例を比較する必要がある
1つでは足りない

**デフォルトの名無しさん** · 2018/06/16(土) 12:55:37.34

どうしてポンコツになったのか

**デフォルトの名無しさん** · 2018/06/16(土) 12:59:10.88

人間はねぇ簡単に壊れるんだよ。
そして壊れたらまず戻せない

**デフォルトの名無しさん** · 2018/06/16(土) 14:07:04.14

カリーハワード同型対応も知らないのに型を語るのかぁってなってる

**デフォルトの名無しさん** · 2018/06/16(土) 15:03:43.59

最近、依存型と線形型について勉強し始めたんだけど、
依存型と線形型の両方が使える言語ってATS2以外に何かある？

**デフォルトの名無しさん** · 2018/06/16(土) 15:09:40.70

なんのこれしき
なんの小錦

**デフォルトの名無しさん** · 2018/06/16(土) 15:17:18.76

>>473
idrisは？

**デフォルトの名無しさん** · 2018/06/16(土) 15:47:39.71

>>475
idrisって依存型はあるけど線形型もあるの？

依存型については何となく分かってきたんだけど、
線形型についてはまださっぱりなんだよね…
Rustの所有権とはまた違う概念なの？

**デフォルトの名無しさん** · 2018/06/16(土) 16:21:38.95

>>476
そのものはないけどuniquenessとborrowedがある
rustの所有権もその辺りに基づいてはいる
そのものはHaskellで提案されているくらいであとは自前実装しかないかなぁ

**デフォルトの名無しさん** · 2018/06/16(土) 17:37:25.12

>>477
勉強用なんで「そのもの」が欲しいんだよね
てか、ATS2の線形型はそのものだと思っていいんだよな…？
名前は線形型だけど実際には線形型擬きでしたじゃ勉強用としてちょっと…

**デフォルトの名無しさん** · 2018/06/16(土) 19:52:58.92

依存型いいよな。もっと広まって欲しいわ

**デフォルトの名無しさん** · 2018/06/16(土) 19:56:08.96

何言ってんのかまじでわからねー。
そんなの仕事で出てこないが、ほんとに使うのそれ？研究目的？

**デフォルトの名無しさん** · 2018/06/16(土) 20:06:37.58

依存型は全然ないから仕事で使いたくても使えない。悲しい

**デフォルトの名無しさん** · 2018/06/16(土) 20:15:19.03

>>478
ATS2はそのものと思って良いはず

**デフォルトの名無しさん** · 2018/06/16(土) 21:49:25.70

TS程度あれば十分だろ
TS以下はゴミだが
TS以上は学習コスト高い

**デフォルトの名無しさん** · 2018/06/16(土) 22:12:06.44

学習コスト云々言うんならJavaのオブジェクト指向も大概学習コスト高いと思うわ
正直モナドと同じくらいやろ（適当）
そんな学習コスト高いものも全力で教育すればなんとかドカタでも使えるようになるんだし、概念が広く知られて本さえ出れば次世代言語の中心概念になってても大丈夫だと思う

**デフォルトの名無しさん** · 2018/06/16(土) 22:30:32.27

>>482
Thanks!
じゃあ、やっぱりATS2で勉強するわ

>>480
現状じゃまだ研究の段階だろうね。5年後は分からんが…
とは言え、5年後でも使ってるのはほんの一部の企業だけだろうな…
日本語の書籍が大量に出回るようなレベルにならない限りはほとんどの企業はどうせ使わない

**デフォルトの名無しさん** · 2018/06/16(土) 23:47:44.87

そもそもやってるやつの目的が
やってないやつが多い概念のがマウント取れるってことだからな。
そりゃ流行らんわ

**デフォルトの名無しさん** · 2018/06/16(土) 23:59:04.83

なんやその目的
単純にコードの重複削って短くしたいだけやぞ

**デフォルトの名無しさん** · 2018/06/17(日) 00:04:06.00

で、短くかけるぜってどやりたいだけだろ。
だからなぜ短く書くことに意味があるのか少し考えてみろと思うわけだ。

**デフォルトの名無しさん** · 2018/06/17(日) 00:12:37.76

短く書けたらコード書き始めから書き終わりまでの時間が短くなるし、拡張が楽になる場合も多い

**デフォルトの名無しさん** · 2018/06/17(日) 00:16:24.79

依存型は短くするための機能というよりバグを減らすための機能だと思うが

**デフォルトの名無しさん** · 2018/06/17(日) 00:19:07.06

ID:4s/pndVSは依存型の話というより関数型とかの技法一般のこと話してると思うし……

**デフォルトの名無しさん** · 2018/06/17(日) 00:47:57.66

仮にマウント目的ならそれは生産というより消費
高級な車や時計を買うようなもの
そういうのは無意味だとして質素倹約を推奨する意見は大昔からある

**デフォルトの名無しさん** · 2018/06/17(日) 00:56:52.43

確かにmizchiみたいなのが鬱陶しいのはわかるけどさぁ
それと技術評価は切り離して考えないとだめでしょうよ

**デフォルトの名無しさん** · 2018/06/17(日) 01:02:17.83

2,30年位前もきっとオブジェクト指向なんて研究者のオモチャで
実務では必要ないって騒いでた奴がいたんだろうなぁ…

**デフォルトの名無しさん** · 2018/06/17(日) 01:25:47.44

間口は広くしてるけど、言語仕様的は可能でもやっちゃいけないことが多くて後々困るのがOOP

**デフォルトの名無しさん** · 2018/06/17(日) 03:11:46.16

効率にしろ何にしろ例え多少良くなるからと言って新しいもの作る時
その学習コストもそろそろ計算に入れてもらわないと困る
コード多少短く書けるからと言ってまた1からの学習コストもキツい、

**デフォルトの名無しさん** · 2018/06/17(日) 03:20:04.64

大丈夫。良いものはそのうち良書が出て学習コストは下がる
深層学習の学習コストが二年前と今で全然違うように。
学習コストを気にする人は新しい物に飛びつかないほうが良いよ。そのうち良い解説本が出るから

**デフォルトの名無しさん** · 2018/06/17(日) 08:05:48.87

依存型って何に使うのこれ
TSの文字リテラル型みたいなやつかね

**デフォルトの名無しさん** · 2018/06/17(日) 08:38:14.11

依存型をド型で例えるのやめれ