次世代言語18 Go Rust Elixir Kotlin TypeScript

**デフォルトの名無しさん** · 2019/10/01(火) 02:58:03.93

スレタイ以外の言語もok

前スレ
次世代言語17 Go Rust Kotlin TypeScript Julia
https://mevius.5ch.net/test/read.cgi/tech/1567602619/

**デフォルトの名無しさん** · 2020/02/22(土) 21:15:42.06

>>425
> 3に1を足して4なんて煩わしいこと

off位置からlen個取りたい → off..<(off+len)
"key=value"からkeyを切り出したい → 0..<(=の位置)

閉区間では1を引くなんて煩わしいことが必要とも言える
使い易さの例がマジックナンバーなのはナンセンスでは？

非対称な構文にすべきという点には異論無いけど
それ以外の部分は、君がそう思っているという以外に根拠が無いように見える

**デフォルトの名無しさん** · 2020/02/22(土) 22:31:04.26

>>429
範囲をマジックナンバーで指定したい場面は多い。

閉区間にするため1を引く計算は日常的に染みついているから、煩わしいと思わない。
例えば、2月22日から5日間は、22 + 5 - 1 = 26だから26日までと理解する。
変数で書く場合も、off..<(off + len)よりoff..(off + len - 1)の方が最小値と
最大値が両方明示されていて分かりやすいと思うが、人によって違うだろうし、
半開区間の方が4文字短いので、好みに応じて選べるようにするのが良い。
offを二度書かずに済む構文off+..(len - 1)とoff+..<lenがあるともっと良い。

**デフォルトの名無しさん** · 2020/02/22(土) 22:34:01.56

>閉区間にするため1を引く計算は日常的に染みついているから、煩わしいと思わない。

他の人は半開区間もすぐに染みつくから問題ないのよ。

**デフォルトの名無しさん** · 2020/02/22(土) 23:19:17.03

>>399
無いなら作れば良い。
そう。Haskellならね。

組込のindexえんざんし(!!)だとこう

[1..3]!!0
>1

んで、1で始まるindex演算子が欲しければ作る。

(x:_) !!! 1 = x
(_:xs) !!! n = xs !!! (n - 1)

[1..3]!!!1
>1

**デフォルトの名無しさん** · 2020/02/22(土) 23:41:19.49

な、なんだってー!!!!

**デフォルトの名無しさん** · 2020/02/22(土) 23:46:03.57

そんなとこでつまづく様じゃどのみちまともにプログラムできる様にはならんだろ

**デフォルトの名無しさん** · 2020/02/22(土) 23:49:32.86

>>432
今のところこいつが一番頭悪そう

**デフォルトの名無しさん** · 2020/02/22(土) 23:54:59.87

>>430
ではその期間にログインした人をログイン日時から絞り込むとする

　　2月22日 <= ログイン日時 <= 2月26日

仕様の具体例として上記を書くのは不具合のリスクがある

　　2月22日 <= 日単位切り捨て(ログイン日時) <= 2月26日
　　のように精度を揃える切り捨てを明示するか

　　2月22日0時0分 <= ログイン日時 < (2月26日0時0分 + 1日間)
　　のように半開区間にすべき

このような操作が必要なのは、2月22日から2月26日という表現は
実際には「2月22日から2月26日終日」という暗黙の非対称性があるため

**デフォルトの名無しさん** · 2020/02/22(土) 23:55:16.88

>>432
Haskellでは範囲を指定してリストを作るときの範囲は閉区間だな。
だから、スライス風演算子!..!を定義すれば、

Prelude> xs !..! ys = map (xs !!) ys
Prelude> [1..10] !..! [1..4]
[2, 3, 4, 5]

となる。

Haskellは言語仕様は難解で有名だが、標準インストールでREPLが提供され、
ソースファイルをいちいち作らずにいろいろ試せて便利だな。C#とF#も
コンパイラ言語だがREPLがある。GoにもREPLが欲しい。Goreという
REPLもどきを作った人はいるが、もどきなので遅くて使い物にならない。
純正で本物のREPLを提供してもらいたい。

