X



次世代言語11[Rust Swift TypeScript Dart]
レス数が1000を超えています。これ以上書き込みはできません。
0003デフォルトの名無しさん
垢版 |
2018/06/03(日) 23:59:41.73ID:CcsWt1Gk
内包表記だと
result = [i * 2 for i in range(10) if i%2==0]

かっちょええチェーンは
val result = (0 to 10).filter(_ % 2 == 0).map(_ * 2)

ちょっとかっちょよくないチェーンは
auto result = iota(0, 10).filter(a => a % 2 == 0).map(a => a * 2)

なんだなあ。最後のはちょっと長いし無駄が多い印象
0004デフォルトの名無しさん
垢版 |
2018/06/04(月) 00:01:42.36ID:hc38kpsa
>>3
最後のはスィープラ?いけるやん
これの良さがわからないリーナスとかいう禿げは何何やろなん?
0005デフォルトの名無しさん
垢版 |
2018/06/04(月) 00:03:00.33ID:kw+VpFDN
>>3
かっちょええやつで、引数が2つあるときや
同じ引数を2回使いたいときの書き分けはどうすんのん?
0006デフォルトの名無しさん
垢版 |
2018/06/04(月) 00:08:56.62ID:hc38kpsa
>>5
(a => a % 2 == 0)
のスィンタックシュスュガーなだけだから
((a, b) => a % 2 == 0)
こうなるだけやぞ
0007デフォルトの名無しさん
垢版 |
2018/06/04(月) 00:10:35.66ID:ap9RcjQR
>>4
Dやで。C++は少なくとも17まではこんなん出来なかった気がする
>>5
Scala全く知らないけど、_1,_2としていくのがMathematicaとかの定番やね
0008デフォルトの名無しさん
垢版 |
2018/06/04(月) 00:13:39.31ID:hc38kpsa
前999

集合論の書き方という発想はなかった

初めに神はxを創造された。
さて、xは0から始まり、荒漠としていて、10まであった。
それから神は言われた、「偶数あれ」。

良く訓練されたパイスォニスタは、コードではなく聖書を書いていたというのか?
0009デフォルトの名無しさん
垢版 |
2018/06/04(月) 00:15:08.35ID:hc38kpsa
>>7
さよか、autoとiotaテケトーにググっただけだから釣られたわ
やっぱスィープラは糞なんやな、リーナスは神
0011デフォルトの名無しさん
垢版 |
2018/06/04(月) 00:30:09.23ID:hc38kpsa
>>8
自分で書いてあれやが、2倍が抜けてるやん

やっぱリスト内包表記は糞としか思えないんだが
俺の脳内パーサがコンパイルエラーを吐く
0014デフォルトの名無しさん
垢版 |
2018/06/04(月) 00:39:52.31ID:zpFlbA/4
Scalaの_は糞やで
外側の_をメソッド呼び出しの引数に渡せないから現実にはほとんど使い物にならない
使えば使うほど理不尽な制約の多さに辟易する
Kotlin関係なく、こんな行き当たりばったりなゴミが元々普及するわけがなかった
0015デフォルトの名無しさん
垢版 |
2018/06/04(月) 00:41:39.99ID:ap9RcjQR
>>13
それメソッドチェーンでも同じやん
それに場合によるけど二重くらいなら改行すればそんなにぐちゃぐちゃにはならないと思うよ
0016デフォルトの名無しさん
垢版 |
2018/06/04(月) 00:43:01.33ID:ap9RcjQR
>>14
あー。Juliaでも議論されて結局それのせいでいろいろ決まらなかったやつやね……
そうかあかんか……
0017デフォルトの名無しさん
垢版 |
2018/06/04(月) 00:45:26.50ID:hc38kpsa
内糞は、必ずmap句、generate句、filter句の順である・・・と覚えりゃいいんだろうか
どう考えても糞ちゃう?
0019デフォルトの名無しさん
垢版 |
2018/06/04(月) 01:04:54.97ID:zAeRE8t2
SQLのSELECT文に近い順番だけど
あれもROM句から考えるほうがしっくりくるんだよなあ
0020デフォルトの名無しさん
垢版 |
2018/06/04(月) 01:07:53.19ID:efjhcfbb
英米人「Catch me if you can!」
ジャップ「捕まえられるものなら捕まえてみろ!」

長いし冗長。
0021デフォルトの名無しさん
垢版 |
2018/06/04(月) 01:09:29.03ID:hc38kpsa
ああ、SQLとも似てるのか、なるほどですね
1ライナーで書くことを強いられてるせいで余計読みづらいのかな

しかし前996に尽きる
前提が数字か文字列か何なのかわからんのに、
いきなり「2倍します」で始まるとかファッ!?てなるですよ
0022デフォルトの名無しさん
垢版 |
2018/06/04(月) 01:14:08.27ID:ap9RcjQR
まあデータを後ろへ流していくパイプラインの方がより書きやすいというのはわかる。書いてるとメソッドチェーンの方が書きやすいわ。
ただ、ラムダ式に毎回引数を書く必要があったり、外側の_の問題が鬱陶しい
0024デフォルトの名無しさん
垢版 |
2018/06/04(月) 01:40:08.83ID:kw+VpFDN
ポイントフリースタイルにすれば引数も書かなくてよくなるぞ
難読具合もUPするとは思うがw
0027デフォルトの名無しさん
垢版 |
2018/06/04(月) 09:48:53.04ID:X/eaSlg+
普段C/C++使ってる身としてはいくら読みやすかろうと
実行効率犠牲にされると使う気が起きないな
0029デフォルトの名無しさん
垢版 |
2018/06/04(月) 13:10:56.78ID:eJtFPcnp
横レスだがCPU時間次第では
I/O律速だから非効率でもいいかとガシガシCPU使ってると熱持ったり電池減ったりするからね
0031デフォルトの名無しさん
垢版 |
2018/06/04(月) 14:27:36.11ID:LPM+TCv0
>>28
最適化作業が当たり前の世界にいるのだけど、最適化って進めるごとにどこがボトルネックは変わっていくんだ
また最近は可能な限りジョブ分割して並列実行させるから特定のcpuが遊んでるってこともあまりない
もし遊んでれば機能追加しようという話になる

そういう世界だと最適化前であっても原則富豪的なプログラミングは許されない
プログラミング言語にもとめるものとして可読性の順位はあまり高くない
どういうバイナリに落ちるか想像つくレベルでないとリバースエンジニアリンクに時間とられるはめになる
0035デフォルトの名無しさん
垢版 |
2018/06/04(月) 15:01:49.69ID:MwYJH1hR
コンパイルと起動用のスクリプトにpython使おう
最適化の世界ではコンパイル時間と起動時間はノーカンだろ常識的に
0036デフォルトの名無しさん
垢版 |
2018/06/04(月) 15:09:14.29ID:kw+VpFDN
起動時間をノーカンにしてたからクライアントサイドJavaは嫌われて滅びたというのに
0037デフォルトの名無しさん
垢版 |
2018/06/04(月) 15:11:05.85ID:gu22rR49
その程度シェルスクリプトでいいだろそれこそ
0038デフォルトの名無しさん
垢版 |
2018/06/04(月) 15:27:18.66ID:eJtFPcnp
>>34
そもそもここ実行速度の遅い、C代替になり得ないようなスクリプト言語のスレなのか?
0039デフォルトの名無しさん
垢版 |
2018/06/04(月) 15:35:45.44ID:w4mYuJva
>>38
両方ありのスレだろ。TypescriptがCの代替になるとは思えない。
そして俺達は今C代替になりえるかとかそういう話はしていなかった。てっきり続きの話題なのだと思ったけど、続きでなく新規の話題だったなら俺が反応する必要はなかった
0040デフォルトの名無しさん
垢版 |
2018/06/04(月) 16:07:21.63ID:H6hl2Chj
実行速度は速いに越したこと無いけど、速いだけじゃCの代わりは無理だからね
0044デフォルトの名無しさん
垢版 |
2018/06/04(月) 18:32:53.06ID:wEdo//i+
ところでうちのサーバー、オフラインだからパッケージマネージャの類い全然有り難くないどころかむしろ鬱陶しいんだけど、お前らの所ってそうでもない?
0047デフォルトの名無しさん
垢版 |
2018/06/04(月) 20:33:46.23ID:iKbHCPb7
そもそもパッケージマネージャーとか抜きにオフラインキツイわ。
大抵そういう現場ってバカの保身の為で全然本質でないことをやらされるイメージ。
0048デフォルトの名無しさん
垢版 |
2018/06/04(月) 21:16:25.53ID:MwYJH1hR
linuxを起動する円盤にもパッケージが入ってるので
この仕組みを解明できたらネット接続は本質ではない
0050デフォルトの名無しさん
垢版 |
2018/06/04(月) 22:11:54.23ID:DetQUnLl
気軽にリポジトリのURIをローカルに指定できるパッケージマネージャとそうでないやつがいるから何とも言えない
Rustのパッケージマネージャはcrates.io決め打ちでリポジトリの構造もオープンでないからネット環境無いと面倒くさい
0053デフォルトの名無しさん
垢版 |
2018/06/05(火) 05:54:47.26ID:g2mo1bOw
wasmの世界になったらめっちゃ楽しそう。
c++で書いたwasmが一番早いのですか?
0058デフォルトの名無しさん
垢版 |
2018/06/05(火) 11:51:29.20ID:5hg7DvHv
流れとしてはそうなんだろうけれども
C/C++ で実行効率がという話だからスクリプト言語は視野に入ってなかった
0060デフォルトの名無しさん
垢版 |
2018/06/05(火) 19:04:10.03ID:S900FHQR
誤解なんて放っておけば自然治癒することもあるし
悪化したら何が問題か自然に明らかになる
0061デフォルトの名無しさん
垢版 |
2018/06/07(木) 00:15:53.20ID:ayMSuQvr
で、次世代最強言語は決まったのか?
おまえら人類は今まで何してたんだ?
シコって昼寝するだけのカスだったのか?
0065デフォルトの名無しさん
垢版 |
2018/06/07(木) 07:30:04.00ID:HC9+WrJC
数値計算が得意でないかライブラリが足りない言語ばっかりで、いずれも「最強」と呼ぶには値しない
0067デフォルトの名無しさん
垢版 |
2018/06/07(木) 10:24:43.22ID:odIDOqEo
みんなで使う言語が最強の言語だが決めるのに時間がかかりすぎる
自分だけ使う言語を今すぐ決めよう
0069デフォルトの名無しさん
垢版 |
2018/06/07(木) 12:09:43.24ID:NOT/Til5
銀の弾丸を求めても意味ないよ。
自分の戦場の自分の兵科で一番便利だったり一番強い武器使えば良いじゃん。
同じ戦場でも狙撃手と本隊とだとライフルとサブマシンガンに別れるように、
同じ業務系とくくられる開発でもそれぞれ最強言語が違って当たり前だと思うよ。
さらに領域すら異なるなら、最強とか言ってもホントに無駄でしょ。

「この言語はこう新しくて、ここが好き」とか、
「この言語も最近は良くなってきた、特にこの辺」とか
そういう話題からの
「じゃあ〇〇系の開発でも使い物になってきたな」みたいな話題ならわかるんだけど、
使いみちありきの言語ageは違うと思う。

そういう意味では、ちょっと前から出てるRailsファンは書き込む前に考えてから書き込んでほしい。
0070デフォルトの名無しさん
垢版 |
2018/06/07(木) 12:52:00.52ID:TFmPSYgF
>>69
そんなんどっちでも良くないか?
ルールとしてRailsユーザは禁止ってならわかるけど
そもそもここの人間はなぜrubyを親の敵のように叩いているのかわからない。
特定の人物が騒いでるだけ?
0071デフォルトの名無しさん
垢版 |
2018/06/07(木) 13:02:20.59ID:odIDOqEo
rubyは敵だと1秒で決める人物もいるし
20年考えても敵か味方かを決められない人物もいる
0072デフォルトの名無しさん
垢版 |
2018/06/07(木) 13:08:52.98ID:3k1FU0e+
rubyと言うより信者が糞。
別言語のスレで唐突にrubyでは〜とか言ってrubyコード貼り出したりその言語のライブラリ探してんのにrubyのライブラリとruby薦めだしたりやりたい放題。
スレ違いだと言っても無視してずーっと居座る。
目には目をだな。
0073デフォルトの名無しさん
垢版 |
2018/06/07(木) 13:37:18.13ID:/KVfRA6L
信者がキモいからこのスレで叩くというのは筋が通らない。一時期沸いてたHaskellアンチと同レベル
0074デフォルトの名無しさん
垢版 |
2018/06/07(木) 14:12:54.62ID:Fu48jME1
リアルでの信者のキモさでいえば明らかにHaskellは最底辺
Ruby使いはライトなレイラーも多いから平均的にはそこまで酷くない
0075デフォルトの名無しさん
垢版 |
2018/06/07(木) 14:31:09.52ID:NOT/Til5
>>70
どっちでも良くない事はわかってるだろ。
叩かれてる原因ぐらい理解できるだろうし、理解できないならそれこそもっと考えるべき。
rubyが1.9からくさった事は何度も書いた。
0076デフォルトの名無しさん
垢版 |
2018/06/07(木) 17:25:34.76ID:NeR7WaJ0
>>74
はああん?C++忘れてんだろこの野郎。
0077デフォルトの名無しさん
垢版 |
2018/06/07(木) 17:31:50.45ID:odIDOqEo
一位を決められない奴が「とりあえず最下位を決めよう」って思いつくのなんでだろう
0081デフォルトの名無しさん
垢版 |
2018/06/07(木) 19:28:08.97ID:qr2XqVE1
言語を叩くってのがだいたい噴飯ものなんだよ
センスも経験も力量も劣ってるクソゴミ野郎が
自分のサイズすら見えず
プログラミングの成果物のうちでも
偉大な
恐れ多いプログラミング言語というもんを気軽に叩きやがる
もっとひれ伏せよ蛆虫
0084デフォルトの名無しさん
垢版 |
2018/06/07(木) 21:51:25.73ID:IEQAhYlW
いや言語については嫌いな理由のが有意義な情報な場合が多い。
好きとかクソみたいな理由しかないし。
0085デフォルトの名無しさん
垢版 |
2018/06/07(木) 21:51:44.18ID:sZiYSZ4X
昔リリースマネジメントが滅茶苦茶だったころBTSぐらい導入しようと提案されて
自分は無くても困ってないので不要という趣旨のこと言ってて
だから滅茶苦茶なんだと呆れ果てた
0086デフォルトの名無しさん
垢版 |
2018/06/07(木) 22:48:17.20ID:5a3P+jsi
次の戦場はwasmだから、そこでどの言語が勝つかな。何か開発力はMSが一番な気がするからTypeScriptな気がする。.Netがwasmに対応するほうが早いか?
0087デフォルトの名無しさん
垢版 |
2018/06/07(木) 23:20:58.57ID:Q2HVW7Nb
jstsはまだまともにコンパイルできる処理系がないという点で一歩出遅れているけどな。
pypy的なアプローチでいけたりするかな。
0090デフォルトの名無しさん
垢版 |
2018/06/08(金) 00:29:23.23ID:23i8mWBJ
>>87
そもそもpypyって別に速くないぞ
Python界では無駄にリソースを分散させているだけの嫌われ者
0092デフォルトの名無しさん
垢版 |
2018/06/08(金) 01:40:00.25ID:QsGqR1KW
言語がバージョンアップしていってどんどん多機能になっていくの何か嫌い
むしろ機能を削っていくキレキレ言語が欲しい
0094デフォルトの名無しさん
垢版 |
2018/06/08(金) 02:53:28.27ID:KauQhY0c
互換性の問題をクリアした言語作ればいいのに
ソースファイルにコンパイラのバージョン書くとか
0095デフォルトの名無しさん
垢版 |
2018/06/08(金) 05:34:34.00ID:AUXVcf+4
同じ言語間の新旧interop用の機能を用意するのと、互換性のために機能を残しておくのと
何が違うというのか
0096デフォルトの名無しさん
垢版 |
2018/06/08(金) 06:46:21.42ID:0k0FkJoA
Cとbash
wasmとJSとかいうマルチパラダイムinteropが解禁されたら結局みんなCに戻る
0097デフォルトの名無しさん
垢版 |
2018/06/08(金) 06:47:55.23ID:zkWLD7mq
>>94
jsで言うとstrictモードとかね。
jsは最新仕様のコードから古いjsコードを吐き出せるトランスパイラを、作ることで進化スピードが上がった。トランスパイラなら後方互換性が壊れても良いかもね。
デバックは死にますが
0099デフォルトの名無しさん
垢版 |
2018/06/08(金) 07:17:27.08ID:5koqzPqc
c++はgccかVCで実装が終わってから標準にすりゃいいんだよ。
標準委員とか全く実装をわかってないバカがクソ仕様を決めてんのが大問題。
0100デフォルトの名無しさん
垢版 |
2018/06/08(金) 08:08:09.03ID:oa/DKlLI
その点「標準にしたけど、実装難しかったから次のバージョンからやっぱなしw」ってやるFortranってすげえわ
0103デフォルトの名無しさん
垢版 |
2018/06/08(金) 12:06:26.31ID:9d5V71Gz
いろんな言語でwasm対応は進むと思うから、そっから先の使い勝手で勝負する感じになるんではないかな
wasm-bindgenみたいに関数のバインディングを楽にするとか
デバッグのしやすさとか
0105デフォルトの名無しさん
垢版 |
2018/06/08(金) 17:45:02.82ID:bZoSJWMS
スクリプト言語の速さなんて書き方次第で全然違うし、比較に意味がある気がしない
0106デフォルトの名無しさん
垢版 |
2018/06/08(金) 17:57:35.97ID:IQ7OMn6Z
そうだよなあ
あるスクリプト言語がめちゃ遅で
またある言語がめちゃ速でも
お前には全く意味ないよな
0108デフォルトの名無しさん
垢版 |
2018/06/08(金) 18:26:41.23ID:zlZ309Zo
Rubyはあの有様だしPython対抗の次世代言語って意外と無いよな
Juliaってのも違うし
0110デフォルトの名無しさん
垢版 |
2018/06/08(金) 19:09:30.34ID:l2hAHnTO
>>109
割とこれだと思ってる
また後方互換捨ててきそう
悪いことじゃないんだけどねでかいとキツイ
0111デフォルトの名無しさん
垢版 |
2018/06/08(金) 19:52:46.90ID:Rx2CWr2X
RHELがやっとPython2を捨てようとしているときにPython4とか言いはじめるのは止めてくださいなんd
0112デフォルトの名無しさん
垢版 |
2018/06/08(金) 20:05:40.68ID:UmUT8g7I
20年真面目に互換守ってきたPythonが互換捨てると批判されまくって
ちょくちょく互換捨ててる言語はあんまり批判されないのかわいそう
0113デフォルトの名無しさん
垢版 |
2018/06/08(金) 21:01:40.97ID:0k0FkJoA
どうせdebianとubuntuみたいに表面が変わるだけで中身は同じ
表面的に次世代やってる感を出しつつ中身は元のまま再利用する
0115デフォルトの名無しさん
垢版 |
2018/06/08(金) 22:57:46.20ID:+7W42Mle
global pipとクソみたいなsyntaxのlambdaと内糞包糞表糞記を捨てたらPython4は最強言語になるかもしれない
0118デフォルトの名無しさん
垢版 |
2018/06/09(土) 00:27:33.30ID:HrZn4m/i
エロさにおいても糞さにおいてもすべての領域でC++は最強である。
0119デフォルトの名無しさん
垢版 |
2018/06/09(土) 00:28:10.92ID:HrZn4m/i
次世代言語はC++で決まったようなものだ。
0120デフォルトの名無しさん
垢版 |
2018/06/09(土) 00:47:42.55ID:9A3dIG1x
ほーん
C++産まれて何十年経ったかしらんが
それまでお前らクソ無能のバカどもはシコって昼寝でもしとったんかタコ?
0122デフォルトの名無しさん
垢版 |
2018/06/09(土) 03:19:38.83ID:HrZn4m/i
Cpreから数えて38年だから、人生まだまだこれから世代。
0123デフォルトの名無しさん
垢版 |
2018/06/09(土) 04:09:25.09ID:NPiXyVw3
ぶっちゃけcが一旦後方互換性を捨てて構文を整理したやつを出してほしい。
トランスパイラ用意すればいいってjsが教えてくれたろ
0125デフォルトの名無しさん
垢版 |
2018/06/09(土) 04:28:47.07ID:84uyeaqr
C言語の場合、OSのヘッダーファイルに書かれてる変態マクロと互換性切るわけにいかないから
どうしようもないんやで
0126デフォルトの名無しさん
垢版 |
2018/06/09(土) 05:17:56.90ID:qABRMkwT
頭の湧いた老害どもはいつまで古代言語の話を続けるんですかな
0127デフォルトの名無しさん
垢版 |
2018/06/09(土) 05:49:55.85ID:MwT2cfxI
コスパの話をだれも止められないんだよね
古いOSをそのまま使った方がコスパが良い
コスパという概念をぶっ壊せば新しくなるのは薄々わかってるがやめられない
0128デフォルトの名無しさん
垢版 |
2018/06/09(土) 07:09:58.78ID:XJIDpXbK
安全性において結局過去の資産を使った方がいいってのがある。
新しい言語の提唱する新しい機能による「安全性」よりも枯れた技術のがよっぽど
安全という。
0133デフォルトの名無しさん
垢版 |
2018/06/09(土) 08:05:50.78ID:0rvSqpFq
こなれた技術の組み合わせで新しいことするってのはあるけど、
枯れた技術では枯れたことしかできないてのも事実なんだよね。

何をしたいからこの道具を使う、という一方で、この道具使ってたらこんなん思いついた、てのもある。
0136デフォルトの名無しさん
垢版 |
2018/06/09(土) 08:17:29.91ID:0rvSqpFq
例えばさ、何とか算の公式使ってれば、計算ミスは少ないだろうけど、
適用できるケースは、代数を使ったものには敵わないし、
関数みたいな抽象的概念は生まれなかっただろう。
0138デフォルトの名無しさん
垢版 |
2018/06/09(土) 08:20:24.81ID:jTFSYnCH
近年の大きな成果のうちのいくつかは高速に数値計算ができるようになったおかげ
0140デフォルトの名無しさん
垢版 |
2018/06/09(土) 08:30:21.76ID:XJIDpXbK
吐き出し法の方が圧倒的に速いのに行列式を定義に沿って計算しちゃうとか
コボルをバカにする割に、利息計算においてどこで丸めを演算するかも把握してないとか
そういう種類のバカは多いよね。
0141デフォルトの名無しさん
垢版 |
2018/06/09(土) 08:33:00.79ID:0rvSqpFq
例えば、今流行の機械学習は既存のこなれた数値計算ライブラリを組み合わせて巧くやってるけど、
じゃあ、所謂A.I.の前提となる自然言語解析について複雑でアドホックなParsingをやろうとする人は少ない。
大体が大量のデータを使ったNグラムで止まってる。

