次世代言語21 Go Nim Rust Swift Kotlin TypeScript

■ このスレッドは過去ログ倉庫に格納されています
2020/04/19(日) 15:06:02.92ID:jAOW5aqE
スレタイ以外の言語もok

前スレ
次世代言語18 Go Rust Elixir Kotlin TypeScript (実質20)
https://mevius.5ch.net/test/read.cgi/tech/1569866283/
2020/11/24(火) 10:14:10.72ID:ETG1tMPZ
>>361
お、早速発狂してるねぇ……w
技術的負債作るの頑張ってねー
2020/11/24(火) 10:47:41.99ID:j055waEy
極端言語は2個しかない
バランス言語は10個でも20個でも作れる
10個覚えるより2個覚える方がいい
2020/11/24(火) 11:34:24.18ID:i4288F00
だから最近の言語はnullを根源的に排除しなくていいように無効値は無効値でnull許容型にしたりチェックを簡易なイディオムに落とし込めるような文法や機能を持ってるよね

クラスに関しては、オブジェクト指向側の流れとしてもクラスは機能として過剰だからと古典的にはインターフェイス/トレイトがまず分離されたし、最近ではJavaでもデータクラスの提案が行われてる話をした方が分かりやすいかな
その上でHM型推論を導入する時クラス的静的型の扱いが難しい（というか型のできる事の多さによっては不可能な場合すらある）から外さざるをえなかったりするという話がある

罵倒するだけじゃなく勉強して技術的に/理論的に何がトレードオフなのか、その上で言語開発者が何をどう取捨選択したのか読めると楽しめるようになるしいいと思うよ

まぁその上でも極端なものを見て不快になるのかもしれないけど、極端なものがなけりゃ中庸やほどほどは出てこないからそういう意見を言う人間の存在も含めてある程度は必要経費として諦めてくれ
2020/11/24(火) 13:41:26.47ID:dNje8QjT
>技術的に/理論的に何がトレードオフなのか
自分が全く語ってないっていうw
2020/11/24(火) 14:25:33.58ID:LJZ1Sdrv
>>363
LISPとFORTHかな？
2020/11/24(火) 15:04:58.61ID:p7TzmKlx
P　R　O　L　O　G
2020/11/24(火) 15:31:15.48ID:j055waEy
そっち側はPythonが平定したから比較的平和なんだよな
逆側は勝負が決まったのに敗北宣言しないクズが多い
2020/11/24(火) 16:15:01.48ID:HgpgxAFc
笑
2020/11/24(火) 17:56:01.23ID:svYBEQzM
たしかに俺が今迄みてきたなかで最悪に頭おかしい馬鹿(褒め要素ゼロ)
と思った二大アホ信者は、LISP信者とFORTH信者だったな
2020/11/24(火) 18:12:04.57ID:Px3mcDE+
>>365
型推論には限界があって、型に機能を加えれば加えるほど実装が困難になり最終的には不可能になるので、高度な型推論とOOP的クラスに由来する静的型付けの導入（と実装コスト）はトレードオフだ
というのは特に型推論の限界については先行研究があるし理論的なトレードオフの一例だというつもりで書いたのだけれど

型推論で有名なOCamlのOOP的クラスも結構制約あるし型システムはその分複雑になってるからね
2020/11/24(火) 18:53:03.86ID:u+mtDBRk
>>370
誉めてどうする？
2020/11/26(木) 15:38:50.46ID:aj/sudBx
>>高度な型推論とOOP的クラスに由来する静的型付けの導入（と実装コスト）はトレードオフだ
なんか言ってることめちゃくちゃじゃないか？
2020/11/26(木) 17:20:08.08ID:O9/RzT4k
ごめんなさい
トレードオフって言ってみたかっただけです
2020/11/26(木) 18:45:14.84ID:i3o/tq0Q
ハードオフ
2020/11/26(木) 22:08:38.81ID:9Ff8ZZge
>>373
言い方が悪いね申し訳ない
高度な型推論をさせたい所にクラスの継承オーバーロードオーバーライド由来の多相性やディスパッチが絡むと面倒くさいくらいでどうだろう
2020/11/27(金) 01:30:32.59ID:kjR/dkMj
どこまでを同じ型とするかってのと、型推論をどこまでやるかって話か。
くっだらねー話だな。
型をどこまで強くするか(暗黙の変換をどこまで認めるか)なんて今更すぎて。。
2020/11/27(金) 02:57:38.45ID:o8mcz0Pl
>>377
全然違ってて草る
今更すぎてww
2020/11/27(金) 08:35:22.42ID:suMZl+3n
型推論と聞いて暗黙の変換に結びつけるのは、LL界から来たウンコ脳あるある
2020/11/27(金) 11:38:18.35ID:7OB9oyZa
暗黙の型変換を気にするのはむしろ静的型付け言語やで

