- 1 名前：デフォルトの名無しさん mailto:sage [2017/06/13(火) 08:54:07.99 ID:O1HnBMDk.net]
- いざ、語ろうぞ。
スレタイ超過のため、一部省略。
その他もウェルカム。
前スレ
次世代言語議論スレ[Go Rust Kotlin Scala]第4世代
mevius.2ch.net/test/read.cgi/tech/1492631007/
- 610 名前：デフォルトの名無しさん mailto:sage [2017/08/05(土) 22:33:18.79 ID:r+UIi6ic.net]
- Javaかよ（笑）
- 611 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 01:46:33.87 ID:X6yw5Nga.net]
- ScalaでもHaakellでも書くのが当たり前だぞ
- 612 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 02:30:30.64 ID:0wpHTVIH.net]
- えっ それはどこの当たり前？？
- 613 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 03:09:28.92 ID:OwbCgw8i.net]
- OCamlでも普通は型を書くぞ。
- 614 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 03:13:20.32 ID:JQasL6d0.net]
- ？
- 615 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 03:34:23.31 ID:0wpHTVIH.net]
- OCamlとか死んだ老害言語の話はしてないから
耄碌お爺ちゃんはあっち行ってて
- 616 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 04:44:58.60 ID:X6yw5Nga.net]
- >>603
？
- 617 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 04:45:24.92 ID:X6yw5Nga.net]
- なんだエアプが湧いてんのか
- 618 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 04:54:54.04 ID:X6yw5Nga.net]
- もしかして式一つずつに型注釈入れるとでも思ってるのかね
そんなのJavaですらやらんよ？
HaskellやScalaは少なくとも各モジュールのトップレベルの関数には型注釈つけるし、つけないと効率悪くなる
コンパイル遅くなりやすいし、推論に頼りすぎるとエラー時に問題箇所が曖昧になるから
- 619 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 07:49:45.80 ID:K4D4wFtM.net]
- 書いても書かなくてもよいというのが客観的事実だから
理系なら話はそれで終わり
それ以上踏み込むのは文系の仕事
- 620 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 10:18:56.55 ID:fAxfwMN0.net]
- OCamlアンチおるな
- 621 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 10:46:44.29 ID:0wpHTVIH.net]
- >>609
なら最初からそう書けよ
> ScalaでもHaakellでも書くのが当たり前だぞ
エアプガイジ
- 622 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 11:37:53.63 ID:exhLY8Mw.net]
- Ocaml自体は良い言語なの？
あんまり使ってるって人は聞かないけど
- 623 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 11:40:40.31 ID:+mclrVGG.net]
- >>613
よく知らないけど金融で使ってる人がいるらしいのと、最近機械学習で使ってる輩がいるらしい
- 624 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 12:03:55.69 ID:
]
- [ここ壊れてます]
- 625 名前：K4D4wFtM.net mailto: >>613
型ありライブラリなし特技なし [] - [ここ壊れてます]
- 626 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 12:23:21.27 ID:+mclrVGG.net]
- あとHLVMはOCamlじゃなかったっけ？
- 627 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 14:51:30.93 ID:X6yw5Nga.net]
- >>612
またお前か
ガイジガイジうるさいだけでなくただの知ったかぶりか
- 628 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 14:51:53.14 ID:9I48IW8u.net]
- ocaml, haskell の比較
ttp://d.hatena.ne.jp/camlspotter/20101212/1292165692
まあ極論抜きにして普通に考えればこういうことだろうなという印象。
- 629 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 15:00:38.52 ID:X6yw5Nga.net]
- >>618
この人は良く分かってるなあ
純粋言いながらunsafePerformIO使うって件はまさにその通り
結局このIO書くときの面倒さがあるから、ScalaやOCamlのが使いやすい印象になってしまう
- 630 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 16:21:58.97 ID:HqZ4NE4V.net]
- 割り切れば楽なのにと思ったりもするｗ
純粋とは副作用有りと無しを分けて書くことで
try-catchで正常処理とエラー処理を分けて書くようなものだ
- 631 名前：デフォルトの名無しさん mailto:sage [2017/08/07(月) 11:39:10.26 ID:tDzZ+7xU.net]
- >>620
ちょっと脇道にそれるけど
try-catchって言うほど正常処理とエラー処理をきれいに分けられる？
goのようにその構文を捨ててる言語があるとこも考えると
いうほど価値あるのかなって思う。
あと関数型だとEither型とかもあるよね。
- 632 名前：デフォルトの名無しさん mailto:sage [2017/08/07(月) 12:10:20.41 ID:r7C/NYo5.net]
- >>621
返り値が一つしかない言語では有能機能だった。多値返却が当たり前になりつつある今はもう……
- 633 名前：デフォルトの名無しさん mailto:sage [2017/08/07(月) 12:28:03.34 ID:tDzZ+7xU.net]
- >>622
まぁ。それでもリストなりタプルで返せば一緒だけどね。
前の会社の上司がphpの関数の返却値を必ず配列で返してたの思い出した。
言語としての基本方針がそうなっているかどうかだよなー。
結局誰かがそういう実装にしてもメンテする過程で混在しちゃったら地獄と化す
- 634 名前：デフォルトの名無しさん mailto:sage [2017/08/07(月) 12:37:33.59 ID:tDzZ+7xU.net]
- elixirの言語仕様の中に、結構何これかっこいいって仕様がたくさんあった気がする。
例えばパイプ演算子とか、
バイト配列に対するパターンマッチとか。
- 635 名前：デフォルトの名無しさん mailto:sage [2017/08/07(月) 14:18:21.77 ID:JP8gCgB5.net]
- OCamlでは常備薬だったよ>パイプ演算子
haskellの$や.より読みやすくて好きなんだけど、関数型も取り入れててオブジェクト指向もサポートしている言語だと、
メソッドチェーンでええやん勢がいるのが難点
自由度はパイプの方が高い気がするんだがな
- 636 名前：デフォルトの名無しさん mailto:sage [2017/08/07(月) 19:08:07.52 ID:dQGQ218P.net]
- お前らだれもF#話題にしないからマイクロソフトP#作っちゃったじゃん
- 637 名前：デフォルトの名無しさん mailto:sage [2017/08/07(月) 19:57:22.72 ID:y+tGiyqS.net]
- へー、FORTRANの次はPascalの.NET版か。
- 638 名前：デフォルトの名無しさん mailto:sage [2017/08/07(月) 20:38:25.36 ID:E9IdpB60.net]
- MSっていったいいくつ言語作ったんだ
そしてパクリでない言語はあるのか
- 639 名前：デフォルトの名無しさん mailto:sage [2017/08/07(月) 20:45:36.62 ID:n9zFQLuH.net]
- >>628
すべての言語はすべからくパクりパクられの関係であるといえる。
一番言語を上手く作れている会社だと思うけど >MS
と言うか開発環境セットでいい感じ。
vscodeの完成度は高い。TypeScript大好き。
ただTypeScriptはあくまでESの型拡張に限定してるからES側に機能追加がないと
言語として成長できないという問題はある。
ドッチかというとFacebookが言語開発イマイチ感
Hackとかflowとか
- 640 名前：デフォルトの名無しさん mailto:sage [2017/08/07(月) 20:52:47.52 ID:E9IdpB60.net]
- >>629
BASICっぽくないのにVisualBASICとか名前をパクってるってこと
他の言語は移行者を配慮してだが、MSは騙す努力ばかりに見える
開発環境とセットというのがまたダメだ
プログラマによる変革が生まれにくい
単なる作業者ならいいが
- 641 名前：デフォルトの名無しさん mailto:sage [2017/08/07(月) 21:02:50.52 ID:n9zFQLuH.net]
- >>630
俺もちょい前まではMS気に食わなかったし
vscodeが最初登場したときは、なにこれatomパクって車輪の再発明？
みたいな感じだったが使ってみてハマった。
別に開発環境で囲い込もうってわけでもないと思う。
一緒にlangage server protoolというのも定義して公開した。
IDEと言語サーバ間のプロトコルを共通化し対応するEditorならなんでも使えるようにする。
gccがサポートしてるってニュース見たよこないだ。
ということで最近のMSはオープンソースとの関係がよい。気がする。
- 642 名前：デフォルトの名無しさん [2017/08/07(月) 21:36:59.12 ID:NP3377Zu.net]
- >>629
FBだけじゃなくてGoogleもイマイチ
DartやGo
- 643 名前：デフォルトの名無しさん mailto:sage [2017/08/07(月) 21:48:18.67 ID:Ii/d6u5R.net]
- >>632
Googleも結局VSCodeメインで使ってるしな
- 644 名前：デフォルトの名無しさん mailto:sage [2017/08/07(月) 22:01:33.03 ID:E9IdpB60.net]
- >>631
その先に3E戦略が見えるから乗っかれない
- 645 名前：デフォルトの名無しさん mailto:sage [2017/08/07(月) 22:03:25.57 ID:JP8gCgB5.net]
- Electronベースのエディタとしては後発なのに他を追い抜いたのが凄いわ>vscode
vscodeはatomやbracketと同じElectronベースなのにどうしてあんなに軽いのかね
- 646 名前：デフォルトの名無しさん [2017/08/07(月) 22:19:19.22 ID:NP3377Zu.net]
- >>635
MSは長い間VS作ってるしエディタとかIDEのノウハウが凄いのでは
- 647 名前：デフォルトの名無しさん mailto:sage [2017/08/07(月) 22:34:23.14 ID:60+6AuiC.net]
- 構造化BASICの正統進化なんだけど
ついでに8bit機にのってたようなのは当時既にストリートBASICって言われてた
（漏れもwikipediaで知ったんだけどさｗ）
- 648 名前：デフォルトの名無しさん mailto:sage [2017/08/07(月) 22:52:43.28 ID:Bulya1kQ.net]
- >>629
すべからくの使い方を間違えてる日本語が気持ち悪い
- 649 名前：デフォルトの名無しさん mailto:sage [2017/08/07(月) 22:56:12.10 ID:PU2i/+ft.net]
- 最大級の戦犯はペチプ～やペェ～ルとかいう真性糞ゴミを作った屑
- 650 名前：デフォルトの名無しさん mailto:sage [2017/08/07(月) 22:56:31.90 ID:BjLAzK5L.net]
- 一歩の作者が悪いんや…
すべからく…べし、の形すら守ってないと俺はそれ以降の文章はスキップする
読む価値がない
- 651 名前：デフォルトの名無しさん mailto:sage [2017/08/07(月) 23:11:59.24 ID:nZ0RU5t+.net]
- >>637
MSのQuickBASIC好きだったなぁ
- 652 名前：デフォルトの名無しさん mailto:sage [2017/08/07(月) 23:20:02.38 ID:PU2i/+ft.net]
- 屁臭いペチプァゴミはすべからく死すべし
- 653 名前：デフォルトの名無しさん mailto:sage [2017/08/08(火) 01:38:13.00 ID:Apkyawzp.net]
- >>636
内部的にtypescript使ってるのは関係ないかな？
- 654 名前：デフォルトの名無しさん mailto:sage [2017/08/08(火) 01:43:32.85 ID:lBJjevEI.net]
- vscode はむしろマイクロソフト内の若手が爺どもにぶちぎれて
まったく別路線のものをつくったという印象
- 655 名前：あ mailto:sage [2017/08/08(火) 08:04:36.27 ID:y4ztJzgK.net]
- >>630
いわゆるMS BASICからQUICKBASIC→Visual Basic→VB.netと辿っていけばわかるけど、普通にMicrosoft系のBASICだと思うけど。
どの辺がBASICっぽくない？
- 656 名前：デフォルトの名無しさん [2017/08/08(火) 11:58:13.44 ID:1MHxdJ+Z.net]
- >>643
typescriptもjsに変換されるから無関係
V8エンジンが速いという条件ならatomも同じだぢ
- 657 名前：デフォルトの名無しさん [2017/08/08(火) 11:58:30.92 ID:1MHxdJ+Z.net]
- x だぢ
o だし
- 658 名前：デフォルトの名無しさん mailto:sage [2017/08/08(火) 14:24:25.13 ID:Apkyawzp.net]
- >>646
それは言われなくても分かる。
素のES2015よりメンテナンス性や安定性が向上しないかな。
例えばnull安全なコードがかけるからnilチェック漏れとかを潰せるし。
プラグインもtypescriptでかくから少しましになる？
- 659 名前：デフォルトの名無しさん [2017/08/08(火) 16:22:17.89 ID:1MHxdJ+Z.net]
- >>648
それはそうだけど、>>635から始まったvscodeのパフォーマンスの話してるからtypescriptであるかは関係ない
- 660 名前：デフォルトの名無しさん mailto:sage [2017/08/08(火) 22:23:27.85 ID:tSx5MElw.net]
- >>622
勘違いしてるぞ
EitherはMaybeの上位互換だ
- 661 名前：デフォルトの名無しさん mailto:sage [2017/08/08(火) 23:05:33.35 ID:uStlgM0t.net]
- >>650
多値返却に関してはgoのことやね
Eitherに関しては取り敢えず無視してたわ
- 662 名前：デフォルトの名無しさん mailto:sage [2017/08/09(水) 00:30:01.84 ID:89KnBaBf.net]
- エラーをバケツリレーするより
エクセションで飛ばした方が簡単でしょ
- 663 名前：デフォルトの名無しさん mailto:sage [2017/08/09(水) 08:59:18.22 ID:FPEvL6ue.net]
- 簡単そうに見えても結局それぞれの場所でオブジェクト�
- 664 名前：J放を
うまくやらなきゃならんことを考えれば大して楽になるわけでもない。 [] - [ここ壊れてます]
- 665 名前：デフォルトの名無しさん mailto:sage [2017/08/09(水) 12:40:14.22 ID:aEwDYdDe.net]
- VSCodeでインテリセンス技術をオープンソースにしたのは地味に画期的なことだと思う
IDE分野でのMSの強さを支えるコア技術だよね
- 666 名前：デフォルトの名無しさん [2017/08/09(水) 13:12:03.09 ID:ZSp2lruc.net]
- Goはパターンマッチないのに例外を戻り値で返すからあんな面倒な事になってるんだろ
- 667 名前：デフォルトの名無しさん mailto:sage [2017/08/09(水) 19:01:09.05 ID:FPEvL6ue.net]
- その言い方だと例外投げられればいいのかパターンマッチが導入すればいいのか
わからんが。
どっちかもしくは両方あれば楽になったとでも？
プログラム書く上でまったく本質的な制約だと思わんな。
- 668 名前：デフォルトの名無しさん mailto:sage [2017/08/09(水) 19:08:28.68 ID:h3UNfnj7.net]
- 本質的な制約って何だよ？
- 669 名前：デフォルトの名無しさん [2017/08/09(水) 19:25:58.05 ID:ZSp2lruc.net]
- >>656
どちらか欲しい
両方ないのはキツイ
- 670 名前：デフォルトの名無しさん [2017/08/09(水) 19:26:26.92 ID:ZSp2lruc.net]
- あと複数の戻り値じゃなくてタプル+単一戻り値の方が扱いやすい
- 671 名前：デフォルトの名無しさん mailto:sage [2017/08/09(水) 19:49:05.94 ID:gdB1BRW9.net]
- よくわからんが、タプル+単一は複数とは違うのか？
- 672 名前：デフォルトの名無しさん mailto:sage [2017/08/09(水) 19:53:53.66 ID:h3UNfnj7.net]
- Pythonとかあれタプル＋単一じゃね？
- 673 名前：デフォルトの名無しさん mailto:sage [2017/08/09(水) 20:19:16.67 ID:jK6ObLbS.net]
- +演算子をorの意味で使ってるのか?
それだとタプルを返した時は単一ということになるか
単一の意味も違うのかもしれない
- 674 名前：デフォルトの名無しさん mailto:sage [2017/08/09(水) 20:44:15.24 ID:h3UNfnj7.net]
- 形式的にだけど、返り値はタプル一つになっていて、それを分配束縛してることになってなかったっけ？
違ったかも
- 675 名前：デフォルトの名無しさん mailto:sage [2017/08/09(水) 21:03:21.63 ID:gdB1BRW9.net]
- んで結局、>>659はどういうのが扱いやすいと言っていたわけなの
- 676 名前：デフォルトの名無しさん mailto:sage [2017/08/09(水) 21:22:14.98 ID:SHgM+TeI.net]
- タプルとEitherはC言語のstructとunionに戻るようなものだからな
次世代の面子が潰れる
- 677 名前：デフォルトの名無しさん mailto:sage [2017/08/09(水) 21:38:43.55 ID:cB8pPRbn.net]
- goの戻り値がタプルのほうが嬉しいという気持ちはわかる。
自作の型に自由にメソッド生やせるのに、メソッドチェーンしようとした場合に、多値を返されると無理。
- 678 名前：デフォルトの名無しさん [2017/08/09(水) 22:04:04.13 ID:ZSp2lruc.net]
- >>666
golangは本当メソッドチェーンが出来ないよな
- 679 名前：デフォルトの名無しさん mailto:sage [2017/08/09(水) 22:51:13.67 ID:cB8pPRbn.net]
- まぁそういう弱点ありつつもgoは嫌いじゃないんだけどね。
エコシステムの部分とか。
import文にgithubのurl?を書けたり。
標準ライブラリのコードが自然に見にいけるから書いている最中も勉強になるし、標準ライブラリが教科書的な役割をはたしてくれたり。
コードフォーマットが標準装備で言語仕様的に制約が強いから構文規約は一つしかないところとか。
と言いつつも他の言語を見て羨ましくもあり。もっと関数型チックになってほしいけど無理かな。
- 680 名前：デフォルトの名無しさん mailto:sage [2017/08/09(水) 23:57:18.80 ID:ECmmt/Ev.net]
- メソッドチェーンが遺物だと気づけw
Goは意図的にメソッドチェーン出来ないようにしてるんだ
- 681 名前：デフォルトの名無しさん mailto:sage [2017/08/10(木) 00:20:35.92 ID:eLvHxdUn.net]
- パイプライン演算子の便利さを考えるとメソッドチェーンもそこまで悪くない気もするが、使い方次第かねえ
- 682 名前：デフォルトの名無しさん mailto:sage [2017/08/10(木) 01:03:52.42 ID:BXUbqcL4.net]
- パイプカットでGo
- 683 名前：デフォルトの名無しさん mailto:sage [2017/08/10(木) 01:40:12.18 ID:+tFBM5sG.net]
- パイプラインの方が柔軟性高くていいよね
do_something foo |> lambda x => x + other_fun bar |> ...
みたいな前の戻り値のメソッドに限定しない書き方ができる
これをもっと楽にするような記法、例えばパイプラインの式中のアンダースコアは前の値とする、みたいなのがあると嬉しい
上のやつと等価だったらdo_something foo |> _ + other_fun bar |> ... みたいな
- 684 名前：デフォルトの名無しさん mailto:sage [2017/08/10(木) 01:51:16.15 ID:eLvHxdUn.net]
- Juliaでそのアンダースコア議論されてて、結局実装されなかったんだよなたし�
- 685 名前：ｩ []
- [ここ壊れてます]
- 686 名前：デフォルトの名無しさん mailto:sage [2017/08/10(木) 01:52:27.10 ID:E9UII0hi.net]
- それはおかしいでしょ
カリー化した方が自然
- 687 名前：デフォルトの名無しさん mailto:sage [2017/08/10(木) 01:55:26.39 ID:eLvHxdUn.net]
- 2番目の引数を先に埋めてアンダースコアは一番目にしたいパターンがあるので、どちらかと言うとカリー化は好きじゃないなあ。設計が悪いと言われたらそれまでだけど
Juliaの場合は多重ディスパッチを採用している関係でカリー化は諦めたっていうのもあったな
- 688 名前：デフォルトの名無しさん mailto:sage [2017/08/10(木) 03:00:14.84 ID:J41+5nHx.net]
- >>665
いやだからEitherモナドはMaybeみたいに正常系だけ書いていけるし単値だしで全然違うって
なんで皆使ったことも無いのにそんな事言うの…
- 689 名前：デフォルトの名無しさん mailto:sage [2017/08/10(木) 07:31:11.02 ID:EsQl4Iyt.net]
- 単純にノイズが増えるだろう
現実にはほとんどの関数がエラーを返す可能性を持ってるんだから、言語に織り込んでデフォルトを Error | Result とするのは悪いアイデアではない
- 690 名前：デフォルトの名無しさん mailto:sage [2017/08/10(木) 08:32:51.57 ID:eLvHxdUn.net]
- >>676
これ実際Haskell書いてないと分からない感覚かもな
- 691 名前：デフォルトの名無しさん [2017/08/10(木) 23:01:38.31 ID:g9gtECZC.net]
- (Elixirは？動的型付け言語に人権はありますか)
- 692 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 07:15:28.72 ID:VinUUXdS.net]
- ほとんどの動的型言語ってそれが動的型であるメリットは特に無くて
単なる処理系実装者の怠慢でしかない
動的型言語を推すならまずはそれが動的型でなければならない理由を示すこと
- 693 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 08:32:31.97 ID:wS48fUKa.net]
- lisp とか仕様をシンプルにできることかな。
あほみたいに仕様が膨らんで意味の分からんキャストをがばがばおこなわなきゃならん
みたいな不自然なことで生じるバグは減る。
- 694 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 08:51:11.85 ID:Pc9UeBFi.net]
- >>680
怠慢に寛容になると嘘をつく人間が減るから
自分はなにもしないくせに他人の嘘をデバッグするのだけはうまい奴がいる
そういう奴がいても許されるから嘘が減る
怠慢を許さない環境では忙しくて嘘を見抜く暇もないから嘘が蔓延する
- 695 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 08:56:57.66 ID:wWK8j68x.net]
- そもそも型が必要な理由が分からん。
数学なら「整数型のxが・・・」なんて言わないしな。
「ここでxは整数とする」はあるけど、条件に過ぎないし。
リストやタプルも分ける必要ある？
- 696 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 10:46:48.12 ID:4bbWTV9L.net]
- 372仕様書無しさん2017/08/11(金) 10:31:43.41
フリーランスで検索すると引っかかる零細ITがやっているサイトだめだ。
高額に見せているけど実際は50万前後
JIET加入した方がいいよ。案件は毎日千件以上末端価格は60万円 平凡な稼働時間の80万円の案件もある。
ユー子が求人をだしてる。名刺も渡せる。ユー子に名刺を渡せるんだぞ。夢のようだ
それらの案件まさぐってHPで転売していたのが零細ITがやるフリーランスサイト
- 697 名前：デフォルトの名無しさん [2017/08/11(金) 11:00:48.00 ID:HT0ZPb79.net]
- >>683
型はその条件をいろいろ細かく定義したものだろ。
値域や定義域だって型。
- 698 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 11:17:57.35 ID:Dik+7mIk.net]
- 動的型の問題って関数のインターフェースがガバガバなところでしょ？
elixirはパターンマッチで結構制約できるから動的だからって卑下する必要ないのよ
- 699 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 11:44:41.66 ID:23hvE/8L.net]
- >>680
動的型でなければならない理由？
それは、おまえがバカだからだろう。
- 700 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 11:59:08.49 ID:wWK8j68x.net]
- >>685
少なくともunsigned は要らなくない？
1bit ケチれるだけだし。
中途半端な単精度浮動小数点とかも。
- 701 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 12:01:25.46 ID:u64fZ1yg.net]
- 申し訳ないが未だに使っているGPUの多い単精度小数点DisはNG
- 702 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 15:03:12.85 ID:Pc9UeBFi.net]
- >>686
まだコードを書いてないのに問題でしょとか言われても
言う時期が早すぎるし言う内容に具体性がないよ
まるで数学も英語もまだ知らない小学生にプログラミングを教えているようだ
- 703 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 15:39:55.52 ID:Dik+7mIk.net]
- TypeScript触ってるとjsに型がある方が幸せだってわかる。
jsonにスキーマ設定無しで
reduxでstate管理するのとか絶望する。
あと、学習面でも明らかに型があったほうが幸せ。書いてる端から指摘してくれるからすごく幸せ。
TypeScriptはvscodeとセットで幸せー
- 704 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 15:58:37.67 ID:uuzmQ1J4.net]
- >>688
今言ってる片野必要性は容量のためじゃないだろ
全ての引数をテストするとすると1bit減ることでテストの数が半数になる実装もその1bitに対して考える必要がなくなる
例えばルートを計算する関数を実装するのに引数が正の整数と限定されてれば簡単だが、負だったり小数した場合は複雑になる。文字列や画像だった場合は例外が発生したりアボートしたり誤作動するかも知れない。
型はビジネスロジックに集中するためのルール、制約だ
静的は言語レベルで強制、チェックしてて、動的ではユーザ、実行時に任せてる
- 705 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 18:06:45.60 ID:wS48fUKa.net]
- 関数の引数なんかはやっぱ型があった方が読みやすいなと思う。
でも内部のテンポラリ変数なんかは別にいらんかもね。
というかテンポラリ変数の型情報がないと読めないようなコードは
そもそもコードが長すぎるとか、他の根本的な部分に問題がある気がする。
- 706 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 19:32:48.58 ID:L+PB1ux2.net]
- >>682
>>690
内容がフワフワしてて何言ってるのか理解できない
もっと具体的かつ簡潔に言え
Twitterによくいるプログラミングできないのにプログラム語ってるクソ野郎みたいだぞ
- 707 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 19:36:48.30 ID:L+PB1ux2.net]
- >>688
unsignedはオーバーフローしても下から戻るから楽
つか実装型まで否定するって、じゃあ任意精度にしろってか？
計算量制御できなくなるぞ？
- 708 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 21:54:24.08 ID:3dMix9dV.net]
- 世界で最も使われている西京言語JavaScriptをディスってんのかメーン
- 709 名前：デフォルトの名無しさん [2017/08/11(金) 22:53:04.88 ID:HT0ZPb79.net]
- 西京漬けいいよね
- 710 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 23:18:20.12 ID:Dik+7mIk.net]
- 最近はtypescriptが流行っていてな
|
 |