>>138
計算コストが下がったお陰でやれること増えたのは事実だね。個人PCでも色々やれるようになった。
0143デフォルトの名無しさん
垢版 |
2018/06/09(土) 08:37:23.61ID:XJIDpXbK
いや、やって結果が出てないだけだよ。
チャットボットを機械学習でってどこも思いついてやってるが
結局ルールベースと比較してまともな製品にならんというのがよくわかったってのが
ここ2,3年の内容だろうに。
こういう知ったかが一番たち悪いわ。
0146デフォルトの名無しさん
垢版 |
2018/06/09(土) 08:40:54.88ID:0rvSqpFq
>>143
ああ、知ったかな部分はあったかな。
データサイエンティストについて言ってると考えてくれ。

まともな製品にならんのは、知らんな。
やり方が悪いんだろう。

>>145
馬鹿にしちゃダメだろww
0148デフォルトの名無しさん
垢版 |
2018/06/09(土) 08:43:39.54ID:0rvSqpFq
まあ、結果を出さない多弁ほど説得力のないものはないな。

結果出してから発言するわ。
でも、上の側面はあると思うよ。
0149
垢版 |
2018/06/09(土) 08:44:35.79ID:9A3dIG1x
実は俺なんだけどな
0152デフォルトの名無しさん
垢版 |
2018/06/09(土) 08:47:14.55ID:jTFSYnCH
ちょっとそれらしければ持て囃される他の分野と違って
チャットは Watson というハードルを超えないと製品価値ないもんな
0153デフォルトの名無しさん
垢版 |
2018/06/09(土) 08:47:20.20ID:9A3dIG1x
>>150
馬鹿にしたかしてないか
ではなく
馬鹿にされたかされてないか
だよ
ニーチェもそう言っている
0154デフォルトの名無しさん
垢版 |
2018/06/09(土) 08:58:56.31ID:0rvSqpFq
>>153
こっちでしたかww
深いな、人間関係てのは難しいことだね。

計算コストもそうだけど、気軽に書けるってのも大事だと思う。
高階関数って昔からあるみたいだけど、やはりハードの性能が追いついたから使える感じになったんかな?

LISPとかの昔を知らんので、どうなんですかね、その辺。
0156デフォルトの名無しさん
垢版 |
2018/06/09(土) 09:04:04.17ID:qABRMkwT
なんやこいつら。。。
0157デフォルトの名無しさん
垢版 |
2018/06/09(土) 09:07:54.91ID:9A3dIG1x
いっとくが今のレスは俺が3秒で考えたレスだぞ
何が深いだ
深淵でも覗き込んでろカス
0159デフォルトの名無しさん
垢版 |
2018/06/09(土) 09:12:58.33ID:jTFSYnCH
>>154
高階関数を楽に使うには関数閉包が必要なので
クロージャを持つ言語の普及を待つ必要があった。
ハードの性能は関係ない
0160デフォルトの名無しさん
垢版 |
2018/06/09(土) 09:31:39.87ID:XJIDpXbK
>>151
そら論文ばっか読んでても出てこないだろうね。
greenでもwantedlyでもいいけど、それっぽい企業探して話聞きにいってみれば?
いくらでも失敗談が聞けるよ。
0164デフォルトの名無しさん
垢版 |
2018/06/09(土) 10:24:04.84ID:0rvSqpFq
特定企業があとで気変わりして囲い込みそうな言語とか開発環境ってどう考えたらええんかな。

VS CodeとかTypescriptとか、最近のニュースだとGithubとか。
0165デフォルトの名無しさん
垢版 |
2018/06/09(土) 10:34:53.55ID:t8LulgJ3
MSの囲い込みグセはここ5年位ちょっとマシじゃない?
VSのExpressを廃止して無償をCommunityにしたから、
仕事で使う分にはライセンスが要るし。
むしろ、中小企業でExpress使う抜け穴が無くなった分、きちんと金回収できてると思うけど。

仕事で使う時は会社が買ってくれるから懐も痛くないしなw

Goは若干怖いわ。囲い込みというか、逆で、誰も面倒見なくなるという方に。
コミュニティールール変えるね!とか最近も言ってたし。
0166デフォルトの名無しさん
垢版 |
2018/06/09(土) 10:57:35.89ID:hMCeqk2j
よく「OSSなんだから開発元が当てにならなくなったらフォークすればいい」というけど、
MSのOSSに対してはあまりそういうのは聞かれないよな
MSほどガッバガバなライセンスで大量のソースをOSSとして垂れ流している企業は過去を見ても他にないわけだけど、
みなMSの開発力が圧倒的すぎて一方的に利益を享受することを当然と思っている
しまいにはMSは過去の歴史を清算する責任があるなどとどっかの国みたいなことを抜かす始末
0167デフォルトの名無しさん
垢版 |
2018/06/09(土) 11:02:23.33ID:ar7EC0zB
程度問題だよな。TypeScriptはSwiftやKotlinなんかと比べたらよっぽど安心感がある。
0168デフォルトの名無しさん
垢版 |
2018/06/09(土) 11:27:27.15ID:7pNIzRS5
マイクロソフトにはC#という実績があり、アップルにはObjective-Cという実績がある
TypeScriptの方が信頼が置けるのは当然のことだ
0169デフォルトの名無しさん
垢版 |
2018/06/09(土) 11:51:24.18ID:Ks2l0Erl
なんだTypeScript評価高いじゃないか。
その割に勉強会とかmeetupとか見当たらないのはなんでなん?
5chのスレも伸びとらんし
0170デフォルトの名無しさん
垢版 |
2018/06/09(土) 11:54:41.20ID:nszFz3h9
TypeScriptとvscodeのお陰でMSの評価バク上げだわ。
だからGitHub買収も全然気にならない。
FacebookのReactの置き場所が変わるかもしれんのが心配だけどな。
facebook内にGitHub fork作り始めたりしたら辛い
0172デフォルトの名無しさん
垢版 |
2018/06/09(土) 13:05:56.67ID:MwT2cfxI
C#とTSはJava方言だろ
方言が多いのは使うためではなく布教用、保存用、予備みたいなパターンだろ
0173デフォルトの名無しさん
垢版 |
2018/06/09(土) 13:22:33.80ID:Cz/ni8by
なに言ってんだコイツ
0176デフォルトの名無しさん
垢版 |
2018/06/09(土) 13:51:48.94ID:X44kcdo4
C#がJava代替だったのは2.0とかそんな時代だろ。
Javaではできない事だらけなんだし。
実際問題、いい言語(+環境)になったと思うよ。
0177デフォルトの名無しさん
垢版 |
2018/06/09(土) 14:33:04.73ID:DWqXxpSN
C#は一つの言語を長く使い続けるという前提において理想的な進化をしてる
20年近くにわたって実用最先端言語として拡張しまくってきて未だに大きな破綻なくメインストリームのリーダーとして君臨し続けてるって奇跡だろ
0179デフォルトの名無しさん
垢版 |
2018/06/09(土) 14:48:16.74ID:qABRMkwT
まだ古代文字の話ししてんのかよ
0180デフォルトの名無しさん
垢版 |
2018/06/09(土) 15:00:02.62ID:HrZn4m/i
デンマークの○○氏によって○○な使い方が発見された→標準化。
そういうわけで、C++は常に次世代。
0181デフォルトの名無しさん
垢版 |
2018/06/09(土) 15:02:55.38ID:gVeLaw7d
昔のMacも同じように論破されたのかと思うと笑える
Windowsの○○はMacのどの機能が元ネタですか?はい論破ってな
0182デフォルトの名無しさん
垢版 |
2018/06/09(土) 15:40:15.92ID:1bxpXktP
他の言語から見ればC#もDelphiもVB.NETも全部Javaみたいな言語だよ
JS系をJava方言は意味分からんけど
0183 ◆QZaw55cn4c
垢版 |
2018/06/09(土) 15:41:59.89ID:BV3WmSRm
>>181
Mac の方が Windows よりも先なんですか?それは本当ですか?
0185デフォルトの名無しさん
垢版 |
2018/06/09(土) 16:53:27.34ID:NDvJykru
なんだMS社員スレだったかここは
あんなクソ悪徳企業をほめちぎって気持ち悪い
C#もTSも劣化コピー言語を金の力でごり押ししてるだけ

Github買収が一部で好意的なのもワケわからん
もうCodeplexの悲劇は忘れ去られたのか?
0186デフォルトの名無しさん
垢版 |
2018/06/09(土) 16:57:10.62ID:X44kcdo4
>>182
さすがにDelphiをJavaみたいな言語だと思うのは、見てる方の知識が足りなすぎるんじゃ無いか?
どんな他の言語か知らんが…。
「WindowsのJava」みたいな「インターネット買ってきた」って次元の話では。
0187デフォルトの名無しさん
垢版 |
2018/06/09(土) 16:59:34.69ID:X44kcdo4
>>185
良い物は良いと言わないと、悪いものに悪いと言う資格が無かろう。
そういう意味で、.net coreは英断で、良いものだと思うぞ。
企業がどうであれ。坊主が憎いから袈裟が憎いになってはよろしくない。
0188デフォルトの名無しさん
垢版 |
2018/06/09(土) 17:06:48.99ID:gVeLaw7d
悪いでも憎いでもいいから結論は早い方が良い
結論を言わず、意味が分からないとか言って質問したりするのは時間がかかる
0190デフォルトの名無しさん
垢版 |
2018/06/09(土) 17:12:26.80ID:X44kcdo4
結論は可能な限り、それが必要なタイミングまで出すべきではないだろ。
意味がわからないのに、質問せずに結論を出すのを是とするのは良くわからん。

今回のGithub買収騒動でNatも「MSを信じてくれと頼むつもりはない」と、結果を見せるスタイルで行ってるしな。
もとXamarinの人だっけ。
0191デフォルトの名無しさん
垢版 |
2018/06/09(土) 17:13:55.86ID:X44kcdo4
>>189
違う違う。
真面目でも不良でもリア充でも根暗でも、誰がやっても「ごみ拾い」という行為自体の価値は変わらないんだから、
不良がどうの、なんて頭言葉をつける無粋な真似はよくねえよな、って言ってるんだよ。
お前の発言の真逆な。
0192デフォルトの名無しさん
垢版 |
2018/06/09(土) 17:40:59.84ID:NDvJykru
>>191
それを言うんなら、そもそもGithub買収は邪悪な囲い込みな訳で
ゴミ拾いどころかヤクザのシノギだ

前科もある企業のシノギをどう好意的に見ろと?
0193デフォルトの名無しさん
垢版 |
2018/06/09(土) 17:50:48.67ID:AIOFAY9W
能力無いやつは良いことやろうとしてもたいしたことできず
悪い事やったらクズがって言われて忘れられるだけなんやで
MSは無視できない能力があったってことや
0194デフォルトの名無しさん
垢版 |
2018/06/09(土) 17:59:17.45ID:NDvJykru
純粋に聞きたいんだが
MSを褒めちぎってる人ってMSに人質とられてるか札束で殴られたかどっちなの?
0195デフォルトの名無しさん
垢版 |
2018/06/09(土) 18:08:11.88ID:AIOFAY9W
言うほど褒めちぎってるかねwMSの悪口いってれば君は満足なのか?w
そんなもん誰の得にもならない
君は気分良くなるんだろうけどそんなの知ったことじゃないし
0196デフォルトの名無しさん
垢版 |
2018/06/09(土) 18:12:04.42ID:NDvJykru
>>195
MSを信じず自分のプロダクト、プロジェクトを守ろうって言ってんだよ

それでもMSを信じようとしたり、信じる世論を発するやつの背景に興味はある
0197デフォルトの名無しさん
垢版 |
2018/06/09(土) 18:14:40.25ID:X44kcdo4
>>192
ぜんぜんそれを言えてないじゃないか。
囲い込まれた所で停滞するなら停滞すればそういうものだったんだろうし。
もともとgithubはプロプラなんだから。
皆がgitlabに行く自由も、セルフホストする自由もあるんだしな。
linuxのカーネルなんかも、git使うけどgithubは使われてない(というより、明確にプロプラだから使わないと明言された)
今だって単にミラーとして使われてるgithub上のリポジトリも多い。

githubの価値として変わらなければ、胴元がどう変わろうが本質的に問題ではないんじゃねえの?って話で。
代替品があるのに、囲い込みとはこれは不思議な話だろ。
MS憎しで物事が近視眼的になってるんじゃないか?
0198デフォルトの名無しさん
垢版 |
2018/06/09(土) 18:16:14.45ID:HrZn4m/i
GNUホスティングがあったらw
0199デフォルトの名無しさん
垢版 |
2018/06/09(土) 18:17:05.20ID:AIOFAY9W
>>196
信じないのも勝手だし、自分のプロジェクトをどうするも君の勝手だろう
それで功を奏すこともあるかもしれない
俺はいいものを提供してくれるなら賞賛するし、そうでないなら貶して避けるだけ
過去がどうこういっても何の飯の種にもならない
0200デフォルトの名無しさん
垢版 |
2018/06/09(土) 18:19:43.49ID:X44kcdo4
>>196
セルフホストすれば良かろう…。
そういう人たちは、既にいて、彼らは最初からgithubすら信じてない。

信じる信じないの信仰心ではなくて、信じられる信じられないの成果の単なる判断でしかないし、
成果は過去から連続したものではないんだから、過去何やってたって、今回どうやるかが問題でしょ。
「お前は新人のときに寝坊したから、二度と『遅刻しない』って宣言は信じない。だから一緒に働きたくない」
みたいな、「単に部長があいつ嫌いなだけだろ…」って低レベルな話だぞ、それ。
0203デフォルトの名無しさん
垢版 |
2018/06/09(土) 19:48:50.41ID:XJIDpXbK
>>196
githubの件でいえばそもそも自分のソース守ろうとするなら
あんなとこに上げるべきではない。
マイクロソフトを擁護する気は無いけれどフリーライドしてるくせに偉そうなバカには
一言くらいは言わんといかんかなと思ってる。
0205デフォルトの名無しさん
垢版 |
2018/06/09(土) 19:58:23.11ID:HrZn4m/i
>>203
いや違うぞ。
彼は世の中を良くするためにMicrosoft社を批判してきたし、世の中のためにGithubを使っていたのだ。
全ては人民のためなんだよ。
彼の恩恵を得ている我々人民が、彼を批判するのはおかしくないか?
0206デフォルトの名無しさん
垢版 |
2018/06/09(土) 20:09:28.16ID:X44kcdo4
さぞ素晴らしいプロダクトのプロジェクトなんだろうなぁ。

まあ、1つの批判を2つ以上の対象に適用すると話がおかしくなる典型だし、
批判するなら「いつの何がどう悪い」かちゃんと批判して、「今の何がどう良い/悪い」を判断できるようにしておいてもらいたいもんだ。
そうでなければ、批判の価値が無い。批判って読んで字のごとく相対論なんだから。
0207デフォルトの名無しさん
垢版 |
2018/06/09(土) 20:16:28.23ID:e2RewqH/
自分の意見を大切にしたいならフィリピンの怪しげな会社がやってるBBSで議論などするな
0208デフォルトの名無しさん
垢版 |
2018/06/09(土) 20:17:58.23ID:HrZn4m/i
そもそも彼のプライベート・リポジトリを覗き見るために、Microsoft社はGithubを買ったのだ。
彼の心配ももっともなのである。
0211デフォルトの名無しさん
垢版 |
2018/06/09(土) 20:23:28.71ID:HrZn4m/i
>>209
俺もそれが知りたい!!!
0212デフォルトの名無しさん
垢版 |
2018/06/09(土) 20:28:05.70ID:HrZn4m/i
糞アンチが発狂してて愉快愉快w
0213デフォルトの名無しさん
垢版 |
2018/06/09(土) 20:42:53.12ID:NUF73VeC
MSに見られるのはどうでもええやろけど、MSがGithubを殺してしまうのは嫌やね
0214デフォルトの名無しさん
垢版 |
2018/06/09(土) 20:50:30.29ID:3fjvSVWy
Githubに新機能や新サービスが追加されることはもうないと覚悟して使うならそれでいいんじゃないの
0215デフォルトの名無しさん
垢版 |
2018/06/09(土) 21:08:30.97ID:s8swn2zk
有償版に自社で使いたい機能ガンガン突っ込んでくれるかも知れないよ?
OSS用途は別に現状で過不足無いでしょ
0218デフォルトの名無しさん
垢版 |
2018/06/09(土) 21:35:08.53ID:vR0+9df+
MSに買収されてからSkypeはグタグタだしRoboVMは消滅したやん
楽観視してる方が不思議だわ
atomは死刑宣告されたようなもんだろうし
0219デフォルトの名無しさん
垢版 |
2018/06/09(土) 21:40:03.22ID:i583qz4y
>>218
その2つを上げることが理由にはならんやろ
じゃあExcelは?Wordは?って不毛な議論にしかならない
0220デフォルトの名無しさん
垢版 |
2018/06/09(土) 21:55:19.90ID:NPiXyVw3
そろそろMS嫌いはwindowsが嫌いなだけなのを無理やり対象を広げてるだけだと理解しなさい。
0222デフォルトの名無しさん
垢版 |
2018/06/09(土) 22:01:22.64ID:HrZn4m/i
Word最高!!!って人はいないだろうな。
Excel最高!!!って人はいるだろうけど。
0223デフォルトの名無しさん
垢版 |
2018/06/09(土) 22:02:30.98ID:HrZn4m/i
Wordももう少し何とかすれば文書作成のスタンダードになれたんだろうけど。
0225デフォルトの名無しさん
垢版 |
2018/06/09(土) 22:19:27.60ID:eRfQIPwr
どこの馬の骨ともわからんような有象無象が
マイクロソフト社を批判するとか噴飯ものなんだがw
こーいう
自分のサイズが見えてない批判は辛く悲しく滑稽であり
5ちゃんにはふさわしくもある
0226デフォルトの名無しさん
垢版 |
2018/06/09(土) 22:21:53.65ID:HrZn4m/i
俺はMicrosoft大嫌いだ!Microsoft製品なんか一度も使ったことがない!!!
って人もいるけどな。
0227デフォルトの名無しさん
垢版 |
2018/06/09(土) 22:23:04.90ID:HrZn4m/i
使ってて文句言うのと、使ったことなくて文句言うのでは、だいぶ違うしな。
宗教的な理由とかいろいろあるからな。
0229デフォルトの名無しさん
垢版 |
2018/06/09(土) 22:55:34.67ID:e2RewqH/
食わず嫌いもいいんじゃないの
他人に強制しなければ
お前等同性愛とか昆虫食とか
0231デフォルトの名無しさん
垢版 |
2018/06/09(土) 23:52:29.23ID:wI7YUQRE
話を断つが稀にここに現れるC++2aは次世代言語おじはC++1zのVariantとOptionalを見た上で次世代になると信じて疑っていないのだろうか
0232デフォルトの名無しさん
垢版 |
2018/06/10(日) 00:06:12.53ID:flig3pd5
githubはそもそもまともに収益出てないから売ったわけで、
その時点でMSに文句垂れてる事自体が筋違いなんだよ。
0234デフォルトの名無しさん
垢版 |
2018/06/10(日) 00:29:59.99ID:lY4z9T4s
C++は難解すぎて義務にはできないから良い
自称まともな言語ほど、これくらい簡単だろっていって義務を押し付けてくる
0236デフォルトの名無しさん
垢版 |
2018/06/10(日) 00:52:44.38ID:S5koArQt
今フレームワークで話題のmvcとかのロジック的な内容言語に取り組むみたいなのないんかね?
ミドルウェアとかバリアントとか関数や変数単位でやれたら楽しそうじゃ
0239デフォルトの名無しさん
垢版 |
2018/06/10(日) 01:33:08.96ID:WzrD1lk7
Microsoft Visual C++。
0240デフォルトの名無しさん
垢版 |
2018/06/10(日) 01:37:37.11ID:jHX3vchU
結局Haskellなんだよなあ
0241デフォルトの名無しさん
垢版 |
2018/06/10(日) 01:53:07.68ID:WzrD1lk7
次世代言語織田信長はどうなったのか。
0243デフォルトの名無しさん
垢版 |
2018/06/10(日) 09:08:03.16ID:EqzDSNUt
>>218
Skype、企業内でめちゃくちゃ使われてるぞ。
Office 365についてくるからな。
昔はリンクとか言うIMツールがあったが、それがそのままSkype For Businessになった。
0246デフォルトの名無しさん
垢版 |
2018/06/10(日) 12:03:07.30ID:AuekseH8
>>245
自暴自棄になるなよ。
お前にだっていいところはあるはず。多分、きっと…
0247デフォルトの名無しさん
垢版 |
2018/06/10(日) 12:45:38.88ID:EqzDSNUt
>>244
棲み分けてるよ。
社内IMはTeams、社外とか、電話会議(笑)はSkype。
そういや最近、Skype、登録しなくてもWebからそのまま参加してもらえるようになったね。
0248デフォルトの名無しさん
垢版 |
2018/06/10(日) 17:18:28.68ID:EqzDSNUt
昔話を色々思い出してきたが、
そういや、c#に関してはCommunity Promiseとか昔言ってたよな。
FSFがMonoに「あれいつソフトウェア特許を行使される事になるかわかんねえし、実装やめとけよ」って物申して、
「いや、実装の作成、使用、販売、もろもろに対して特許の主張は行わないことを約束するし、この約束は撤回しない」って言い返したやつ。
10年ぐらい前だっけ。

約束を守ったどころか、オープソースになったなw
アンチだけが停止した時間の中で見えない何かと戦ってるみたい。
0250デフォルトの名無しさん
垢版 |
2018/06/10(日) 17:36:16.47ID:1p8BjK+1
MSは特許訴訟かなりの数やってたし警戒するのは当然じゃね?
まあ裁判に勝てなくなってきたら不毛だからやめようとか言い出して方針転換したけども
0251デフォルトの名無しさん
垢版 |
2018/06/10(日) 17:50:18.01ID:EqzDSNUt
>>249
あれ起動時にコケて再起動させなきゃいかんことも多いよな。
Skype(Business)もまあリンクの頃の方が使いやすかったって人も居るし、迷走はしとるか…。

特許戦争というかネガキャン+取り込んで独自拡張して競合をおいてけぼりにする、は、
Halloween文書の最後の方で諦め始めてたし、まあ時代の流れな気もするわ。
金さえ払ってNDA結んでれば、Windowsのソースもある程度見れて、
バグ踏んだ時には解析してあいつらのせいなら、MSの人来てもらって
KB作ってもらう時代もあったし(今もかな)、そこまでクローズドでも無いと思うよ。