今どきLLなんて言葉を使う方は流石にわかってらっしゃらない
2020/11/27(金) 17:52:45.14ID:ri5grbAb
なにいってんだこいつ
2020/11/27(金) 21:22:17.08ID:kjR/dkMj
暗黙の型変換がコンパイル言語にないと思ってる馬鹿はc言語からやり直しやな。
2020/11/27(金) 21:43:26.23ID:vu5n6mzG
LLは2010年頃を最後に聞かなくなったな
JavaScriptが原因だろうね
2020/11/27(金) 21:44:58.71ID:W+zDVYCR
Python以外踏み潰してしまってすまんなｗｗ
2020/11/27(金) 22:08:13.46ID:0HPijqQz
せっかくＪａｖａを殺したのに第二のＪａｖａを作るわけにはいかんのだよ
2020/11/27(金) 22:20:44.61ID:0HPijqQz
とおもったけど
どちらかというと浸透して普通になったんでは
2020/11/27(金) 22:47:47.39ID:YYM6Dd5g
>>382
さすがにここまで明後日の話を自信満々にするのは清々しい
2020/11/27(金) 23:14:56.50ID:lTXB/QWu
日曜日に何かあるの？
2020/11/29(日) 00:39:38.28ID:tTYihsqx
>高度な型推論をさせたい所にクラスの継承オーバーロードオーバーライド由来の多相性やディスパッチが絡むと面倒くさいくらいでどうだろう
継承オーバーロード、オーバーライドが絡む多層生の問題が型推論をめんどくさくなるって
型をどのレベルで同一と考えるかって話にしか普通ならんよね？
まあ元々の文章もどうかしてたし、まともに突っ込むだけ野暮なんだろうが。
2020/11/29(日) 13:21:38.74ID:c6bFSJ+B
もしかして暗黙の型変換と部分型関係を混同していらっしゃる？？
2020/11/29(日) 18:57:40.67ID:tcENDjhy
>>389
型をどのレベルで同一と考えるかは関係ないって
推論時の制約の識別だったり制約を満たす型候補の識別や選択が複雑になるという話

型推論時に暗黙の型変換をしてると思ってるのかな？
392デフォルトの名無しさん
垢版 |
2020/11/30(月) 14:23:30.47ID:3rsg5agA
V言語いまさらだけど
メモリリークはともかく全体的にバグだらけ
インターフェースとジェネリックまわりもバグらだけ
作者コンパイル速度にばっかりこだわってて
安定性は二の次以下で放置しっぱなし
文法的には好きなんで惜しいなー
あと3年もすれば安定するかな？
2020/11/30(月) 14:32:55.83ID:5LwFg3Ca
だから詐欺だとあれほど…
2020/11/30(月) 14:36:28.77ID:BSk0huJF
C言語で暗黙の型変換が発生する16のパターン(＋演算子の結果型5パターン)
https://qiita.com/yz2cm/items/0e24e1df40ef5cd43249
Cプログラミング診断室／キャストが好き／自動的型変換
http://www.pro.or.jp/~fuji/mybooks/cdiag/cdiag.4.3.html
2020/12/01(火) 00:38:08.03ID:PxTcCeoD
>>391
>推論時の制約の識別だったり制約を満たす型候補の識別や選択
継承されようが型変換を一切考えないで良いなら制約としては何も困ることはないが？
型推論の問題以前に多相性のメリット、デメリットすら理解できてないのでは？
2020/12/01(火) 02:47:37.79ID:SzMvahRJ
>>395
これだけ指摘されても自分の知識不足を省みず同じ言い分を毎日繰り返すおじいちゃん相当ヤバイで