**デフォルトの名無しさん** · 2020/02/22(土) 23:57:09.96

>>430
一方で時間は「昼休みは12:00～13:00の1時間」のような半開区間の表現と
12:00～12:59のような閉区間の表現がある (秒以下もあるので中途半端だが)
ググった限りでは前者の方が一般的に見える

行程表などでの分割では 12:00～12:30, 12:30～13:00 のようになる

これは君が「特殊な場合」と言ったものの実例
整数区間の日付と実数区間の時刻

**デフォルトの名無しさん** · 2020/02/23(日) 00:43:44.71

配列が1から始まるウンコさに比べたら
こんなもん誤差ですよ

**デフォルトの名無しさん** · 2020/02/23(日) 01:27:08.73

おじさんてほんと豆知識自慢好きだよな

**デフォルトの名無しさん** · 2020/02/23(日) 01:52:12.77

>>439
配列が1から始まったら何か不都合がありますか?

**デフォルトの名無しさん** · 2020/02/23(日) 06:56:02.42

numpyとか
数値計算専用ライブラが
充実してて使いやすればいいだけの話。
言語ネイティブのシンタックスで
そこまでサポートしなくてもいいし、
どうでもいい。

**デフォルトの名無しさん** · 2020/02/23(日) 07:02:30.87

しかしよく考えたら
if(0 < x < 10)
くらいの比較演算は確かにあったら便利だよな
なんでこれができる言語はないのか。
もしくはbetweenとか
誤解を招くような記法を使うのではなく、
普通の不等号で挟めるのが一番わかりやすいな。

**デフォルトの名無しさん** · 2020/02/23(日) 08:28:32.81

一発目でboolが出てこない特別ルールを構文解析器に埋め込まなきゃなんないからな

**デフォルトの名無しさん** · 2020/02/23(日) 08:52:16.70

>>441
配列が2から始まったら何か不都合がありますか?

**デフォルトの名無しさん** · 2020/02/23(日) 08:53:35.92

if (0 < x && x < 10) と書くのと比べてもそこまで便利だとも思えん

**デフォルトの名無しさん** · 2020/02/23(日) 09:02:51.71

>>443
Icon言語ってのがあるよ。

**デフォルトの名無しさん** · 2020/02/23(日) 09:55:59.93

>>443
Juliaの話してます？

**デフォルトの名無しさん** · 2020/02/23(日) 10:09:37.75

こんなしょーもないことでグダグダ文句言うくらいなら本人だけがjuliaでも使ってりゃいいんだよ。
こういう馬鹿に限って人に自分の感覚を強制しようとする。

**デフォルトの名無しさん** · 2020/02/23(日) 10:48:37.88

>>415
_*:;を多用する言語が目に悪くてイラッとする

**デフォルトの名無しさん** · 2020/02/23(日) 11:19:19.18

これ自分の「正しさ」を人に押しつけるパターンではないな
狼少年は自分の言葉が正しくないと知りながら人に教える
動機は、例えば何かの記憶を消すためにでたらめなデータで上書きするとか

**デフォルトの名無しさん** · 2020/02/23(日) 12:03:38.48

>>443
Pythonかな

**デフォルトの名無しさん** · 2020/02/23(日) 14:48:30.91

>>444
3項演算子にすればいいだけ

**デフォルトの名無しさん** · 2020/02/23(日) 15:28:27.91

そういうことじゃなくて、0<x<10 の 0<x の部分と単体の 0<x では異なる評価をしないとならないということ。
モナドみたいな形で解決できるかもしれないが。

**デフォルトの名無しさん** · 2020/02/23(日) 21:19:41.25

>>438
「○～○」や「○から○まで」という表現は閉区間だよ。13時ちょうどは次の閉区間と
重複し、昼休みであると同時に昼休みではないことになり、厳密に言えばおかしいが、
13時とそれより0.01秒前または後との違いなんて日常感覚では知覚できないから、
このような表現でも問題なく通用している。