金払いが渋いと役に立たんのは昔からだから、その点ちゃんとMITライセンスでやってる時点でそのプロジェクトはまともだと思う。
0254デフォルトの名無しさん
垢版 |
2018/06/10(日) 18:37:29.73ID:0WwRzi7s
>>242
じゃあCを改変しようぜ。
基本的に今のままで良いけど
変数宣言を変数名 型の順に変える、セミコロンはなしに、ifとかforの余計なカッコを削る
do whileを消してfor {}で回せるように
つまりgo風にしようってことで頼む。
0258デフォルトの名無しさん
垢版 |
2018/06/10(日) 19:02:45.14ID:Ce6PWnpg
goやpythonの行継続ルールはなんかもやもやする。
式+セミコロン=文 という明快さがいいと思うんだがなぁ。
0259デフォルトの名無しさん
垢版 |
2018/06/10(日) 19:06:16.25ID:BaW2yoQJ
Cよりもアセンブラ寄りの言語が欲しいな
せっかくCPUに高速な演算が載ってても言語自体にそれを利用する仕組みが無ければ意味ないし
全部コンパイラの最適化にまかせるのも限界がある
0264デフォルトの名無しさん
垢版 |
2018/06/10(日) 20:53:21.83ID:flig3pd5
セミコロン、そんな敵視するほどか?
パースバグ引き起こすくらいだったらそれくらい入れてやるわと思うくらいの労力だと思うが。
変数宣言を入れ替える案はストラウストラップがc++の時のやろうとして挫折しとる。
クソみたいな改変意見は「C++の設計と進化」でも読んでからしてくれ。
0265デフォルトの名無しさん
垢版 |
2018/06/10(日) 21:33:41.04ID:xCNLxacy
Rustならセミコロンありなしで意味変わるから必要。
あってもなくても意味変わらない言語なら、なくて良いんじゃないかね
0267デフォルトの名無しさん
垢版 |
2018/06/10(日) 23:49:38.63ID:Kqrg8XSe
うーんでもgoのはなしはどうでもいいです
0273デフォルトの名無しさん
垢版 |
2018/06/11(月) 06:09:38.37ID:0LO8qpT+
pythonは内包表記とyieldとasync/awaitを揃えた
これは小技じゃなくてフラグだから
勘違いするのがこわくて無視してたらバッドエンドになるやつ
0274デフォルトの名無しさん
垢版 |
2018/06/11(月) 07:16:55.63ID:Mtvnm38T
次世代言語がswiftやTypeScriptだというなら、goも次世代と言っていいのでわ。何が次世代なんか?
0275デフォルトの名無しさん
垢版 |
2018/06/11(月) 07:43:15.67ID:0LO8qpT+
「良いのでは?」…そんな言葉は使う必要がねーんだ
その疑問を頭の中に思い浮かべた時には
もうすでに答えを知ってるからだ
0276デフォルトの名無しさん
垢版 |
2018/06/11(月) 08:28:52.67ID:0k3tBBkn
>>274
既にある程度普及してる言語は現世代言語
SwiftもTypeScriptはもう現世代言語だよ
Dartなんか機能的には18歳のC#さんの方がよっぽど次世代だけど、それでもDartは永遠の次世代言語なんだよ
0277デフォルトの名無しさん
垢版 |
2018/06/11(月) 11:04:07.27ID:0LO8qpT+
普及や時間を数値化する方法はよく知られている
だがCとC++の数値を合計してみたり、逆にCとC++を区別して個別に時間を計るなど
数値を自由自在に変える方法はまだあまり知られていない
0280デフォルトの名無しさん
垢版 |
2018/06/11(月) 14:06:47.26ID:78mL3vou
MSが本当にGitHubのことを思っていたのなら
わざわざ買収する必要はなかったよね
こういう反応があるのはわかりきってたことだし

じゃあなぜMSはGitHubを買収したのか?
MSにどんな利益があるというのか?
0281デフォルトの名無しさん
垢版 |
2018/06/11(月) 14:09:59.96ID:fIKYrBw4
事業会社を買収すると売り上げが増えるから成長してるように見えるというメリットがある
0282デフォルトの名無しさん
垢版 |
2018/06/11(月) 15:21:13.35ID:78mL3vou
ここを曖昧にしたり嘘つくから信用ならなんだよね
行動で示すとかさ、信用をちょりもどすとかどうでもいいのよ
何の利益があってそうしたのか、ここを隠しては信じられるものも信じられないよね
0287デフォルトの名無しさん
垢版 |
2018/06/11(月) 17:59:00.80ID:C/qrQoOU
本当に思っている、が意味不明なんだが。
思いやりと慈悲の心を持っている、みたいな意味ならいよいよ脳みそおかしいと思う。

そりゃgithubはgithubとして運営するだろうが、
収益は現状通り確保するだろ。今も黒字なんだし。
加えて「MSだから」使っても良い、って判断が下りる(逆に言うと、今までgithubという企業に信頼を置いてなかった)企業が使うようにもなると思うけど。
AzureはOKでAWSとかGCPはNGって会社も一定数あるんだし。
これはVSはOKだけどRiderはNGって会社や、TFSはOKだけどSVNはNGな会社と同じジャンルの「ザ、日本企業」だけど。
MSが大好きと言うよりも、既にOSや開発環境で依存してるし諦めてるって企業は多いよ。
0289デフォルトの名無しさん
垢版 |
2018/06/11(月) 18:57:25.14ID:ZbjI80+e
githubの収益に期待なんかしてないでしょ
買収額高いし回収できないよ
MSが欲しかったのは開発者情報とIntelliCodeの学習用データじゃないか
0292デフォルトの名無しさん
垢版 |
2018/06/11(月) 20:22:00.01ID:j0ZYYhxM
まあプライベートリポジトリへのアクセス権のためってのが一番だろ

見ちまえばMS社内にコピペして特許申請からの逆訴訟まで一直線

まーいつものMSですな
0293デフォルトの名無しさん
垢版 |
2018/06/11(月) 21:05:46.17ID:yCgiDjNm
そこまで価値のあるコード置いてる企業なんてあるかね?
大きいとこは公開していいコードしか置いてないでしょ。
クソ企業ほど被害妄想働かせてるっていうw
0294デフォルトの名無しさん
垢版 |
2018/06/11(月) 21:30:50.02ID:IdMn84gQ
ここでもATS2ってあまり話題を見ないが依存型ってやっぱ理論味が強すぎるのかね
0296デフォルトの名無しさん
垢版 |
2018/06/11(月) 23:26:58.40ID:AWPyRB/1
第一印象
・ロゴダッッッッッッッッサ
・昭和かよ
・まーた括弧つけたシンタックス(藁)
0302デフォルトの名無しさん
垢版 |
2018/06/12(火) 17:33:54.60ID:5jsCtUIG
>>298
「オープンな開発を信条とするということはソースをオープンにすることだけでなく、他人や企業などを締め出したりしないということも大事である」

おかしいねーMSと真逆だねー

Linusもコミュニティ運営者だから、MSマネーには逆らえんのだろうな
0303デフォルトの名無しさん
垢版 |
2018/06/12(火) 17:38:08.01ID:8bLZqDx4
そう言いつつ最近はまともなMicrosoftを追い出すわけですね

少なくともGoogleが買収してgitとGitHub両方を独占するより遥かにマシだと思うけどな
0304デフォルトの名無しさん
垢版 |
2018/06/12(火) 17:38:32.41ID:3QzXkyiE
MSとか抜きにそもそもlinusはだいぶ独裁的な開発して来たわけだがな。
オープンっていっても全て自由にしたら開発なんてうまくいくわけないんだよ。
0305デフォルトの名無しさん
垢版 |
2018/06/12(火) 17:42:03.07ID:5jsCtUIG
>>303
そういう、産廃とうんこならうんこの方がまし理論やめようぜ

あとMSが最近はまともって、目がどこについてたら言えるんだ?
0306デフォルトの名無しさん
垢版 |
2018/06/12(火) 18:22:34.74ID:8bLZqDx4
>>305
現実問題買収交渉があった以上は何処かしらが買うわけで
MSもGoogleも嫌ならどこが買うべきだと思ってたんだ?

Microsoftがまともに見えないんじゃなくて営利企業が嫌いなだけじゃないの?
0307デフォルトの名無しさん
垢版 |
2018/06/12(火) 18:22:35.70ID:3R48K+eC
MSが非健全っていつの発想なんだか。
技術面では今はかなりオープンにしてると思うが。
そもそも元から「金さえ払って契約してれば」ちゃんと働くし、結構な範囲のソース見せてくれるし、呼んだら調査したり、必要ならKB作ったり「とても良くできたサンプル」作りまでやってくれるぞ。それが10年ぐらい前の話。

金も払わずに「〇〇が独自だからゴミ」といっても、金払ってないんだから知財が手に入らなくて当然だと思う。

あのひどいライセンスだったリファレンス実装の.netを、今やクロスプラットフォームに公式がして、さらにコントリビュートまで受けてるとか、
VisualStudioの名を関したエディタをOSSで作ってるとか、
そんな事は関係なくMSだから邪悪と言いたいだけだろ。
もしくは歴史を一切知らずに「MSが悪いってみんな言ってるからMSが悪いんだ」と思ってるか、どっちかじゃねえの?

逆にどのへんがまともじゃないの?
0310デフォルトの名無しさん
垢版 |
2018/06/12(火) 18:29:31.11ID:yK0gAcGX
>>307
.netはMSが突然特許主張する可能性が未だに解決してない

VSCodeについては使ってないから知らん。どうせEmacsやVimより使い勝手が良いこともなかろう

記憶に新しいところだとXamarinも買収されてから腐ったし
0311デフォルトの名無しさん
垢版 |
2018/06/12(火) 18:29:50.95ID:3R48K+eC
>>306
自分が損するのが嫌なのではなく、誰かが得をすると嫌なお年頃なのかもな。
で、githubが営利企業なのを忘れてたり、「営利企業だけれども健全である、根拠は、不健全だった過去がないからだ」みたいな、
「幼児は健全」じみた勘違いしてるんだろ。
0312デフォルトの名無しさん
垢版 |
2018/06/12(火) 18:33:32.47ID:3R48K+eC
>>310
特許問題に関してはCommunityPromiseで大体解決してるだろ。法的拘束力あるぞあれ。CommunityPromiseは知ってる?
その上今はMITライセンスだぞ。

Xamarin、買われてからのほうがオープンだけど…。
xamarin.androidが、プロプラに依存する事なくビルドできるようになったのは最近だぞ。
お前あんまり知らないだろ。
0313デフォルトの名無しさん
垢版 |
2018/06/12(火) 18:34:29.67ID:3R48K+eC
emacsとvimに関しては、最早好みのレベルだろ。
秀丸エディタも入れてやれよ(笑)
0314デフォルトの名無しさん
垢版 |
2018/06/12(火) 18:40:22.11ID:Do9HdhWt
>>305
MSとGoogleに対して産廃とうんこだって?
この業界で龍と虎みたいな存在に対して何ゆってんのw
好き嫌いは別にしてもスケール感間違ってんのはさすがに哀れでしかないわw
0315デフォルトの名無しさん
垢版 |
2018/06/12(火) 18:42:41.65ID:3R48K+eC
>>308
も、前からそのページに関して言われてるように、
そもそもサポート切れしてるOSに対してsecurityfixが無い事を怠惰とは普通言わんし、
組み込み向けならまだ出してくれるよ。金払いの問題。
Blu-rayのDRMに関しては言いがかりもいいところだろ。
Windows10のSはJailって、そうだよ、としか言いようが無いし。

しかしマメに更新してるんだなこれ。

これが、GNUのソフトウェアすべてに、一行もMS製のソフトウェアを使って書かれたコードが存在しなけりゃもう少し説得力あるのに、と毎度思うわ。
俺の昔のパッチまだコードに残ってるw
0316デフォルトの名無しさん
垢版 |
2018/06/12(火) 18:50:26.48ID:3QzXkyiE
もしかしたら最近の方々はストールマン知らんのかもな。
あのやり過ぎな時代感を感じたことない世代なのかも。
0318デフォルトの名無しさん
垢版 |
2018/06/12(火) 19:07:37.47ID:yK0gAcGX
やりすぎといえば、Linux訴訟の原告に資金提供してたんだよなMS
自分に火の粉が飛ぶ前にさっさと尻尾気ってうやむやにしたが

この辺の経緯知ってると、手のひら返して協調路線とかうさんくさすぎて信用しようがないのわかるだろ
0319デフォルトの名無しさん
垢版 |
2018/06/12(火) 19:08:55.32ID:3R48K+eC
>>317
GPL書いたり、LinuxをGNU/Linuxと呼ばないと許さんと言い出したり、
動きをトレースされるとカードキーが必要な建物に入らなかったり、
Emacsをforkさせたり、
子供作らない事は特であると宣言して、そのおかげでFSFを立ち上げたとか、
90年代いろいろやってた。

>>318
お前は技術の経緯をもう少し知ろうな。
0322デフォルトの名無しさん
垢版 |
2018/06/12(火) 19:26:19.41ID:Do9HdhWt
>>319
とんくす
俺emacsは1997年から使ってて
gccとemacsを書いて携帯電話を持ってないヒゲ面教祖って認識しかなかったわ
GPLやFSFは今も昔も、俺にはさほど関係無いからスルーしてる
Debianはslinkから使ってるからGNU/Linux呼称云々については知ってる
まぁ、それくらいしか知らない

ってアンタID:3QzXkyiE本人じゃないのなw
0326デフォルトの名無しさん
垢版 |
2018/06/12(火) 19:43:12.44ID:3R48K+eC
>>321
邪悪かどうかは、お前の知識が足りない以上話しても無駄だろ。
知ったかXamarinとか、CommunityPromiseを知らない、起こり得ない特許行使だとか。
monoチームすらRMSに反論してたぞ。
0329デフォルトの名無しさん
垢版 |
2018/06/12(火) 19:48:55.01ID:yK0gAcGX
>>326
お前のなかではXamarinはオープンだし.netの特許行使は起こり得ないんだろうな
そんなMSならもうちょい世界はまともだったろうに

まあ御大バカにしてる辺りお察し案件
0331デフォルトの名無しさん
垢版 |
2018/06/12(火) 19:59:21.07ID:3R48K+eC
>>329
俺の中どころか、リポジトリ見てくりゃいいし、
CommunityPromiseの詳細読んでこいよ。
明文化されとるわ。この文書はLegally Bindingなのかとある。
日本語版もあるだろうから見てこいよ。

知らない時点でお察し案件だわ。
0334デフォルトの名無しさん
垢版 |
2018/06/12(火) 20:15:12.88ID:J1ZUu6GC
GPLはソース非公開でバイナリを売ることはできないけど
ソース自体を売ることはできるよね多分
紙に印刷して本屋で売ってもいいし電子書籍を売ってもいい
0335デフォルトの名無しさん
垢版 |
2018/06/12(火) 20:21:25.42ID:fcznt4bs
とりあえずTypeScript好きだからms好きになった人はいる。ここに。
googleもappleもMicrosoftもFacebookもすげーよ。
日本は駄目だな。
0336デフォルトの名無しさん
垢版 |
2018/06/12(火) 20:28:58.36ID:J1ZUu6GC
パクリを見下すと駄目になる面もあると思う
LinuxはUnixのパクリでC#はJavaのパクリ
でも合法ならもっとやればいい
0339デフォルトの名無しさん
垢版 |
2018/06/12(火) 20:40:22.70ID:3R48K+eC
>>334
別に、ソースコードを売っても良いよ。
ただ一つの例外が、バイナリを配布してる場合にソースを求められた時。その時はバイナリを手に入れる方法と同じ方法で提供しないといけない。
ただ、売ってもいいけど、再配布される事にはなる。
相手が再配布するかどうかも自由なので、再配布されない事に納得した上で、相手が再配布しなくても、問題ない。
0341デフォルトの名無しさん
垢版 |
2018/06/12(火) 20:46:04.93ID:0iNerknO
エンジニアってマジで信仰するエンジニアの思想をまるごとトレースしようとする奴いるよな
何の根拠も理由もなくMSは邪悪だとかVim/emacs使えない奴はダメとかメインOSがLinuxじゃない奴はエンジニアじゃないとか言い出す奴はてブあたり大勢いる
0342デフォルトの名無しさん
垢版 |
2018/06/12(火) 20:50:52.49ID:zYkKVrSv
GPLの問題は、プラプラ憎しで主張が頭おかしくなってる事だけじゃなく
技術的にもプラプラに劣っててハッカー目線でもダサい所だね
0349デフォルトの名無しさん
垢版 |
2018/06/12(火) 22:54:46.17ID:3R48K+eC
しかし、Xamarin、ひいてはmonoが何故MITライセンスに移行できたかわからんのかな。
今まで「静的リンクするならGPL適用か個別ライセンス契約ね」という形でライセンス料を取ってたのが、MSに買収されたことで取る必要無くなった事がメインだぞ。
この件に関してはMSを悪く言える部分あんま無い。
0350デフォルトの名無しさん
垢版 |
2018/06/12(火) 23:36:29.05ID:Eo3Y5weZ
プログラマってのは豆知識でマウントとるのをやめられない性分なのかね
とっとと次世代言語rustの話に戻ろうよ
0351デフォルトの名無しさん
垢版 |
2018/06/12(火) 23:44:42.39ID:pp/l+ouT
プログラマがっていうより、やってる奴の個性でしょ
次世代言語Juliaの話がしたいな〜
0352デフォルトの名無しさん
垢版 |
2018/06/13(水) 00:18:37.08ID:o5o0Sr8V
全然関係ないけど、現世代言語Pythonの最大の欠点はコマンドラインの呼びにくさとCインターフェースの複雑さだと思うわ
0357デフォルトの名無しさん
垢版 |
2018/06/13(水) 06:57:42.27ID:rrNH2Ql7
そういえばTypeScriptの仕様が逆にESに採用されたりする事例ってあるの?
そういう話を人伝いに聞いたんす
0358デフォルトの名無しさん
垢版 |
2018/06/13(水) 07:52:04.95ID:Y8lO4wwX
MSはESの仕様策定に参加してるから、TSES双方に入るべきものは最初から入る
asyncなんか誰がどう見ても完全にMS方式でしょ
0362デフォルトの名無しさん
垢版 |
2018/06/13(水) 18:32:46.09ID:ZG1tKMhH
理にかなっているかどうかは個人の主義信条でしか無いんだし、
すり合わせようと思っても無駄なんだから、言語の話に戻せばよかろう。
どの言語のどのライセンスがいかん、という話なら妥当だったけど、それに関して何か問題残ってる?
0363デフォルトの名無しさん
垢版 |
2018/06/13(水) 19:09:27.48ID:0bQnTTNc
思想が誰よりもヤバイとかあのさぁ
なんで海の向こうの偉人を捕まえて気軽に語っちゃうのかなぁ
本人のことなんざたいして知りもしねえのに
0364デフォルトの名無しさん
垢版 |
2018/06/13(水) 19:35:08.27ID:J1kLFVAI
今日からrustのプロジェクトを始めたぞ
0365デフォルトの名無しさん
垢版 |
2018/06/13(水) 19:39:28.99ID:fx/c82m6
MSにヘイトを向けるならRMSにヘイトが向けられることは覚悟しておくべきだ
少なくともMSが最高だなんていう奴は居ないが, RMSはどうだ?
0366デフォルトの名無しさん
垢版 |
2018/06/13(水) 19:39:49.42ID:iPfYKXHJ
>>358
ごめん書き方間違えた。
ESでこういう仕様を入れようってしたら、
TS側にいれるのが困難だから不採用みたいな感じで、TSの仕様がESの仕様決めに影響を与えたって話
0367デフォルトの名無しさん
垢版 |
2018/06/13(水) 19:44:37.76ID:OYUC5FPJ
>>366
TypeScriptはGoogleも社内でバリバリ使ってる言語なんだから別に不思議はないだろ
MSとGoogle合わせてシェア過半数あるから意見が一致すればそりゃ通るだろうな
0368デフォルトの名無しさん
垢版 |
2018/06/13(水) 19:52:24.15ID:fx/c82m6
TSの機能追加の条件は結構厳しい
型システムを除いてES部分の拡張に僅かでも引っかかるものは軒並みrejectされてる
0370デフォルトの名無しさん
垢版 |
2018/06/13(水) 22:17:40.49ID:x61p1oYZ
VSCodeがないとフロントエンド実装できない体にされてしまったので
これからはMSのケツ穴あへあへ舐めながら生きていくしかないんだお・・・つらお・・・
0372デフォルトの名無しさん
垢版 |
2018/06/13(水) 22:50:34.10ID:x61p1oYZ
.vscode/settings.jsonが神すぎるんだお
なぜあの当たり前ができないのか

3秒に10回はクラッシュするEclipseとか
ゲキ重糞出方Intellijとか
設定ファイルクソすぎでしょ
あんな俺が鼻くそほじりながら逆立ちしてドリルウンコ逆流性食道炎してる暇に足の小指の水虫でできるレベルのクソみたいなクソ
ガイジでしょ
0374デフォルトの名無しさん
垢版 |
2018/06/13(水) 22:55:43.45ID:x61p1oYZ
>>373
ビビビビ ビームwwwwwwwwwwwwwwwww
クソククソクソガイジwwwwwwwwwwwwwwwwww
未だにチンコインサートモードパイルダーゲッターオォーーーーーンアォン!!!!
とか言ってるのか!?!?!?頭が逝ってるのか?!?!?!?!

ば〜〜〜〜〜〜〜〜っかじゃねえの!?
おいクソばか
おまえビームのコマンドでしりとり何個言えるか逝ってみろよガイジ!ガイジ!ガイジ!
0376デフォルトの名無しさん
垢版 |
2018/06/13(水) 23:00:55.96ID:x61p1oYZ
ごめん。ちょっと頭がおかしいみたい。疲れてるんだきっと。
毎日毎日毎日プログラムを書くばっかり。
貯まった金はクソブサイクな風俗女にしゃぶらせるためだけに消える。
俺なんのために生きてるんだろう。
0380デフォルトの名無しさん
垢版 |
2018/06/14(木) 00:06:29.12ID:3ZpZ3Y7F
まあemacsにすべきだな
0383デフォルトの名無しさん
垢版 |
2018/06/14(木) 00:34:33.55ID:/66BxFoU
1970年代からある関数型が次世代的とは
0384 ◆QZaw55cn4c
垢版 |
2018/06/14(木) 00:45:04.92ID:V5ffjU05
>>383
lisp が関数型であるとすれば、最古から関数型はあるわけで
0389デフォルトの名無しさん
垢版 |
2018/06/14(木) 01:11:59.75ID:/XuMY1jT
テキストエディタで完結するレベルの土方仕事しかしてないんなら、素早い(笑)んだろうな
0390デフォルトの名無しさん
垢版 |
2018/06/14(木) 02:07:29.11ID:QWAhFsNz
プロはバイナリエディタですか。
0393デフォルトの名無しさん
垢版 |
2018/06/14(木) 02:42:00.14ID:FQRn1x4J
Functional GoでFoなのか
日本人だったらFGOとかにしそうだな

エディタやIDEなんてラーメンみたいなもんだろ
人のおすすめ聞くより使ってみる方が早い
0395デフォルトの名無しさん
垢版 |
2018/06/14(木) 05:34:03.84ID:rNsEgud7
>>392
やっぱりトランスパイラみたいね。
出力されるコードが変なものじゃなければ、ありな気がする。もともと実験的な意味合いが強いからなー。
0396デフォルトの名無しさん
垢版 |
2018/06/14(木) 07:21:11.85ID:1FD9Rath
なるほど面食い連中に使ってもらって実験台になってもらおうという言語かw
0398デフォルトの名無しさん
垢版 |
2018/06/14(木) 08:44:49.52ID:WCuYXmy1
カスタマイズがないエディタ
cssとjsがないホームページ

