次世代言語18 V Julia 他

次世代言語18 V Julia ..

2:デフォルトの名無しさん
19/09/30 23:14:02.73 gS2Jpksn.net
Go Rust Kotlin TypeScript Dart
Elixir Swift Crystal Hack Bosque
Most Loved, Dreaded, and Wanted Languages
URLﾘﾝｸ(insights.stackoverflow.com)
TIOBE Index
URLﾘﾝｸ(www.tiobe.com)

3:デフォルトの名無しさん
19/09/30 23:16:17.60 zXgxGRIB.net
皮肉がきいてていいな

4:デフォルトの名無しさん
19/09/30 23:36:21.12 AzYc4ylF.net
あのなんか辛気臭い名前の奴も入れてやればよかったのに

5:デフォルトの名無しさん
19/09/30 23:37:48.10 TDqXpojB.net
誰も使おうとすらしない言語
完璧な次世代言語だな

6:デフォルトの名無しさん
19/09/30 23:44:28.34 pLPQTkxW.net
永遠に次世代というヤツか

7:デフォルトの名無しさん
19/10/01 00:06:01.51 Ueonb/Q5.net
>>4
Bosqueのこと？

8:デフォルトの名無しさん
19/10/01 00:22:23.04 Xx6ULL1B.net
>>1
そのスレタイならボスケを入れるべきだった
と書こうとしたら既に書かれてた

9:デフォルトの名無しさん
19/10/01 00:28:13.72 Xx6ULL1B.net
> 990 名前：デフォルトの名無しさん[sage] 投稿日：2019/09/30(月) 22:39:32.68 ID:GRXEfX8t
> 関数型の流派として高階関数やモナドで遊びたい派と宣言的で明瞭完結なコードを書きたい派があって、
> Scalaは前者のオモチャにされてしまったのが最大の敗因かと思う
そうかなぁ
我が社では関数型に憧れた無能おじさんどもが Scala で static おじさんコード書いてメンテ不能になった経緯で
「Scalaは難しいから禁止！」となったよ
こういうケースも多いんじゃない？
でもてめえらが書いたコードならJavaでもメンテ不能だったろうよと言いたいね
唯一救いがあるとすれば、全員退職済みということだ

10:デフォルトの名無しさん
19/10/01 00:30:15.63 edXS6ly3.net
またlispの方言が増えたくらいにしか見えない

11:デフォルトの名無しさん
19/10/01 00:34:08.55 sV2Lk/C6.net
関数型は宗教だから

12:デフォルトの名無しさん
19/10/01 00:48:43.74 IsjEPTsO.net
前スレの >>968
親父が好きだったので。
あのころ吉幾三の「田舎のプレスリー」とか「ハンダースの想い出の渚」とかバラクーダの「日本全国酒飲み音頭」とコミックソングが流行った。

13:デフォルトの名無しさん
19/10/01 04:39:15.66 /HUmJ/4q.net
モナド自体も実用上は
順次的・逐次的な処理をしたいときは結合法則と単位元を意識したコンテナライブラリとして書くと使いやすい
ぐらいのものでしかないのだが、衒学趣味の連中に数学で威圧するためのオモチャにされてしまった

14:デフォルトの名無しさん
19/10/01 04:45:19.53 L7TCtkVb.net
実際のプロダクトに求められるのはレベルの低い人が参入してきてもメンテできるものなんだよなぁ
マウント取るために数学使って高度なことしてるやつは研究職に就けない中途半端な学歴のゴミが多い

15:デフォルトの名無しさん
19/10/01 05:01:56.26 GW7DKkWc.net
そんな技術的に低レベルなものしか作らないから日本にOracleやGoogleが生まれないのでは？

16:デフォルトの名無しさん
19/10/01 05:08:25.47 M6p7Tv4n.net
>>15
世界的な大企業が生まれるかのうかは技術者の問題じゃないだろw
日本にはウォズニアックはたくさんいるかもしれんが
単純にジョブズがいないだけ

17:デフォルトの名無しさん
19/10/01 05:14:07.91 /HUmJ/4q.net
それは即戦力病で教育とか研究開発とか長期的な投資ができないのが原因なので別の話

18:デフォルトの名無しさん
19/10/01 05:20:11.68 cCpSbI9a.net
まぁ最近は技術志向の人達にも年収1億円払う企業とか出てきてるし、ワンチャンGoogleが生まれる可能性もあるんじゃね
米研究拠点の採用に年収1億円提示も、NTT社長
URLﾘﾝｸ(r.nikkei.com)
ZOZO、最高年収1億円の「天才・逸材」採用していた
URLﾘﾝｸ(www.itmedia.co.jp)

19:デフォルトの名無しさん
19/10/01 07:36:09.14 D5VS5iqj.net
求人を見るとエンジニアで1000万超える額はチラホラ出てきたから後はそいつら使って何をするかだな
言語スレ的に言うと、政府とズブズブっぽく見えるしZen言語が普及すればあの企業はワンチャンあるなと思うわ

20:デフォルトの名無しさん
19/10/01 08:04:30.66 7L0couOP.net
F#のロゴ
めっちゃカッコいいな！

21:デフォルトの名無しさん
19/10/01 08:12:15.08 ly/JGOQ7.net
>>19
求人では1000万円超(年収1000万円とは言ってない)がある

22:デフォルトの名無しさん
19/10/01 08:14:49.92 ly/JGOQ7.net
>>18
給与の基準もおかしいんだよな
レベルの低いインド人にすら月600万出してたりしてるし中国人なら月200万出してる
どっちもプログラマーとしても満足にやれないクソみたいなコーディングだったりする
なお日本人には月50万も出したくないそうだ

23:デフォルトの名無しさん
19/10/01 08:45:20.77 PPi/zEKV.net
日本人は辞めさせるの面倒だもん

24:デフォルトの名無しさん
19/10/01 09:14:44.13 7L0couOP.net
エンジニアは使い捨ての奴隷じゃねえんだぞコラ

25:デフォルトの名無しさん
19/10/01 10:22:41.21 CiDCnveB.net
身分差別の罪の重さを理解できない人類が、たかが衒学趣味に罪悪感をもつわけがない