秒を小数で表示すれば実数になるが、（連想配列でない）配列の添字は整数しか
ないから、実数を持ち出すのはそれこそナンセンス。実数は数直線上の点だが、
整数は番号が付けられた桝目として捉えられる。配列は下図のようなメモリ格納
イメージだから、

０１２３４５
□■■■□□

黒く塗られた部分をスライスとして指定したければ、その部分の最初と最後の番号を
使ってa[1:3]と書くのが分かりやすく間違えにくい。Excelのセル番地の範囲を
指定するのに閉区間でA1:B3と書き、半開区間でA1:<C4とは書かないのと同じ。

>>441
PowerShell, Python, Rubyのように配列の添字が負の整数-iのとき最後からi番目の
要素を指す仕様の言語では、正の整数iのとき最初からi番目の要素を指す仕様（つまり
添字が1始まり）にする方が整合性が取れて分かりやすいな（実際には0始まり）。

**デフォルトの名無しさん** · 2020/02/23(日) 22:23:06.83

>>455
> 配列の添字は整数しかないから、実数を持ち出すのはそれこそナンセンス
区間という概念が配列にしか使われないとでも？

> 13時ちょうどは次の閉区間と重複し、昼休みであると同時に昼休みではない
時間帯毎の集計程度の処理で容易に不具合出しそう

**デフォルトの名無しさん** · 2020/02/23(日) 23:26:10.61

グラフィック処理でのピクセル座標系とグリッド座標系の違いの方が似てるかな。
昔は直感的なピクセル座標系も使われていたけど、グリッド座標系の方が合理的だということが理解されて
今じゃそっちが主流だな。

**デフォルトの名無しさん** · 2020/02/23(日) 23:33:16.75

よくわかんない
ドラゴンボでたとえて

**デフォルトの名無しさん** · 2020/02/24(月) 00:07:37.86

馬鹿が馬鹿なことを言ってるだけだわ。
電流が本当は負の方向にながれててもそのまま正負は変えてないってことの意味を少しは理解しろ。

**デフォルトの名無しさん** · 2020/02/24(月) 00:11:25.85

つまり？

**デフォルトの名無しさん** · 2020/02/24(月) 00:16:26.23

>>460
閉区間に合わせろやと言ってるバカは無視していいってこと。

**デフォルトの名無しさん** · 2020/02/24(月) 00:28:58.12

>>461
ドラゴンボでたとえて！

**デフォルトの名無しさん** · 2020/02/24(月) 11:16:49.98

添字が実数の場合は左辺値という概念がなくなるだろうから
[]演算子は意味のない仕様だよ
()演算子だけでいい

**デフォルトの名無しさん** · 2020/02/24(月) 11:37:27.76

だからドラゴンボではなしてってゆってるでしょ！

**デフォルトの名無しさん** · 2020/02/24(月) 12:23:33.10

ドラゴボじゃだめなの？

**デフォルトの名無しさん** · 2020/02/24(月) 12:28:55.87

ドラゴンボです！

**デフォルトの名無しさん** · 2020/02/24(月) 13:49:03.80

これが面白いと思ってるんだろうな。。かわいそうに。

**デフォルトの名無しさん** · 2020/02/24(月) 15:48:18.28

クソﾜﾛﾀwwwwwwwwwwwwwwwwww

**デフォルトの名無しさん** · 2020/02/24(月) 16:06:14.97

長編すぎて売れすぎた作品で笑った記憶ある？
お笑いは意味のない芸だよ

**デフォルトの名無しさん** · 2020/02/24(月) 17:54:18.52

三国志で張飛が「ぐわっ」の一言で死んだ時わろた

**デフォルトの名無しさん** · 2020/02/24(月) 18:06:27.88

あまりに社会に都合がわるい真実なので隠蔽されているが
笑いは基本的には嘲笑であり相手との社会的距離による
自分の地位向上が見込めそうなとき笑いが出る

自分と近しい人だとちょっとした失敗のとき笑う、ケガとかは後で自分に面倒がくるから笑えない
自分と距離がすごくある、究極的にはフィクションだと指でつつかれて頭が吹っ飛ぶのに大笑いできるわけだ