次世代はこういうのでいいんだよ
0399デフォルトの名無しさん
垢版 |
2018/06/14(木) 09:05:36.49ID:PNz+UpBO
ドカタの知能は昆虫以下だからカスタマイズとか出来ないもんなぁ
それは理解できるけど人間様に同意を求めないで欲しい
違う生き物なんだから
0400デフォルトの名無しさん
垢版 |
2018/06/14(木) 11:59:10.86ID:Ko7syfoN
ただまあ、カスタマイズしないと使い物にならない、と、
カスタマイズいくらでも出来る、はまた別だからな。
VSCodeに関しては、吊るしで割と使えて、拡張機能で相当便利になって、
めちゃくちゃニッチなものなら自作もできる分、
割といいと思うよ。

生粋のemacsユーザみたいにemacsでメールチェックも何もかも済ませちゃう所までは行かないし、今更誰も求めないだろうけど。
0401デフォルトの名無しさん
垢版 |
2018/06/14(木) 12:28:53.86ID:P5fuOjM/
エ、エディタで人の知能判断するのか………
宗教戦争がなくならないわけだ
0403デフォルトの名無しさん
垢版 |
2018/06/14(木) 12:50:39.82ID:WCuYXmy1
証拠で判断する
知能が低い証拠や高い証拠
戦争も強さを立証するためにやってる
0404デフォルトの名無しさん
垢版 |
2018/06/14(木) 15:34:54.59ID:mjADD9X6
そのエディタはお前が作ったのか?
使ってる道具を知能の証拠にするとかいいの?
ましてや戦争レベルにスケールアップするとかさあ…
0407デフォルトの名無しさん
垢版 |
2018/06/14(木) 17:10:56.98ID:+kcaC1Qb
ファイルサイズでかいと途端に無能になるエディタが多くてなあ
モダンなエディタでまともに動くのはsublimetextくらいだわ
0411デフォルトの名無しさん
垢版 |
2018/06/14(木) 18:42:50.92ID:Eyj4NuVh
ElectronだからってAtomのもっさり感は大概だと思うけどなぁ
VSCode使ってたら尚の事
0416デフォルトの名無しさん
垢版 |
2018/06/14(木) 21:28:49.77ID:oDcGUxHl
早いところreact-nativeで、再実装されたvscode見てみたいな。最近のマイクロソフトのRN推しはなかなか良い。
0420デフォルトの名無しさん
垢版 |
2018/06/14(木) 23:23:01.61ID:/XuMY1jT
Goは「エンター押してGo!」って標語通りのコンパイル速度目指したあれだろ
トランスパイラなんか噛ませて「エンター押してコーヒーブレイク!」じゃアカンでしょ
0422デフォルトの名無しさん
垢版 |
2018/06/15(金) 00:04:39.58ID:pycx7Kea
型推論とジェネリクスが入るとどうやっても遅くなるんでない?Fo試してないけど。
0424デフォルトの名無しさん
垢版 |
2018/06/15(金) 00:09:30.32ID:U6uE1uLz
>>421
エンター押してGoのためにゲネリクスまで捨ててるのに
それ捨てたら捨てるものしか残らないゴミ箱になるだろ
0425デフォルトの名無しさん
垢版 |
2018/06/15(金) 00:33:51.36ID:inBQ+d9i
いやだからgo本体に組み込まれるよりかトランスパイラで実験的に使ってもらったほうがいいってことでしょ。
0427デフォルトの名無しさん
垢版 |
2018/06/15(金) 00:37:49.96ID:6T3qrZy1
旧世代言語はどうでもいいですから
0431デフォルトの名無しさん
垢版 |
2018/06/15(金) 06:38:19.10ID:9A1mO1AX
そもそもgoにジェネリクス入れないとは行ってないぞ。faq見ろや。むやみに希望通りに機能追加したくないだけ。
phpみたく投票で決めてうまく行った例をみない
0432デフォルトの名無しさん
垢版 |
2018/06/15(金) 06:51:25.85ID:ymZBnmIf
Haxe(ヘックス)はOSSで、JSに型チェックを付けたような言語で(altJS)、
JS(ES5), Flash, PHP, C++, Java, C#, Python, Lua に書き出せる

インストールしてみた。楽しみ
0433デフォルトの名無しさん
垢版 |
2018/06/15(金) 10:34:51.24ID:uIGrLsPa
共同ツール 1
https://seleck.cc/685

https://trello.com/
ボードのメニュー → Power-Upsから拡張可能 Slack DropBoxなど
Trello Chrome拡張機能 elegant
ttp://www.kikakulabo.com/service-eft/
trelloのオープンソースあり

共同ツール 2
https://www.google.com/intl/ja_jp/sheets/about/

共同ツール 3
https://slack.com/intl/ja-jp
https://www.dropbox.com/ja/
https://bitbucket.org/
https://ja.atlassian.com/software/sourcetree
https://www.sketchapp.com/
ttp://photoshopvip.net/103903
ttps://goodpatch.com/blog/sketch-plugins/

Trello Chrome拡張機能プラグイン集
https://chrome.google.com/webstore/search/trello?_category=extensions

Slackプラグイン集
https://slack.com/apps

Sketchプラグイン集
https://sketchapp.com/extensions/plugins/
https://supernova.studio/
0434デフォルトの名無しさん
垢版 |
2018/06/15(金) 19:08:38.72ID:yN1Te8e7
>>431
多数決がロクでもないのは本当にそう思うわ
Linusほどとは言わないがBDFLが方向性と重要な決定で決断するのは本当に重要
0435デフォルトの名無しさん
垢版 |
2018/06/15(金) 19:19:52.68ID:f9VZR6vf
最近はRust風のRFCベース開発が増えてるが
これはどうなんだ?

正直発端のRustがゴミなんでこの方法も多数決と大差ないゴミだと思うんだが
0436デフォルトの名無しさん
垢版 |
2018/06/15(金) 19:49:49.25ID:jzThxFVz
>>269
RustがゴミだからRCFもゴミという理屈を通すなら
RCFがゴミだからインターネット技術も全てゴミということか
ネット技術を否定するとはたまげたなぁ
0438デフォルトの名無しさん
垢版 |
2018/06/15(金) 20:45:14.15ID:Ue/0Tw3y
Request For Comment
0439デフォルトの名無しさん
垢版 |
2018/06/15(金) 20:51:19.95ID:6FhApNwO
Request Comment For internetsだろ。
0440デフォルトの名無しさん
垢版 |
2018/06/15(金) 21:00:01.61ID:jGQZ3J4p
Rustがゴミだというのは要出典だが
1人か数人程度で書いた出典が多数派より強いなら多数決ではない
0441デフォルトの名無しさん
垢版 |
2018/06/15(金) 21:43:27.34ID:U6uE1uLz
マスカキ・ラスマス・豚ラードみたいなクソガイジが作ってるガイジ専用PHPoorは
今すぐ死ね
今すぐにだ
0444デフォルトの名無しさん
垢版 |
2018/06/15(金) 21:53:44.43ID:6FhApNwO
放射能に汚染されるとかあるの?
放射線を当ててDNA傷つけるとかはあるけど。
0446デフォルトの名無しさん
垢版 |
2018/06/15(金) 22:13:02.74ID:jGQZ3J4p
文書を管理し公開すれば質問に答える手間が省ける
独裁者は効率が良いというが、文書管理ができない独裁者は効率が悪い
0447デフォルトの名無しさん
垢版 |
2018/06/15(金) 22:13:49.24ID:6FhApNwO
>>445
放射性物質と間違えてないか?
0448デフォルトの名無しさん
垢版 |
2018/06/15(金) 22:24:16.62ID:QgEB8ssa
>>447
「放射能漏れ (放射性物質が意図せず外部に流出すること)」など、
放射能という言葉で放射性物質を意味することが我が国では頻繁にある
0449デフォルトの名無しさん
垢版 |
2018/06/15(金) 22:29:57.45ID:6FhApNwO
>>448
なんと!
日本語審査会で審議しないといけないな。
0450デフォルトの名無しさん
垢版 |
2018/06/15(金) 22:31:43.92ID:6FhApNwO
放射能とは放射線を発する能力のことだよな。
それなのに、放射性物質漏れを放射能漏れと言うとは、原発村は朝鮮部落じゃないのか?
日本語全然ダメじゃないか。
0451デフォルトの名無しさん
垢版 |
2018/06/15(金) 22:56:31.11ID:XWxsNfSe
class 物質 {
  放射能 : Double

  onRecv(r: 放射線) {
    var a = is放射性物質()
    放射能 += calc(this, 放射線)
    if(a != is放射性物質()){ on放射化() }
  }
  on放射化(){
  }
  is放射性物質(){
    return 0 < 放射能
  }
  onTick() : 放射線 {
    return 放射性崩壊()
  }
}
0453デフォルトの名無しさん
垢版 |
2018/06/15(金) 23:26:24.39ID:pqHqgTWj
関数型なら放射能の基底値最低値みたいなものがあればモノイドやモナドに出来るはず
0454デフォルトの名無しさん
垢版 |
2018/06/16(土) 00:22:45.39ID:nddTsUkO
開発のオッチャンが
ポンコツになって病んで
いつの間にか復帰したと思ってたら情シスに異動してて
クソみたいなノーパソのセッティングとかするだけのマシーンになってた

おまえらもいつかああなるんだな
0458デフォルトの名無しさん
垢版 |
2018/06/16(土) 07:05:02.10ID:YcKtw1Mu
関数型も注目された結果色々なエッセンスがそうでない多くの言語に取り込まれたけど依存型線形型は難しくて部分的な取り込まれ方もしなそうという気持ちがある
純粋に難しいのもあるし実務を見据えると煩雑すぎる
0459デフォルトの名無しさん
垢版 |
2018/06/16(土) 07:57:54.56ID:/RucSVBT
型の話をするなら動的型と静的型に分ける
型の話をするならHaskellとTypeScriptは似たもの同士である
0461デフォルトの名無しさん
垢版 |
2018/06/16(土) 09:00:12.20ID:Ws4rvThP
TypeScriptは構造的部分型
クラス定義の見た目が似ているだけで、Java系のド型とは実は概念的に全然違う
0462デフォルトの名無しさん
垢版 |
2018/06/16(土) 09:30:23.46ID:/RucSVBT
型チェックと値チェックを一緒にするのは動的型なら簡単に思いつくこと
依存型が難しいというのは静的型が難しいだけのこと
0465デフォルトの名無しさん
垢版 |
2018/06/16(土) 11:35:20.13ID:zhL2QVJX
逆に言うと、建設的なことをやらない理由は、やったら差別されるから
差別があるから非効率的になる
0468デフォルトの名無しさん
垢版 |
2018/06/16(土) 11:59:56.47ID:YcKtw1Mu
>>462
静的に値チェックがカリーハワード同型対応の下で示せるのが依存型のうれしさなので動的型で簡単と言われてもそれは不完全性としか聞こえない
0469デフォルトの名無しさん
垢版 |
2018/06/16(土) 12:51:53.05ID:zhL2QVJX
PythonもHaskellも全部やれば完全になるのに
同型対応というなら少なくとも2つの具体例を比較する必要がある
1つでは足りない
0473デフォルトの名無しさん
垢版 |
2018/06/16(土) 15:03:43.59ID:jT+SN6fe
最近、依存型と線形型について勉強し始めたんだけど、
依存型と線形型の両方が使える言語ってATS2以外に何かある?
0474デフォルトの名無しさん
垢版 |
2018/06/16(土) 15:09:40.70ID:XlvliOa0
なんのこれしき
なんの小錦
0476デフォルトの名無しさん
垢版 |
2018/06/16(土) 15:47:39.71ID:jT+SN6fe
>>475
idrisって依存型はあるけど線形型もあるの?

依存型については何となく分かってきたんだけど、
線形型についてはまださっぱりなんだよね…
Rustの所有権とはまた違う概念なの?
0477デフォルトの名無しさん
垢版 |
2018/06/16(土) 16:21:38.95ID:z7/sTfN7
>>476
そのものはないけどuniquenessとborrowedがある
rustの所有権もその辺りに基づいてはいる
そのものはHaskellで提案されているくらいであとは自前実装しかないかなぁ
0478デフォルトの名無しさん
垢版 |
2018/06/16(土) 17:37:25.12ID:jT+SN6fe
>>477
勉強用なんで「そのもの」が欲しいんだよね
てか、ATS2の線形型はそのものだと思っていいんだよな…?
名前は線形型だけど実際には線形型擬きでしたじゃ勉強用としてちょっと…
0480デフォルトの名無しさん
垢版 |
2018/06/16(土) 19:56:08.96ID:cPCRxKLM
何言ってんのかまじでわからねー。
そんなの仕事で出てこないが、ほんとに使うのそれ?研究目的?
0484デフォルトの名無しさん
垢版 |
2018/06/16(土) 22:12:06.44ID:XHjnJq29
学習コスト云々言うんならJavaのオブジェクト指向も大概学習コスト高いと思うわ
正直モナドと同じくらいやろ(適当)
そんな学習コスト高いものも全力で教育すればなんとかドカタでも使えるようになるんだし、概念が広く知られて本さえ出れば次世代言語の中心概念になってても大丈夫だと思う
0485デフォルトの名無しさん
垢版 |
2018/06/16(土) 22:30:32.27ID:jT+SN6fe
>>482
Thanks!
じゃあ、やっぱりATS2で勉強するわ

>>480
現状じゃまだ研究の段階だろうね。5年後は分からんが…
とは言え、5年後でも使ってるのはほんの一部の企業だけだろうな…
日本語の書籍が大量に出回るようなレベルにならない限りはほとんどの企業はどうせ使わない
0486デフォルトの名無しさん
垢版 |
2018/06/16(土) 23:47:44.87ID:4s/pndVS
そもそもやってるやつの目的が
やってないやつが多い概念のがマウント取れるってことだからな。
そりゃ流行らんわ
0488デフォルトの名無しさん
垢版 |
2018/06/17(日) 00:04:06.00ID:WrHoE2Bg
で、短くかけるぜってどやりたいだけだろ。
だからなぜ短く書くことに意味があるのか少し考えてみろと思うわけだ。
0489デフォルトの名無しさん
垢版 |
2018/06/17(日) 00:12:37.76ID:Zsovn15r
短く書けたらコード書き始めから書き終わりまでの時間が短くなるし、拡張が楽になる場合も多い
0491デフォルトの名無しさん
垢版 |
2018/06/17(日) 00:19:07.06ID:Zsovn15r
ID:4s/pndVSは依存型の話というより関数型とかの技法一般のこと話してると思うし……
0492デフォルトの名無しさん
垢版 |
2018/06/17(日) 00:47:57.66ID:GmOBMD4N
仮にマウント目的ならそれは生産というより消費
高級な車や時計を買うようなもの
そういうのは無意味だとして質素倹約を推奨する意見は大昔からある
0493デフォルトの名無しさん
垢版 |
2018/06/17(日) 00:56:52.43ID:u2X2MJCJ
確かにmizchiみたいなのが鬱陶しいのはわかるけどさぁ
それと技術評価は切り離して考えないとだめでしょうよ
0494デフォルトの名無しさん
垢版 |
2018/06/17(日) 01:02:17.83ID:erltHdM+
2,30年位前もきっとオブジェクト指向なんて研究者のオモチャで
実務では必要ないって騒いでた奴がいたんだろうなぁ…
0495デフォルトの名無しさん
垢版 |
2018/06/17(日) 01:25:47.44ID:TG/aPZPS
間口は広くしてるけど、言語仕様的は可能でもやっちゃいけないことが多くて後々困るのがOOP
0496デフォルトの名無しさん
垢版 |
2018/06/17(日) 03:11:46.16ID:cij7m28f
効率にしろ何にしろ例え多少良くなるからと言って新しいもの作る時
その学習コストもそろそろ計算に入れてもらわないと困る
コード多少短く書けるからと言ってまた1からの学習コストもキツい、
0497デフォルトの名無しさん
垢版 |
2018/06/17(日) 03:20:04.64ID:Zsovn15r
大丈夫。良いものはそのうち良書が出て学習コストは下がる
深層学習の学習コストが二年前と今で全然違うように。
学習コストを気にする人は新しい物に飛びつかないほうが良いよ。そのうち良い解説本が出るから
0498デフォルトの名無しさん
垢版 |
2018/06/17(日) 08:05:48.87ID:p2Sm4Lro
依存型って何に使うのこれ
TSの文字リテラル型みたいなやつかね
0501デフォルトの名無しさん
垢版 |
2018/06/17(日) 09:51:43.75ID:WRt6LELS
>>485
それって本当に幸せになれる仕組みなの?
それならわかりやすく説明頼む。
一人でちまちま作るようなものなら、
学習コスト高くても構わないけど、
現実問題として人材不足だからな。
TypeScriptエンジニアすら不足気味でC#とかCのエンジニア入れたり趣味でしか触ったことないエンジニア入れたりしてる
0502デフォルトの名無しさん
垢版 |
2018/06/17(日) 10:05:40.01ID:erltHdM+
>>501
人材不足なら人材集めろよ…
なんで人材不足の対処として新しい技術を求めようとしてるんだよ…
新しい技術なら当然それを使える人も少ないんだから
んなもん人材不足の現場に持ち込んだらますます人材不足なるだけだろ…
何がしたんだお前?
0504デフォルトの名無しさん
垢版 |
2018/06/17(日) 11:13:15.20ID:a73jVlJK
TypeScriptとC#に互換性がないのは冗長でありDRYに反する
ATSは他の言語に似ていないので冗長ではない
0505デフォルトの名無しさん
垢版 |
2018/06/17(日) 11:37:42.31ID:Rc+TyNTC
学習コストって、別に新言語のコストだけではなくて、
今動いてる、ずっと保守されてきたソースを新人に保守できるように教育するのも学習コストだからな。
どっちに振るかの問題だと思う。新しい言語に(その学習コストを払うほど)興味がない人にとっては。

言語好きはその学習コストを手弁当で補いがちだけど、それも本来はちゃんと計上すべきだと思うんだけどなぁ。
0506デフォルトの名無しさん
垢版 |
2018/06/17(日) 12:31:38.21ID:aJjY8hhI
>>505
>>497だよ。そもそもこのスレは「次世代」を銘打ってるんだから、対象の情報ソースがまだ少なくて学習コストが高いのは当たり前
ここはあなたのような人が見るべきスレじゃない
0507デフォルトの名無しさん
垢版 |
2018/06/17(日) 15:14:55.67ID:NZRREY9d
TypeScript, ES2015 は、学習コストが高い。
大規模開発に向く、きれいな言語仕様は、Haxe

初めてのJavaScript 第3版 ――ES2015以降の最新ウェブ開発、オライリー、2017

上を読めば、愕然とする。
皆、下のサイの表紙の、サイ本で苦しんだろ。それと同じ

JavaScript 第6版、2012、David Flanagan
0508デフォルトの名無しさん
垢版 |
2018/06/17(日) 15:28:49.00ID:Wo64nPZg
上と下じゃ全然レベル違うがw
下はともかく上で苦しんだんならはっきり言って才能無いからやめるといいよ。
同じとか笑うわww
お前が何を読んでも理解できないだけ。
そりゃお前にとっちゃ何でも「同じ」だわな。
等しく理解できないwwww
0510デフォルトの名無しさん
垢版 |
2018/06/17(日) 15:34:02.21ID:iWNJr2Uz
プログラミングできない奴ほど新興言語に飛び付くよね RustやらDやら

本当に分かってるやつはJava8使う。これが真に次世代
0513デフォルトの名無しさん
垢版 |
2018/06/17(日) 16:12:12.31ID:NZRREY9d
JS, TypeScript では、this の挙動が変だから、皆、that に代入して使う。
that = this

Haxe では、こういう事はない

下のような引数付き、enum もある。
一々、抽象クラス・インターフェースを書かなくても、多様な入力方式に対応できる

enum Input {
Key (keyCode:int);
Click (x:int, y:int);
}

switch (input) {
case Input.Key (keyCode):
case Input.Click (x, y):
}

パターンマッチも使えるし、Elixir に似てる
0515デフォルトの名無しさん
垢版 |
2018/06/17(日) 16:22:09.07ID:iWNJr2Uz
「新しいものを導入しよう」とか脳死でわめくガキに現場しっちゃかめっちゃかにされる経験がないのか
それとも逆に現場ひっかきまわす側のガキなのか

次世代っていうのは目新しさで決めるもんじゃないだろ
0518デフォルトの名無しさん
垢版 |
2018/06/17(日) 16:28:42.12ID:iWNJr2Uz
>>516
5、6年後くらいのリプレイス時にJava8導入するかもしれないから互換性の下調べしてる段階な

お前のいう「現場知って」る奴ならどんな言語出すんだ?
まさかことりんとか言わんよな?
0519デフォルトの名無しさん
垢版 |
2018/06/17(日) 16:32:58.06ID:8e4AMBWv
このスレに上がってるような言語を実践投入する時はそら1990年代にJavaを投入した時のように慎重にいかないといかんでしょ
脳死での実践投入なんて発想が最初に出てくるとかガイジか。いや、ドカタだからそういう常識が欠けているのか。ごめんね?
0520デフォルトの名無しさん
垢版 |
2018/06/17(日) 16:33:35.47ID:yCU9+KnB
商用開発的に色んな側面考慮してJava8選択するのは特におかしいとは思わないけど
次世代呼びは流石に無茶やって
0522デフォルトの名無しさん
垢版 |
2018/06/17(日) 16:38:30.24ID:iWNJr2Uz
>>520
Java8が次世代じゃないとか言い出すとは思わんかった

Java8以上に新しい言語は次世代通り越して未完成言語って言ってもいいわ
0523デフォルトの名無しさん
垢版 |
2018/06/17(日) 16:44:30.75ID:8dIO3AYC
>>513
使ってる案件あります?
TypeScriptはES2015+型って考えでとりあえずは使えるから、学習コストは低い。
this問題はアロー関数でも使っとけばいい。
0525デフォルトの名無しさん
垢版 |
2018/06/17(日) 16:50:08.16ID:8dIO3AYC
>>502
別に新しい技術で人材不足を解消しようって話はしてないよ。
間違った行間読みはやめろ。
純粋に案件を始めるにあたって、
言語を特殊なものにすると、人材が集めづらいだろって話。
TypeScriptというメジャー寄りの言語ですら、専門以外エンジニアになりがちって話。
ちなみにTypeScriptは学習コストは低いほうだ。
0526デフォルトの名無しさん
垢版 |
2018/06/17(日) 17:00:54.21ID:TG/aPZPS
サポート切れるのに今からJava8を選ぶって逆に脳死過ぎだわ
The老害にも程がある
0529デフォルトの名無しさん
垢版 |
2018/06/17(日) 17:43:45.20ID:erltHdM+
>>524
知るか。派遣でもなんでも雇えば良いだろ?