少しでも自覚症状あるなら早めに病院行きなはれ
2020/12/01(火) 10:09:32.31ID:VSZnTJcU
ここまで必死になって反論してくれるということは、きっと表現力が高く型推論もできる型システム、俺なら作れるぜ！ ってことなんだろう
期待してるわ
2020/12/01(火) 10:33:22.17ID:VBLLvmcX
いくらなんでもこの逆ギレは恥ずかしい
399デフォルトの名無しさん
垢版 |
2020/12/01(火) 14:29:58.48ID:svWaRz3S
型推論「これはたぶん弐ノ型だな」
2020/12/01(火) 15:57:28.00ID:TYZeCD93
おじいちゃんにオススメ
20年前のペーパーだけど型推論とオーバーローディングの関係は分かるはず
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/overloading.pdf
2020/12/01(火) 18:02:36.90ID:NPaComTE
3行にまとめろよカス
2020/12/01(火) 21:00:36.73ID:PxTcCeoD
>>400
だからまんま弱い型で可能性が広がるからってだけじゃねーかw
お前、さてはちゃんと読んでねーなw
2020/12/03(木) 18:35:40.61ID:W3dmrQm9
とりあえずTaPL読んで
2020/12/03(木) 21:11:04.97ID:QOvIykSz
翻訳めちゃくちゃ叩かれててワロタｗｗｗ
2020/12/04(金) 00:09:50.97ID:ONRwTAv7
マウント取った気分になれれば何でもいいんだなこいつ
2020/12/04(金) 01:17:58.73ID:nObgG/+C
お前ら面白い奴らだな
コロナが流行っていなかったら
オフミ開いて喧々諤々したいところだわ
2020/12/04(金) 02:13:30.09ID:9rlWhRRz
喧々諤々もいいけれど
クラスベースオブジェクト指向の継承と
モジュラリティーが相反することは
共通認識ということでいいよな
2020/12/04(金) 03:05:02.00ID:2+VKdPy1
喧々諤々は間違い
喧々囂々、侃々諤々、が正しい
いい歳こいて恥ずかしいぞ
ていうか変換時に気づけ
2020/12/04(金) 07:24:18.06ID:ONRwTAv7
>>407
モジュラリティ？ 型推論の話どこいったん？
2020/12/05(土) 21:04:04.49ID:IToZisS4
まさにこの症状
https://qiita.com/hirokidaichi/items/adccebb41f77eaa6132f
2020/12/06(日) 11:05:17.77ID:Md9wORf7
話者をdisったところでOOP関係なく型に機能付けすぎると決定不能になるのは事実だからなぁ
2020/12/06(日) 18:17:03.73ID:2tpoK6vU
だから型に機能をつけすぎるじゃなくて問題は型の分類をどこまでやるかってことだっての。。何回言わせるんだよ。。
2020/12/06(日) 19:03:42.13ID:hVhD6Or5
>>412
一般的に通用する定義を使って話さないと、一生かかっても誰にも理解されないよ
その分類ってのは厳密にはなに？
2020/12/06(日) 22:48:01.01ID:cXTltfR7
型はないほうがいい。究極的には。
2020/12/07(月) 00:18:42.29ID:obD3rptW
ねーよ
2020/12/07(月) 07:36:57.33ID:GM+ljNhw
シェルスクリプトかな？
2020/12/07(月) 23:25:24.59ID:8m4VcT76
ざっくり言うとインライン展開できない関数は型推論もできない
2020/12/08(火) 11:27:25.28ID:TVoYF8xt
なんでJSXなんてものまで出てきたのにHTMLを書かなきゃいけないんだ？
2020/12/08(火) 11:58:19.43ID:FU97XkxI
ハァ？HTMLの文法に未練があるからJSX使うんだろ？
あれコンパイル後はJSの関数呼び出しになるんだぞ？
HTMLの文法に未練がないなら最初からReact.createElement使って入れ子の関数で自分で書けばいい。
誰もそうしないのはHTMLの文法に未練があるから。
2020/12/11(金) 15:59:53.87ID:B7/V4mDP
wasmにコンパイルされる言語探してたら良さげなもん見つけた
https://github.com/grain-lang/grain
421デフォルトの名無しさん
垢版 |
2020/12/19(土) 00:30:47.02ID:19FeYV4h
普通にrustじゃん？お漏らしスコープでtraitの無い
2020/12/19(土) 09:06:04.43ID:ZHiT7c2p
ところでscalaはダメなんですか？