愚かさをアピールして反射的な笑いを取る方法だと
長期になるとそいつが愚かなのはわかりきってるので笑えなくなる

状況が思いもしない方向に転換するようなときは長編でも笑える

**デフォルトの名無しさん** · 2020/02/24(月) 19:55:05.44

>>461
範囲指定（スライスに限らない）が閉区間だけの言語
Fortran, F#, Haskell, Julia, MATLAB, Octave, Pascal, PowerShell, R, S, Scilab

どう見ても使用者の平均的な知能は半開区間だけの言語より高そうだなw

蛇に唆され禁断の果実を食べ「知恵」を得たが、「知恵」と呼べるほどのものでは
なかった。代償として産みの苦しみが増し、苦労して食物を収穫し、死んで塵に
帰らなければならなくなった――

Pythonに後続し半開区間だけにしたGoは、非合理で書きにくい記法を甘受しなければ
いけない、>>2の表現を借りるなら「イケてない労働者言語」か…　その地位を
否定したいなら、改悛して閉区間も取り入れ、Pythonを駆逐してもらいたい。

**デフォルトの名無しさん** · 2020/02/24(月) 20:11:23.36

>>472
だからその使用者の平均的な知能が高そうな言語をおまえは使ってたらええやん。
そんなことも通じない人の知能が高いとはとても思えないけれど。

**デフォルトの名無しさん** · 2020/02/24(月) 20:13:54.96

>>471
生きるの大変そう

**デフォルトの名無しさん** · 2020/02/24(月) 21:42:39.58

>>473
Pythonは何から何までキモくてただ絶滅を願うのみだが、Goは基本的には
良い言語だから、直すべき所は直して、より使いやすい言語になってもらいたい。
教祖様の決定はすべて正しいので信者は黙って従えという言語ではない（Swiftは
C系列の新言語の中では良くできていると思うが）から、不満点があれば改善を
求めて構わない。

>>428にあるGoの巨大数パッケージについてはどう思う? あんな煩雑な書き方で
満足できる? C#のようにすっきり書けるようになってもらいたくないか?

**デフォルトの名無しさん** · 2020/02/24(月) 22:40:17.58

じゃあC#つかって巨大数の計算してりゃええよ。
なんで無理にどの言語も同一的にしようとするのか？愚かとしか言いようがない。
お前が挙げてる下の言語にgoに近くなるように言ったらええわ。
Fortran, F#, Haskell, Julia, MATLAB, Octave, Pascal, PowerShell, R, S, Scilab
賢い人ばっかならそっちのが意見きいてくれるだろｗ

**デフォルトの名無しさん** · 2020/02/24(月) 22:45:23.33

1始まりの閉区間これ最強ﾏｼﾞお勧め

1. nが符号付整数でも
for (n = 100; n >= 1; n--) { ... }
　が有限ステップで止まる