>>525
> 間違った行間読みはやめろ。
すまんな…でも、あの文脈じゃそういう風に受け取られても仕方ないと思うけど…

> 言語を特殊なものにすると、人材が集めづらいだろって話。
集めづらいよ。だから慎重に検討する必要はあるし、手放しに喜んで良い機能じゃない

ただ時々「慎重に検討する」を曲解して「結局、絶対に採用されない」と
新しい技術そのものを否定しようとするヤツが居るんで
それは違うだろ?将来に備えて勉強しておく必要はあるだろ?
自分が理解できなかったのを正当化するための言い訳だろ?って言いたい

あと、慎重に検討した結果、採用したとして、それでも失敗した場合は
それは経験として受け入れるべきであって失敗として否定するべきではない
ある程度のリスクは受け入れないと、失敗はしなかったとしても成功もしない
どの程度のリスクを許容するかのバランスの問題であって、
全くリスクを受け入れようとしない企業は所詮その程度の企業だってこと
0535デフォルトの名無しさん
垢版 |
2018/06/17(日) 18:54:54.59ID:a73jVlJK
寿司職人が5、6年修行しているようなものか
半年でできらぁって誰かが言い出したとしてお前らはそいつを倒せるのか?
0538デフォルトの名無しさん
垢版 |
2018/06/17(日) 19:26:09.30ID:iWNJr2Uz
>>535
倒すだの勝つだの物騒な話してねえから
安定したプログラムを工数圧縮して作るのが目的だから
0540デフォルトの名無しさん
垢版 |
2018/06/17(日) 20:25:05.46ID:p2Sm4Lro
たぶ今頃サンに問い合わせてるんだろな
0542デフォルトの名無しさん
垢版 |
2018/06/17(日) 20:43:39.42ID:dJUJdMR3
上司がバカな可能性も十分あるからなんとも言えん。
しかし、同じくらいの割合でバカな新人が新しいクソツールをねじ込むこともあるからな。
一般に表面だけ見て判断はできんわ。
0543デフォルトの名無しさん
垢版 |
2018/06/17(日) 20:50:01.61ID:wbEMQisX
五年後からJava8とか地獄のような現場もあったもんだな
現場を知らなかったわ
0544デフォルトの名無しさん
垢版 |
2018/06/17(日) 20:55:06.44ID:wY+r/3B/
アップデートがあるうちはまだまだ未完成
LTSが終了したところで真の安定板になるのですよ…
0549デフォルトの名無しさん
垢版 |
2018/06/17(日) 22:04:53.41ID:SLSvvYl3
やれやれ・・・(肩をすくめ、冗談だろ?と失笑しながら、イケメンを少し崩した変顔でつぶやく僕)
0550デフォルトの名無しさん
垢版 |
2018/06/17(日) 22:19:46.98ID:IxLGC6rA
昔クソツールと言ってgradleを拒否した爺さんが弊社にいた
蓋を開けてみると新しいからダメっていうか爺さんがわからないからごねてただけだった
爺さん今はKotlinを猛烈に攻撃してる
こういうのって沢山あるんだろうな
0551デフォルトの名無しさん
垢版 |
2018/06/17(日) 22:32:18.24ID:EBuoSE6p
サポート終わったものは社内のセキュリティ監査で引っかかるから使えんけどなあ
0553デフォルトの名無しさん
垢版 |
2018/06/17(日) 22:59:16.75ID:iFYzb9cl
ドカタ言語としてはJava SE 1.4くらいがちょうどよかった。あれのLTSがあったらなぁ。
0556デフォルトの名無しさん
垢版 |
2018/06/17(日) 23:21:54.59ID:p2Sm4Lro
グレードルもクソだと思うけどそもそもjavaがクソなのでツールを責めるのは酷だすな
コトリンは救いようがない滅せよ
0557デフォルトの名無しさん
垢版 |
2018/06/17(日) 23:28:49.24ID:dJUJdMR3
言語もそうだがクソなものを勧めてくる奴の特徴は
おそろしくモジュラリティーの低いものばっかり勧めてくるってところだ。
0562デフォルトの名無しさん
垢版 |
2018/06/18(月) 00:56:40.78ID:5zfP7m4z
gradleがクソはまあわかるがantよりはマシ
爺さんがごねなきゃ最低のクソから並みのクソぐらいには昇格できたかもしれない
新技術拒否爺さんは業務効率化を阻む害悪でしかない
0563 ◆QZaw55cn4c
垢版 |
2018/06/18(月) 01:07:58.13ID:OiAJbwiy
>>555
今から rails に取り組もうと思っていたのですが…(?然)
0564デフォルトの名無しさん
垢版 |
2018/06/18(月) 01:49:33.50ID:2+ok0PtZ
気にすんな。世の中には自分の能力が足りなくて理解できないものをクソだということにして
自分の心を安定させようとするやつが居るってだけのことだから。そういうやつは何千年も
前から居る。ほとんど人間という動物の習性だと思っていい。誰でもそういう状態にハマる
可能性がある。ハマってる最中はそいつは他をクソ呼ばわりするだけで新たな事は何も
学習しなくなるので馬鹿な状態が維持されて発展しない。
0565デフォルトの名無しさん
垢版 |
2018/06/18(月) 07:01:11.25ID:Jei0+sA2
>>563
いい加減に板を荒らすのやめろよ

特にここ最近はRubyスレを荒らしまくって何考えてんだ?
0566デフォルトの名無しさん
垢版 |
2018/06/18(月) 07:13:46.91ID:wJzzPYpc
>>564
歴史に何も学ばないやつに発展はない。
https://anond.hatelabo.jp/20171129214218
565はこの種のバカなことを引き起こしといてトンズラするタイプだな。
だいたいこのタイプは仕様が満たされるものだと過信してるタイプで
機能の堅牢性なんてまともにチェックしてない。
0567デフォルトの名無しさん
垢版 |
2018/06/18(月) 07:25:45.84ID:OPxRI0Cf
歴史を学習した人間より科学を学習した自動運転の方が安全というのが
シンギュラリティの思想だよな
0569デフォルトの名無しさん
垢版 |
2018/06/18(月) 08:19:55.49ID:AHTeguQN
どっちも危険な盲信になりえる
>>564 みたいに一方的なのは危険
0570デフォルトの名無しさん
垢版 |
2018/06/18(月) 10:03:33.26ID:1wi3jEJk
「新しいものをバカみたいに導入しようとする奴は危険」ってのはまあその通りなんだが
上の「5年後にJava8を導入おじさん」も同じくらい危険人物な訳で

結局突き詰めてメリデメリをジャッジできる思考力ないだけのバカは開発を地獄にするってのは変わらんよね
0571デフォルトの名無しさん
垢版 |
2018/06/18(月) 11:21:38.28ID:cgeQ1bE7
プロコンという語を覚えると便利だよ>メリデメリ
英語のプレゼンでprosとかconsとか見たことあるでしょ?まあ英語というかラテン語なんだけど。
0572デフォルトの名無しさん
垢版 |
2018/06/18(月) 11:40:21.90ID:OPxRI0Cf
デメリット、コスト、人月の見積もり
見積もりを妄信するのも危険と言われる
0573デフォルトの名無しさん
垢版 |
2018/06/18(月) 13:11:53.12ID:byOf5Soa
>>449
>>448
>なんと!
>日本語審査会で審議しないといけないな。

言い忘れたがこの混同は英語でもある
というか放射能漏れは leakage of radioactivity の直訳
0574デフォルトの名無しさん
垢版 |
2018/06/18(月) 14:05:58.53ID:7nYEmGe5
そもそも次世代言語が次世代なうちは個人の趣味プロぐらいにしか使わんだろ
0577デフォルトの名無しさん
垢版 |
2018/06/18(月) 14:48:34.03ID:soq2obRK
まあHakellに関してはもう次世代というよりLispと似たようなポジションだということで
0578デフォルトの名無しさん
垢版 |
2018/06/18(月) 15:30:15.87ID:soq2obRK
ところで、またATS2に話を戻すんだけど、
日本語訳もあったしチュートリアルやってみてるんだけど
↓の再帰関数の停止性検査とやらで躓いている
ttp://jats-ug.metasepi.org/doc/ATS2/INT2PROGINATS/x2485.html

特に
fun isevn{n: nat} .<2*n>. (n: int n): bool = if n = 0 then true else isodd (n-1)
and isodd{n: nat} .<2*n+1>. (n: int n): bool = not(isevn(n))
が何故.<2 * n>.と.<2 * n + 1>になるか理解できん…
.<n>.と.<n + 1>.で大丈夫だと思ったんだが…
たぶんまだ、停止性メトリクスとやらが正しく理解できていないんだろうな…
誰か詳しく解説してくれないか?
0580デフォルトの名無しさん
垢版 |
2018/06/18(月) 15:37:03.09ID:/sFO+jYl
ドワンゴが使ってると公言した言語を使ってる会社はドワンゴレベル

気を付けろwwwww
0581デフォルトの名無しさん
垢版 |
2018/06/18(月) 16:10:43.68ID:soq2obRK
ドワンゴってScala以外にもSwift, Kotlin(スマホアプリ)やReact(Typescript)やRustとかも使ってるからな…
開発事例は聞いたことないけどGoの勉強会とかもやってるし…
その基準だと、このスレでよく話題に挙がる言語はほとんど全てドワンゴレベルだな
ドワンゴレベルじゃない次世代言語はDartくらいか?www
0582デフォルトの名無しさん
垢版 |
2018/06/18(月) 16:24:24.97ID:NEyGx0zg
ドワンゴには、C++ の標準化委員の江添亮もいるし、Rust, Elixir, HDL もやってる。
クックパッドには、RubyVM を作った、笹田耕一もいる

基本は、Ruby。
Gradle で使うGroovy も、Ruby そっくり。
Elixir もそう。
jQuery のメソッドチェーンも、Ruby っぽい

無料のRails チュートリアルをやれば、すべてのフレームワークがわかる
0584デフォルトの名無しさん
垢版 |
2018/06/18(月) 16:29:30.09ID:pZ1JIWjn
まだRubyのチュートリアルの話してんの?
Rubyっぽい、って、第一言語がRubyだからそう見えるだけだろ。
0586デフォルトの名無しさん
垢版 |
2018/06/18(月) 17:22:50.97ID:qMNnTEHn
ドワンゴってエンジニアだけ見ると技術力高そうなのに
なんで成果が全部ゴミなんだろうな
0587デフォルトの名無しさん
垢版 |
2018/06/18(月) 17:37:58.73ID:NEyGx0zg
YouTube, AbemaTV は、広告
ニコ生は、有料
Showroom は、寄付

ビジネスモデルが異なるから、
1つのチャネルの視聴者数が1万を超えると、追い出す

乃木坂みたいに、数万人も見ると、追い出す。
広告が無いから、1万人以上が無料で見ると、電気代が払えず、赤字になる
0588デフォルトの名無しさん
垢版 |
2018/06/18(月) 18:02:04.30ID:EvkbZGBx
>>578
isevn.<n>.とisodd.<n+1>.だと
isevn 3 のメトリックは.<n>. = .<3>.
そこから呼ばれるisodd 2 のメトリックも.<n + 1> = .<3>.
減ってねえ!エラー!ってことじゃね
想像だけで試してないので違ってたらすまん
0589デフォルトの名無しさん
垢版 |
2018/06/18(月) 18:04:53.53ID:xdRdwSco
>>578
とある関数呼び出しの定義内に表れる再帰的呼び出しの
停止性マトリクスが、大元の関数呼び出しの停止性マトリクスから辞書順で下降していくことから停止性を担保しようというのが停止性マトリクスの意味。

そして停止性マトリクスの記述に表れる n は issven や isodd の引数そのものだということに注意

iseven、isodd の停止性マトリクスがそれぞれ n、n+1 だと、

iseven n の停止性マトリクス→n
iseven n の定義に出てくる isodd (n-1) の停止性マトリクス→n-1+1=n
減っていないから停止性が担保されない(NG)。

説明にあるように <n, 0> と <n,1> ならば、
iseven n の停止性マトリクス→<n,0>
iseven n の定義に出てくる isodd (n-1) の停止性マトリクス→<n-1,1> (下降している!OK)
isodd も同様に
isodd n の停止性マトリクス→<n,1>
isodd n の定義に出てくる iseven (n) の停止性マトリクス→<n,1> (下降している!OK)

そして<n,0>, <n,1> の代わりに n*2, n*2+1 を使っている(この代用が可能なことはわかるよね)。
0590デフォルトの名無しさん
垢版 |
2018/06/18(月) 18:08:28.85ID:xdRdwSco
>>589
>停止性マトリクスが、大元の関数呼び出しの停止性マトリクスから辞書順で下降していくことから停止性を担保しようというのが停止性マトリクスの意味。

この説明「下降していく」だと本当に再起をどんどん
実行していくみたいで間違ってるか。

とある関数呼び出しの停止性マトリクスよりも、
その関数の定義に表れる全ての再帰的呼び出しの停止性マトリクスのほうが辞書順で小さい、
というべきか。
0591デフォルトの名無しさん
垢版 |
2018/06/18(月) 18:09:50.53ID:xdRdwSco
>>589
>isodd も同様に
>isodd n の停止性マトリクス→<n,1>
>isodd n の定義に出てくる iseven (n) の停止性マトリクス→<n,1> (下降している!OK)

最後の行は
isodd n の定義に出てくる iseven (n) の停止性マトリクス→<n,0> (下降している!OK)

の間違いでした
0594デフォルトの名無しさん
垢版 |
2018/06/18(月) 18:51:32.37ID:OPxRI0Cf
安全装置のたぐいは損失を防ぐばかりで利益は全然ない
利益がないから理解できない人が続出
0595デフォルトの名無しさん
垢版 |
2018/06/18(月) 18:58:41.11ID:soq2obRK
>>589
ありがとう
冷静に計算していったら、確かにnとn+1じゃ減ってないからダメで
2*nと2*n+1だときちんと減ってるからOKってところまでは理解できた
でも、一体何を考えて<n,0>と<n,1>のタプル?のメトリクスが出てきたか全然分からない…

> そして<n,0>, <n,1> の代わりに n*2, n*2+1 を使っている(この代用が可能なことはわかるよね)。
すまない。俺はバカなんだ。分からないんで教えて下さい。

自分でも自分がどこまで分かっているのかさえよく分かっていないんだが、
たぶん、停止性メトリクスがきちんと減っているかどうかを計算する方法までは理解できたが、
きちんと減っている停止性メトリクスを導き出す方法が分かってないんだと思う
0596デフォルトの名無しさん
垢版 |
2018/06/18(月) 19:23:14.64ID:xdRdwSco
>>595
>すまない。俺はバカなんだ。分からないんで教えて下さい。

辞書順を保ったまま <n, 0>, <n,1> をそれぞれ 2*n, 2*n+1 で置き換えられる
3*nとか4nでもいいけど2つしかないから2nで十分



fun f
{n:nat} .<3*n>.
(n: int n) : bool =
if n = 0 then true else g (n-1)
and g
{n:nat} .<3*n+2>.
(n: int n) : bool = not (h (n))
and h
{n:nat} .<3*n+1>.
(n: int n) : bool = not (f (n))
0597デフォルトの名無しさん
垢版 |
2018/06/18(月) 19:24:20.04ID:EvkbZGBx
>>595
引数のnと、isoddとisevnの2つの関数の区別(+0, +1)を位取り(*2)して足してるだけじゃないかな……
0598デフォルトの名無しさん
垢版 |
2018/06/18(月) 19:33:04.83ID:vrc1WpPf
>>581
全部そうだよ

やっぱりJavaやC、Pythonが最終的に一番良いってことだな
新しいものに飛び付いてるとドワンゴになるぞ
0599デフォルトの名無しさん
垢版 |
2018/06/18(月) 19:52:57.33ID:wJzzPYpc
ドワンゴはc++みたいなもんだな。
とりあえず新言語(新機能)の実験台になってもらえるっていう。
0604デフォルトの名無しさん
垢版 |
2018/06/18(月) 21:55:35.52ID:soq2obRK
>>596
辞書順を保ったまま置き換えられるってのが何をしてるのかイマイチよく分からんが
とりあえず、2つの関数で相互再帰なら2n、3つなら3nといった感じ……なのか?
うーん…まだ勉強し始めたばかりだし、やってればそのうち分かるようになるかぁ…
あざっす。
0605デフォルトの名無しさん
垢版 |
2018/06/18(月) 22:18:33.96ID:ejyTxCd5
>>604
いやここで堪えて理解しておくべき。
引数から算出できて、再帰で減るものを何か考えてそれを停止性マトリクスとする。

値そのものじゃなく大小関係だけが大事だから、
m が 0 と 1 のどちらかしかなければ
<n, m> の代わりに n*2+m で ok ってこと


<5,0> は <4,1> より大 ⇔ 5*2+0 は 4*2+1 より大
0606デフォルトの名無しさん
垢版 |
2018/06/18(月) 22:30:23.80ID:ejyTxCd5
ちなみに辞書順というのは停止性メトリクスのタプルについて、

先頭の要素同士を比較、等しければ次の要素同士を比較、また等しければそのまた次の以下略…
という風に比較したときの順序関係
0607デフォルトの名無しさん
垢版 |
2018/06/18(月) 22:47:52.93ID:ejyTxCd5
上で散々マトリクスと誤記しているメトリクスはこの場合「(停まるまでの)距離」という意味
0608デフォルトの名無しさん
垢版 |
2018/06/18(月) 23:09:05.63ID:soq2obRK
>>605
なるほど。(n, 0)と(n, 1)が2nと2n+1に変換できることまでは分かった。ありがたい。
でも、そもそもの話として(n, 0)と(n, 1)っていうのが
一体何を考えて導き出されたのかが分からないんだよ…
チュートリアルに「isevn と isodd に (n, 0) と (n, 1) のメトリクスを与えれば、
これら2つの関数の停止性もまた検査できることは明白です。」って
書いてあるんだけど、俺にとっては全然明白じゃない…
何をどう考えたら(n, 0)と(n, 1)のメトリクスを与えようと思うんだ…?

現状、分かっているのは2nと2n+1ならメトリクスが減っているからOKってところと
(n, 0)と(n, 1)のメトリクスが2nと2n+1に変換できるってところまで…
一番肝心な部分が理解できていない気がする…
0609デフォルトの名無しさん
垢版 |
2018/06/18(月) 23:17:38.17ID:Tp0/3gfg
なんの話か分からないけどこういう奴らが使ってる技術は使いたくない
0610デフォルトの名無しさん
垢版 |
2018/06/19(火) 00:28:07.36ID:2myyjakz
ATSは依存型言語の中でも奇抜な方だと思うよ
Coqとソフトウェアの基礎の方が易しいと思う
0611デフォルトの名無しさん
垢版 |
2018/06/19(火) 01:44:59.48ID:menX4d1R
CoqとAgdaは敬遠してるんだよね…
あの二つはプログラミング言語じゃなくて証明支援器だって聞いてるから…
オレは別にPCに証明問題を解くのを手伝ってもらいたいんじゃなくて、
従来の型システムを発展させた依存型とかを使ったより安全な
プログラミングを行うの方法が知りたいんだよって思って…
けど、学ぶ順番としてはCoqが先のほうが良かったのかな?
でも、Coqだとどうにもモチベーションが…