kotlinてのがあるらしい
↓
見てみるとさほど惹かれない
↓
scalaてのがあるらしい
↓
kotlinにくらべて随分意欲的やんけ！
↓
_=とか？.curriedつけないとカリー化されないとか？
複数パラメータリストに部分適用しようとして _ をつけないといけないとか？
ヴァリアントがないとか？うーん？　←いまここ
423デフォルトの名無しさん
垢版 |
2020/12/19(土) 09:23:44.43ID:2Cvgn7yg
jvmが取り憑いてるから
2020/12/19(土) 10:12:52.69ID:jiYjRuFZ
信者がアレだから
2020/12/19(土) 10:14:58.08ID:sSGRlhWr
関係なかろう
2020/12/19(土) 14:34:57.88ID:W83u/fSR
雑食系エンジニア・KENTA、2020/3

Scalaが日本で衰退し始めている理由を説明します
https://www.youtube.com/watch?v=kFzLia7YZQU

Scala は、キャズムを超えられなかった

新規参入してくる初心者に、マウントを取ってくるベテが多い。
そういうベテに誰も注意しないから、コミュニティーが廃れた。
学習コストが高いから、偏屈な人間が多い

Ruby は全く逆。
親切な人が多く、コミュニティーが強い

他にも、キャズムを超えられなかった言語は、Rust, Elixir。
キャズムを超えた言語は、Go

よって、初心者が学ぶべき順番は、Ruby → Go
2020/12/19(土) 17:28:00.48ID:dhA5fnTq
えええええええええ
2020/12/19(土) 18:00:53.27ID:Wex6Ix7T
5chのような人が多いってこと？
2020/12/19(土) 18:23:51.65ID:dhA5fnTq
名探偵ホームズで
田舎の警官は親切で優秀だと
どう考えても事実と真逆のことが何度も書いてあったのを思い出して
なんというか
人心誘導的な感じがする
2020/12/19(土) 19:41:31.71ID:0cJ95+HZ
>>426
その動画は的外れと思う
心理的安全とやらじゃなくて言語の魅力という点で伸びがなかったのが原因と思う
なんとなく期待するいろいろに対して
調べていくうちのあれあれあれーっ？が多すぎた
（個人の感想です）
2020/12/19(土) 21:20:19.06ID:dhA5fnTq
ケンタはホモ（個人的な観測の範囲からの推測です）
2020/12/19(土) 21:56:11.82ID:dhA5fnTq
つかどう考えてもだめだろこれ
昔自分の記事をこきおろされたのを根に持って
人を名指しで侮辱したあげくにコミュニティからの排除を煽るとか
クズにもほどがある
2020/12/19(土) 21:56:27.33ID:g7ChEFMN
>>426
聞いたことないけど、キャズムってどんな言語なの？
コイツが考えた言語？
2020/12/19(土) 22:03:48.02ID:RW00uZdG
>>433
英単語のchasmが由来のカタカナ語
意識高い系いつもの日本語でおk案件
2020/12/19(土) 22:14:00.45ID:jiYjRuFZ
イノベーター理論だよ
2020/12/19(土) 22:26:25.16ID:1ZOkfUtM
>>434
キャズム => 断絶
破壊的イノベーション => 破壊的革新
ブルーオーシャン => 青い大海
リーンスタートアップ => 痩せ型新興企業

横文字にすると一般的な単語との区別がつきやすくて付随する意味がとりやすいんだよ
プログラミング、コンパイル、データベースなんかも同じ
2020/12/19(土) 22:40:02.67ID:RW00uZdG
>>436
それはそう
ただその文脈が共有されてない外部向けにまで使ってるのは、受け手にとって未知で特殊な単語を使ってる事から発生する権威性によるマウントの側面があって私は嫌いなので日本語でおkと言っている
2020/12/19(土) 23:22:22.02ID:aGDb/Jxi
アグリーとか言ってんのは賛成では表現できない
深い意味合いあるんかね
2020/12/19(土) 23:30:46.86ID:1ZOkfUtM
>>437
めんどくさいやっちゃな