2. nで表せる上限が65535のとき
　for (n = 1; n < 65535; n++) { ... } より
　for (n = 1; n <= 65535; n++) { ...

**デフォルトの名無しさん** · 2020/02/24(月) 22:45:56.20

>>475
求めるのは構わないがそれに対する反対もまた正当

言語設計者/コアメンバの判断やコミュニティで賛成多数かなどで決まるだろうが
不要な追加は改悪になりうるので説得出来ないなら現状維持が優先される

自分の好みや引き合いに出した言語の使用者の知能が高そうという話で
より多数の使用者を抱える言語の仕様を変えられると考えるのは無理がある

**デフォルトの名無しさん** · 2020/02/24(月) 22:48:33.53

>>475
C#のように半開区間で指定できるんだからいいじゃん

**デフォルトの名無しさん** · 2020/02/24(月) 23:18:53.55

>>478
後方互換性がない改版はむやみにすべきではないが、不合理な点をいつまでも
引きずるのも良くない。PythonやRubyは後方互換性がない改版を敢行した。

範囲を半開区間でしか指定できずそれをa[1:4]のように書くのは、for文で言えば
for (i = 1; i <= 3; i++) を禁止し、for (i = 1; i < 4; i++) しか許さず、
しかもそれをfor i = 1 to 4と書けと言っているような滅茶苦茶な仕様。

>>479
C#のスライスの歴史は浅く、2019年9月のC#8.0で採用されたばかり。同じ.NET系で
スライスを既に持っていたF#とPowerShellに合わせて閉区間にすべきだったな。
もちろん、a[1..<4]で半開区間を表し、それをF#とPowerShellにも導入するのは
一向に構わない。

**デフォルトの名無しさん** · 2020/02/24(月) 23:36:38.08

>>472
数学よりの用途が比較的多い言語が並んでて興味深いな

**デフォルトの名無しさん** · 2020/02/24(月) 23:38:10.64

>>480
滅茶苦茶な仕様とやらは閉区間だけの言語には言わないのか？

専用の演算子が用意されていないことを禁止と言い換えるあたりもズレているし
それともそういう動作の関数すら自分で実装出来ないのか

自分の主観を中心にしすぎだ
だから好きな言語を使えという話になる

**デフォルトの名無しさん** · 2020/02/25(火) 00:00:00.40

>>482
閉区間だけなのは滅茶苦茶ではない。forループで言えば、Basic, Fortran, Pascalなどは
for i = 1 to 3のような書式しかなく、それでi = 1, 2, 3を網羅する。半開区間にしたければ
whileループを使う。

演算子を使えばすっきり書けるのに、何で>>428の巨大数演算みたいに関数でゴテゴテ
書かなければいけないのか。おまけに関数も自分で実装しなければならないなんて、
それこそ他の言語を使った方が良い。

**デフォルトの名無しさん** · 2020/02/25(火) 01:06:59.95

ドラゴンボに喩えられない無能ども

**デフォルトの名無しさん** · 2020/02/25(火) 02:54:50.77

そんなに閉区間がいいならa.slice(1,3)とか作ればええやん・・・
と思ったが

Goはnon-localな型を直接拡張できないから
自前でラッパーを定義しないとa.slice(1,3)は無理

じゃslice(a, 1, 3)でもいいかって考えるけど
ジェネリックがないから要素の型ごとに関数定義が必要・・・
じゃマクロでコード生成すればいい・・・・・ってマクロもない

詰んどるやんけ
もうa[ｍ:n+1]でええわってなる

**デフォルトの名無しさん** · 2020/02/25(火) 03:52:13.55

Go ていつもそんな感じだよなwww
言語内で出来る範囲で済んでるうちはまあまあ快適だけど
いざ「これさぁ・・何度も同じパターンでてくるからなんかうまく
楽するやりかた考えられんもんかな」ってはじめると
あーージェネリックないから全部書かないといけないのか面倒くせぇ・・
じゃマクロ・・はないのか・・じゃあどうすれば・・
えええいもういいやベタでシコシコ書こう、ってなりがち
でそういうグチ言うとジェネレーター使えとかいわれるけどあんな
ウンコみたいな機構に頼らないといけない時点でクソすぎるわ

**デフォルトの名無しさん** · 2020/02/25(火) 07:30:56.44

Ｇｏは楽をするための言語ではない
確実に書くための言語なのだよ

**デフォルトの名無しさん** · 2020/02/25(火) 09:14:21.30

>>486
まともなビルドシステムも作れないようなお前がうんこなんだよ

**デフォルトの名無しさん** · 2020/02/25(火) 14:22:44.48

goは確実に書くための言語ではない
仕事を増やすための言語なのだよ

**デフォルトの名無しさん** · 2020/02/25(火) 19:15:23.89

新言語覚えただけで仕事した気になるガイジ
俺みたいな優秀なビジネスマンから見たら同じことしてるだけで偉そうにしてるゴミ

**デフォルトの名無しさん** · 2020/02/25(火) 21:30:57.62

おまえは優秀なんだろうな
何がしたいのかわからんアホのために
仕事をし、結論をだし、さらにはその意味付けまで考え出す

馬鹿がトップにいても優秀に見えるようにふるまえる

おれはそんなに優秀じゃない
心が死ぬ

**デフォルトの名無しさん** · 2020/02/25(火) 21:40:22.90

雑談スレじゃないじゃねーか
赤っ恥かいた
もう来ない

**デフォルトの名無しさん** · 2020/02/26(水) 19:03:12.30

RustもPythonないとビルドできないクソ言語。
しかも2.7系。依存が深すぎて3系にアップグレードできないｗ

**デフォルトの名無しさん** · 2020/02/26(水) 19:07:45.10

>>493
マジンゴーZ？？
２０２０年でサポートおわりやん
ウンコマンﾌﾞﾘｯﾁｮか？

**デフォルトの名無しさん** · 2020/02/26(水) 21:17:35.91

IBMがSwift開発を終了 - Chris Bailey氏とのQ&A
https://www.infoq.com/jp/news/2020/02/ibm-stop-work-swift-server/

IBMは先頃、サーバサイドSwiftの開発を中止した。これはSwiftがオープンソース化して間もなく開始されたもので、Swift Server Worl Griup[SSWG]のリーダシップも同時に譲渡されている。

GoとRust、そしてSwiftは、型安全でコンパイル可能なネイティブ言語として、CおよびC++の代替となる"現代的ネイティブ言語"としてグループ分けされることが少なくありません。

GoはKubernetesのようなクラウドテクノロジのコアインフラストラクチャや、CLIの開発などに使われるシステム言語として、真の得意分野を見つけることに成功しました。
Rustはまだ展開すべき場所を模索している段階ですが、Web Assemblyによって大きな関心を集めるようになっています。
Swiftが採用曲線において遅れを取っていることは否めない事実です。

**デフォルトの名無しさん** · 2020/02/26(水) 22:47:29.71

TypeScriptは高カインド型作れないのを早くなんとかしてくれ
インターフェース使って無理やり実現するハックもあるけど、ポリモーフィックな関数のUnionをちゃんと単一化できないあたり雑魚いなあという印象

**デフォルトの名無しさん** · 2020/02/26(水) 23:00:43.71

高カインド型

**デフォルトの名無しさん** · 2020/02/26(水) 23:01:04.23

高力　インド型

**デフォルトの名無しさん** · 2020/02/26(水) 23:25:33.17

const people: Namasute = new Indo()
people.eat(curry).yogaFire()

こんな感じか？

**デフォルトの名無しさん** · 2020/02/27(木) 00:26:44.33

カリー化か

**デフォルトの名無しさん** · 2020/02/27(木) 01:14:55.96

高カインド型言いたかっただけだろこの馬鹿は。

**デフォルトの名無しさん** · 2020/02/27(木) 09:21:04.85

低知パキスタン型と戦わせよう

**デフォルトの名無しさん** · 2020/02/27(木) 12:48:26.71

$j = new Jap(colonaUirus)
$j.touhyo(jimin) === gaiji // true

**デフォルトの名無しさん** · 2020/02/27(木) 13:01:06.82

VIRUSをUIRUSって書くって古代ローマ人かよお前ｗｗｗ

**デフォルトの名無しさん** · 2020/02/27(木) 13:54:23.83

上のIndoもIndiaではない

**デフォルトの名無しさん** · 2020/02/27(木) 15:59:54.77

高力インド型ってなんぞ

**デフォルトの名無しさん** · 2020/02/27(木) 17:11:17.64

mapの引数がlist<A>ならlist<B>を
vector<A>ならvector<B>を返したい
だが引数の型をTとすると返り値の型を宣言できない

**デフォルトの名無しさん** · 2020/02/27(木) 17:43:30.43

c++の型出しテンプレートの不自由版みたいなもんか

**デフォルトの名無しさん** · 2020/02/27(木) 20:01:01.74

型宣言のないネイティブJavaScriptが
いかに最強かが分かるな

**デフォルトの名無しさん** · 2020/02/27(木) 20:15:45.52

標準で型のあるなし選択できるPHPこそ最強

**デフォルトの名無しさん** · 2020/02/28(金) 15:33:40.60

void* で全部持てばいいみたいな糞議論し始めたぞ。。

**デフォルトの名無しさん** · 2020/02/28(金) 20:40:45.71

やはりグローバル変数こそ至高

**デフォルトの名無しさん** · 2020/02/28(金) 21:49:36.13

型という概念すらないbrainf*ckこそ最強

**デフォルトの名無しさん** · 2020/03/01(日) 00:36:11.71

高カインド型は、要は型引数を取るジェネリック型の総称だよ

たとえばArrayは、Array<number>とかArray<Indo>は具体型(実行時に存在する値をとりうる型という意味で、抽象クラスに対する具象クラスという意味の具体ではないことに注意)だけど、
型引数を入れてないArray<_>のままだと実行時の値をつくれない
これにnumberなど具体型を入力してやれば、はじめてArray<number>などの具体型となる

そこでArray<_>は「具体型に作用して新たな具体型を作るもので、具体型ではないなにか」と考えられ、こういうものを1階カインドとか Type → Type のカインドを持つという

同様に型引数2個のジェネリック型は2階カインドだったり、具体型は0階カインドともいう。
0階以外のカインドを持つ型を総称し高カインド型と呼ぶ

**デフォルトの名無しさん** · 2020/03/01(日) 00:39:07.10

Indoの配列って何だよ

**デフォルトの名無しさん** · 2020/03/01(日) 00:47:37.29

TypeScriptのジェネリクスの高階カインド型サポートがいまいちなのは、
「ジェネリック型に入れられるのが具体型に限定されていること」で、

たとえば map をサポートするジェネリックインターフェースとして
Mappable<f>を作るとする

そのインターフェースを実装できるクラスはカインド１、つまりArray< >など
型引数を1個とるクラスだけにしたい　けど、できない

また、カインド Type -> Type -> Type の高カインド型に型１個入れたものは
カインドType -> Type になってほしいけど、こういうこともできない

たとえばkey-valueペアのMap<_, _>なんかは2階カインドだけど、
キータイプだけ指定した Map<string, _> を1階カインドと見なしてMappableを実装させたい（map はMapの各値を変換する関数になる)　けど、これもできない