26:デフォルトの名無しさん
19/10/01 10:33:11.95 MmF7u4lp.net
>>14
アホでも優秀でも同じようにだらだら書くしかないgo
が良いということか

27:デフォルトの名無しさん
19/10/01 12:54:21.19 OFtXfPkx.net
日本でも会社通さず直で業務委託の仕事貰えば月100万円とか余裕だろ
ただ上限が150万円ぐらいで止まるから起業したり投資したりコンサルとかにならないと1億円も稼げないんよな

28:デフォルトの名無しさん
19/10/01 13:10:22.49 ayxNZEu5.net
>>26
煽り抜きでそういうこと
「優秀」さは別のところで発揮するべき

29:デフォルトの名無しさん
19/10/01 14:00:36.70 T7cjVOxd.net
Goが使われるのって主にバックエンドだろうけど、
今時のバックエンドはクラウドサービスを積極的に活用してシンプルに問題を解決するのが主流だよね
もはやコードレベルでアプリケーションアーキテクチャを語る時代は終わり、コードに対して求められるものが変わってきてるんだよ

30:デフォルトの名無しさん
19/10/01 14:08:40.93 CGhZJwfl.net
どういうことなの…

31:デフォルトの名無しさん
19/10/01 14:12:01.96 CiDCnveB.net
>>28
戦力の逐次投入するやつはみんなそう言う
今ここで投入するより別のところで投入するべきだと

32:デフォルトの名無しさん
19/10/01 14:17:23.33 ayxNZEu5.net
>>31
Scala導入するような間違った方面で熱量発揮するバカはお呼びじゃねえ
ってオブラートに包まずに言った方がわかりやすかったか？

33:デフォルトの名無しさん
19/10/01 14:27:27.75 ayxNZEu5.net
自称優秀なやつほど愚直に書くことを病的に避けて
ScalaやらHaskellやらのコードゴルフみたいな難解な解決（）に走る
そういう難解な「優秀」さはかえって邪魔
それをScalaショックから学ばない「優秀」な奴は本当にバカ

34:デフォルトの名無しさん
19/10/01 14:29:21.20 O5LGieCd.net
今後はUiPathでアプリが作れて営業ができる人が生き残ります
コードの時代は終わった

35:デフォルトの名無しさん
19/10/01 14:54:27.30 5gbnnzuI.net
馬鹿同士極論で無意味な議論して楽しいのかな

36:デフォルトの名無しさん
19/10/01 15:03:29.55 QsbEYgxP.net
scala祭りの人がscalaから引退したのは衝撃だった

37:デフォルトの名無しさん
19/10/01 15:45:55.17 CiDCnveB.net
JavaとHaskellの対立が激しくなったら
Scalaが最も冷静な中立の言語になる予定だったんだろ
失敗の原因を選べ
・中立だから
・本当の中立なら成功するけど本当の中立ではなかったから

38:デフォルトの名無しさん
19/10/01 16:43:50.31 ayxNZEu5.net
元々オブジェクト指向、動的型付け言語から
関数型、強い静的型付け言語に流れるブームがあって
Scalaはそこに乗っかる形でJava資産を使える関数型の強い静的型付け言語ってことで一時期流行った
でも型をおもちゃに無茶苦茶やる意識高い系がマウント取りはじめて
本当に物を作りたい人が離れていったり
互換性やビルドの遅さみたいな言語自体の欠陥もあいまって
「やっぱ強い静的型付け関数型言語は意識高い系のおもちゃでしかなかった。
プロダクト作るのには向いてないな」って雰囲気になって
一気に人がいなくなって焦土になった←いまここ

39:デフォルトの名無しさん
19/10/01 17:00:16.56 WsekWjBA.net
>>34
UIPathでAIできるのか？

40:デフォルトの名無しさん
19/10/01 17:07:51.76 DcRxqnCV.net
Rustが主流になる
URLﾘﾝｸ(qiita.com)

41:デフォルトの名無しさん
19/10/01 17:34:08.00 QsbEYgxP.net
>>38
typescriptもそうなりそうな予感がしてる
react nativeで使ってみたけど
マジで苦痛の極みだった
もの作るってレベルじゃねえ
この手のでかいフレームワークで型推論ありの静的型付け言語使うのは無理がある

42:デフォルトの名無しさん
19/10/01 18:30:33.28 edXS6ly3.net
C++も結局autoだらけになっちゃったからな
実際いちいち型を細かく指定したくないわ

43:デフォルトの名無しさん
19/10/01 18:32:14.40 3049og2C.net
>>41
いやいやｗｗｗ

44:デフォルトの名無しさん
19/10/01 19:35:53.94 93GoddeG.net
型推論ありの静的型付け言語は、高機能エディタやIDEの利用が必須だからな
リアルタイムな文法チェックが無いとやってられないし、省略した型指定をコンパイラがどう解釈するか簡単にチェックできる機能も必須だよ
そういうの使いこなせない奴には良さがわからない

45:デフォルトの名無しさん
19/10/01 19:42:27.04 48dxyHpJ.net
rustは関数化しないでベタに書きまくる輩が多すぎる。
あれはあとあと問題になるだろう。

46:デフォルトの名無しさん
19/10/01 20:06:23.27 PO/DwmXT.net
ScalaはScalazやCatsのようなモナドライブラリがあって、それに依存するライブラリも次々作られたのに対して
Typescriptやほかの言語で似たようなモナドライブラリがありながら、それに依存するライブラリがデファクトになっていない（意識高い組のおもちゃにされなかった）のは何故だろう