知ってて当然と思われてるだろう用語を知らない自分を認識していて
それをどこか後ろめたく思ってるから権威性マウントと感じてしまうんでしょ
知らないのが当たり前で発信する側が当然説明すべきと考えてたらそうは感じないよね
(>>433がいい例)

5chなら”お前こんな事も知らないのかよ”って煽られるけど
人間知らないことのほうが多いんだから開き直っとけばいいよ
2020/12/20(日) 00:01:36.19ID:llRQx8oF
>>438
それは専門用語ではないからまた違った横文字の使われ方だと思うよ
2020/12/20(日) 03:37:23.15ID:1LcS4Wc6
>>438
書いといた
三大バカが意味も分からず使いたがる用語 デプロイ
https://medaka.5ch.net/test/read.cgi/prog/1597086668/
2020/12/20(日) 06:34:20.05ID:f0KNQbik
>>436
「断絶」にしても意味がわからないな。
2020/12/20(日) 08:13:45.54ID:6ulDWEzW
>>439
自分がどうこうというよりも無知な人々から金をかすめとろうとするタイプの人がそういうムーブをしがちなので嫌いなのよ
言われてる側面が自分に全くないかと言われると否定しきれないけどね
2020/12/20(日) 08:29:03.54ID:DTyuQMlU
ScalaはScalaエンジニアが多言語をバカにするせいで誰も近寄らなくなって衰退したって聞いた
初心者お断りの空気感とか
2020/12/20(日) 09:16:27.99ID:FqqhUCnN
多言語をバカにしうる根拠を一個でも知りたい
いやほんとscalaを勉強したいという意味で
2020/12/20(日) 09:21:51.02ID:MaT6/uce
ただの足し算をわざわざ加算とか言うのも権威なのか
2020/12/20(日) 10:03:32.43ID:VU0S4uld
>>443
ムーブって何すか
行動とは違うんすか
2020/12/20(日) 10:34:15.89ID:0k/qx/P5
自由な行動とは違う
義務や目的により強制された行動
キャズムを超えるとかいう謎の目的が設定されている時点で自由とは違う
2020/12/20(日) 10:38:53.81ID:6ulDWEzW
>>447
これはやらかし
ダブスタもとい自己矛盾して私が恥をかいてしまった

一応補足すると立ち回り辺りが適切な日本語になる
2020/12/25(金) 03:01:00.46ID:m615S4tT
そんなことよりodinの話しようぜ！
2020/12/27(日) 10:18:53.79ID:TuLc8Ci/
国産検索エンジンが復活するのか
2020/12/27(日) 11:50:44.61ID:12A8zFdY
千里眼作り直せ
2020/12/27(日) 12:15:19.38ID:xvZc4lDU
サーチエンジンはやぶさはつい最近復活したのか。
2021/01/04(月) 21:44:33.11ID:VSJtgA/r
Googleが検索シェアのトップじゃない国って結構あるんだよな
2021/01/06(水) 21:16:27.99ID:c1LLzA8a
最近グーグルで検索しても目当てのもにが全然ヒットしなくなってるんだけど
同じようなやついる？
2021/01/06(水) 22:37:25.61ID:Td/kVwus
開発者から見た V 言語とその(誇大)広告について
https://zenn.dev/zakuro9715/articles/vlang-from-contributor-perspective
2021/01/07(木) 01:48:45.23ID:3TLTtAUE
だから詐欺だって言ったじゃん…
2021/01/07(木) 11:59:43.85ID:jZkwErJJ
>>457
せめて456を読めよ
2021/01/07(木) 14:49:07.84ID:gDoUJyLi
自分の理解出来ないことは否定したいんだろ。
2021/01/07(木) 19:07:22.37ID:E1GQSfXf
え？実際詐欺じみた誇大広告してるって内容じゃね？
2021/01/07(木) 19:34:58.81ID:wzgIrp4s
メモリ管理がすごいぞ→時々リークします

何をどう弁護すれば…
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。
ニューススポーツなんでも実況