次世代言語9[Haskell Rust Kotlin TypeScript Dart]

**デフォルトの名無しさん** · 2018/03/06(火) 10:09:15.60

スレタイ以外の言語もok

前スレ
次世代言語Part8[Haskell Rust Kotlin TypeScript]
http://mevius.5ch.net/test/read.cgi/tech/1512137301/

**デフォルトの名無しさん** · 2018/03/25(日) 00:16:01.86

民主党→民進党のように名前をちょっと変えると爆発的に売れる場合もあるからな。

**デフォルトの名無しさん** · 2018/03/25(日) 00:18:17.39

>>591
保守性という観点で言えば、DRYさえ死守してれば後は些細な問題だと思うよ
HTMLに限った話じゃないけど

**デフォルトの名無しさん** · 2018/03/25(日) 00:30:12.26

htmlでdryを守とかそれが無理だっつーの

**デフォルトの名無しさん** · 2018/03/25(日) 00:41:53.53

OCamlに話すことあるか？

**デフォルトの名無しさん** · 2018/03/25(日) 00:55:24.67

>>594
収益に直結してないものはやりたい人がいなくなったらそれまでだからな

**デフォルトの名無しさん** · 2018/03/25(日) 01:20:58.23

>>602
全部グローバル変数で名前規則さえ死守してればいいとでも言うのか？

**デフォルトの名無しさん** · 2018/03/25(日) 07:18:41.27

>>604
Haskellと重複する部分についてDRYを死守する方法を話して

**デフォルトの名無しさん** · 2018/03/25(日) 08:01:39.02

http://www.stroustrup.com/JSF-AV-rules.pdf
ロッキード・マーティン F-35 Strike Fighter Air Vehicle 開発のためのC++コーディング・ガイドライン。
※URLでお分かりの通り禿が関わっています。

**デフォルトの名無しさん** · 2018/03/25(日) 14:46:57.32

>>601
立憲民主党と勘違いしてない？

**デフォルトの名無しさん** · 2018/03/25(日) 16:11:18.40

関数があるのにDRYに苦労する状況が分からん

**デフォルトの名無しさん** · 2018/03/25(日) 19:01:20.02

政治の話はNGで

**デフォルトの名無しさん** · 2018/03/25(日) 21:25:39.57

プログラム技術という観点では政治も経済も経営もNG

**デフォルトの名無しさん** · 2018/03/25(日) 22:55:03.56

政治では名前が長くなり始めると危険領域だよな。
○○民主主義自由独立解放戦線的な。
朝鮮民主主義人民共和国とか欲張りすぎな国もあるし。
予言しておくけど立憲民主党は時代とともに名前が長くなるぞ。

**デフォルトの名無しさん** · 2018/03/25(日) 22:56:11.12

日本も大日本帝国時代は危険領域だったんだろな。

**デフォルトの名無しさん** · 2018/03/25(日) 22:57:49.97

Googleのコーディングガイドラインは名前はいくら長くなっても良い、省略された名前はダメと述べているからな。
罠かもしれんな。

**デフォルトの名無しさん** · 2018/03/26(月) 00:02:29.61

悩ましいぞな

**デフォルトの名無しさん** · 2018/03/26(月) 00:05:05.18

つまりこう