47:デフォルトの名無しさん
19/10/01 20:09:54.99 CGhZJwfl.net
(´-`).oO(なんでだろう)

48:デフォルトの名無しさん
19/10/01 20:17:11.51 WTnjJ/UP.net
Juliaプログラミングクックブック ―言語仕様からデータ分析、機械学習、数値計算まで

49:デフォルトの名無しさん
19/10/01 20:27:06.74 AGZmK7LR.net
おー
出るのか。

50:デフォルトの名無しさん
19/10/01 21:06:49.32 CiDCnveB.net
RDBをオブジェクトにマップするようにモナドをオブジェクトにマップするのがJava系
オブジェクト無視してHaskellそのまま全部再現するのがAltJS

51:デフォルトの名無しさん
19/10/01 21:52:47.37 agQnbOhv.net
>>46
Scalaは高階カインド多相が使えるからファンクタやモナドが普通に作れるがTypeScriptなどの他の言語はそうではない

52:デフォルトの名無しさん
19/10/01 21:56:51.81 QsbEYgxP.net
高階カインド多層をTSに入れたら完全におもちゃにされるだろうね
今ですら型パズルがどうのっていってるし

53:デフォルトの名無しさん
19/10/01 22:07:51.02 /eYv5Uzy.net
難しそうな用語だと思ってググったけどC++のテンプレートと同じやつか
・・・入れない方が良い

54:デフォルトの名無しさん
19/10/01 22:10:03.12 PPi/zEKV.net
出たよモナダー
そりゃ嫌われるわ

55:デフォルトの名無しさん
19/10/01 22:17:19.36 DDGAg6Ab.net
モナドという概念はややこしくてもひとつひとつのモナドはそれ自体のコードも使い方も別にふつうだし
使いやすいライブラリ設計してたら自然にモナドになっていることもある

56:デフォルトの名無しさん
19/10/01 22:22:36.18 Ueonb/Q5.net
開けモナドよ

57:デフォルトの名無しさん
19/10/01 22:34:17.59 48dxyHpJ.net
モナド語ってる奴も別にマクレーンの圏論の基礎とか読んでるわけでもないし半端もんよ。

58:デフォルトの名無しさん
19/10/01 22:41:20.42 lajlXQ9x.net
本当にマクレーン読んだ？

59:デフォルトの名無しさん
19/10/01 22:49:10.23 mI1q1C/A.net
>>57
お前モナー
モナドだけに

60:デフォルトの名無しさん
19/10/01 23:08:36.80 tjeUEWM+.net
今どき圏論やるのにCWMから始める方が半端もん

61:デフォルトの名無しさん
19/10/01 23:40:18.89 TIX5+JVA.net
Zen言語なる言語がリリースされたらしい
URLﾘﾝｸ(zen-lang.org)

62:デフォルトの名無しさん
19/10/02 00:41:50.02 lSd6DR8l.net
より宗教色の強い言語です

63:デフォルトの名無しさん
19/10/02 00:44:33.40 1C18rZlK.net
>>61
rust から次世代的な機能を全部取り除いた一見次世代っぽいけど全然次世代じゃない言語に見えるけど
何か良い所があるのだろうか？

64:デフォルトの名無しさん
19/10/02 01:07:46.80 aAfkpJCR.net
もともとZigという言語があって、そこからforkした言語だからRustはあまり関係ない

65:デフォルトの名無しさん
19/10/02 08:10:11.73 zSuqy8mA.net
お前らが大好きなScala情報貼っとくぞ😊

Scala研修テキストが株式会社ドワンゴ様から寄贈されました
URLﾘﾝｸ(blog.scalamatsuri.org)

66:デフォルトの名無しさん
19/10/02 09:04:38.16 3iOlmx+u.net
ドワンゴがドヤって手を出す言語は地雷判定として結構機能する。

67:デフォルトの名無しさん
19/10/02 09:50:25.78 kI7+pieZ.net
単にドワンゴが傾いてるだけだと思う

68:デフォルトの名無しさん
19/10/02 12:34:38.11 55+aQRnY.net
>>61
キャッチャーミットわろす

69:デフォルトの名無しさん
19/10/02 13:42:18.26 bHxMNFNF.net
>>65
前から無料で読めたが？

70:デフォルトの名無しさん
19/10/02 13:49:59.88 HrDmJLF9.net
>>66
RustとScalaだな

71:デフォルトの名無しさん
19/10/02 15:08:40.46 v/QNJqIk.net
URLﾘﾝｸ(dwango.github.io)
>ドワンゴではniconicoの配信系サービスのバックエンドで利用するために、Frugalosという名前の分散オブジェクトストレージを開発しているのですが、この度OSSとして公開することとなりましたので、この場を借りて軽く紹介させて貰います。
>FrugalosはRustで実装されており、現時点では以下のリポジトリが公開されています

うおおおおおおお！！！！！！！！！

72:デフォルトの名無しさん
19/10/02 15:26:48.08 BQ6RkETu.net
ジャップのプロダクトって名前が壊滅的にダサいよなｗｗ
ガイジン失笑ｗｗｗ

73:デフォルトの名無しさん
19/10/02 15:49:38.45 Yox8q/sg.net
質素os

74:デフォルトの名無しさん
19/10/02 15:50:51.02 nw6Z+N3a.net
ドワンゴに所属してたことがあるエンジニアってだけで
こいつ仕事できねえんだろうなって思うは

75:デフォルトの名無しさん
19/10/02 16:04:15.75 dOlpIXop.net
蟻さんのことか

76:デフォルトの名無しさん
19/10/02 16:33:15.50 z3826RzE.net
じゃあ逆にお前らが仕事できるって思う企業はなんなんだよ

77:デフォルトの名無しさん
19/10/02 16:55:18.20 v

78:j5/Swqi.net

79:デフォルトの名無しさん
19/10/02 17:10:30.99 UG1S3D8g.net
ドワンゴ一時期の大量退職の後に比較的優秀な人が入って立て直したかと思ったのに
また大量に辞めたんだな

80:デフォルトの名無しさん
19/10/02 18:29:37.09 qs4Bbmku.net
どこが使ってるからダメだとか言ってるだけで
こいつ仕事できねぇんなろうなって思うは

81:デフォルトの名無しさん
19/10/02 19:17:51.82 OBGjdXDw.net
>思うは
力抜けるからやめろｗｗｗ

82:デフォルトの名無しさん
19/10/02 19:40:04.95 CsX5w8uS.net
Rustはモジラだからダメとか言ってる奴は前からいたな
GAFAに勝てるわけがないみたいな
順張り原理主義か

83:デフォルトの名無しさん
19/10/02 19:50:47.59 3iOlmx+u.net
まあ実際のところrustはインデックスオーバーのエラー出したりしてんだよね。
あそこまで安全言うててそういうバグ出すとかしょーもねーなと思うわｗ

84:デフォルトの名無しさん
19/10/02 20:00:15.99 h+E35lZ8.net
インデックスオーバーって何？

85:デフォルトの名無しさん
19/10/02 20:08:58.83 cS2kU91T.net
モジラには分散処理のノウハウが乏しいという意味なら批判は妥当
逆にそれがRustの差別化要因になったわけだが

86:デフォルトの名無しさん
19/10/02 20:34:03.31 GCoFXFAP.net
バカはオールオアナッシングでしかモノを考えられない

87:デフォルトの名無しさん
19/10/02 20:58:26.74 H7kjSDGT.net
Rustちゃんスタックに適度にでっかい構造体作るとオーバーフロー検出してくれるんだけど
それを越えたクッソでかい構造体だとオーバーフロー検出されずにsegfaultするのはしゃーないんやろか

88:デフォルトの名無しさん
19/10/02 21:08:04.33 ctc3w0LL.net
Rust言語のメリットと課題、「Azure IoT Edge」の事例から分かること
URLﾘﾝｸ(www.atmarkit.co.jp)
Microsoft Security Response Center(MSRC)は2019年9月30日(米国時間)、Microsoft社内におけるRust言語の採用事例を発表した。
ガベージコレクションのランタイムオーバーヘッドを避けたかったため、Go言語は選択肢から外れた。
加えて、デーモンに必要なセキュリティ関連の要件から、メモリや並行性(コンカレンシー)に由来するバグに対処する必要のない言語が必要だった。
こうした条件を踏まえ、Rustが最適だという結論に達した。
Azure IoT Edgeの一般提供を開始する前に外部のセキュリティベンダーと契約し、開発したソフトウェアに対するペネトレーションテストを実施した。その結果、コードベースのうち、Rustで作成した部分では、セキュリティ問題が見つからなかった。
開発時にはRustエコシステムが役立った。開発当初から、「rust-clippy」を使用し、Rustコンパイラがカバーしない範囲の細かい警告を出力させることにした。
加えて、継続的インテグレーション(CD)を実行する際、Rustコードの整形ツール「rustfmt」による処理を経ていないプルリクエストを却下する仕組みを採用したことで、コードベース全体で一貫したコードの整形が可能になった。
Rustコンパイラの更新プロセスとツール整備は順調に進んだ。コンパイラへのアップグレードは、ほぼ常にスムーズだった。

89:デフォルトの名無しさん
19/10/02 22:15:39.37 moUE+MGs.net
スレタイから却下されたエセ次世代言語の話をだらだらするのやめようぜ

90:デフォルトの名無しさん
19/10/02 22:23:35.74 GBuBTMR1.net
じゃあV言語の話でもするか

91:デフォルトの名無しさん
19/10/02 22:34:48.77 bHxMNFNF.net
V言語ってGoの人たちがやたらネガキャンしてたよな

92:デフォルトの名無しさん
19/10/02 22:51:59.69 9qRss58O.net
集金詐欺だからな。

93:デフォルトの名無しさん
19/10/02 22:57:27.47 h+E35lZ8.net
メモリリークしかしない言語なんて擁護しようがない

94:デフォルトの名無しさん
19/10/02 23:00:27.33 +qWRsZhw.net
CIではなくCDと略されるようになったのか？

95:デフォルトの名無しさん
19/10/02 23:04:59.04 +yvFYHag.net
いまどきCDて
DVDだろ

96:デフォルトの名無しさん
19/10/02 23:11:12.76 tA+LoOos.net
Scalaってなんで最近聞かないんだ？

97:デフォルトの名無しさん
19/10/02 23:18:21.13 9qRss58O.net
>>94
brulayだろおっさんｗｗｗ

98:デフォルトの名無しさん
19/10/02 23:35:30.41 eo8nmuYy.net
メモリは1.5年ごとに倍になるし、

99:デフォルトの名無しさん
19/10/02 23:35:37.83 PwhcmkbT.net
Scalaスレってもうないのな

100:デフォルトの名無しさん
19/10/02 23:36:48.12 +0jwjbHR.net
集金詐欺という意味なら最近出てる新しい言語は皆該当する

101:デフォルトの名無しさん
19/10/03 09:18:54.47 UVRnRWDJ.net
P++はどう？

102:デフォルトの名無しさん
19/10/03 09:41:25.91 UJPWBD3i.net
>>100
計画としてすら存在しない言語についてどうと言われても

103:デフォルトの名無しさん
19/10/03 11:06:26.15 edjgLSeC.net
ようこそここへ　（クックブック）

104:デフォルトの名無しさん
19/10/03 11:20:52.04 k70uCiU6.net
Perl6はどう？

105:デフォルトの名無しさん
19/10/03 11:43:05.22 QW/GUpCE.net
TS界隈が燃えてるな
俺が予想した通りだ
型で遊びたいやつらがマウント取り始めた
もう終わりだ

106:デフォルトの名無しさん
19/10/03 11:52:52.78 HEopH3DP.net
URLﾘﾝｸ(www.npmjs.com)
もう終わりだ

107:デフォルトの名無しさん
19/10/03 12:14:21.23 KXJlaU6i.net
そういえば炎上して消滅したパッケージがあったな

108:デフォルトの名無しさん
19/10/03 12:21:08.52 dL16XEfi.net
次のスレタイは
次世代言語アンチスレ19 TypeScript Rust 他
に変更しないか？🤔

109:デフォルトの名無しさん
19/10/03 12:51:34.84 0St1gbfQ.net
>>107
イイネ

110:デフォルトの名無しさん
19/10/03 12:53:58.11 0St1gbfQ.net
>>104
URLﾘﾝｸ(speakerdeck.com)
any型は嘘ってやつか
いかにも型合わせパズルばっかやってて
実際にモノ作ることには興味ない奴が言いそうなことだ

111:デフォルトの名無しさん
19/10/03 13:20:34.90 LXtrLKPo.net
何が問題なんだ？
any型を使うことは型チェッカに嘘をつくことであるというのは完全に正しいが

112:デフォルトの名無しさん
19/10/03 13:26:52.90 0St1gbfQ.net
型システム様のご機嫌伺いのためにコーも書いてる訳じゃないんで
作るべきモノがあるからコード書いてるんで

113:デフォルトの名無しさん
19/10/03 13:27:17.34 0St1gbfQ.net
コードな。typo

114:デフォルトの名無しさん
19/10/03 14:38:35.18 IZT0jEbm.net
そもそも炎上してるってどこ情報よ

115:デフォルトの名無しさん
19/10/03 14:55:45.10 YE1vF2br.net
VSやVSCodeとかならJavaScriptでも型推論してくれるし
型を明示したいならJSDocを書けばいいだけだから無理してTypeScript使う必要もないかな

116:デフォルトの名無しさん
19/10/03 16:00:45.51 LjcEi/T6.net
>>104-105
始まってすらいない

117:デフォルトの名無しさん
19/10/03 16:24:21.32 hKJYGgWY.net
結局JSDocで型書くならTypeScriptで静的チェック強制した方がいいんだよなあ

118:デフォルトの名無しさん
19/10/03 16:25:51.66 kjukQEdu.net
型合わせパズル型合わせパズルって言ってるけどC#程度の強度でもDynamic使わずにまともにプロダクト作られて運用されてるのにanyが型システム的に嘘って言われた程度で騒ぐ人って…

119:デフォルトの名無しさん
19/10/03 16:54:32.05 HEopH3DP.net
typescriptは構造的部分型だからそのDynamicに型を付けていくようなものなんだよ

120:デフォルトの名無しさん
19/10/03 17:37:19.25 AmYqnV9Q.net
どの言語使おうと堅牢に作ろうと思えばその分コストかかるってだけの話なんだよな。

121:デフォルトの名無しさん
19/10/03 18:09:46.31 O76Q0qC9.net
>>119
メンテナンスコストを含めるとどうだろうね

122:デフォルトの名無しさん
19/10/03 18:17:34.75 fmdUi9Ln.net
メンテナンスコスト考えるならJava、PHP、jQueryだけ使うべき

123:デフォルトの名無しさん
19/10/03 18:19:08.06 L9fYtAg4.net
既存のJSプロジェクトからの移行ならともかく最初からTSで書くプロダクトならパズル言うほど複雑にならんぞ

124:デフォルトの名無しさん
19/10/03 19:48:39.53 n9RXubUB.net
旧世代言語、現世代言語の総合スレも欲しい

125:デフォルトの名無しさん
19/10/03 19:49:39.86 2xyzy1ot.net
>>118
C/C++だって生メモリに対して型を仮定してるだけだから似たようなもん

126:デフォルトの名無しさん
19/10/03 20:09:06.24 foN68M/V.net
C++は例外安全パズルだったな
「CのコードはそのままC++のコードとして使える」が嘘八百だと割り切れば解ける
嘘八百だは言い過ぎだろなんて擁護してたら解けないパズル

127:デフォルトの名無しさん
19/10/03 20:20:39.48 19Ht2GHN.net
>>118
前スレでは型がどうとか言ってたな
時間の経過とともにトーンダウンしてるのは気のせいか

128:デフォルトの名無しさん
19/10/03 20:22:34.58 kjukQEdu.net
>>118
漸進的型付けではなく構造的部分型なの？

129:デフォルトの名無しさん
19/10/03 20:37:15.91 GiS7EHuM.net
次世代言語スレがアホばっかりになったな

130:デフォルトの名無しさん
19/10/03 20:57:54.84 2xyzy1ot.net
>>127
構造的部分型を利用して漸進的型付けを実現している

131:デフォルトの名無しさん
19/10/03 21:07:54.91 0BLjzKt+.net
型を指定すると何も作ってないことになるんだからすごい

132:デフォルトの名無しさん
19/10/03 21:22:20.83 vZs/C8bk.net
プロダクトを作るって観点で言語を議論せず
やれ型パズルだのやれ安全パズルだのぐだぐだ言うバカばっかになった

133:デフォルトの名無しさん
19/10/03 21:37:23.32 SvQDlrFS.net
>プロダクトを作るって観点で言語を議論せず
どうせ「俺はこれで作れるんだ」の応酬で議論にならない

134:デフォルトの名無しさん
19/10/03 21:48:13.86 Hq7132pR.net
>>125
元々互換性は完全では無いけど、例外安全と何か関係あったっけ？

135:デフォルトの名無しさん
19/10/03 22:17:31.43 kjukQEdu.net
>>129
構造的部分型の名を出した方向性は分かったがそこからどうanyの議論に発展するのか分からないな

136:デフォルトの名無しさん
19/10/04 00:07:17.02 x/Qhqm9U.net
例外はcatchしなければexitに似ているが
catchしたら、Cなら既に終了しているプログラムがまだ動いているようなもの

137:デフォルトの名無しさん
19/10/04 01:16:49.91 VgJGDogT.net
例外はCで対比するなら戻り値かerrnoで処理するものだから普通に動いているだろ

138:デフォルトの名無しさん
19/10/04 04:05:19.24 AwInIEFA.net
>>64
zigとの違いはナンでしょう

139:デフォルトの名無しさん
19/10/04 05:08:00.22 +WjHEk6J.net
マネージャー「このままじゃ期限に間に合わないが……大丈夫か？」
型ガイさん「大丈夫です！！！メンテナンスのことを考えて型に拘っていますので、品質の良いものができるかと！！！！！」
マネージャー「型？そこは拘らなくていいから期限を……」
型ガイさん「僕に嘘つきになれって言うんですか！！？！！！！？？？？？？！！！！！！」ﾄﾞﾝｯ!！！！

140:デフォルトの名無しさん
19/10/04 05:44:54.38 SpMME+ew.net
型定義できるのにany使うのはただの手抜きでしょ
テスト書かない奴・ドキュメント書かない奴と同レベルの言い訳されてもね
程度が知れるわ

141:デフォルトの名無しさん
19/10/04 05:51:43.29 1uH22Nmi.net
>>139
ほんとそれ
俺達真実の探求者からするとanyは許せないよな。嘘つきの言葉を許すな！w

142:デフォルトの名無しさん
19/10/04 06:03:38.67 1ASrQa/c.net
>>138
マネージャ無能すぎるだろ
こわい現場だ

143:デフォルトの名無しさん
19/10/04 06:11:57.87 6+RXT+MW.net
型書いたぐらいで期限に間に合わなくなるってことは、当然テストもロクにしてないわけで……

144:デフォルトの名無しさん
19/10/04 06:21:51.96 1ASrQa/c.net
そりゃテストなんて書かないでしょ
作るべきもがあるからな！ﾄﾞﾝｯ

145:デフォルトの名無しさん
19/10/04 07:03:06.07 Yf9jmew1.net
「型合わせ終わったからバグはありません！」
「どれどれ」
「バグだらけじゃねーか！ふざけんな！」
「型合わせ終わったのにどうして....」

146:デフォルトの名無しさん
19/10/04 07:10:07.14 hD2IkxgL.net
型システムを過信し過ぎるのも型を軽視しすぎるのもよくないねという話なんだよな
型が合って出なくなるバグは型にエンコードした情報だけって事すら認識してない人間が型パズル型パズルって馬鹿にしてそう

147:デフォルトの名無しさん
19/10/04 07:16:14.13 8yIxxMU3.net
>>144の思考だとvoid*を使わないC/C++にはバグがないということになるが？

148:デフォルトの名無しさん
19/10/04 07:25:07.97 yNm14ygW.net
このスレJuliaと銘打ってるのにJuliaの話題出てこない。

149:デフォルトの名無しさん
19/10/04 07:42:49.57 fSgdSM//.net
「any」というのはですね、嘘吐きの言葉なんです。中途半端に型を使うからanyになるんですよ。

150:デフォルトの名無しさん
19/10/04 08:09:42.31 ameVRwo7.net
TS信者はany推しでどでかい墓穴を掘ったな

151:デフォルトの名無しさん
19/10/04 09:37:31.16 lnp3M0KY.net
最近の言語だとvar someClass = new SomeClass()みたいなnew演算子は排除するのがトレンドなのかな
C++だとnewのあるなしで確保先をスタックとヒープに分けるから意味あるけど
Java以降の言語でオブジェクト生成に毎回new打たせる意味は結局よく解らなかったな
特に意味もなくnew打たせる言語はもはやレガシー感漂う

152:デフォルトの名無しさん
19/10/04 10:18:13.78 hD2IkxgL.net
Goに至ってはnewはゼロ初期化明示に残ってこそいるけれどスタックかヒープかは自動でコンパイラが割り振るしな

153:デフォルトの名無しさん
19/10/04 10:50:08.23 x/Qhqm9U.net
ハンガリアンかな
接頭辞newを見て補完候補を絞り込む

154:デフォルトの名無しさん
19/10/04 11:52:27.87 VgJGDogT.net
JavaScriptのnewの有無による差（言語仕様）が嫌い

155:デフォルトの名無しさん
19/10/04 11:58:03.15 VgJGDogT.net
あとjsonなどで思うのが
　list: [
　　　aa
　　　bb
　]
または
　list: [
　　　aa,
　　　bb,
　]
のように書きたい
リストの中間か最後(または先頭)かでカンマの有無を調整したくない

156:デフォルトの名無しさん
19/10/04 12:53:10.74 CFemRolP.net
dartはそこらへん緩かったような
a = [3,3,if (hoge) 4,for () i]
とかもできるようなったし。

157:デフォルトの名無しさん
19/10/04 13:03:54.51 TIm5etC2.net
>>154
中間のカンマ省略可能だと式書きたいときに困るでしょ

158:デフォルトの名無しさん
19/10/04 14:38:10.03 JasulCXo.net
TSの型狂信者なんて関数型言語の狂信者に比べれば数も個体の狂暴性も大したことないじゃん

159:デフォルトの名無しさん
19/10/04 15:33:27.96 fSTucKVx.net
コードの書き方勉強するならもちろん外人が書いたコードを見た方が上達するんだろ？

160:デフォルトの名無しさん
19/10/04 16:24:52.16 e1FajTxb.net
そらネイティヴやからな

161:デフォルトの名無しさん
19/10/04 16:59:50.32 CbH6cc12.net
>>157
なにそのウンコよりゲロの方がマシ理論
これだから型パズル大好きマンは

162:デフォルトの名無しさん
19/10/04 19:06:33.35 x7KRb3pR.net
型パズルってフレーズここで聞きすぎてむしろ静的型チェックのない強い型付けの言語の方が型パズルだと思うようになってしまったけど…

163:デフォルトの名無しさん
19/10/04 19:35:11.93 fjkFfujs.net
とりあえずテストコード書こうぜカスども。

164:デフォルトの名無しさん
19/10/04 19:36:22.90 6+RXT+MW.net
部品の型を言えばオートでパズル解いてくれるのが静的型チェックで、
人間がこの部品がどこならちゃんとはめられるか考えないといけないのが動的型付けだから、
なるほど型パズルなのは動的付け型の方だな

165:デフォルトの名無しさん
19/10/04 19:36:50.56 6+RXT+MW.net
付け型ってなんやねん

166:デフォルトの名無しさん
19/10/04 19:52:05.34 vlmSJkRH.net
解いてはくれねえだろ
コンパイラが間違いだと思ったら指摘するだけでよ
コンパイラが仕様を理解して正解を提案してくれる訳でもあるまいし
結局人間がきっちり書くしかねえんだよ
型が合えば満足する奴はそこがわかってない

167:デフォルトの名無しさん
19/10/04 20:47:40.84 x7KRb3pR.net
実際問題型に過剰な信頼を寄せている人間はおれどもTypescriptの中でわちゃわちゃしてるくらいなら別に良くない？
PureScript使えって言い出してる訳じゃないし
あっちはReactが上手く使えなかったり生DOM上手く使えなかったりで、静的型付け好きな私でも本末転倒感を感じる

168:デフォルトの名無しさん
19/10/04 20:51:25.00 6+RXT+MW.net
逆なんだよなあ
最低限型が合ってるかどうかコンパイラがチェックしてくれる分だけ労力を他のことに割ける
動的型付け信者はまるで動的型付けだとロジックのバグが発生しないかのような物言いをする

169:デフォルトの名無しさん
19/10/04 21:00:50.51 a8m6fyZS.net
型だけは立派だなw

170:デフォルトの名無しさん
19/10/04 21:02:12.54 8yIxxMU3.net
動的型付けは不完全なコードも実行できるようにしてデプロイまでの工程を高速化するためのものであって、バグは当然増える

171:デフォルトの名無しさん
19/10/04 21:06:57.26 G1/ISgxb.net
>>167
ジェネリクス使いだすとだんだん手に終えなくなってくるよ
ようは単純な型使ってるだけの間は害はない
メタプログラミングやりだしたらどうでもいいところに時間かけるようになる

172:デフォルトの名無しさん
19/10/04 21:11:43.47 x7KRb3pR.net
OCamlは許された……？

173:デフォルトの名無しさん
19/10/04 21:30:24.60 Zf6it0qM.net
>>170
ジェネリクスすら使えないとかｗｗｗ

174:デフォルトの名無しさん
19/10/04 21:39:33.05 cnXTizuT.net
本来動かないコードのエラー発生をランタイムまで
先送りするのがメリットなのか？

175:デフォルトの名無しさん
19/10/04 21:40:16.83 6+RXT+MW.net
ジェネリクス使っただけで手に負えなくなるプロジェクトって静的型がなかったら実行時バグで死ぬだけでは

176:デフォルトの名無しさん
19/10/04 21:41:27.58 EUw3Ota4.net
>>170
ジェネリクスとメタプログラミングは全然違うんだが
C++のテンプレートと勘違いしてる？

177:デフォルトの名無しさん
19/10/04 21:44:07.98 OLpRTMGU.net
>>175
型の制限を加えるプログラミングと言えるのでメタプログラミングのひとつだよ
出来合いのコンテナ使ってるだけの人は気にしなくていい

178:デフォルトの名無しさん
19/10/04 21:55:05.87 EUw3Ota4.net
>>176
型の制限を加えるとメタプログラミングになるというロジックが意味不明

179:デフォルトの名無しさん
19/10/04 22:01:57.54 D62UOEus.net
メタプログラミングって何なの？

180:デフォルトの名無しさん
19/10/04 22:31:52.18 8yIxxMU3.net
ggrks

181:デフォルトの名無しさん
19/10/04 22:44:18.75 5vrHCZSw.net
>>138
マネージャー「このままじゃ期限に間に合わないが……大丈夫か？」
型なしガイさん「大丈夫です！！！

182:期限を最優先に、JSDocも型も書かずに、コードだけを書いてます！！！！！」ええんかおまいら・・・

183:デフォルトの名無しさん
19/10/04 23:04:10.46 Qy5oO/05.net
生JSはそもそもまともにドキュメントを書けるような構造化されたコードを書ける時点で結構ハイスキルな方だし、
そのレベルならドキュメント書かなくても十分に可読性や保守性の高いコードだと思うよ

184:デフォルトの名無しさん
19/10/04 23:15:40.89 HMIwQPk8.net
流石にドキュメントは書こうぜというか
最早型云々のレベルじゃない

185:デフォルトの名無しさん
19/10/04 23:22:38.10 f2ci0Glw.net
↓これマジ？ルーストってまともなエディタも作れないの？？
686 デフォルトの名無しさん sage 2019/10/04(金) 22:07:43.17 ID:YLLg2aHe
AtomチームがやってたRust製エディタの実験プロジェクトも終了したんだからあきらめよう

186:デフォルトの名無しさん
19/10/04 23:29:38.96 A0q1MFV5.net
char **argv の時点で既にパズルになってたよ
型レベルの構文木があるなら構文解析もあるので型レベルプログラミング不可避

187:デフォルトの名無しさん
19/10/04 23:42:20.75 fwIXJdxR.net
>>183
Atom自体が死に体だから余裕が無くなったのだろ
まさかAtom用のフレームワークElectronを利用したVSCODEにシェア奪われるとは

188:デフォルトの名無しさん
19/10/05 00:19:16.44 PYJHTzmB.net
>>182
第1引数は数字です
第2引数は文字です
って書くんか？
それじゃ「メンテナンスのことを考えて型書いてますんで！！！」ガイジと同じレベルやないかい

189:デフォルトの名無しさん
19/10/05 00:43:26.48 Kv3wO+aL.net
その情報無かったら他人はどうやって使うのさ
命名でカバーするの？

190:デフォルトの名無しさん
19/10/05 01:03:03.48 PYJHTzmB.net
>>187
マネージャー「型？そこは拘らなくていいから期限を……」
型ガイさん「その情報無かったら他人はどうやって使うのさ命名でカバーするの？！！？！！！！？？？？？？！！！！！！」ﾄﾞﾝｯ!！！！

191:デフォルトの名無しさん
19/10/05 01:21:27.55 +P5r5Pn+.net
>>188
ほんでマネージャはなんで答えるのよ

192:デフォルトの名無しさん
19/10/05 01:27:16.32 PYJHTzmB.net
>>189
なんでっておまえらドキュメントガイジがコードも書かずに遊んでるからだろ
給料泥棒

193:デフォルトの名無しさん
19/10/05 01:30:54.69 PYJHTzmB.net
/**
* メソッドの盛り合わせでございます。
* データベースにお接続し、データを取得でございます。
* 第1引数は数字でございます。
* 第2引数は文字でございます。
* 第3引数はあるかもしれないしないかもしれないでございます。
* 返値はないかもしれないし数字かもしれないでございます。
*/
おまえら下請けのゴミどもはヨ？納品物は正しく敬語で書けよ

194:デフォルトの名無しさん
19/10/05 04:58:55.67 gUIOWgQJ.net
正直 >>191はやりすぎだけど
型ガイさんみたいな意識高めの人ってコメント全く書かなそうだし >>191の方がメンテナンスしやすそう

195:デフォルトの名無しさん
19/10/05 05:02:28.81 YQ7Mz102.net
ジェネリクスとメタプログラミングについてはとりまRust Part7 260をチェケラ

196:デフォルトの名無しさん
19/10/05 06:06:07.64 xdqQKQ1c.net
もはや次世代言語関係なしに型もドキュメントもテストもロクに書けないペチパーが暴れるだけのスレになったな

197:デフォルトの名無しさん
19/10/05 06:09:42.41 GP9ct3ol.net
> 返値はないかもしれないし数字かもしれないでございます。
これが実際だったりしてもコメントにすら書かないでごまかす輩がいるんだよな。
型にこだわるやつに限って都合の悪いことはコメント書かん傾向にある。
逆にうまくいかんことをコメントにしろと思うのだが。

198:デフォルトの名無しさん
19/10/05 06:14:53.95 xdqQKQ1c.net
>>195
これもまったく逆だな
文字列か数値かnullが返る関数はそういう型を書かないとそもそもコンパイル通らないし、
そういう妙な型になってる関数はなんでそんな関数が出てくるのか、どんな用途なのかわからないようだとコードレビューに通らない

199:デフォルトの名無しさん
19/10/05 06:20:48.27 GP9ct3ol.net
>そういう妙な型になってる関数はなんでそんな関数が出てくるのか、どんな用途なのかわからないようだとコードレビューに通らない
そんなレベルでコードレビューやってるなら問題ないだろね。

200:デフォルトの名無しさん
19/10/05 08:03:17.63 /uRkHkBp.net
>>195
> 都合の悪いことは書かない
型に関しては全くそうは思わないが、話は変わるけどテストコードはまさに > 都合の悪いことは書かないが横行してるよね
ユーティリティ関数のようなテストしやすいところだけテスト書いて、本当にテストの必要なコア部分は誰もテストなんか書こうとしない
奇跡的に書かれたとしても頻繁に変更が入るからすぐに壊れて放棄される
この傾向は型の有無とは無関係だが、実際にはテストコードなんか無いのにその現実から目を背け
「テストがあれば型は不要」と抜かすのが動的型信者

201:デフォルトの名無しさん
19/10/05 08:06:08.67 GP9ct3ol.net
>「テストがあれば型は不要」と抜かすのが動的型信者
こんなこと言い出す輩はruby使ってる奴以外見たことないがな。
逆ならたくさん見てきた。

202:デフォルトの名無しさん
19/10/05 08:12:58.60 /uRkHkBp.net
>>199
まあそれはその通り
一方で、それなら静的型を使っているプロジェクトはそうでないプロジェクトに比べてテストが書かれないのかというと、
面白いことに実際にはたいてい逆なんだよなw
言語の性質とは無関係に、単に品質に対する意識の問題なんだよ

203:デフォルトの名無しさん
19/10/05 08:43:59.28 +P5r5Pn+.net
>>190
いや、命名でカバーすんの？

204:デフォルトの名無しさん
19/10/05 09:04:58.44 hwNO3Eb6.net
>>176
お前は何を言ってるんだ？

205:デフォルトの名無しさん
19/10/05 09:12:37.01 FrQq6pik.net
Haskellくらい型の表現力が豊かで状態を陽に扱う言語だと、コンパイルが通れば大体狙い通り動くってことが良くある
静的型付けでもオブジェクト！フィールド変数！ウオオオ！って副作用バリバリな言語だと、テストコード書かないと安心できないことの方が多い

206:デフォルトの名無しさん
19/10/05 09:18:43.77 VWTAP42j.net
テストを何だと思ってるんだ

207:デフォルトの名無しさん
19/10/05 09:44:48.66 j2LTRMYt.net
別に「型なんてなくてもいいものができる」なんて流石に言わんでな
「型キチがモナドだのFreeだのEffectだのでパズルおもちゃにしてマウントとってくるくらいなら型なんていらねえ」って言ってるだけ
これは個人の感想じゃなくて、Scalaの大失敗からの教訓な
これをいうとすぐペチパー連呼発狂マンが飛んでくるのほんと図星なんだなとしか思わん

208:デフォルトの名無しさん
19/10/05 09:52:11.84 Kv3wO+aL.net
ホントに型の話してるのか不安になってきた

209:デフォルトの名無しさん
19/10/05 10:02:24.47 6NInSiPP.net
>>191
こういうコメントに謎の型書くくらいなら
普通に言語機能の型書いた方がよくない・・・？
> 第1引数は数字でございます。
が平気で null | string （ただし暗黙キャストで数字になる）とか使われてたりするのが、型無し言語の世界だぞ
お前らこれ読んでも、型よりコメントの方がいい、型はなくていいとか、本気で言ってるの？

210:デフォルトの名無しさん
19/10/05 10:23:24.96 rY1OpV0v.net
おもちゃにするまではなんとなくわかるが個人の勝手だし、マウントとってくるってのはなんなのかわからんな。

211:デフォルトの名無しさん
19/10/05 11:30:14.04 8R/2cy4I.net
個人の勝手で共同プロジェクトのソースコードぐちゃぐちゃにされたらたまらんわ
結局メンテできるのそいつ一人になって
仕事が集中したらケツまくって逃げるんだもんな
型にこだわるやつは地雷だし、そんな奴をホイホイする言語が地雷

212:デフォルトの名無しさん
19/10/05 11:34:07.41 ZxO1UIOF.net
Cのマクロをほぼほぼ封印できた成功体験が大きいと思うぜ
マクロをどう使おうが個人の自由、などという結論にはならなかった
ちなみにマクロを否定するなら代案が必要だったから俺達はtemplateで再帰とかしている

213:デフォルトの名無しさん
19/10/05 12:12:59.41 GyCr6Yqs.net
メ�

214:塔eナンスが～！って言われるけど作って最初の数ヶ月だけメンテされてその後APIの仕様変更とかがない限りずっと放置されるんだよね……w

215:デフォルトの名無しさん
19/10/05 12:54:38.51 +P5r5Pn+.net
個人の勝手でコードぐちゃぐちゃになるってどういう組織なのよ
どんな体験からそんな保守的になったのか興味あるわ

216:デフォルトの名無しさん
19/10/05 12:57:47.72 6NInSiPP.net
個人の勝手うんぬんって、完全にマネジメントの問題じゃん
それが型のせいで～とか、思考回路ショート寸前すぎない？

217:デフォルトの名無しさん
19/10/05 13:00:54.85 e/Rh94Kn.net
>>211
新規で作るよりあるものに機能足そうって思想で魔改造されるパターンで
放置どころかメンテが続くパターン知らないんだな

次ページ