**デフォルトの名無しさん** · 2020/03/01(日) 07:11:57.02

ゴチャゴチャ言わずも508でfinal fugure っしょ

**デフォルトの名無しさん** · 2020/03/01(日) 08:55:19.40

機能足りないと思うやつが自分で実装してPR送るんだよ

**デフォルトの名無しさん** · 2020/03/01(日) 09:39:10.97

高力インド型

**デフォルトの名無しさん** · 2020/03/01(日) 09:46:16.48

higher-kinded typesの日本語訳は高階型で別に良いと思うんだがな
カインド強調する意味がゼロとは言わないがデメリットのほうが大きい

**デフォルトの名無しさん** · 2020/03/01(日) 10:24:35.13

高階関数という言葉を知ってれば、そこから類推できる高階型って呼び方の方が良いよね

**デフォルトの名無しさん** · 2020/03/01(日) 11:23:12.58

high power indo type

**デフォルトの名無しさん** · 2020/03/01(日) 12:37:26.26

何でもできる方がいいと思い込んでるのはバカにありがちなセンスなのでしょうがない。

**デフォルトの名無しさん** · 2020/03/01(日) 15:16:31.84

変につまみ食いしようとして使い勝手が悪くなるってこともあるよ
Java8から入ったStreamとOptionalみたいなのを自分で書くのすごい面倒くさい

**デフォルトの名無しさん** · 2020/03/01(日) 16:33:14.39

null禁止型の配列の初期化に必要な無引数コンストラクタ
が無かったらコンパイルエラーになるコンパイラを自分で書けない

**デフォルトの名無しさん** · 2020/03/01(日) 16:48:14.31

書く必要ないじゃん
はい論破

**デフォルトの名無しさん** · 2020/03/01(日) 19:10:26.22

高階型はまた別じゃね？
Higher-kinded typesじゃなくてrank-N typesのことかと

**デフォルトの名無しさん** · 2020/03/01(日) 19:27:05.36

高階してすぐ後悔YO