for (int indexOfItemInArrayOfProxyInformation = 0; ; ++i) {
auto proxyInformation = arrayOfProxyInformation[indexOfItemInArrayOfProxyInfomation];
...

みたいな

**デフォルトの名無しさん** · 2018/03/26(月) 00:08:00.38

ofを使ったら負け

**デフォルトの名無しさん** · 2018/03/26(月) 00:10:58.12

でもインデックス複数あったら？

**デフォルトの名無しさん** · 2018/03/26(月) 00:23:51.81

ストアドよりインデックスのほうが早いよ。

**デフォルトの名無しさん** · 2018/03/26(月) 00:32:41.52

何でも極端に走っちゃいかん。
バランスは大事よ。

**デフォルトの名無しさん** · 2018/03/26(月) 00:35:46.73

getInfo なんてのは Android の api でも見かけるし
information を info と略するのはありなんだろうな
普通の会話でもしばしばそう略すし

他にもなにか例外があるかとAndroid ndk api リファレンス眺めたら
名前がどれもこれも長くて驚いたわ…特にenum

**デフォルトの名無しさん** · 2018/03/26(月) 01:21:09.02

理由がわからない命令に従うから暴走するんだな
長くする理由を知ってたら必要な長さ以上にはならないし
理解できないものは反対したり批判したりする習慣があれば暴走しない

**デフォルトの名無しさん** · 2018/03/26(月) 01:28:05.88

例えを出しただけなのに「理由がわからないなら反対しろ！」と言われましても…

**デフォルトの名無しさん** · 2018/03/26(月) 01:45:15.94

馬鹿らし過ぎる。。
関数切り出してスコープ切ればいいだけの話だろうに。
今時の言語ならネームスペースだって使えるだろうし、エイリアシングみたいなものも
ある。
てかそれもなければなんの略かのコメントでも付けてろよ。

**デフォルトの名無しさん** · 2018/03/26(月) 01:59:38.91

>>624
反対しろとは言ってないぞ
しかし単語の組み合わせを少し改竄するとそういう意味になる可能性はあるのか

だから短い単語を組み合わせるのをやめて長い固有名詞を一個だけ書くのか

**デフォルトの名無しさん** · 2018/03/26(月) 02:02:12.66

goだとどいつもこいつもクッソ短いんだけどな
google内でも派閥があると見える

**デフォルトの名無しさん** · 2018/03/26(月) 02:05:44.31

>>626
哲学とかも不要な誤解や意図した曲解を避けるために用語をどんどん定義していくよね

今回で言えば「合目的的」であれ、とかか。
でも非常に長い名前は必ずしも判りにくくは無いんだよねああして書いてみると。
見難いのが問題なだけであって。

**デフォルトの名無しさん** · 2018/03/26(月) 03:07:46.44

名前が無いものに分かりやすい名前を付けようとするとどうしてもそのまんまの名前になっちゃうんだよな
aにbを足してcをかけた数に「aにbを足してcをかけた数」という名前を付けたり

**デフォルトの名無しさん** · 2018/03/26(月) 04:27:44.25

C++11から日本語の識別子も使えるようになったんだよな。
ということは。

#define もしも if

もしも(0 < プロキシ情報の配列におけるアイテムの索引) {
　　・・・
}

**デフォルトの名無しさん** · 2018/03/26(月) 07:19:11.84

最近気が付いたのは、MSは情報を収集するためにちょっと踏み込んだことをしてるな。
Google的になったというか。
例えばMSが提供する一部のアプリケーションでは変換中の文字列について対象文節をわかりにくくするようになった。
これはつまり、単漢字変換のようなことをせず、一括変換してから間違えた部分を修正してほしいということだろう。
なぜそのようなことをするのか？
誤変換に関する統計情報が欲しいのだろう。

**デフォルトの名無しさん** · 2018/03/26(月) 07:21:37.08

もちろん、一括変換がうまく機能しないからこそユーザーは変換範囲を狭めて変換するのだし、誤変換情報が欲しいのは、変換が上手くいかないことがわかっているからだろう。
つまり、一部のソフトウェアは意図的にとても使いづらくなっている。

**デフォルトの名無しさん** · 2018/03/26(月) 08:36:23.04

つまり次世代言語とは日本語の事だった…!?

**デフォルトの名無しさん** · 2018/03/26(月) 08:48:45.88

いや中国語だろうけどさ。

**デフォルトの名無しさん** · 2018/03/26(月) 16:34:24.37

ブラックジョークかな？

**デフォルトの名無しさん** · 2018/03/26(月) 16:41:17.53

でもたしかにコードが中国語なら、短い変数名で意味が通るからコードはすっきりしそう

**デフォルトの名無しさん** · 2018/03/26(月) 16:52:27.07

C 風の文法なら名前が空白区切りで並ぶ必要あまり無いし、
名前の途中に空白を含めても良いという言語があっていい気がする

var indexOfProxy := 0;
var index of proxy := 0;

どっちが見やすいかな

**デフォルトの名無しさん** · 2018/03/26(月) 17:37:31.08

>>636
今の中国の字（簡体字）はよくわかりません

**デフォルトの名無しさん** · 2018/03/26(月) 18:56:27.15

謝謝茄子…

**デフォルトの名無しさん** · 2018/03/26(月) 19:33:26.92

>>637
勘弁して。こんな発想はエアプだけだろ。少なくともエディターとの連携がしづらいし。
そもそもどっからどこまでが予約語で変数かどうやって判断するの？

当然の帰着として変数名に予約語を含めることは絶対禁止ってことになるだろ。
想像しただけで死にたくなってきた。

**デフォルトの名無しさん** · 2018/03/26(月) 19:40:27.04

Fortranは空白無視するがな

**デフォルトの名無しさん** · 2018/03/26(月) 19:55:57.52

お前ホモかよお！？

**デフォルトの名無しさん** · 2018/03/27(火) 00:43:26.13

予約語は大文字だけ、変数名は小文字だけで書くとか…

VAR index of proxy := 0;

**デフォルトの名無しさん** · 2018/03/27(火) 00:56:02.73

そんな前時代的な……

**デフォルトの名無しさん** · 2018/03/27(火) 01:05:23.75

クソワロタｗｗｗ

**デフォルトの名無しさん** · 2018/03/27(火) 01:14:44.93

お前ら頭悪いなｗｗｗ
俺様が華麗に解決してやろう
ほらよ
var index%20of%20proxy := 0;

**デフォルトの名無しさん** · 2018/03/27(火) 02:14:32.56

どんどんバカになっていってる。

**デフォルトの名無しさん** · 2018/03/27(火) 02:49:05.89

>>646
読みにくいしこうしたらどうだろう？(名案)

var index_of_proxy := 0;

**デフォルトの名無しさん** · 2018/03/27(火) 11:11:55.54

バカなことを思いつくことは誰にでもあるが
それを宣伝して押し売りするか黙って廃棄するかの判断がおかしくなってるんだろう

**デフォルトの名無しさん** · 2018/03/27(火) 22:54:29.91

いわゆる全角スペース使うとか、とにかくコンパイラにスペースと思われない文字だが見た目がスペースのやつを使えばいいのでは？
Java なんかはそれでなんとかなっちゃうよな。

**デフォルトの名無しさん** · 2018/03/27(火) 22:59:22.15

職場で本気でそんなことしだしたら俺は怒るよ。

**デフォルトの名無しさん** · 2018/03/27(火) 23:16:27.79

DDDとかだとDSLを作るって言うけど
それって変数名とかメソッド名に日本語を許容するってこともありえんのかな？

**デフォルトの名無しさん** · 2018/03/27(火) 23:35:51.57

最近の言語って識別子に日本語使えるの増えたよな。まあ日本語っていうかUnicodeなんだけど。

**デフォルトの名無しさん** · 2018/03/28(水) 05:56:44.07

絵文字を駆使したハンガリアン記法時代の幕開けだ

**デフォルトの名無しさん** · 2018/03/28(水) 07:22:48.81

ようやく時代がSmalltalk-72に追いついたかｗ
https://pbs.twimg.com/media/DDhrUoSXkAAtvJO?format=jpg

**デフォルトの名無しさん** · 2018/03/28(水) 10:43:26.92

時代を先取りしすぎるのも考え物

**デフォルトの名無しさん** · 2018/03/28(水) 10:45:01.89

APL…

**デフォルトの名無しさん** · 2018/03/28(水) 10:53:19.54

正直APLは今なら流行ると思う

**デフォルトの名無しさん** · 2018/03/28(水) 10:55:53.02

統計とか各種データの集計に良さそうだもんな

**655** · 2018/03/28(水) 11:29:22.55

>>657
たしかにそうなんですが…APLの方は記号を読みやすくするために用いているように思えなかったので…

ピタッとはまれば驚愕の短さで書けますけどね

例：　Conway's Game Of Life in APL
https://www.youtube.com/watch?v=a9xAKttWgP4

**デフォルトの名無しさん** · 2018/03/28(水) 16:41:04.69

>>654
むしろ文字使用禁止な言語
（コーディングルールじゃなく言語仕様でemojiと記号を強制）
次世代言語感がいっぱいｗ

**デフォルトの名無しさん** · 2018/03/28(水) 17:21:22.86

そういう次世代感か…
文法エラーにも優しくどう書いても何らかの動作をすることが望ましいな。
「プログラマになろう」というサイトを開いてみるか

**デフォルトの名無しさん** · 2018/03/28(水) 22:26:11.70

チューリング完全になろう系じゃないか
C++とHaskellの親戚みたいな言語がいっぱいだぞ

**デフォルトの名無しさん** · 2018/03/28(水) 23:09:42.27

C++とHaskell の親戚ってなんだ

**デフォルトの名無しさん** · 2018/03/29(木) 02:16:30.07

テンプレ(異世界転生or転移、チート、ハーレムあり)小説が量産されるみたいなノリで
テンプレ(手続き型or関数型、型推論あり)言語が量産されるわけか

その傾向はあるよね

**デフォルトの名無しさん** · 2018/03/29(木) 02:37:14.12

Fortranのサブルーチンみたいな感じで副作用は全部intent(out)の引数にのみ許すことで実質純粋手続きみたいな言語って他にある？

**デフォルトの名無しさん** · 2018/03/29(木) 07:56:15.41

COBOLとかPLIとか汎用機時代の主役はだいたいそうでしょ
まさかCOBOLプログラミングは全部グローバル変数でデータのやり取りをするみたいな話を真に受けてる？
そんなの汎用機全盛時代の超規模開発において一山いくらのPG達に管理しきれるわけないだろ
コンパイル単位を分割して、サブプログラムに明示的に構造体の参照を渡す形でリンクするか、別の実行ファイルにして間に一時ファイルを挟むんだよ
Cがヘッダのincludeを覚えてしまったことで業界がダークサイドに堕ちたけど、昔のプログラムは今よりずっと疎結合で単体テストしやすかったんだよ

**デフォルトの名無しさん** · 2018/03/29(木) 08:11:58.91

グローバル変数を使うのはパソコンのbasicの時代ではないか
プロがどんな美しいコードを書こうが
ネットで検索できるオープンソース以外は知ったことではない

**デフォルトの名無しさん** · 2018/03/29(木) 08:13:12.45

以前の俺含め今時は一時ファイルなんかダサいAPIやメッセージキューにしろなどと抜かす人が多いけど、汎用機を経験するとみんなバッチ信者になるよ
単体テストしやすく、開発規模面でもパフォーマンスス面でもスケーラブルで、運用も容易
汎用機のバッチ処理の設計は現代のプログラマ全員が学ぶべき素晴らしい技術

**デフォルトの名無しさん** · 2018/03/29(木) 08:25:29.74

ダサいというのは建前で、JITコンパイラ言語でそれをやりたくないのが本音ではないか

**デフォルトの名無しさん** · 2018/03/29(木) 08:28:00.50

Linux でも良くやってるぞ

**デフォルトの名無しさん** · 2018/03/29(木) 09:11:24.31

>>669
モックライブラリがこんなに発達してるのに何言ってんだ

**デフォルトの名無しさん** · 2018/03/29(木) 09:27:39.99

>>672
バッチならファイル作って放り込むだけやぞ
結合状態でのリグレッションテストとかもdiff取るだけだし

**デフォルトの名無しさん** · 2018/03/29(木) 10:09:08.49

バッチ処理で何してんの？
システム運用中に流せるもの？
停止してから流すとしたら、想定時間内に終わらないように作んないといけなかったりするんじゃないの？

**デフォルトの名無しさん** · 2018/03/29(木) 10:18:06.32

>>673
モックならインスタンス作って放り込むだけやぞ
結合状態でのリグレッションテストとかも状態比較するだけだし

**デフォルトの名無しさん** · 2018/03/29(木) 10:48:51.83

>>675
結果が意図しないものになってるときにどうやって途中経過を調べるの？
バッチならファイル見れば一発だけど、全サービスクラスにログ出力入れるの？

**デフォルトの名無しさん** · 2018/03/29(木) 11:16:09.01

>>676
ログ出力も何もオブジェクトのスナップショットとって状態比較するだけ
てか、結合テストで途中結果見てる時点で、それモジュールテストだろっていう

**デフォルトの名無しさん** · 2018/03/29(木) 11:18:13.25

結合テストでは通常おのおののモジュールが期待した結果を出力することを前提に振る舞いテストのみを行うだろ？
結果の比較なんかしてる時点で、考え方がズレてる

**デフォルトの名無しさん** · 2018/03/29(木) 11:26:16.78

てか>>674も書いてるけど、バッチ処理なんて前提条件厳しすぎるし、障害対応もめちゃくちゃ大変だろ
今どき、そんなシステムどんな業種で開発するんだ

**デフォルトの名無しさん** · 2018/03/29(木) 16:52:27.07

>>666
純粋手続きってのがわからん。
引数にin outだったらadaも付けれるぞ。

**デフォルトの名無しさん** · 2018/03/29(木) 17:13:18.86

>>680
Fortranのpure subroutineのことや。まんま訳して純粋手続きって書いたけど、分かりにくいなら以後pure subroutineって書くわ

**デフォルトの名無しさん** · 2018/03/29(木) 17:55:25.23

>>680
Fortran等の昔の言語には、サブルーチンと関数の区別があって
サブルーチンは副作用あり、関数は副作用なしって使い分けがあったんだよ
(その区別はAdaにもあったんだが、2012年の改定で関数もoutパラメータを持てるようになってしまった)

**デフォルトの名無しさん** · 2018/03/29(木) 17:57:17.44

>>682
intent(out)さえつけといたらsubroutineにもpure修飾子をつけれることを俺は>>666で言ったの

**デフォルトの名無しさん** · 2018/03/29(木) 18:04:24.92

>>683
あーすまん、話の流れを追いきれてなかった

**デフォルトの名無しさん** · 2018/03/29(木) 18:42:15.80

言ったのと言いつつ言ったつもりになってただけだわ。謝られるとこっちが申し訳ない

**680** · 2018/03/29(木) 22:25:28.48

>>682
なるほどわかりやすい説明サンクス。

**デフォルトの名無しさん** · 2018/03/29(木) 23:19:00.18

元々の問いに対する答えは持ってないけど、そもそも
引数に明示するのは返却値の代入と同じで副作用でも何でも無いような。

**デフォルトの名無しさん** · 2018/03/30(金) 00:38:00.59

そういう、単に複数の値を返したい(outパラメータを使いたい)からというだけで
関数ではなくてサブルーチンになっている物に対して、副作用がないことを明示できるのが
Fortranのpure、という話だろう
今時なら普通にタプル返すだけだけど

**デフォルトの名無しさん** · 2018/03/30(金) 01:00:29.06

>>688
そうそうそれそれ。汲み取ってくれてありがとう
タプルで返すのもいいんだけど、大きなベクトルとか行列とかは返り値として返そうとすると確保やらコピーやらのコストがかかっちゃうから、サブルーチンって結構いいと思うんだよね

**デフォルトの名無しさん** · 2018/03/30(金) 03:17:21.13

でかい配列を返すとして、オブジェクトを複製せずポインター返しておしまいという言語も多いし

**デフォルトの名無しさん** · 2018/03/30(金) 12:08:24.66

それのオーバーヘッドがどの程度のものなのかよく分からんで不気味に感じるんだよな。俺が勉強不足なだけかな

**デフォルトの名無しさん** · 2018/03/30(金) 21:17:44.20

ベンチマーク取ればいいだけじゃん

**デフォルトの名無しさん** · 2018/03/30(金) 21:25:37.94

まあ実際そこそこオーバーヘッドあるんだけどね

**デフォルトの名無しさん** · 2018/03/30(金) 21:34:29.21

ベンチマークとれ
テストコードかけ
は若手にいうと凄まじく煙たがれるなw

**デフォルトの名無しさん** · 2018/03/30(金) 21:37:02.92

毎回毎回 (N)RVO が効くかなと頭使ったりプロファイル計測したりするより
可能なら out パラメータにしたくなるよな

string だけは何故か気軽に戻り値にしてしまうが

**デフォルトの名無しさん** · 2018/03/30(金) 21:53:34.74

なるほど。
値型ローカル変数でスタックを確保する事が意味論的に決まってると、
返却値でコピー回避は難しいですね。
Nimでresultが予約変数になってるのも不思議だったけど、外部で確保した
領域を直接割り当てられる、みたいな理由だったりするのかな。

**デフォルトの名無しさん** · 2018/03/30(金) 22:05:59.64

c++ の場合 RVO (return value optimization) が最高に効けば

string f() { return string(“123”); }
は
void f(void * retval) { new (retval) (“123);}
のように戻り値を呼び出し側が渡した領域に直接コンストラクトするから、

void f(string &s) { s = “123”; }
よりも高速になる可能性がかなりあるんだよね
vectorでもなんでも同じだけど

どうでもいいか

**デフォルトの名無しさん** · 2018/03/30(金) 22:50:08.41

C++ならplacement newを使う手もありそうだが実際に使いこなせる気がしない

**デフォルトの名無しさん** · 2018/03/30(金) 22:51:45.23

どうでもいいな。
そこまで速度欲しいなら他にもっと直接的なやり方がいくらでもあるだろうに。

**デフォルトの名無しさん** · 2018/03/30(金) 22:53:37.54

そんな細かいことで速くなるような状況ならインライン展開されるだろ