あと、ついでに線形型も学びたかった……
Rustの所有権・借用・ライフタイムはほぼ理解できてるんでそれほど難しくはないだろうと…
まず、依存型で躓いてるんで線形型までたどり着いていない…
んー……一度に色々やろうとし過ぎか…(´・ω・`)
0613デフォルトの名無しさん
垢版 |
2018/06/19(火) 04:24:16.98ID:thfWBPV2
>>608
この場合呼び出しのたびに変化するものが、引数のnと「どちらの関数を呼ぶか」という
2つしかないんだから、呼び出しのたびに減る式を作ろうとしたらこれを組み合わせるしかない
後はパズルだろ
0614デフォルトの名無しさん
垢版 |
2018/06/19(火) 07:30:15.96ID:3/FXNCrL
全てのnについて(n, 1)>(n, 0)と2n+1>2nは同値だから当たり前だろ。
0615デフォルトの名無しさん
垢版 |
2018/06/19(火) 08:33:24.05ID:vJmt1KGh
わかりにくい記法は自分で自由にわかりやすい記法に変換すればわかる
Cのポインタの記法と同じ
自由に考える方が早い
偉い人にいちいち許可を求めたり質問したりすると時間がかかる
0616デフォルトの名無しさん
垢版 |
2018/06/19(火) 08:33:59.97ID:menX4d1R
>>613
んー…1日置いたらやっと分かったような気がする…
気がしてるだけかもだけどあとは自力でどうにか理解できそう…
まあ、新しい概念を覚えるときはどうしても時間が掛かるものだし、
あとは腑に落ちるまでサンプルコードひたすら写経したりするか…
皆ありがとう

>>610
ATSの依存型は奇抜なの?
他の依存型がある言語も似たようなことやるんじゃないの?
0618デフォルトの名無しさん
垢版 |
2018/06/19(火) 19:52:01.92ID:R39QGoSG
型を静的に解析しつつマクロみたいに評価順序を入れ替えようってのが
そもそも無理があるんだよ。
0619デフォルトの名無しさん
垢版 |
2018/06/19(火) 20:25:55.46ID:b5m1uThb
そもそも型に期待しすぎるのがキモい
型の役目なんてOCamlくらいでちょうどいいのに
0621デフォルトの名無しさん
垢版 |
2018/06/20(水) 01:28:01.72ID:QSlqi/vd
型安全を崩す水準のDRYはかなり悪い印象があるな
共通化すべきでないものまで共通化してるのではと
0624デフォルトの名無しさん
垢版 |
2018/06/20(水) 13:04:18.23ID:pTH4tzak
>>620
ジェネリクスやインターフェース正しく使ってれば
DRY原則無視しなきゃ型安全守れないこととかほぼ無いだろ
どんなコード書いてるんだよ?
0625デフォルトの名無しさん
垢版 |
2018/06/20(水) 21:17:56.02ID:vXpw0FFs
型って建物に例えると水準器だろ
柱がまっすぐ立ってるか見るための補助具

補助具ばっか作って家が建つのか?
0627デフォルトの名無しさん
垢版 |
2018/06/20(水) 21:39:33.95ID:pTH4tzak
そうか、じゃあ動的言語で作ったプログラムって例えるなら水準器なしで建てられた家なのか…
それは欠陥住宅というもので工期が遅れてる建物よりもっと害悪だと思うんだがそれは…
0628デフォルトの名無しさん
垢版 |
2018/06/20(水) 21:55:16.85ID:nu99cs2X
いや単なる犬小屋欲しいだけなのに設計書に一年くらい時間かけるようなもんだ。
0629デフォルトの名無しさん
垢版 |
2018/06/20(水) 22:31:25.72ID:R/RR2gVc
>>628
犬小屋ってどれくらいの規模のものを指してるの?
リソース3つくらいのweb apiサーバとか?
0630デフォルトの名無しさん
垢版 |
2018/06/20(水) 22:35:54.20ID:R/RR2gVc
>>625
それだけじゃないよ。メンテナンスという観点でも必要。
いわば動的言語なら釘で家を建てるけど、
型付きなら、簡単に取り替えられるようにボルトで止まってる。
ちゃんとネジに印がついていて交換ミスも起こりにくい
0631デフォルトの名無しさん
垢版 |
2018/06/20(水) 22:37:33.02ID:6Ldi6ZQ0
例え話をするエンジニアは無能の法則
0642デフォルトの名無しさん
垢版 |
2018/06/21(木) 12:22:25.31ID:f5p4gdbf
rubyは絶対に型を書きたくないから
コメントか外部ファイルに型を書くようにするらしいぞ
0644デフォルトの名無しさん
垢版 |
2018/06/21(木) 13:31:50.47ID:AvdUCmrX
俺はアプリ屋だからコアの部分は Windows、
Android、iOS、MacOS のどれでも使える c++
UI 側を書く各言語から呼び出して使う
0646デフォルトの名無しさん
垢版 |
2018/06/21(木) 13:52:08.71ID:/kaFS0dg
C/C++の型はアドレスやサイズの計算に使う
低級言語だから型が役に立つ
高級言語がC++の真似をする必要はないんだよ
型を書かない高級言語はたくさんある
0647デフォルトの名無しさん
垢版 |
2018/06/21(木) 13:55:42.09ID:Ij19PzUL
コードに型を書かないと後で分からなくなるから結局コメントで型を書くことになるゴミ
0648デフォルトの名無しさん
垢版 |
2018/06/21(木) 13:58:07.14ID:D8gwnbh9
メソッド名とか使われ方とかコメントとかプログラマのクセとかからAIが型推論してくれるんだろう
0650デフォルトの名無しさん
垢版 |
2018/06/21(木) 14:11:21.05ID:0x6Lg0t3
AIを使ったエラー検出は今後のトレンドになるだろうね
技術進歩に伴って緩やかに型は不要になっていくだろう
IntelliCodeの発展形としてMSがやりそう
0652デフォルトの名無しさん
垢版 |
2018/06/21(木) 14:34:54.31ID:/kaFS0dg
AIの得意分野はどっちかが必ず勝つ対戦ゲームというブルーオーシャン
レッドオーシャンに飛び込んでも勝てると思うのは確率的に間違ってる
0653デフォルトの名無しさん
垢版 |
2018/06/21(木) 14:46:28.87ID:S4IxNo+1
>>646
とあるオブジェクトを扱うアルゴリズムが要求するのは型じゃなく
整数っぽいものを返すsize() メソッドは実装していること、
とかそういう制約だよな
0654デフォルトの名無しさん
垢版 |
2018/06/21(木) 20:54:11.38ID:bp0U88xF
>>642
python2の型ヒントみたいなやり方するってことかな。まあ実行時には必要ない情報だから
それもリーズナブルな解だと思うけどね。使えるものを早く出してくれさえすれば。
0655デフォルトの名無しさん
垢版 |
2018/06/21(木) 21:51:19.80ID:6ripmtAT
型推論とかAIで検出とかバカほど無駄なことに計算資源使おうとするのな。
そんなカスみたいな機能に資源使うくらいならコンパイル速度上げた方がよっぽどマシ。
0657デフォルトの名無しさん
垢版 |
2018/06/22(金) 00:03:19.61ID:7bl9EfTW
単純な右から左の型推論は余計な型名解決が減る分むしろコンパイル速くなるだろ
0659デフォルトの名無しさん
垢版 |
2018/06/22(金) 00:18:04.51ID:mjvSylV1
>>657
単純な場合はむしろ速くなるの?それは知らんかった
ただ、どっちにしろ型推論ってそんなに計算リソースを消費するイメージないんだけど…
0661デフォルトの名無しさん
垢版 |
2018/06/22(金) 00:43:40.93ID:H0orbnfz
型推論の計算コストは有効範囲と言語の持ってる型システムの表現力でけっこう変わるよ
関数内でのみ有効なのと関数宣言でも使えるのだと随分違う
既存の、コーディング中に型を書くのが苦にならないような言語だと後から型推論追加しても旨味が少ないと思う

Rustはコンパイル速度を気にしてかライフタイム関係の推論が面倒だったのか知らんけど、関数内でしか型推論有効にしなかったのは個人的にマイナス
0663デフォルトの名無しさん
垢版 |
2018/06/22(金) 01:02:01.33ID:mjvSylV1
>>660
結局コンパイラがどうやって推論してるかはソース見てみない限り分からないからな
遅くなる場合もあれば、ほとんど変わらない場合もあるだろうし、何とも言えないな…

>>661
俺は逆に関数宣言の型の情報まで推論されるのは好きじゃないな
推論するのはローカル変数だけにしてほしい
まぁ、そこら辺は好みの問題だな
0665デフォルトの名無しさん
垢版 |
2018/06/22(金) 08:06:59.36ID:UUvhOuOE
constは推論されないとかのことかな
0666デフォルトの名無しさん
垢版 |
2018/06/22(金) 10:04:29.72ID:HgCip2r2
Nim IN ACTIONの1章と8章が無料公開されてるから1章読んでみてるけどなかなかセンスいい言語だな
0667デフォルトの名無しさん
垢版 |
2018/06/22(金) 11:15:38.68ID:HgCip2r2
しかしスネークケースキャメルケース同一視すんのどうなんだ
識別子に暗黙で余計な解釈しないでほしい
railsの自動変換思い出して嫌な感じ
0671デフォルトの名無しさん
垢版 |
2018/06/22(金) 18:49:57.22ID:y18AFRdV
Dとは一緒にしないでいただきたい!

ってのは冗談だけどDとは違うと信じたい
アホみたいに機能消したり追加したりしてないし
0673デフォルトの名無しさん
垢版 |
2018/06/23(土) 05:57:11.77ID:tcOUUI9f
なんだんだ理由付けて勉強したくないだけでしょ
わたしはrustで先にゆきますよ
0674デフォルトの名無しさん
垢版 |
2018/06/23(土) 07:38:19.54ID:0Hl7KNt9
rust自体はちょこちょこ迷走やまずい部分も見られるので、本当に使い物になるのは
rustの成果を引き継ぎだか横取りだかした次の言語だと思ってる
0675デフォルトの名無しさん
垢版 |
2018/06/23(土) 08:08:55.39ID:tcOUUI9f
はいはい次は本気出すパターンね
0676デフォルトの名無しさん
垢版 |
2018/06/23(土) 08:21:35.71ID:xKUV9tWt
個人的に勉強するだけならいいと思いますよ。
他人にクソコンパイラの使用を押し付けなければね。
0677デフォルトの名無しさん
垢版 |
2018/06/23(土) 08:33:57.94ID:XcMMhDbo
>>674
swiftかな。swiftはにんきあるよな。俺には理解できないけど。関数型に興味を持つきっかけとnull安全な言語仕様の有効性を教えてくれた
0678デフォルトの名無しさん
垢版 |
2018/06/23(土) 09:33:29.90ID:4aGgjPWw
QBの契約ですら押し付けではないと擁護する人はいるから
あれより酷いことをしない限り押し付けとの指摘は当たらない
0679デフォルトの名無しさん
垢版 |
2018/06/23(土) 09:38:21.33ID:tcOUUI9f
押し付けがましく感じる人がいても知ったことではないよ
そういう雑魚はずっとjava8の導入を検討していればよい、個人的にね
0682デフォルトの名無しさん
垢版 |
2018/06/23(土) 11:30:28.12ID:4aGgjPWw
コメントは個人の感想
moveとかborrowとか宣言するのは事実を宣言している
後者の方が押し付けがましくないと考えられていた時期もあったのだ
個人の意見を排除し事実だけを述べれば押し付けがましくならないと思ってた
0683デフォルトの名無しさん
垢版 |
2018/06/23(土) 13:10:25.11ID:TEFAVffv
Go: マスコットきもい
Rust: C++と潰し合え
Swift: Apple専用の域を出ず
Kotlin: Javaの代わり
Nim: v1.0を出せ、cpp, m, js へのトランスパイルいるか?
D: 最先端を目指した化石
0684デフォルトの名無しさん
垢版 |
2018/06/23(土) 13:52:47.56ID:4aGgjPWw
最近の人類がC++を使いこなしているのは想定外だった
短期的に考えると進化するのは言語やAIであり生物は進化するはずがないと思ってた
0687デフォルトの名無しさん
垢版 |
2018/06/23(土) 16:07:05.54ID:0Hl7KNt9
特有じゃないんだよなあ……
Ruby、Delphi、Haskell、Scalaその他諸々みんな罹患してた
既に治った人は生暖かい目で見てるし、看取った側の人はまたかぐらいにしか思ってない
むしろ>>685の新鮮な反応が羨ましい
0688デフォルトの名無しさん
垢版 |
2018/06/23(土) 16:19:09.66ID:tcOUUI9f
>>685
出た出た自己肯定のためのレッテル貼り
0689デフォルトの名無しさん
垢版 |
2018/06/23(土) 16:28:28.71ID:XcMMhDbo
今のPM新しい物好きでTypeScript案件でサーバサイドとクライアント側を同時開発するような人だけど、その人でもrustはきついっていうとった。
0693デフォルトの名無しさん
垢版 |
2018/06/23(土) 19:29:19.08ID:tcOUUI9f
>>692
プログラマーとは思えないポンコツ発言だな
笑えるけど君の洗脳を解く義務はないので一人でそこにいてくれ
0694デフォルトの名無しさん
垢版 |
2018/06/23(土) 19:37:07.37ID:xKUV9tWt
学習しがいのある機能が盛り込まれた言語の最大の欠点て
こういうバカが大量生産されるとこだよな。
0695デフォルトの名無しさん
垢版 |
2018/06/23(土) 20:14:12.75ID:coHxpUCl
そんな因果関係に縛られて予想通りバカになるのは嫌だな
予想を裏切って自由になれよ
0697 ◆QZaw55cn4c
垢版 |
2018/06/23(土) 21:03:04.54ID:OlLfOCSW
>予想を裏切って自由になれ
すばらしい!
私も従来の枠にとらわれない、思い込みから離れた、全く新しい発想というものを求めています
嫌いなこともあえてやってみて自分の反応を観察する、とか、
今までやったことのないことを、あえてやってみる、とか
いろいろ試しているのです…

民法をやっていますが、これが全く予想外におもしろいのです
0698デフォルトの名無しさん
垢版 |
2018/06/23(土) 21:10:14.97ID:xKUV9tWt
予想を裏切るだけならバカでもできるわけだが。
自由にやるなら個人でやれって話がまるで通じないってのはすごいね。
0699デフォルトの名無しさん
垢版 |
2018/06/23(土) 21:46:46.64ID:tcOUUI9f
使う気がないならなぜこのスレにいるのか分からない
勉強しなくていい理由をみんなで出し合って安心するためか
0701デフォルトの名無しさん
垢版 |
2018/06/23(土) 22:14:12.79ID:rbpQhZkO
てかさ、押し付けられても無視すれば良いだけの話じゃん
仕事のプロジェクトに採用されそうになったら反対すれば良いだけの話
それでも採用された場合はお前の言葉が理論的でなく説得力が無いか
お前がよっぽど社内で信用されていないかのどちらか
その場合は押し付けられたと感じること自体が筋違い
0708デフォルトの名無しさん
垢版 |
2018/06/24(日) 07:43:19.88ID:yrJGTcca
>>701
そうだよね
0709デフォルトの名無しさん
垢版 |
2018/06/24(日) 13:29:15.56ID:tiUGZk0g
swiftってゴチャゴチャ機能詰め込んだモダンなC++って印象しかないけど良い言語なのか
0713デフォルトの名無しさん
垢版 |
2018/06/24(日) 14:16:19.36ID:aS0z5WOn
なんでチェック例外なくしてしもうたん
みんなナチュラルに例外無視して例外が例外した時例外的な挙動になるじゃん
馬鹿?
0715デフォルトの名無しさん
垢版 |
2018/06/24(日) 14:22:38.49ID:aS0z5WOn
>>714
は?日本語でやりなおせこのカス
しょうもない神とかいってマウント取ってチンポおっ立ててるゴミは死なす
0716デフォルトの名無しさん
垢版 |
2018/06/24(日) 14:22:38.79ID:aS0z5WOn
>>714
は?日本語でやりなおせこのカス
しょうもない神とかいってマウント取ってチンポおっ立ててるゴミは死なす
0717デフォルトの名無しさん
垢版 |
2018/06/24(日) 14:26:16.08ID:afUW8/ml
> If the new version of foo is going to throw a new exception that clients should think about handling, isn't their code broken just by the fact that they didn't expect that exception when they wrote the code?
> Anders Hejlsberg: No, because in a lot of cases, people don't care. They're not going to handle any of these exceptions.
これを堂々と言えるのがヘルスバーグの凄さだよな
言語厨はこういうくだらない問題に固執して、その結果、使えないものを生み出す
0718デフォルトの名無しさん
垢版 |
2018/06/24(日) 15:08:00.23ID:zgy+o43M
1つの誤りを減らすために倍の工数をかけるのは意味がある
100万行に1つエラーがあるとき1つ減ったら品質2倍
0719デフォルトの名無しさん
垢版 |
2018/06/24(日) 15:23:54.41ID:I6qT+7Vz
チェック例外はステータスコードをリターンして呼び出し側に毎回チェックを要求するようなもの
例外を開発した根本的な理由を否定するおかしな機能だ
0723デフォルトの名無しさん
垢版 |
2018/06/24(日) 16:08:53.37ID:NdKqGL5r
exitがあるならexitを使え
exitとは違うと言いたいだけのためにcatchするのはやめろ
0724デフォルトの名無しさん
垢版 |
2018/06/24(日) 17:10:33.48ID:5X6JCb05
>>701
まあ一理あるよ。
実際転職してこういうバカがいない環境で作業するようになったが
めちゃくちゃ楽になったというのはある。
バカと議論するくらいなら自分の環境を変える方が有効なのは事実だ。
0725デフォルトの名無しさん
垢版 |
2018/06/24(日) 18:21:51.58ID:7besbNmD
そういえば、Swiftってチェック例外しか無いけど
StackOverflowExceptionみたいなどうしようもないタイプのエラーはどう扱ってるんだ?
0727デフォルトの名無しさん
垢版 |
2018/06/24(日) 19:10:21.85ID:rCnjXQm/
Swiftのthrowsは投げる例外の種類を特定できない
規模が大きくなればほぼ全てのメソッドにthrowsが付くので何の意味もなくなる
iOSアプリ専用言語ってことでスケーラビリティを捨てて簡潔さを取ったんだよ
全く検査例外の問題を解決していない
0728デフォルトの名無しさん
垢版 |
2018/06/24(日) 19:20:57.72ID:yrJGTcca
議論しなくて楽といいながら反論しないと我慢できないあたり、敗北に耐えられなくなったんだろうなあ
0738デフォルトの名無しさん
垢版 |
2018/06/25(月) 02:39:47.18ID:sauGlQNA
日本じゃ全然話題にならないけどEveのトピックはいつも大論争になる。
果たしてEveは革新的なプロジェクトなのか、誤って定義した問題を解決しようとしているに過ぎないのか。
https://news.ycombinator.com/item?id=12817468
https://news.ycombinator.com/item?id=13010396
https://news.ycombinator.com/item?id=16227130
https://news.ycombinator.com/item?id=16630359
0742デフォルトの名無しさん
垢版 |
2018/06/25(月) 14:24:03.82ID:KTJIIKxw
>>170
は?vscodeもtsも不安しかねえんだけど
シェア一強になるまでは低姿勢、なった瞬間に手のひら返し、が今までのMSのテンプレ

今回もまったく芸のないテンプレでむしろ呆れてるところ
お前みたいなバカが信者かわからんがMS持ち上げる阿呆が出てくるからタチ悪い
0743デフォルトの名無しさん
垢版 |
2018/06/25(月) 14:27:50.78ID:NzmJfW7/
マイナーvsマイナーだと、設計そのものの良し悪しよりも
どれだけ労力をかけて作り込まれているかの方が影響でかいからなあ……
作ってる側が「いやそこの最適化は後回し」とか思ってるところを測ってもしょうがないし
(いやメジャーvsメジャーでもそういうとこあるけど)
0745デフォルトの名無しさん
垢版 |
2018/06/25(月) 15:50:06.67ID:d4UYbnp8
「疑う」の反対は「割る」
割れば楽しいのはわかった上で敢えて疑う方を選ぶんだろう
0746デフォルトの名無しさん
垢版 |
2018/06/25(月) 16:43:18.37ID:1uudit/q
>>738
なんかSmalltalk風味があるな・・・
0748デフォルトの名無しさん
垢版 |
2018/06/25(月) 23:28:09.79ID:RDIsdPp/
>>742
陰謀論者は生きづらそうで大変ですね。
もしMSが手のひら返したら、forkするだけですけど?
0749デフォルトの名無しさん
垢版 |
2018/06/25(月) 23:37:34.43ID:XbrJPmKw
forkするだけ(藁)
強がっちゃってまあ

いいのか?フォフォフォカヌポォしますぞ!!!(憤怒)←草www
0750デフォルトの名無しさん
垢版 |
2018/06/25(月) 23:47:42.02ID:d4UYbnp8
forkするより製品版を単純にコピーするだけの方が早い
MSの影響で民度が下がる
MSと無関係でいる方が安全
0752デフォルトの名無しさん
垢版 |
2018/06/26(火) 00:07:22.28ID:RrNymGzT
数年前の意識高い系達が「Web開発のスピードにIDEなど邪魔(キリッ」とか言ってたのが嘘みたいだよな
結局のところ彼等は電気を知らない原始人だったのだ
0754デフォルトの名無しさん
垢版 |
2018/06/26(火) 00:10:17.87ID:PwoRxl17
Vimは操作性や立ち上がりの速さが優れている
Guiのエディタはプラグイン導入の楽さが優れている
Emacsは間くらい
0758デフォルトの名無しさん
垢版 |
2018/06/26(火) 10:23:19.59ID:/82hZ4jz
>>756
Gitlabは少なくとも信頼できる
Azureで動いてるとか言ってる奴いるけどもうやめるって話出てる

エディタはEmacsで十分だし、babelあればES2016でもまともに書けるからTSは不要
0762デフォルトの名無しさん
垢版 |
2018/06/26(火) 11:38:55.58ID:8nfGtP67
疑問を持つ人はいっぱいいるが疑問を解決する人は少ないのが現実で
すぐに解決すると思うのは非現実的
0763デフォルトの名無しさん
垢版 |
2018/06/26(火) 17:29:52.82ID:iZChSW1/
年食うと一度学んだ思考回路は変えられないんだろうな
多分死ぬまでMSは邪悪でEmacsは最高のエディタなんだろう
0767デフォルトの名無しさん
垢版 |
2018/06/26(火) 19:56:14.90ID:SLOKSalZ
あとSwiftでパターンマッチ使うときさ「case let」の「let」ってなんの意味有るの?
そもそも「case」自体いらないよね。
Rustみたいに簡潔な構文にしない意味がわからん。
0770デフォルトの名無しさん
垢版 |
2018/06/26(火) 20:23:51.43ID:SLOKSalZ
Scalaも構文ダメだけど、Dottyでかなり改善されてるみたいだね

http://dotty.epfl.ch/
0771デフォルトの名無しさん
垢版 |
2018/06/26(火) 20:32:08.64ID:SLOKSalZ
>>768
>>769
冗長な構文にするなってこと。

```Rust
match number {
1 => "one",
2 => "two",
_ => "else",
}
```
```swift
switch number {
case 1: return "one"
case 2: return "two"
default: return "else"
}
```
0773デフォルトの名無しさん
垢版 |
2018/06/26(火) 20:37:59.55ID:Rm57MuZK
>>771
rustをそんなに押すなら、
毎日ちょっとずつ使い方教えていけよ。
面白い内容ならそのまま覚えるから
0775デフォルトの名無しさん
垢版 |
2018/06/26(火) 21:03:22.89ID:1/94qv1z
>>770
dottyは流石に見苦しいわ
今更互換性ブチ壊して誰がわざわざScalaなんか使い続けるんだよ
Lightbendは一度プラットフォーム主導者の味を覚えてしまってもう後に引けなくなってるんだろうな
0776デフォルトの名無しさん
垢版 |
2018/06/26(火) 21:08:47.59ID:SIV9Ebow
元が冗長だと、機能追加したときの新構文(大抵元と区別のために冗長になる)が
あまり違和感なくなるというメリット?もある
C++とか酷いだろ。rustも多分20年ぐらいしたら酷くなる
0779デフォルトの名無しさん
垢版 |
2018/06/26(火) 21:38:20.73ID:uCVrG76/
>>763
いつMSが邪悪じゃなくなったんだよ

エディタについてはVimとEmacs以上のものがいまだにないだけ
0781デフォルトの名無しさん
垢版 |
2018/06/26(火) 21:43:00.71ID:SIV9Ebow
>>778
ObjectPascalは30年経ってるが、元が冗長と言われまくってたPascalだったおかげで
魔改造されまくった今でもあんまり浮いた構文は無いぞ
初期Macで採用されてたのは別格としても、その後は大したプロダクトもないDelphiぐらいでしか残ってないのに
一応生き残ってるんだから、FirefoxのあるRustも同じぐらいは残るだろ多分
0782デフォルトの名無しさん
垢版 |
2018/06/26(火) 21:46:10.71ID:uCVrG76/
>>780
どっちかっていうと、若者がMSの暴虐の歴史を学んでないから
今現在進んでる暴虐が暴虐と分からないだけだぞ
0783デフォルトの名無しさん
垢版 |
2018/06/26(火) 21:49:11.80ID:uCVrG76/
>>781
火狐に使われてるから残るとか
火狐の世界シェア見てから言おうぜ……

Rustごと自殺して消えるって自白したようなもん
0788デフォルトの名無しさん
垢版 |
2018/06/26(火) 21:54:24.01ID:1lcgGYQy
この爺さんはこのスレに何しにきとるんだ
特養じゃないっつの
0789デフォルトの名無しさん
垢版 |
2018/06/26(火) 21:56:05.20ID:SIV9Ebow
>>787が書いてくれたが
俺も、どっちも細々としたもんだがFirefoxのほうがDelphi(製アプリ)よりはまだマシだろう、というつもりだった
その上で20年後の変更されまくったrustはDelphiやswiftより汚くなってそう、という予想
0791デフォルトの名無しさん
垢版 |
2018/06/26(火) 22:12:37.76ID:SLOKSalZ
>>785

varがあるのはわかるけど、そこでvarを使う場面てあるのかね?

https://ideone.com/vMGLEg
```swift
case let .B(n):
let t = n+1
return String(t)
```

だって変わらんし
0793デフォルトの名無しさん
垢版 |
2018/06/26(火) 22:33:54.59ID:wjruZlWa
>>791
変数束縛にletとvarがある言語において、switchのときだけ変数束縛を特別扱いしてletやvarを省略できるのは一貫性が無いという考え方もある
0794デフォルトの名無しさん
垢版 |
2018/06/26(火) 22:39:59.15ID:wjruZlWa
それに短ければ良いなら、rustのlet mulよりswiftのvarの方が短い
パターンマッチより変数宣言方が良く出て来るしね
0795デフォルトの名無しさん
垢版 |
2018/06/26(火) 22:47:02.38ID:b30is1tn
20年後に汚くなるってのはみんなわりと納得するんじゃね?
C++もJavaも、時間経過とともにきっちり汚くなった
言語仕様こねくり回すのが仕事の人が存在するからしゃーないっちゃあしゃーない
0796デフォルトの名無しさん
垢版 |
2018/06/26(火) 22:48:50.88ID:cumK515O
難しい・易しいではなく汚い・美しいという見方をするのはなんでだろう
数学を諦めた感が漂ってる
0797デフォルトの名無しさん
垢版 |
2018/06/26(火) 22:49:48.96ID:SLOKSalZ
>>793
そういう見方もあるけどね

でも
```
case let .B(x): return String(n)
```

```
case .B(let x): return String(n)
```
の違いってなんなのかね、違いがないなら「let」省略できたほうがいいように思うが
0798デフォルトの名無しさん
垢版 |
2018/06/26(火) 22:51:21.79ID:SLOKSalZ
>>797
訂正: xじゃなくてn
0799デフォルトの名無しさん
垢版 |
2018/06/26(火) 22:57:45.92ID:SLOKSalZ
>>794
短いことがいいんじゃないよ、理由なく冗長な構文がだめなだけ。

Rustはわざと「var」とかじゃなく「let mut」にしている理由は、通常イミュータブルを使うようにするため。
ミュータブルの構文が長いことでプログラマがイミュータブルをより一般的に使うよう促す効果がある。
0801デフォルトの名無しさん
垢版 |
2018/06/26(火) 23:12:38.14ID:SIV9Ebow
>>799みたいなのは設計当初は綺麗なんだけど
後から、例えばD言語のconst/immutableみたいな選択肢を追加してしまうと罠に化けそうじゃない?(妄想だけど)
その点元が冗長ならある程度耐性がある、という話。後から省略可能にする方はできるしな
0802デフォルトの名無しさん
垢版 |
2018/06/26(火) 23:29:44.42ID:SLOKSalZ
>>801
Dは全然知らないけど、調べたらデフォルトがミュータブルで、immutableをつけるとイミュータブルになるのか。

```
int x = 3; // ミュータブル
immutable int x = 3; // イミュータブル
auto s = "hello"; // イミュータブル
```

これはひどいな
0804デフォルトの名無しさん
垢版 |
2018/06/26(火) 23:40:45.19ID:cumK515O
コンパイル時に値がわかるのが定数
実行時に初期化するがその後は変更しないのがimmutableかな
0805デフォルトの名無しさん
垢版 |
2018/06/26(火) 23:56:28.51ID:SIV9Ebow
加えて、現在のスコープからは変更不可能だが実体はミュータブルかもしれないのがconst
更にそれぞれに推移のON/OFFがある

何も書かないのがイミュータブルだとその内の1つを適当に使ってるということで
選択肢が増えたときにどれか1つが不自然に短く書けてたことになるし
現状を突き詰め直したときにコンテキスト毎に別のだったなんてことになると目も当てられない
0807デフォルトの名無しさん
垢版 |
2018/06/27(水) 00:50:40.19ID:jdISqR1B
>>802
ゲェジかな
ワイの方がよっぽどいい設計できるわ
この作者はワイのケツ穴でも舐めてた方が幾分有益な人生になったんじゃないかw
0808デフォルトの名無しさん
垢版 |
2018/06/27(水) 00:59:47.78ID:CkpNpuYk
>>805
GCが必須ではない言語の場合、ミュータブルならばメモリ解放もできる

現在のスコープからは変更不可能だが実体はメモリ解放するかも
というのは非常にまずい
現在のスコープから変更不可能ならば実体も変更不可能にしたい
0809デフォルトの名無しさん
垢版 |
2018/06/27(水) 01:19:45.86ID:9jxZxPuA
>>808
それだとイミュータブルなオブジェクトを貰って何かする関数に
ミュータブルなオブジェクトを渡せなくならない?

そうすると print とか toString とか hash とか compare とかありとあらゆるものが
immutable / mutable 2種類必要になる
引数に2つオブジェクトがあると4種
3つなら8種
0810デフォルトの名無しさん
垢版 |
2018/06/27(水) 20:24:28.42ID:GckfUNYK
ただの再代入不可な変数をイミュータブルって言い始めたのって何の言語からなの
0812デフォルトの名無しさん
垢版 |
2018/06/28(木) 08:21:12.64ID:1UW06GNd
>>795
pythonなんかも細かいところはど汚いわけだがあんまりそういう汚いところ
触らんでも仕事になるって違いはある。
てかシンタックスなんててきとうにチェックでもそんな問題にならんよ。
self書かされることなんて文法で規制されてるわけでもないが問題になることなんてない。
0814デフォルトの名無しさん
垢版 |
2018/06/29(金) 09:23:47.61ID:XwuS30Hh
Pythonの型アノテーション試してるけど正直苦痛
TypeScriptを使ってるときには全く感じなかった無駄なもの書かされてる感がすごい
というかTypeScriptの統合が完璧すぎるんだな
型書くことはノイズになるどころかコードをむしろ美しくするとすら思えるもんな
0815デフォルトの名無しさん
垢版 |
2018/06/29(金) 10:57:44.57ID:0VaRYdhC
少しでも欲を出せばそうなる
完璧な無欲か完璧な満足かの1bitしかない
HaskellやRustのようになるまで止まらないぞ
0816デフォルトの名無しさん
垢版 |
2018/06/29(金) 11:15:41.22ID:tgpXEKjE
>>814
Python 3.6の変数アノテーションはTypeScriptと大して変わらないのでは?
以前のコメント形式は糞だったけど
0817デフォルトの名無しさん
垢版 |
2018/06/29(金) 13:13:42.11ID:8rEU0m4z
>>814
全部の変数にアノテーション付けようとしてる?
基本、関数・メソッドの入出力だけでいいぞ
残りは大体推測してくれる
0818デフォルトの名無しさん
垢版 |
2018/06/29(金) 13:43:06.77ID:HOtQS3nQ
>>817
ライブラリなどの既存メソッドの戻り値はほとんど型なしだから結局オレオレ型宣言を左辺の変数に付けて回ることになる
0819デフォルトの名無しさん
垢版 |
2018/06/29(金) 15:55:24.38ID:546QQsBD
>>818
あー、過渡期だからそれはあるかもね
対策としては、他モジュールを呼び出すところはなるべく集める、いきなり完璧を目指さないぐらいか
0820デフォルトの名無しさん
垢版 |
2018/06/29(金) 20:05:29.68ID:SWySBfmj
そんなに型に気を使って消耗する位ならもう生js使おう
適当にラッパーかけとけラッパー
0821デフォルトの名無しさん
垢版 |
2018/06/29(金) 21:06:52.59ID:M/T+ZgVo
>>820

TypeScriptユーザーがシコシコ型定義ファイル作ってるおかげで、vscodeでjsでも補完きくんやで。感謝せーや
0824デフォルトの名無しさん
垢版 |
2018/06/29(金) 21:39:48.60ID:0VaRYdhC
>>823
しんどいのか
その作業がないということはライブラリの作者は楽をしている
だからライブラリが増やすのも楽
そういう仕組みなんだろう
0825デフォルトの名無しさん
垢版 |
2018/06/29(金) 22:21:57.95ID:5dIySMmw
>>824
TypeScriptの場合は型定義を提供することでTypeScriptユーザーに使ってもらいやすくなり、
ユーザーの増加がライブラリ製作者にとって一手間かけるモチベーションになる
Pythonの場合は型アノテーションを付けたらPython3.5以上でしか使えなくなるのでユーザーは確実に減る
結果、誰も対応しない
根本的に破綻してるんだよ
0826デフォルトの名無しさん
垢版 |
2018/06/29(金) 22:35:49.90ID:0VaRYdhC
>>825
破綻してるのはお前のマウンティングだよ
マウントが酷いのはHaskellで、TypeScriptは無関係みたいなイメージが根本的に壊れた
0828デフォルトの名無しさん
垢版 |
2018/06/29(金) 23:18:51.02ID:ifNvOhNj
おれ的にはこのまま型定義ファイルがすべてのライブラリに標準装備されて緩やかにjsがts化していくことを希望したい。
最初から型定義がライブラリに入っていること多くなってきたよな、
0829デフォルトの名無しさん
垢版 |
2018/06/29(金) 23:54:19.04ID:uRtJ4/dJ
>>828
それには同意
0831デフォルトの名無しさん
垢版 |
2018/06/30(土) 03:36:46.79ID:+abKhVkF
>>823
あるよ。
typeshedてのがそれ

>>825
関数の引数、返値なら3.0から書けるし、コメント使うか別ファイルに書くやり方なら2.7にも対応可能ですが
0833デフォルトの名無しさん
垢版 |
2018/06/30(土) 09:44:21.50ID:4h701pQF
通常ならライブラリ本体丸ごと読んで型を調べるべきだ
本体に型がないなら別ファイルに書く
0834デフォルトの名無しさん
垢版 |
2018/06/30(土) 12:26:26.59ID:aZHCYAl9
>>831
なんだあるんだ。なら型付言語として使われるのも時間の問題だな。
rubyにもあるみたいだし、
ライブラリのインターフェースだけでも型付き当たり前の世界が来そうだね
0835デフォルトの名無しさん
垢版 |
2018/06/30(土) 14:15:03.20ID:BB0BPsjY
まーたruby信者のそ、そんなのる、るびぃでもできるし!か。呆れ
なんでもかんでも深く考えず流行りをそうやって後付けで増築してって奇形極まってるよね。二度と使わないよ。
0836デフォルトの名無しさん
垢版 |
2018/06/30(土) 15:58:28.61ID:9HearrjU
rubyの違法建築感は否定しない
が、なんかまとめ臭い書き方だなおい
5chエアプか?
0837デフォルトの名無しさん
垢版 |
2018/06/30(土) 16:41:24.65ID:oxrLiD+S
るびぃ信者、Proc.new、ラムダ、ブロックにおけるreturn、break、nextの挙動の違いをまとめようとした模様
https://qiita.com/jnchito/items/83410c0cda446efea582

結果、ややこしすぎるためコーディングを工夫してreturnやbreakの使用を避けましょうというなんじゃそりゃな結論www

何か理由があってわざわざ挙動を変えたんだろうが(まさか行き当たりばったりってことはないよね笑)ややこしすぎで使用自体を避けられてちゃ本末転倒だよなwww
0838デフォルトの名無しさん
垢版 |
2018/06/30(土) 17:39:57.19ID:RHrrdh8p
>>836
その人はrustがコンパイルできないおじさんだからほっときなさい
0840デフォルトの名無しさん
垢版 |
2018/06/30(土) 18:59:53.28ID:+abKhVkF
>>834,836
とはいえ、ruby にまともに使える型チェックの実装があるのかには興味あるな。
まえ調べた感じだと、教祖の型チェック周りの発言はフワッフワだし、実装してみたい個人が互換性のない「オレオレ型チェック」を作っては破棄してる感じで、万人が使えるものは何一つないようなんだが。
0841デフォルトの名無しさん
垢版 |
2018/06/30(土) 19:02:48.17ID:6fEIEQu0
どうせ
if type(...) != my_class:
とかのシュガーだろ。そんなもんに目くじら立てても意味あるのかね。
0842デフォルトの名無しさん
垢版 |
2018/06/30(土) 19:33:21.11ID:CMs/fWc6
Rubyはオモチャだから型付けなんて要りません
それより散らかったオモチャを片付けなさい
0843デフォルトの名無しさん
垢版 |
2018/06/30(土) 20:38:08.56ID:4h701pQF
自分のために違法建築したとは考えにくい
ユーザーを忖度して違法建築なら利己的ではないからOKという風潮があったんじゃないか

会ったこともないユーザーをモチベーションにするのはやめてほしい
0844デフォルトの名無しさん
垢版 |
2018/06/30(土) 23:16:50.81ID:tr0WXiW5
>>837
Ruby のProc, block はクロージャだから、クロージャを囲む関数から戻る。
一方ラムダは、単にクロージャを抜けるだけ。
Groovy なども参照

def f
(0..5).each do |i|
puts i
return if i == 3
end
end

f() #=> 0, 1, 2, 3
0845デフォルトの名無しさん
垢版 |
2018/06/30(土) 23:39:42.18ID:xV+Shhkx
>Ruby のProc, block はクロージャだから、クロージャを囲む関数から戻る。

クロージャ「だから」、クロージャを囲む関数から戻る??

まるでクロージャだったら当然の挙動と言わんばかりの書き方だけど、クロージャってそんなんだっけ?
0847デフォルトの名無しさん
垢版 |
2018/07/01(日) 01:54:08.61ID:5prQoZWD
>>845
ヒント:Smalltalk
0848844
垢版 |
2018/07/01(日) 02:00:27.83ID:YZ+qvhoO
クロージャは、クロージャの外側の環境をつかんでいる。
つまり、クロージャを囲む関数内の変数をつかんでいる

だから、クロージャ内でreturn すれば、外側の関数も抜けて、
関数内の変数なども、解放した方が良いと考えた

Groovy の挙動とは違うかも
0849デフォルトの名無しさん
垢版 |
2018/07/01(日) 02:11:27.56ID:FQlsc9Xo
>>848
return だけだったら納得できるんだが、next や break の扱いがぐちゃぐちゃなのはどう説明するの?
0851デフォルトの名無しさん
垢版 |
2018/07/01(日) 03:04:39.74ID:3SrV2o5x
>>837
> まさか行き当たりばったりってことはないよね笑

その、まさかだぞ。
楽しくプログラミング()した結果が仕様だ文句あるか!w
0852844
垢版 |
2018/07/01(日) 08:32:31.95ID:YZ+qvhoO
クロージャ(block)内のbreak は、クロージャを抜けるだけで、外側の関数は抜けない。
関数の最後まで実行される

クロージャ内のnext は、次の繰り返しに進むだけで、クロージャも抜けない。
クロージャの最後まで実行される

def f
num = 0
(0..5).each do |i|
num = i
break if i == 3
end
puts num
end

f() #=> 3
0853デフォルトの名無しさん
垢版 |
2018/07/01(日) 08:58:20.58ID:mO0FHij0
すみませんがゴミの話は当該スレでお願いします
0854デフォルトの名無しさん
垢版 |
2018/07/01(日) 09:01:20.31ID:TobyyIDd
これ他の言語にも影響あるだろ
continueはバグの原因になるとか、gotoの方がマシとか言われる
0855デフォルトの名無しさん
垢版 |
2018/07/01(日) 09:18:30.80ID:5prQoZWD
>>850
えー?closureが関数型特有な概念だと思ってるわけー?
面白いね、それ。本当は純粋関数型ではclosureはさほど重要ではないのだけど。
どうしてclosureが関数型固有な概念だと思ったのか、説明してごらん?
0856デフォルトの名無しさん
垢版 |
2018/07/01(日) 09:22:52.78ID:TobyyIDd
>>855
おまえが自分で説明しないで人に説明させようとするからだよ
もし関数型の人が説明したら関数型の概念になるに決まってるだろ
0857デフォルトの名無しさん
垢版 |
2018/07/01(日) 09:23:49.76ID:FQlsc9Xo
>>852
あなたが closure だからと主張する、block は 952の挙動だが Proc では break は例外吐くらしいけど何で?

# 言っちゃ悪いが、closure は定義した時点での環境を基準に動作が普通だと思うんで、
# ループ外で定義されているならば next/break は一律例外吐くで無いと一貫性がないようにしか見えん。
0858デフォルトの名無しさん
垢版 |
2018/07/01(日) 09:24:49.31ID:FQlsc9Xo
>>857
すまん、「block は >>852の挙動」だな。
0860デフォルトの名無しさん
垢版 |
2018/07/01(日) 10:22:00.59ID:5prQoZWD
>>856
へー、技術のベースになる概念が、関数型の人が説明したら別物になるのかー
おもしろいねークスクス
0862デフォルトの名無しさん
垢版 |
2018/07/01(日) 10:45:16.40ID:QlwNZjji
Smalltalkの人たちはScalaやRustのtraitsに対して、オリジナルのSmalltalkと違うからダメだ!あれは別物!って批判するくせに
他の言語より後に実装したclosureについては独自仕様でも問題ない、技術ベースで語れっておかしくね?
ダブスタも甚だしいだろ
0864デフォルトの名無しさん
垢版 |
2018/07/01(日) 10:59:11.30ID:uHA6sqOS
>>844はクロージャなら当然あるべき姿としてRubyのProcを語ってるからなぁ

それに対して>>847がヒント:Smalltalkって言ってるのは
要するにSmalltalkがクロージャのあるべき姿を体現してるって言ってるワケで、そりゃ傲慢すぎる

ただの一例としてSmalltalkのような仕様もあるって言うなら批判されないのに
0865デフォルトの名無しさん
垢版 |
2018/07/01(日) 11:00:03.93ID:7m3QggRW
クロージャの方が自身の関数スコープを持ってる印象だな
メジャーな中では Java, C#, C++, JavaScript, Obj-C, Swift などがそうだし
Rubyのラムダも上記と概ね同じに見える

ブロックは文字通りコードの塊と考えるとreturnやbreakについて妥当な動きに見える

Proc.newは挙動がキモい

↓によるとdo…endも挙動が違うらしいから >>837 のリンク先は4種で比較した方がいいかもな
https://qiita.com/riocampos/items/43e4431ddff93e01a18d
0867デフォルトの名無しさん
垢版 |
2018/07/01(日) 11:16:48.58ID:5prQoZWD
>>864
妄想が激しいね。
ヒント:Smalltalkっていうのは、Rubyのそのヘンテコな仕様はSmalltalk由来だということなんだけど。
お大事にね
0868デフォルトの名無しさん
垢版 |
2018/07/01(日) 11:19:42.69ID:5prQoZWD
>>862
きみ、結局はSmalltalkでのクロージャからのreturnの仕様を調べることすらしないで
思い込みだけで騒いでるでしょ?
そういうのを「バカ」って言うんだよ
0869857
垢版 |
2018/07/01(日) 11:25:18.69ID:usR85dqh
>>867
smalltalkには break や continue (next) はないだろう?
ruby のは、closure に break や next を持ち込んでおかしくなっているように見えるよ。
0870デフォルトの名無しさん
垢版 |
2018/07/01(日) 11:43:42.24ID:fENDu7uP
Smalltalkの仕様がどうであれ、それがRubyの仕様を正当化すると思ってなされているレス(>>847だの>>867だの)は
結局Smalltalkの仕様に権威がある、またはRubyがSmalltalkを模倣するだけの理由があるのを前提にしているわけで
傲慢という批判は妥当に思うな
0871デフォルトの名無しさん
垢版 |
2018/07/01(日) 11:52:10.11ID:tX8JlSDC
気持ち悪い挙動だと言いがかりをつける気満々のレスに対して
smalltalk でもそうだった昔からある挙動ですよと指摘しているだけでは。

なにも知らなければ議論はできない
といって smalltalk の知識は前提にしていいのかは疑問
とはいえやはり共通の知識がないと議論は無理だし難しいわ
0872デフォルトの名無しさん
垢版 |
2018/07/01(日) 12:46:18.88ID:fENDu7uP
Smalltalkを前提にすることに意味はない(Rubyと周辺状況が違いすぎるのに何故真似た?)というのが
すぐ直前の議論では
0873デフォルトの名無しさん
垢版 |
2018/07/01(日) 12:59:23.83ID:gbNzWOju
俺を批判するのはSmalltalkを批判するのと同じだっていうことの意味は一応ある
自分自身を守るためではなく仲間を守るためという大義名分ができる
0874デフォルトの名無しさん
垢版 |
2018/07/01(日) 13:03:25.38ID:QlwNZjji
滅びた言語のヘンテコな機能を真似た言語が
やっぱりヘンテコになって滅びつつある
それだけの話ではある
0876デフォルトの名無しさん
垢版 |
2018/07/01(日) 13:25:35.07ID:5wbqPO3N
なんで?
rubyは触ってないけど、rubykaigiとかで盛り上がってる様子見てると、楽しそうだし盛り上がってる感あるけど。未だ現役じゃないの?
スタートアップがrails採用するイメージって、まだ古くないよね?
最近だとrailsのボトルネック部分をgoで書く話が面白かった。
0877デフォルトの名無しさん
垢版 |
2018/07/01(日) 13:42:13.57ID:k6Y+DK56
perlの後継になりそこなったし
海外の人気がかなり落ちてるからね
rails用言語で終わってしまった感
0879デフォルトの名無しさん
垢版 |
2018/07/01(日) 13:57:23.22ID:5wbqPO3N
つーかrails言語で別に良くないか?
言語なんて所詮はツールなんだから。
bashでwebサービス作るやつはいないだろ?
0880デフォルトの名無しさん
垢版 |
2018/07/01(日) 14:06:40.12ID:gbNzWOju
目的と結果を比較されるから
目的はこれだったのに結果はこれなのか?と

目的などどうでもいいと断言できる人は少ない
0881デフォルトの名無しさん
垢版 |
2018/07/01(日) 15:32:54.19ID:5prQoZWD
>>870
そこまで妄想が激しいようだと治療は困難だね。
でもあきらめないで、先生からもらった薬をちゃんと飲むようにね。
でないと他人様に迷惑かけることになるから。
やくそくだよ。
0883デフォルトの名無しさん
垢版 |
2018/07/01(日) 15:40:22.85ID:QlwNZjji
Smalltalkという完全に終わった言語に執着してるんだから
まあフツーに頭がおかしいんでしょう
薬飲めも普段自分が言われてるんだろうね
0885デフォルトの名無しさん
垢版 |
2018/07/01(日) 16:07:47.75ID:rXvfzJkI
ここでも見てとれるようにRubyは言語と言うより信者がクソ。
他言語のスレで聞いてもないのにルビーデワールビーデワー宣伝必死過ぎてウザい。
Ruby自体は悪くない。
0887デフォルトの名無しさん
垢版 |
2018/07/01(日) 16:33:48.43ID:gbNzWOju
陰謀論みたいに、お前が世界を支配してるんだろって言われるのは嫌じゃないが
0888デフォルトの名無しさん
垢版 |
2018/07/01(日) 17:13:50.39ID:fENDu7uP
>>873
今回のSmalltalkは道連れ的に名前出されただけでむしろ被害者
変なのが混ざってないSmalltalk内ではちゃんと一貫した挙動のはずだろ?知らんけど
0889デフォルトの名無しさん
垢版 |
2018/07/01(日) 17:30:42.04ID:009IG+wv
>>885
よくわからんのだけど
Rubyでは〜って意見が出たらそんなに嫌なん?w
俺なら他の言語でどうって意見はむしろ感心があるが
0892857
垢版 |
2018/07/01(日) 18:07:48.02ID:FQlsc9Xo
>>891
なあ、smalltalk と ruby に詳しいんだったら、意味の無い罵倒を止めて、 >>869 の答えてくれない?
0895デフォルトの名無しさん
垢版 |
2018/07/01(日) 19:07:07.35ID:QlwNZjji
>>891
まあお前がSmalltalk信者かどうかは見た人間が判断するから気にするな。病気が進行するぞ

ただ客観的な事実としてSmalltalkは完全なオワコンw
このスレでは場違いすぎて引くレベル
0896デフォルトの名無しさん
垢版 |
2018/07/01(日) 19:34:13.12ID:5wbqPO3N
>>894
わかる。awkよりも使い勝手はいい。正規表現処理ツールとして有り。ふとnode.jsでもいい気がしたけど
0897デフォルトの名無しさん
垢版 |
2018/07/01(日) 19:46:03.96ID:x/qhOfWF
スレタイ読まずに書き込んでる奴らなんなの?
0898デフォルトの名無しさん
垢版 |
2018/07/01(日) 19:51:05.54ID:e+fGbKAY
>>862
> Smalltalkの人たちはScalaやRustのtraitsに対して、オリジナルのSmalltalkと違うからダメだ!あれは別物!って批判する

それは「批判」ではなく、理解や運用の混乱を避けるための「区別」の必要性を訴えているのです。
「オブジェクト指向」もそうで、Smalltalkが重きを置く「決定の遅延のためのメッセージングのオブジェクト指向」と
C++以降の「抽象データ型をクラス(またはそれに準ずるエンティティ)で実現するオブジェクト指向」とは区別すべきと一緒です。

批判があるとすればそれは、本質的に違うものに後から同じ名前を付けて混乱を招いていることに対するものでしょうね。
0899デフォルトの名無しさん
垢版 |
2018/07/01(日) 20:00:26.61ID:e+fGbKAY
>>862
> 他の言語より後に実装したclosureについては独自仕様でも問題ない、技術ベースで語れ

私はSmalltalk信者wですが、この文脈での>>844の「クロージャだから」もそれを受けた>>847の「ヒント:Smalltalk」も
混乱を招きかねない説明やサジェスチョンだと思いまよ。

# 以下は比較的に古典的かつナイーブな実装の Squeak や Pharo を想定しています。為念。

Ruby の retrun に相当する Smalltalk の(唯一の)制御構造である「^戻り値」は、
Ruby の>>837の例では prco_return や block_retrun と同じ挙動になります。

Object compile: 'rubyReturn
 | f ret |
 f := [:n | ^ n * 10. "以降に処理を書くとコンパイル時エラー"].
 ret := #(1 2 3) collect: f.
 ^''ret: '', ret printString'.

self rubyReturn "=> 10 "

余談ですが、lambda_return の挙動も「thisContext retrun」(戻り値が欲しいときは「return: 戻り値」)
という表現を使えばまあできなくはないです(が普通はやりません)。

Object compile: 'rubyLambdaReturn
 | f ret |
 f := [:n | thisContext return: n * 10. #以降の処理は無視].
 ret := #(1 2 3) collect: f.
 ^''ret: '', ret printString'.

self rubyLambdaReturn "=> 'ret: #(10 20 30)' "

いずれにせよ、Smalltalk でクロージャ内のリターンがそのクロージャを実行中のメソッドコンテキストを抜けるという挙動をもって
(継続渡しとかならともかく)Ruby の複雑な状況の説明を試みるのはあまりよい方法ではないのは確かですね。
0901857
垢版 |
2018/07/01(日) 21:20:45.24ID:FQlsc9Xo
>>900
かといって、スレタイの TypeScript だって、 Python + 型チェック とあんまり変わらなくないか?

#まあ、TypeScript は次世代じゃないという主張はありだけど
0902デフォルトの名無しさん
垢版 |
2018/07/01(日) 21:23:13.47ID:mO0FHij0
掲示板の書き込みに#で補足コメントするスタイルはキモすぎる
0903デフォルトの名無しさん
垢版 |
2018/07/01(日) 21:23:34.86ID:8lWKFGMK
どんな言語も最初は簡単で使いやすいと言う。

しかし、注目されて実用レベルになると言語仕様が破綻してくる。

お前さんが使っている次世代言語もいつのまにか消えてなくなるさ
0910デフォルトの名無しさん
垢版 |
2018/07/02(月) 02:35:06.08ID:1yNW4Sj0
スクリプト言語はshebangあるから#じゃないとうれしくないな
コンパイル言語は好きにすればええ
0911デフォルトの名無しさん
垢版 |
2018/07/02(月) 03:45:57.45ID:sK89Ta1p
>>876
Rubykaigiは井の中の蛙の見本市だから

Ruby最強他言語バーカって精神異常者の集まり

そら宗教の本山みたいなもんだから盛り上がり自体はあるが
技術的にはもう終わってる
0912844
垢版 |
2018/07/02(月) 06:42:05.84ID:9wGdj7CA
>>857
Ruby のProc, block はクロージャで、
Procは、blockを変数に入れて、持ち運んで、後で呼べるようにしたもの

その際、block内でbreak を呼ぶと、ループ処理が完遂せず、失敗とみなしたのだろう

ラムダは後に作られたから、return で値を返すようにした

結局、Proc, block、ラムダ、クラス・モジュールも、
スコープチェーンという単一の概念から出来ている

自分の1つ外側のスコープを指す、ポインタを持っている
0913デフォルトの名無しさん
垢版 |
2018/07/02(月) 09:01:43.20ID:Ovw/GWMA
>>911
すげー思い込み強すぎ。中にはそういう人もいるかもだけど多数派じゃないだろ。
原理主義者怖すぎ。あんまり偏りすぎて人刺したりするなよ。
0914デフォルトの名無しさん
垢版 |
2018/07/02(月) 09:17:09.45ID:BcUDQh/y
> Procは、blockを変数に入れて、持ち運んで、後で呼べるようにしたもの

これしょうもない設計だよな。
jsとかだったらコールバック関数で統一的に扱えてるところだろ。
こんな本質じゃない言語機能ムダに複雑にして何やってんだか。
わざとパズル難しくして解いて「楽しい」こんな言語かな?
0915857
垢版 |
2018/07/02(月) 09:49:51.97ID:OVGUyhuB
>>912
あなたがrubyを好きなのはよくわかる、が

>結局、Proc, block、ラムダ、クラス・モジュールも、
>スコープチェーンという単一の概念から出来ている
>
>自分の1つ外側のスコープを指す、ポインタを持っている

単一の概念にするのは失敗してるんだ

理由は簡単、blockにbreakがあるせい。breakの飛び先は、通常のlexcal scope では解決できない。飛び先は定義時と関係ない、後で呼び出される each などのblockを呼び出す関数内に有るからな

他の内部イテレータ使う言語は、諦めて例外やcall/ccなどの大域ジャンプでエミュすることにしてる。
rubyは頑張ってなんとかしようとして、結局統一出来ず、でも似てるから使用が困惑する結果に
0917デフォルトの名無しさん
垢版 |
2018/07/02(月) 10:41:05.97ID:XQH9Y7UX
連想配列[名前] = ラムダ

こうして連想配列と代入とラムダで統一すればclassは本質ではないのに
統一を阻止して、classを次世代に遺そうとするのはRubyもECMAScriptも同じ穴の狢
0919デフォルトの名無しさん
垢版 |
2018/07/02(月) 10:50:09.56ID:FaPINm7E
Smalltalkとか言うカビ臭いクソ言語について語ってるやつの頭の中だけ80年代で止まってるけど
他の人は普通に話ししてると思うけど
0923デフォルトの名無しさん
垢版 |
2018/07/02(月) 19:42:13.22ID:HeCnpISr
アンチMicrosoftを掲げる以上、Rubyを使うべきだろね。
0924デフォルトの名無しさん
垢版 |
2018/07/02(月) 20:33:18.53ID:9WbprnCr
クロージャの問題は結局変数の評価タイミングが分かりづらくなりやすいってところ。
common lispはその点わかりやすい。
0925デフォルトの名無しさん
垢版 |
2018/07/02(月) 20:47:10.91ID:HeCnpISr
あちらこちらに分身がいて、どれかを書き換えると他に影響してしまう。
そんな混とんとした世界で生き抜くにはいろいろなものが必要になる。
つまり、コピーとムーブが一番楽。
0926デフォルトの名無しさん
垢版 |
2018/07/02(月) 20:47:29.49ID:nj5wv8+r
>>920
goとかjsとかparser用意しないとast作れないところを見るとlispが次世代感あるように感じてきた
0928デフォルトの名無しさん
垢版 |
2018/07/02(月) 21:36:57.09ID:F0SAJ301
luaはnginxと組みわせて使う
0934デフォルトの名無しさん
垢版 |
2018/07/02(月) 22:06:32.06ID:3279IT8S
久々に社会に出てみたら、
青春を捧げたRubyがすっかりオワコンになってて哀しいです(^q^)
0935デフォルトの名無しさん
垢版 |
2018/07/02(月) 22:27:57.20ID:sXgZmTLa
インターンってRubyばっかだな
素人学生にRuby書かせるとか頭おかしなるで
正気か?どうゆうロジックなんだ?
0936デフォルトの名無しさん
垢版 |
2018/07/02(月) 22:42:00.11ID:F0SAJ301
世代的にrubyで育ったリーダが多いからじゃない
外資ではgoとかpythonが多い
メガネのヒョロガリが写真に写っていてRoRエンジニアを募集してたらまずハズレだ
0938844
垢版 |
2018/07/03(火) 01:06:30.72ID:LtnxPY8P
Ruby では、break, return、例外も、単一の同じ仕組みを使っている。
コールスタックをさかのぼるポインタ。
つまり、どこから呼ばれて、どこへ戻るか

breakは、1つ外側のスコープへ戻る。
returnは、最も外側のスコープを抜ける

(レキシカル)スコープチェーンと、コールスタックの2大柱。
実装系・VM を作るには、この本がおすすめ

Rubyのしくみ、2014
Rubyの実装系、Ruby1.9のRuby仮想マシンの内部の仕組み
0941デフォルトの名無しさん
垢版 |
2018/07/03(火) 03:04:30.31ID:V6NmESsv
RailsってC#でいう.Netみたいなもん?
0943デフォルトの名無しさん
垢版 |
2018/07/03(火) 06:19:51.17ID:ZNPbo2Ku
相手が望んでいない解説をするときは、それがスレの内容として意味があるかを基準にするべき
単にこの言語ではこうなっている(中身はさして珍しくもない)というだけならやめとけ。余計嫌われる
0944デフォルトの名無しさん
垢版 |
2018/07/03(火) 06:53:27.01ID:MH5+eiAJ
スレタイに並んでいる言語だとtsは張り合う相手いないから語るようなことないよな
ネイティブアプリ向けも張り合う相手なし
領域が被るのはサーバサイドにおけるrust,swift,kotkin nativeくらい?
0945デフォルトの名無しさん
垢版 |
2018/07/03(火) 07:30:13.14ID:oQIvqi2O
>>925
だから次世代言語って何よ?
スレタイに沿って話せって言うけど、次世代言語がなにかも曖昧で
0946デフォルトの名無しさん
垢版 |
2018/07/03(火) 08:27:38.25ID:CN6nXbG2
旧世代の言語の(しがらみとかで)回避できなかった欠点を既存機能を損なうことなくうまく克服し
次世代を担うべく存在する言語だよ

C++のメモリリークを所有権で回避した「Rust」
Obj-Cのnil禍をオプショナル型で回避した「Swift」
JSの実行時エラーを静的型で回避した「TS」

Rubyはこの20年自らの欠点をちょこちょこ直す以外なにもやっていない
0948857
垢版 |
2018/07/03(火) 09:12:56.01ID:0xlHwX4q
>>937
いや、next はともかく、 break は lexical scope の範囲内では実装出来ないんだよ。
break が for や while でキャッチされる特殊な例外扱いならば、こんなおかしな事にならず、Proc 内でも break 使える様に出来たのに。

>>938
ここでいっているスコープは、 dynamic scope であることに注意ね。
内部イテレータでは、本来 break は例外と同じ方法でしか実装出来ない事を理解いただいて何よりです。
でも、ruby では、 Proc で break 呼び出したときの例外が LocalJumpError になっていて、どういう扱いにしたいかよく分からないんだよね。
for, while 内の break との整合も取れないし

まあ、次世代言語の話じゃないんで、そろそろ突っ込みは止めときます。
0950デフォルトの名無しさん
垢版 |
2018/07/03(火) 09:26:00.07ID:N+3lR6RH
>>947
msが怒涛の開発力で一気に使いやすくしたよなぁ。
しかもEditorとセットで。
しかもlspを考えてどのEditorからでも補完が効くようにしたりとか。

まだ開発スピードが止まる気配がないけど、
他に何を開発する余地があるんだろ。
0951デフォルトの名無しさん
垢版 |
2018/07/03(火) 09:33:01.11ID:TTM9k7xe
世代の交代を駆動するのが枯れた技術であってもいいんだよ
まあ仕様の腐った言語しか眼中にない人間には理解できんだろうけどね
0952デフォルトの名無しさん
垢版 |
2018/07/03(火) 10:15:55.62ID:CZ1ZSS89
開発元が腐ってるRustとTypescript
これは次世代とは言えまい
これが覇権取ったらディストピア一直線
0953デフォルトの名無しさん
垢版 |
2018/07/03(火) 10:25:54.60ID:CZ1ZSS89
真に次世代の言語はNim
今までの言語の焼き直しに留まらない書きやすさと実行速度を両立した言語で
開発元もモジラとかMSみたいな邪悪な企業じゃない
0954デフォルトの名無しさん
垢版 |
2018/07/03(火) 10:44:28.82ID:pQbF/VH/
単なるCのソースコードジェネレータじゃん。
nimが速いんじゃなくてCが速いの。Cのソースコード吐いてCのソースコードコンパイルしてるんだから。
coffeescript()なんかのaltjsと同じようなもんだね笑
0955デフォルトの名無しさん
垢版 |
2018/07/03(火) 11:31:15.91ID:jh9a6Llj
高度なシンタックスシュガーだからね
でもCよりは確実に使いやすいしいいと思うよ
0956デフォルトの名無しさん
垢版 |
2018/07/03(火) 12:11:26.83ID:H2PJV6CA
>>941
c#で言うとasp.netみたいなもの。
c#ユーザだとしてもEFとビュー関数が無いと何もできない低レベルな人間。
0958デフォルトの名無しさん
垢版 |
2018/07/03(火) 12:43:16.36ID:4OdwMirb
Rubyがブロック引数を組み込みの制御構文のように見せたかったというのは旧世代の発想としてはよくわかるけど、
第一級関数や高階関数が十分に一般的なものになった現代においては組み込みのループのように見せるという発想自体がもう時代にあってないと思うわ
むしろ次世代言語は組み込みの制御構文なんか撤廃して関数に寄せればいいと思うんだが、
なかなか手続きベースの言語でforで捨てるものは現れないね
0961デフォルトの名無しさん
垢版 |
2018/07/03(火) 13:15:41.14ID:ZYDLmzQl
>>958
手続き型言語と呼んでいいのかわからんが、tclなら、制御構造は全て「コマンド」扱いで、BNFとか笑っちゃうぐらいシンプル
0962デフォルトの名無しさん
垢版 |
2018/07/03(火) 13:45:16.08ID:taCiD/Gz
>>958
条件分岐と繰り返しはプログラムの基本構造なわけだが
逆に関数とかサブルーチンとかは基本構造に入ってないわけだが

お前は、超天才かドアホかのどちらかだなw
0964デフォルトの名無しさん
垢版 |
2018/07/03(火) 14:53:19.41ID:78ysfJXf
俺は勝った方の味方するよ。
最初から味方だった、俺のおかげで勝てたみたいな感じで。
0965デフォルトの名無しさん
垢版 |
2018/07/03(火) 15:16:48.85ID:U5Zq1zkR
第一級関数というやつ
ほとんどの場合意味がわかってないか
勘違いしてるよな
クロージャーっぽく書けたら第一級ってわけじゃないから
0966デフォルトの名無しさん
垢版 |
2018/07/03(火) 16:26:35.93ID:dRr5lTkl
>>869
> smalltalkには break や continue (next) はないだろう?

横レスだが少なくともXEROXのグループが書籍として出版した初期のSmalltalk-80にはその類のものなかったね
なお、closure本来の議論をする上ではSmalltalk-80のブロックを引き合いに出したのは悪くないと読んでいて思ったけどね
というのはHaskellのような代入命令のない言語でなく代入命令を持つ言語でのclosureとしてはSmalltalk-80のブロックは最も基本形なので議論のベースとしては分かりやすい
本来ならAlgol 68のproc mode(modeは普通の言語での型に相当)の値がclosureなんだがAlgol 68は概念は良く整理されていても用語が変態過ぎて議論のベースとしては使いやすくない
Smalltalk-80のブロックはAlgol 68のprocを素直に継いでいると考えて構わないので、要するにSmalltalk-80のブロックを議論での叩き台にするのは
命令的言語でのclosureとしてオリジナルであるAlgol 68のprocを叩き台としてclosureの議論をしようというものなのでclosureの一般論が目的ならば悪くない

ただ特定の言語、特にrubyのような比較的新しい言語(後述のマイ言語化以降の時代に登場した言語)限定の議論には不適切かも

> ruby のは、closure に break や next を持ち込んでおかしくなっているように見えるよ。

そりゃAlgol 60やAlgol 68やSchemeなどを作った人々とRubyの製作者とはプログラミング言語に対する基本的な見識においてレベルが違いすぎますからね

かつてプログラミング言語の形式的意味論までか否かは別にして言語の基本概念は何かきちんと学び理解するのが常識だったが
簡単に言語を実装できるようになって=マイ言語化されて以降、スクリプト言語のような軽い言語が百花繚乱の如く咲き乱れる(と言えば聞こえは良いが要するに粗製乱造される)ようになって以降
基本概念をきちんと学び理解していない人でも新しい言語は簡単に作れ、上手くファンを掴めるとそれなりに流行ってしまうようになったので
実際にきちんと意味を考えるととても不自然で理解が困難になるような言語機能の組み合わせ方を単に「だって便利だもの」という理由で言語に組み入れられてしまうようになった
単なる便利さだけで深い考慮なく導入されたものを意味論などから合理的・体系的に説明・理解するのは困難、年寄りの戯言でした
0968デフォルトの名無しさん
垢版 |
2018/07/03(火) 18:36:16.17ID:TTM9k7xe
>>966
空気読めない老人が上から目線でしゃしゃり出てくるのほんとやめてほしいわ
だいたいALGOL68を持ってこようがSmalltalk-80を持ってこようが場違いなのはさして変わらんよ
そもそも誰もクロージャーの本来も一般論も論じてないとか、すでにその話は終了しているとか読んでわからんのかね
0972デフォルトの名無しさん
垢版 |
2018/07/03(火) 19:10:03.39ID:Y44wiyUJ
>>970
自分の思いを述べてるんだから何もしていなくはない

そういう性格だから嫌われるんじゃない
こいつが嫌いな性格を一般化してるだけだ
0973デフォルトの名無しさん
垢版 |
2018/07/03(火) 19:11:22.15ID:iZrusKUj
RustはRustで安全のために犠牲を払いすぎ
そこまで犠牲を払わないNimという選択肢はダメではない
0975デフォルトの名無しさん
垢版 |
2018/07/03(火) 19:15:29.04ID:Y44wiyUJ
>>974
うわぁってなんやねん

空気読むことばっか押し付けるからお前んとこのプロジェクト炎上してるんや
0976デフォルトの名無しさん
垢版 |
2018/07/03(火) 19:15:31.69ID:A246qspJ
犠牲にしてるかな?どうせやらなきゃいけないことを強制してるだけでわ
0977デフォルトの名無しさん
垢版 |
2018/07/03(火) 19:23:30.28ID:2atZvleV
>>972
スレに沿った議論をしない人は何もしてないと同じなんだよ
お仕事だってそうでしょう
0980857
垢版 |
2018/07/03(火) 19:33:36.60ID:0xlHwX4q
Nim は書きやすさと速度、Rust は安全性と速度、
に注力したイメージなんだが、安全性と速度に比べて、書きやすさと速度って一つの言語でカバーする必要性が薄いように思うんだよな。

従来の「スクリプト言語+速度が必要なところだけC/C++」に比べて、どうしてもNimが良いっていう場面ある?
0981デフォルトの名無しさん
垢版 |
2018/07/03(火) 19:43:18.67ID:MH5+eiAJ
>>978
えぇっ

>>979
途中までしてたじゃん
話につい来れなかったルビーィストとおじいちゃんたちが突然昔話を始めるまでは
0982デフォルトの名無しさん
垢版 |
2018/07/03(火) 19:53:46.17ID:Y44wiyUJ
>>981
もうとっくに日本は移民国家だ
自分が雰囲気の中心にいるんだって顔してるだけで
さしたる理由もなく他人をDisれると思うなよ


昔の次世代言語の話したっていいじゃない
0985デフォルトの名無しさん
垢版 |
2018/07/03(火) 20:38:32.57ID:zqxfY0jY
>>966
Smalltalkのブロックはselfと^の挙動がクロージャとして完全にウンコなので
こんなものを基本形として議論のベースにしたくないです
Schemeの方が1万倍マシです
0986デフォルトの名無しさん
垢版 |
2018/07/03(火) 20:41:29.96ID:MH5+eiAJ
>>983
その木は安全なの?
個人的には木構造実装したりしないから別に困ってないけど
0989デフォルトの名無しさん
垢版 |
2018/07/03(火) 22:03:10.71ID:ZNPbo2Ku
Lispに見えて実はForth風では
処理系のサイズを小さくまとめるのが目的みたいだしいいんじゃないかな。どうせ個人の試作言語だろうし
0994デフォルトの名無しさん
垢版 |
2018/07/03(火) 23:50:32.40ID:T5T8ZL2Z
安全だからRustは良い←わかる
安全でないからNimはいらない。書きやすさとかどうでも良い←それあなたの感想ですよね
0996デフォルトの名無しさん
垢版 |
2018/07/04(水) 00:44:54.31ID:SVer28O9
書きやすくても保守性が高くなるわけじゃないからな、
自分で書いて自分一人だけで保守するならいいんじゃないかね
0998デフォルトの名無しさん
垢版 |
2018/07/04(水) 01:36:19.71ID:mmoPrDKP
>>997
いやいや、Rustは可読性も保守性も高いでしょ
書く前にある程度の考える必要があるだけ

むしろ思ったことすぐに書けちゃう言語の方が
可読性も保守性も低いでしょ
10011001
垢版 |
Over 1000Thread
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 30日 5時間 45分 54秒
10021002
垢版 |
Over 1000Thread
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。


───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────

会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。

▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/

▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php
レス数が1000を超えています。これ以上書き込みはできません。

ニューススポーツなんでも実況