18/06/09 17:12:26.80 X44kcdo4.net
結論は可能な限り、それが必要なタイミングまで出すべきではないだろ。
意味がわからないのに、質問せずに結論を出すのを是とするのは良くわからん。
今回のGithub買収騒動でNatも「MSを信じてくれと頼むつもりはない」と、結果を見せるスタイルで行ってるしな。
もとXamarinの人だっけ。
193:デフォルトの名無しさん
18/06/09 17:13:55.86 X44kcdo4.net
>>189
違う違う。
真面目でも不良でもリア充でも根暗でも、誰がやっても「ごみ拾い」という行為自体の価値は変わらないんだから、
不良がどうの、なんて頭言葉をつける無粋な真似はよくねえよな、って言ってるんだよ。
お前の発言の真逆な。
194:デフォルトの名無しさん
18/06/09 17:40:59.84 NDvJykru.net
>>191
それを言うんなら、そもそもGithub買収は邪悪な囲い込みな訳で
ゴミ拾いどころかヤクザのシノギだ
前科もある企業のシノギをどう好意的に見ろと？
195:デフォルトの名無しさん
18/06/09 17:50:48.67 AIOFAY9W.net
能力無いやつは良いことやろうとしてもたいしたことできず
悪い事やったらクズがって言われて忘れられるだけなんやで
MSは無視できない能力があったってことや
196:デフォルトの名無しさん
18/06/09 17:59:17.45 NDvJykru.net
純粋に聞きたいんだが
MSを褒めちぎってる人ってMSに人質とられてるか札束で殴られたかどっちなの？
197:デフォルトの名無しさん
18/06/09 18:08:11.88 AIOFAY9W.net
言うほど褒めちぎってるかねｗMSの悪口いってれば君は満足なのか？ｗ
そんなもん誰の得にもならない
君は気分良くなるんだろうけどそんなの知ったことじゃないし
198:デフォルトの名無しさん
18/06/09 18:12:04.42 NDvJykru.net
>>195
MSを信じず自分のプロダクト、プロジェクトを守ろうって言ってんだよ
それでもMSを信じようとしたり、信じる世論を発するやつの背景に興味はある
199:デフォルトの名無しさん
18/06/09 18:14:40.25 X44kcdo4.net
>>192
ぜんぜんそれを言えてないじゃないか。
囲い込まれた所で停滞するなら停滞すればそういうものだったんだろうし。
もともとgithubはプロプラなんだから。
皆がgitlabに行く自由も、セルフホストする自由もあるんだしな。
linuxのカーネルなんかも、git使うけどgithubは使われてない(というより、明確にプロプラだから使わないと明言された)
今だって単にミラーとして使われてるgithub上のリポジトリも多い。
githubの価値として変わらなければ、胴元がどう変わろうが本質的に問題ではないんじゃねえの？って話で。
代替品があるのに、囲い込みとはこれは不思議な話だろ。
MS憎しで物事が近視眼的になってるんじゃないか？
200:デフォルトの名無しさん
18/06/09 18:16:14.45 HrZn4m/i.net
GNUホスティングがあったらｗ
201:デフォルトの名無しさん
18/06/09 18:17:05.20 AIOFAY9W.net
>>196
信じないのも勝手だし、自分のプロジェクトをどうするも君の勝手だろう
それで功を奏すこともあるかもしれない
俺はいいものを提供してくれるなら賞賛するし、そうでないなら貶して避けるだけ
過去がどうこういっても何の飯の種にもならない
202:デフォルトの名無しさん
18/06/09 18:19:43.49 X44kcdo4.net
>>196
セルフホストすれば良かろう…。
そういう人たちは、既にいて、彼らは最初からgithubすら信じてない。
信じる信じないの信仰心ではなくて、信じられる信じられないの成果の単なる判断でしかないし、
成果は過去から連続したものではないんだから、過去何やってたって、今回どうやるかが問題でしょ。
「お前は新人のときに寝坊したから、二度と『遅刻しない』って宣言は信じない。だから一緒に働きたくない」
みたいな、「単に部長があいつ嫌いなだけだろ…」って低レベルな話だぞ、それ。
203:デフォルトの名無しさん
18/06/09 18:20:26.54 X44kcdo4.net
>>198
サバンナを忘れてあげないで…
204:デフォルトの名無しさん
18/06/09 19:03:35.83 NUF73VeC.net
暴れてんな
205:デフォルトの名無しさん
18/06/09 19:48:50.41 XJIDpXbK.net
>>196
githubの件でいえばそもそも自分のソース守ろうとするなら
あんなとこに上げるべきではない。
マイクロソフトを擁護する気は無いけれどフリーライドしてるくせに偉そうなバカには
一言くらいは言わんといかんかなと思ってる。
206:デフォルトの名無しさん
18/06/09 19:54:00.43 X44kcdo4.net
フリーライドしてる意識すら無いんだろ。
207:デフォルトの名無しさん
18/06/09 19:58:23.11 HrZn4m/i.net
>>203
いや違うぞ。
彼は世の中を良くするためにMicrosoft社を批判してきたし、世の中のためにGithubを使っていたのだ。
全ては人民のためなんだよ。
彼の恩恵を得ている我々人民が、彼を批判するのはおかしくないか？
208:デフォルトの名無しさん
18/06/09 20:09:28.16 X44kcdo4.net
さぞ素晴らしいプロダクトのプロジェクトなんだろうなぁ。
まあ、1つの批判を2つ以上の対象に適用すると話がおかしくなる典型だし、
批判するなら「いつの何がどう悪い」かちゃんと批判して、「今の何がどう良い/悪い」を判断できるようにしておいてもらいたいもんだ。
そうでなければ、批判の価値が無い。批判って読んで字のごとく相対論なんだから。
209:デフォルトの名無しさん
18/06/09 20:16:28.23 e2RewqH/.net
自分の意見を大切にしたいならフィリピンの怪しげな会社がやってるBBSで議論などするな
210:デフォルトの名無しさん
18/06/09 20:17:58.23 HrZn4m/i.net
そもそも彼のプライベート・リポジトリを覗き見るために、Microsoft社はGithubを買ったのだ。
彼の心配ももっともなのである。
211:デフォルトの名無しさん
18/06/09 20:20:46.53 XXrObf0z.net
>>208
それはすごい。一体何を作ったというのですか？
212:デフォルトの名無しさん
18/06/09 20:21:40.97 HB5Javax.net
Microsoftにあんなところやこんなところも見られてしまうのか
213:デフォルトの名無しさん
18/06/09 20:23:28.71 HrZn4m/i.net
>>209
俺もそれが知りたい！！！
214:デフォルトの名無しさん
18/06/09 20:28:05.70 HrZn4m/i.net
糞アンチが発狂してて愉快愉快ｗ
215:デフォルトの名無しさん
18/06/09 20:42:53.12 NUF73VeC.net
MSに見られるのはどうでもええやろけど、MSがGithubを殺してしまうのは嫌やね
216:デフォルトの名無しさん
18/06/09 20:50:30.29 3fjvSVWy.net
Githubに新機能や新サービスが追加されることはもうないと覚悟して使うならそれでいいんじゃないの
217:デフォルトの名無しさん
18/06/09 21:08:30.97 s8swn2zk.net
有償版に自社で使いたい機能ガンガン突っ込んでくれるかも知れないよ？
OSS用途は別に現状で過不足無いでしょ
218:デフォルトの名無しさん
18/06/09 21:21:16.33 keX5gf+1.net
Linus氏曰く「マイクロソフト嫌悪は『病気』」
URLﾘﾝｸ(s)
219:rad.jp/story/09/07/28/0326208/
220:デフォルトの名無しさん
18/06/09 21:33:43.47 i583qz4y.net
>>214
なぜないと断言できるの？
221:デフォルトの名無しさん
18/06/09 21:35:08.53 vR0+9df+.net
MSに買収されてからSkypeはグタグタだしRoboVMは消滅したやん
楽観視してる方が不思議だわ
atomは死刑宣告されたようなもんだろうし
222:デフォルトの名無しさん
18/06/09 21:40:03.22 i583qz4y.net
>>218
その2つを上げることが理由にはならんやろ
じゃあExcelは？Wordは？って不毛な議論にしかならない
223:デフォルトの名無しさん
18/06/09 21:55:19.90 NPiXyVw3.net
そろそろMS嫌いはwindowsが嫌いなだけなのを無理やり対象を広げてるだけだと理解しなさい。
224:デフォルトの名無しさん
18/06/09 21:58:41.72 NUF73VeC.net
URLﾘﾝｸ(i.imgur.com)
225:デフォルトの名無しさん
18/06/09 22:01:22.64 HrZn4m/i.net
Word最高！！！って人はいないだろうな。
Excel最高！！！って人はいるだろうけど。
226:デフォルトの名無しさん
18/06/09 22:02:30.98 HrZn4m/i.net
Wordももう少し何とかすれば文書作成のスタンダードになれたんだろうけど。
227:デフォルトの名無しさん
18/06/09 22:09:59.80 NUF73VeC.net
すまん、Word好きだわ。ただし2016に限る
228:デフォルトの名無しさん
18/06/09 22:19:27.60 eRfQIPwr.net
どこの馬の骨ともわからんような有象無象が
マイクロソフト社を批判するとか噴飯ものなんだがｗ
こーいう
自分のサイズが見えてない批判は辛く悲しく滑稽であり
5ちゃんにはふさわしくもある
229:デフォルトの名無しさん
18/06/09 22:21:53.65 HrZn4m/i.net
俺はMicrosoft大嫌いだ！Microsoft製品なんか一度も使ったことがない！！！
って人もいるけどな。
230:デフォルトの名無しさん
18/06/09 22:23:04.90 HrZn4m/i.net
使ってて文句言うのと、使ったことなくて文句言うのでは、だいぶ違うしな。
宗教的な理由とかいろいろあるからな。
231:デフォルトの名無しさん
18/06/09 22:49:36.26 NUF73VeC.net
まあ市民が政治家を批判するようなもんだと思って
232:デフォルトの名無しさん
18/06/09 22:55:34.67 e2RewqH/.net
食わず嫌いもいいんじゃないの
他人に強制しなければ
お前等同性愛とか昆虫食とか
233:デフォルトの名無しさん
18/06/09 23:28:08.54 s8swn2zk.net
まあしかしスレとは殆ど関係無い話題だねえ
234:デフォルトの名無しさん
18/06/09 23:52:29.23 wI7YUQRE.net
話を断つが稀にここに現れるC++2aは次世代言語おじはC++1zのVariantとOptionalを見た上で次世代になると信じて疑っていないのだろうか
235:デフォルトの名無しさん
18/06/10 00:06:12.53 flig3pd5.net
githubはそもそもまともに収益出てないから売ったわけで、
その時点でMSに文句垂れてる事自体が筋違いなんだよ。
236:デフォルトの名無しさん
18/06/10 00:11:25.98 fTMUlLq4.net
C++はもうシンタックスがめちゃくちゃ……
237:デフォルトの名無しさん
18/06/10 00:29:59.99 lY4z9T4s.net
C++は難解すぎて義務にはできないから良い
自称まともな言語ほど、これくらい簡単だろっていって義務を押し付けてくる
238:デフォルトの名無しさん
18/06/10 00:51:21.28 YetsVo0k.net
すべての大学はcじゃなくgoをおしえろ
239:デフォルトの名無しさん
18/06/10 00:52:44.38 S5koArQt.net
今フレームワークで話題のmvcとかのロジック的な内容言語に取り組むみたいなのないんかね？
ミドルウェアとかバリアントとか関数や変数単位でやれたら楽しそうじゃ
240:デフォルトの名無しさん
18/06/10 01:07:37.52 wZY5rcK5.net
MVCとか…
いや概念は必要だけど何十年前の話しとるねん
241:デフォルトの名無しさん
18/06/10 01:18:19.25 CFkipoua.net
今話題…だと？
242:デフォルトの名無しさん
18/06/10 01:33:08.96 WzrD1lk7.net
Microsoft Visual C++。
243:デフォルトの名無しさん
18/06/10 01:37:37.11 jHX3vchU.net
結局Haskellなんだよなあ
244:デフォルトの名無しさん
18/06/10 01:53:07.68 WzrD1lk7.net
次世代言語織田信長はどうなったのか。
245:デフォルトの名無しさん
18/06/10 07:17:12.02 fTMUlLq4.net
>>235
全ての言語がFFIを持つCにはGoでは勝てぬ
246:デフォルトの名無しさん
18/06/10 09:08:03.16 EqzDSNUt.net
>>218
Skype、企業内でめちゃくちゃ使われてるぞ。
Office 365についてくるからな。
昔はリンクとか言うIMツールがあったが、それがそのままSkype For Businessになった。
247:デフォルトの名無しさん
18/06/10 09:11:09.15 CFkipoua.net
>>243
まともなところはもうTeams
248:デフォルトの名無しさん
18/06/10 11:59:10.70 uRvlgWzA.net
最近は、skypeで使えない奴の悪口ばっか言ってる
249:デフォルトの名無しさん
18/06/10 12:03:07.30 AuekseH8.net
>>245
自暴自棄になるなよ。
お前にだっていいところはあるはず。多分、きっと…
250:デフォルトの名無しさん
18/06/10 12:45:38.88 EqzDSNUt.net
>>244
棲み分けてるよ。
社内IMはTeams、社外とか、電話会議(笑)はSkype。
そういや最近、Skype、登録しなくてもWebからそのまま参加してもらえるようになったね。
251:デフォルトの名無しさん
18/06/10 17:18:28.68 EqzDSNUt.net
昔話を色々思い出してきたが、
そういや、c#に関してはCommunity Promiseとか昔言ってたよな。
FSFがMonoに「あれいつソフトウェア特許を行使される事になるかわかんねえし、実装やめとけよ」って物申して、
「いや、実装の作成、使用、販売、もろもろに対して特許の主張は行わないことを約束するし、この約束は撤回しない」って言い返したやつ。
10年ぐらい前だっけ。
約束を守ったどころか、オープソースになったなw
アンチだけが停止した時間の中で見えない何かと戦ってるみたい。
252:デフォルトの名無しさん
18/06/10 17:31:53.29 OFONSfl+.net
>>247
法人版はもうTeamsに統合させようとしてるな
しかしもうちょい軽くならんのかね…
253:デフォルトの名無しさん
18/06/10 17:36:16.47 1p8BjK+1.net
MSは特許訴訟かなりの数やってたし警戒するのは当然じゃね？
まあ裁判に勝てなくなってきたら不毛だからやめようとか言い出して方針転換したけども
254:デフォルトの名無しさん
18/06/10 17:50:18.01 EqzDSNUt.net
>>249
あれ起動時にコケて再起動させなきゃいかんことも多いよな。
Skype(Business)もまあリンクの頃の方が使いやすかったって人も居るし、迷走はしとるか…。
特許戦争というかネガキャン+取り込んで独自拡張して競合をおいてけぼりにする、は、
Halloween文書の最後の方で諦め始めてたし、まあ時代の流れな気もするわ。
金さえ払ってNDA結んでれば、Windowsのソースもある程度見れて、
バグ踏んだ時には解析してあいつらのせいなら、MSの人来てもらって
KB作ってもらう時代もあったし(今もかな)、そこまでクローズドでも無いと思うよ。
金払いが渋いと役に立たんのは昔からだから、その点ちゃんとMITライセンスでやってる時点でそのプロジェクトはまともだと思う。
255:デフォルトの名無しさん
18/06/10 17:52:22.63 5NFI1dUF.net
>>64
gitterを覗くといいよ CrystalもNimもRedも会話の流量多いよ
256:デフォルトの名無しさん
18/06/10 18:04:04.13 fTMUlLq4.net
臭いなあ……
257:デフォルトの名無しさん
18/06/10 18:37:29.73 0WwRzi7s.net
>>242
じゃあCを改変しようぜ。
基本的に今のままで良いけど
変数宣言を変数名 型の順に変える、セミコロンはなしに、ifとかforの余計なカッコを削る
do whileを消してfor {}で回せるように
つまりgo風にしようってことで頼む。
258:デフォルトの名無しさん
18/06/10 18:40:05.94 fTMUlLq4.net
>>254
そこの細かいシンタックスそんなに大事か？
Goの利点はそこじゃないと思うけど
259:
260:デフォルトの名無しさん
18/06/10 18:49:47.62 0WwRzi7s.net
>>255
セミコロンはきつくないか？あれなんでいるの？ってなる。
261:デフォルトの名無しさん
18/06/10 18:58:51.76 8C1WUHwf.net
GoみたいなのがいいならGo使えよ
262:デフォルトの名無しさん
18/06/10 19:02:45.14 Ce6PWnpg.net
goやpythonの行継続ルールはなんかもやもやする。
式+セミコロン=文 という明快さがいいと思うんだがなぁ。
263:デフォルトの名無しさん
18/06/10 19:06:16.25 BaW2yoQJ.net
Cよりもアセンブラ寄りの言語が欲しいな
せっかくCPUに高速な演算が載ってても言語自体にそれを利用する仕組みが無ければ意味ないし
全部コンパイラの最適化にまかせるのも限界がある
264:デフォルトの名無しさん
18/06/10 19:21:49.74 fTMUlLq4.net
>>256
パーサー作りやすくて��
265:デフォルトの名無しさん
18/06/10 20:11:57.30 fqYkprls.net
インラインアセンブラではだめなのん？
266:デフォルトの名無しさん
18/06/10 20:32:44.87 0WwRzi7s.net
>>260
今は技術的にはいらんのでわ？セミコロン不要な言語沢山あるし
267:デフォルトの名無しさん
18/06/10 20:52:37.52 fTMUlLq4.net
>>262
ごめん。俺の個人的な話や
268:デフォルトの名無しさん
18/06/10 20:53:21.83 flig3pd5.net
セミコロン、そんな敵視するほどか？
パースバグ引き起こすくらいだったらそれくらい入れてやるわと思うくらいの労力だと思うが。
変数宣言を入れ替える案はストラウストラップがc++の時のやろうとして挫折しとる。
クソみたいな改変意見は「C++の設計と進化」でも読んでからしてくれ。
269:デフォルトの名無しさん
18/06/10 21:33:41.04 xCNLxacy.net
Rustならセミコロンありなしで意味変わるから必要。
あってもなくても意味変わらない言語なら、なくて良いんじゃないかね
270:デフォルトの名無しさん
18/06/10 22:37:26.65 6WrCs4QD.net
URLﾘﾝｸ(qiita.com)
この辺の話を読むと、goの変数宣言はcのアップデートとして考え出された感がわかると思うで。
271:デフォルトの名無しさん
18/06/10 23:49:38.63 Kqrg8XSe.net
うーんでもgoのはなしはどうでもいいです
272:デフォルトの名無しさん
18/06/11 00:01:25.01 B6T41CNd.net
旧世代言語だしな
273:デフォルトの名無しさん
18/06/11 00:35:14.90 KRC9gfdk.net
スレタイにも入ってるのに1レスも話題にならないDartくんかわいそう
274:デフォルトの名無しさん
18/06/11 01:21:07.38 +ZXvp0cd.net
だって旧世代言語だし…
275:デフォルトの名無しさん
18/06/11 02:39:22.51 sLnSu99e.net
luaのコルーチンみたいに小技だけ揃えたセコい言語はよ
276:デフォルトの名無しさん
18/06/11 02:45:02.89 +ZXvp0cd.net
俺のは小チンじゃないし小枝でもない！
277:デフォルトの名無しさん
18/06/11 06:09:38.37 0LO8qpT+.net
pythonは内包表記とyieldとasync/awaitを揃えた
これは小技じゃなくてフラグだから
勘違いするのがこわくて無視してたらバッドエンドになるやつ
278:デフォルトの名無しさん
18/06/11 07:16:55.63 Mtvnm38T.net
次世代言語がswiftやTypeScriptだというなら、goも次世代と言っていいのでわ。何が次世代なんか？
279:デフォルトの名無しさん
18/06/11 07:43:15.67 0LO8qpT+.net
「良いのでは？」…そんな言葉は使う必要がねーんだ
その疑問を頭の中に思い浮かべた時には
もうすでに答えを知ってるからだ
280:デフォルトの名無しさん
18/06/11 08:28:52.67 0k3tBBkn.net
>>274
既にある程度普及してる言語は現世代言語
SwiftもTypeScriptはもう現世代言語だよ
Dartなんか機能的には18歳のC#さんの方がよっぽど次世代だけど、それでもDartは永遠の次世代言語なんだよ
281:デフォルトの名無しさん
18/06/11 11:04:07.27 0LO8qpT+.net
普及や時間を数値化する方法はよく知られている
だがCとC++の数値を合計してみたり、逆にCとC++を区別して個別に時間を計るなど
数値を自由自在に変える方法はまだあまり知られていない
282:デフォルトの名無しさん
18/06/11 13:07:48.40 FBSyq4kZ.net
知られてるよ。
統計で嘘をつく方法とかベストセラーだったじゃん。
283:デフォルトの名無しさん
18/06/11 13:40:19.51 sHLhXrQ6.net
すぐ脱線するな。もう話題がないんじゃないか？このスレ
284:デフォルトの名無しさん
18/06/11 14:06:47.26 78mL3vou.net
MSが本当にGitHubのことを思っていたのなら
わざわざ買収する必要はなかったよね
こういう反応があるのはわかりきってたことだし
じゃあなぜMSはGitHubを買収したのか？
MSにどんな利益があるというのか？
285:デフォルトの名無しさん
18/06/11 14:09:59.96 fIKYrBw4.net
事業会社を買収すると売り上げが増えるから成長してるように見えるというメリットがある
286:デフォルトの名無しさん
18/06/11 15:21:13.35 78mL3vou.net
ここを曖昧にしたり嘘つくから信用ならなんだよね
行動で示すとかさ、信用をちょりもどすとかどうでもいいのよ
何の利益があってそうしたのか、ここを隠しては信じられるものも信じられないよね
287:デフォルトの名無しさん
18/06/11 15:28:58.07 bN46fGFr.net
>>282
隠してないだろw
288:デフォルトの名無しさん
18/06/11 16:01:36.44 gigDFXuw.net
>>282
自分が理解できないだけで｢隠してる！｣はないだろう。
289:デフォルトの名無しさん
18/06/11 16:40:46.25 sHLhXrQ6.net
MSスレと化したな
290:デフォルトの名無しさん
18/06/11 17:08:56.55 +bcyMeFr.net
Googleスレになるよりは健全かもしれない
291:デフォルトの名無しさん
18/06/11 17:59:00.80 C/qrQoOU.net
本当に思っている、が意味不明なんだが。
思いやりと慈悲の心を持っている、みたいな意味ならいよいよ脳みそおかしいと思う。
そりゃgithubはgithubとして運営するだろうが、
収益は現状通り確保するだろ。今も黒字なんだし。
加えて「MSだから」使っても良い、って判断が下りる(逆に言うと、今までgithubという企業に信頼を置いてなかった)企業が使うようにもなると思うけど。
AzureはOKでAWSとかGCPはNGって会社も一定数あるんだし。
これはVSはOKだけどRiderはNGって会社や、TFSはOKだけどSVNはNGな会社と同じジャンルの「ザ、日本企業」だけど。
MSが大好きと言うよりも、既にOSや開発環境で依存してるし諦めてるって企業は多いよ。
292:デフォルトの名無しさん
18/06/11 18:07:16.62 QjbntWKo.net
>>287
しつこいぞガイジ
293:デフォルトの名無しさん
18/06/11 18:57:25.14 ZbjI80+e.net
githubの収益に期待なんかしてないでしょ
買収額高いし回収できないよ
MSが欲しかったのは開発者情報とIntelliCodeの学習用データじゃないか
294:デフォルトの名無しさん
18/06/11 19:26:50.63 C/qrQoOU.net
>>288
そうか、では何か素晴らしい話題を提供して場の流れを持っていかれてはいかがかな？
295:デフォルトの名無しさん
18/06/11 19:43:11.93 DBOG5/EH.net
>>290
開き直りも良いところだな。死ねカス
296:デフォルトの名無しさん
18/06/11 20:22:00.01 j0ZYYhxM.net
まあプライベートリポジトリへのアクセス権のためってのが一番だろ
見ちまえばMS社内にコピペして特許申請からの逆訴訟まで一直線
まーいつものMSですな
297:デフォルトの名無しさん
18/06/11 21:05:46.17 yCgiDjNm.net
そこまで価値のあるコード置いてる企業なんてあるかね？
大きいとこは公開していいコードしか置いてないでしょ。
クソ企業ほど被害妄想働かせてるっていうw
298:デフォルトの名無しさん
18/06/11 21:30:50.02 IdMn84gQ.net
ここでもATS2ってあまり話題を見ないが依存型ってやっぱ理論味が強すぎるのかね
299:デフォルトの名無しさん
18/06/11 21:58:42.04 DBOG5/EH.net
初めて見た。良さげに見えるけど。ホームページダサすぎて草生えた
300:デフォルトの名無しさん
18/06/11 23:26:58.40 AWPyRB/1.net
第一印象
・ロゴダッッッッッッッッサ
・�
301:ｺ和かよ ・まーた括弧つけたシンタックス（藁）
302:デフォルトの名無しさん
18/06/12 00:02:40.72 pW9mkjXz.net
F*とかの話も誰もしないね
303:デフォルトの名無しさん
18/06/12 14:48:25.23 RDAwTv+g.net
>>292
勝手に根拠のない妄想して、まーいつものMSですなとか
まさに病気、リーナス神の言う通り
Linus氏曰く「マイクロソフト嫌悪は『病気』」
URLﾘﾝｸ(srad.jp)
304:デフォルトの名無しさん
18/06/12 15:33:40.22 yeRxVt4g.net
マイナー関数型言語多すぎ問題
305:デフォルトの名無しさん
18/06/12 15:41:08.97 MFTVdSaI.net
LinusはMSの手先
NetBSD使っていけ
306:デフォルトの名無しさん
18/06/12 16:10:56.78 J1ZUu6GC.net
>>299
perlとpythonとrubyの多すぎ問題はほぼほぼ解決したが
解決しても特に意味はなかった
307:デフォルトの名無しさん
18/06/12 17:33:54.60 5jsCtUIG.net
>>298
「オープンな開発を信条とするということはソースをオープンにすることだけでなく、他人や企業などを締め出したりしないということも大事である」
おかしいねーMSと真逆だねー
Linusもコミュニティ運営者だから、MSマネーには逆らえんのだろうな
308:デフォルトの名無しさん
18/06/12 17:38:08.01 8bLZqDx4.net
そう言いつつ最近はまともなMicrosoftを追い出すわけですね
少なくともGoogleが買収してgitとGitHub両方を独占するより遥かにマシだと思うけどな
309:デフォルトの名無しさん
18/06/12 17:38:32.41 3QzXkyiE.net
MSとか抜きにそもそもlinusはだいぶ独裁的な開発して来たわけだがな。
オープンっていっても全て自由にしたら開発なんてうまくいくわけないんだよ。
310:デフォルトの名無しさん
18/06/12 17:42:03.07 5jsCtUIG.net
>>303
そういう、産廃とうんこならうんこの方がまし理論やめようぜ
あとMSが最近はまともって、目がどこについてたら言えるんだ？
311:デフォルトの名無しさん
18/06/12 18:22:34.74 8bLZqDx4.net
>>305
現実問題買収交渉があった以上は何処かしらが買うわけで
MSもGoogleも嫌ならどこが買うべきだと思ってたんだ？
Microsoftがまともに見えないんじゃなくて営利企業が嫌いなだけじゃないの？
312:デフォルトの名無しさん
18/06/12 18:22:35.70 3R48K+eC.net
MSが非健全っていつの発想なんだか。
技術面では今はかなりオープンにしてると思うが。
そもそも元から「金さえ払って契約してれば」ちゃんと働くし、結構な範囲のソース見せてくれるし、呼んだら調査したり、必要ならKB作ったり「とても良くできたサンプル」作りまでやってくれるぞ。それが10年ぐらい前の話。
金も払わずに「〇〇が独自だからゴミ」といっても、金払ってないんだから知財が手に入らなくて当然だと思う。
あのひどいライセンスだったリファレンス実装の.netを、今やクロスプラットフォームに公式がして、さらにコントリビュートまで受けてるとか、
VisualStudioの名を関したエディタをOSSで作ってるとか、
そんな事は関係なくMSだから邪悪と言いたいだけだろ。
もしくは歴史を一切知らずに「MSが悪いってみんな言ってるからMSが悪いんだ」と思ってるか、どっちかじゃねえの？
逆にどのへんがまともじゃないの？
313:デフォルトの名無しさん
18/06/12 18:23:47.43 yK0gAcGX.net
最近のMSはまともとか言ってるやつは
これ読んでから感想文提出してもらいたいわな
URLﾘﾝｸ(www.gnu.org)
314:デフォルトの名無しさん
18/06/12 18:24:39.29 8bLZqDx4.net
何だ自称自由ソフトウェア主義者かよ
315:デフォルトの名無しさん
18/06/12 18:29:31.11 yK0gAcGX.net
>>307
.netはMSが突然特許主張する可能性が未だに解決してない
VSCodeについては使ってないから知らん。どうせEmacsやVimより使い勝手が良いこともなかろう
記憶に新しいところだとXamarinも買収されてから腐ったし
316:デフォルトの名無しさん
18/06/12 18:29:50.95 3R48K+eC.net
>>306
自分が損するのが嫌なのではなく、誰かが得をすると嫌なお年頃なのかもな。
で、githubが営利企業なのを忘れてたり、「営利企業だけれども健全である、根拠は、不健全だった過去がないからだ」みたいな、
「幼児は健全」じみた勘違いしてるんだろ。
317:デフォルトの名無しさん
18/06/12 18:33:32.47 3R48K+eC.net
>>310
特許問題に関してはCommunityPromiseで大体解決してるだろ。法的拘束力あるぞあれ。CommunityPromiseは知ってる？
その上今はMITライセンスだぞ。
Xamarin、買われてからのほうがオープンだけど…。
xamarin.androidが、プロプラに依存する事なくビルドできるようになったのは最近だぞ。
お前あんまり知らないだろ。
318:デフォルトの名無しさん
18/06/12 18:34:29.67 3R48K+eC.net
emacsとvimに関しては、最早好みのレベルだろ。
秀丸エディタも入れてやれよ(笑)
319:デフォルトの名無しさん
18/06/12 18:40:22.11 Do9HdhWt.net
>>305
MSとGoogleに対して産廃とうんこだって？
この業界で龍と虎みたいな存在に対して何ゆってんのｗ
好き嫌いは別にしてもスケール感間違ってんのはさすがに哀れでしかないわｗ
320:デフォルトの名無しさん
18/06/12 18:42:41.65 3R48K+eC.net
>>308
も、前からそのページに関して言われてるように、
そもそもサポート切れしてるOSに対してsecurityfixが無い事を怠惰とは普通言わんし、
組み込み向けならまだ出してくれるよ。金払いの問題。
Blu-rayのDRMに関しては言いがかりもいいところだろ。
Windows10のSはJailって、そうだよ、としか言いようが無いし。
しかしマメに更新してるんだなこれ。
これが、GNUのソフトウェアすべてに、一行もMS製のソフトウェアを使って書かれたコードが存在しなけりゃもう少し説得力あるのに、と毎度思うわ。
俺の昔のパッチまだコードに残ってるw
321:デフォルトの名無しさん
18/06/12 18:50:26.48 3QzXkyiE.net
もしかしたら最近の方々はストールマン知らんのかもな。
あのやり過ぎな時代感を感じたことない世代なのかも。
322:デフォルトの名無しさん
18/06/12 18:52:12.95 Do9HdhWt.net
>>316
やり過ぎな時代感って何？
もしよければおせーて
323:デフォルトの名無しさん
18/06/12 19:07:37.47 yK0gAcGX.net
やりすぎといえば、Linux訴訟の原告に資金提供してたんだよなMS
自分に火の粉が飛ぶ前にさっさと尻尾気ってうやむやにしたが
この辺の経緯知ってると、手のひら返して協調路線とかうさんくさすぎて信用しようがないのわかるだろ
324:デフォルトの名無しさん
18/06/12 19:08:55.32 3R48K+eC.net
>>317
GPL書いたり、LinuxをGNU/Linuxと呼ばないと許さんと言い出したり、
動きをトレースされるとカードキーが必要な建物に入らなかったり、
Emacsをforkさせたり、
子供作らない事は特であると宣言して、そのおかげでFSFを立ち上げたとか、
90年代いろいろやってた。
>>318
お前は技術の経緯をもう少し知ろうな。
325:デフォルトの名無しさん
18/06/12 19:09:20.10 3R48K+eC.net
80年代後半からか。
326:デフォルトの名無しさん
18/06/12 19:15:12.62 yK0gAcGX.net
>>319
技術の経緯って、つまりMSが邪悪なことしてることの自己正当化ってこと？
327:デフォルトの名無しさん
18/06/12 19:26:19.41 Do9HdhWt.net
>>319
とんくす
俺emacsは1997年から使ってて
gccとemacsを書いて携帯電話を持ってないヒゲ面教祖って認識しかなかったわ
328: GPLやFSFは今も昔も、俺にはさほど関係無いからスルーしてる Debianはslinkから使ってるからGNU/Linux呼称云々については知ってる まぁ、それくらいしか知らない ってアンタID:3QzXkyiE本人じゃないのなｗ
329:デフォルトの名無しさん
18/06/12 19:28:57.76 MFTVdSaI.net
昔からストールマンをホームレス扱いする連中が
いるよな日本には
330:デフォルトの名無しさん
18/06/12 19:40:30.61 yeRxVt4g.net
おまえらよってたかってガイジボコボコにするの好きやな
331:デフォルトの名無しさん
18/06/12 19:41:27.87 9Gk16+eS.net
>>319
今のOracleがそれな
332:デフォルトの名無しさん
18/06/12 19:43:12.44 3R48K+eC.net
>>321
邪悪かどうかは、お前の知識が足りない以上話しても無駄だろ。
知ったかXamarinとか、CommunityPromiseを知らない、起こり得ない特許行使だとか。
monoチームすらRMSに反論してたぞ。
333:デフォルトの名無しさん
18/06/12 19:44:25.12 3R48K+eC.net
>>325
可哀想なJava。
あのライセンスだと、フリーで企業ユース辛いよね。
334:デフォルトの名無しさん
18/06/12 19:46:10.26 3R48K+eC.net
>>322
ごめん、安価見てなかったわw
335:デフォルトの名無しさん
18/06/12 19:48:55.01 yK0gAcGX.net
>>326
お前のなかではXamarinはオープンだし.netの特許行使は起こり得ないんだろうな
そんなMSならもうちょい世界はまともだったろうに
まあ御大バカにしてる辺りお察し案件
336:デフォルトの名無しさん
18/06/12 19:56:25.85 spst6l0h.net
ID:3R48K+eCのID:yK0gAcGXへのレス、後半は内容噛み合ってなくて草
337:デフォルトの名無しさん
18/06/12 19:59:21.07 3R48K+eC.net
>>329
俺の中どころか、リポジトリ見てくりゃいいし、
CommunityPromiseの詳細読んでこいよ。
明文化されとるわ。この文書はLegally Bindingなのかとある。
日本語版もあるだろうから見てこいよ。
知らない時点でお察し案件だわ。
338:デフォルトの名無しさん
18/06/12 20:00:51.37 3R48K+eC.net
>>330
後半とはどこから？
339:デフォルトの名無しさん
18/06/12 20:03:34.19 spst6l0h.net
>>332
>>313
340:デフォルトの名無しさん
18/06/12 20:15:12.88 J1ZUu6GC.net
GPLはソース非公開でバイナリを売ることはできないけど
ソース自体を売ることはできるよね多分
紙に印刷して本屋で売ってもいいし電子書籍を売ってもいい
341:デフォルトの名無しさん
18/06/12 20:21:25.42 fcznt4bs.net
とりあえずTypeScript好きだからms好きになった人はいる。ここに。
googleもappleもMicrosoftもFacebookもすげーよ。
日本は駄目だな。
342:デフォルトの名無しさん
18/06/12 20:28:58.36 J1ZUu6GC.net
パクリを見下すと駄目になる面もあると思う
LinuxはUnixのパクリでC#はJavaのパクリ
でも合法ならもっとやればいい
343:デフォルトの名無しさん
18/06/12 20:33:01.79 3R48K+eC.net
>>333
そうかそうか。
344:デフォルトの名無しさん
18/06/12 20:39:37.85 eBLuW18G.net
>>307
アップデートの度にメニューの中身が変わるとこ
345:デフォルトの名無しさん
18/06/12 20:40:22.70 3R48K+eC.net
>>334
別に、ソースコードを売っても良いよ。
ただ一つの例外が、バイナリを配布してる場合にソースを求められた時。その時はバイナリを手に入れる方法と同じ方法で提供しないといけない。
ただ、売ってもいいけど、再配布される事にはなる。
相手が再配布するかどうかも自由なので、再配布されない事に納得した上で、相手が再配布しなくても、問題ない。
346:デフォルトの名無しさん
18/06/12 20:41:09.54 3R48K+eC.net
同じ方法、はおかしいな。
同じ方法か、それ以下の労力で、だな。
347:デフォルトの名無しさん
18/06/12 20:46:04.93 0iNerknO.net
エンジニアってマジで信仰するエンジニアの思想をまるごとトレースしようとする奴いるよな
何の根拠も理由もなくMSは邪悪だとかVim/emacs使えない奴はダメとかメインOSがLinuxじゃない奴はエンジニアじゃないとか言い出す奴はてブあたり大勢いる
348:デフォルトの名無しさん
18/06/12 20:50:52.49 zYkKVrSv.net
GPLの問題は、プラプラ憎しで主張が頭おかしくなってる事だけじゃなく
技術的にもプラプラに劣っててハッカー目線でもダサい所だね
349:デフォルトの名無しさん
18/06/12 20:51:24.56 zYkKVrSv.net
GPLっつーかGNUね
350:デフォルトの名無しさん
18/06/12 20:56:02.42 SAMUGOdn.net
もしかしてプロプラ？
それともc++憎まれてる？
351:デフォルトの名無しさん
18/06/12 21:22:11.78 8bLZqDx4.net
RMSは技術者としては素晴らしいが思想は誰よりもヤバいだろ
352:デフォルトの名無しさん
18/06/12 21:33:38.38 IAutL+/9.net
GitHub買収の件でMSが叩かれてるけど
GitHub運営の方は叩かれてないのが不思議
353:デフォルトの名無しさん
18/06/12 21:36:07.66 CAuScXJI.net
>>346
誰がどう叩いてるの？
354:デフォルトの名無しさん
18/06/12 21:57:26.87 +/Fk+Q4J.net
>>338
このあたりでも読んどけ
電卓の話
URLﾘﾝｸ(nyaruru.hatenablog.com)
355:デフォルトの名無しさん
18/06/12 22:54:46.17 3R48K+eC.net
しかし、Xamarin、ひいてはmonoが何故MITライセンスに移行できたかわからんのかな。
今まで「静的リンクするならGPL適用か個別ライセンス契約ね」という形でライセンス料を取ってたのが、MSに買収されたことで取る必要無くなった事がメインだぞ。
この件に関してはMSを悪く言える部分あんま無い。
356:デフォルトの名無しさん
18/06/12 23:36:29.05 Eo3Y5weZ.net
プログラマってのは豆知識でマウントとるのをやめられない性分なのかね
とっとと次世代言語rustの話に戻ろうよ
357:デフォルトの名無しさん
18/06/12 23:44:42.39 pp/l+ouT.net
プログラマがっていうより、やってる奴の個性でしょ
次世代言語Juliaの話がしたいな～
358:デフォルトの名無しさん
18/06/13 00:18:37.08 o5o0Sr8V.net
全然関係ないけど、現世代言語Pythonの最大の欠点はコマンドラインの呼びにくさとCインターフェースの複雑さだと思うわ
359:デフォルトの名無しさん
18/06/13 00:36:13.50 QT3byE7R.net
>>348
それて変えてバグ作ってたよね
電卓にまでバグ仕込めるなんて流石だと思ったわ
360:デフォルトの名無しさん
18/06/13 00:39:47.41 7QVOm6yC.net
>>341
いるいる
そうかなり重度のがね
361:デフォルトの名無しさん
18/06/13 01:00:24.46 YQb1AaAX.net
旧世代言語のRubyユーザーあるいは作者にとって
危険な話をしているな
362:デフォルトの名無しさん
18/06/13 01:48:35.77 vB7plW9Y.net
>>337
うわあ……
363:デフォルトの名無しさん
18/06/13 06:57:42.27 rrNH2Ql7.net
そういえばTypeScriptの仕様が逆にESに採用されたりする事例ってあるの？
そういう話を人伝いに聞いたんす
364:デフォルトの名無しさん
18/06/13 07:52:04.95 Y8lO4wwX.net
MSはESの仕様策定に参加してるから、TSES双方に入るべきものは最初から入る
asyncなんか誰がどう見ても完全にMS方式でしょ
365:デフォルトの名無しさん
18/06/13 09:32:57.58 a0BXTlX1.net
>>353
つまりAppleはすごいって事か
iOS 11の計算機に「1+2+3」の答えを「24」と表示するバグの存在が判明
URLﾘﾝｸ(gigazine.net)
366:デフォルトの名無しさん
18/06/13 10:11:06.20 QT3byE7R.net
>>359
もちろんそのとおり
367:デフォルトの名無しさん
18/06/13 10:52:34.74 XNOStVYj.net
>>345
その思想のお陰でGPLが世に出たんだが？
そもそも全部理にかなってる考えだろ
368:デフォルトの名無しさん
18/06/13 18:32:46.09 ZG1tKMhH.net
理にかなっているかどうかは個人の主義信条でしか無いんだし、
すり合わせようと思っても無駄なんだから、言語の話に戻せばよかろう。
どの言語のどのライセンスがいかん、という話なら妥当だったけど、それに関して何か問題残ってる？
369:デフォルトの名無しさん
18/06/13 19:09:27.48 0bQnTTNc.net
思想が誰よりもヤバイとかあのさぁ
なんで海の向こうの偉人を捕まえて気軽に語っちゃうのかなぁ
本人のことなんざたいして知りもしねえのに
370:デフォルトの名無しさん
18/06/13 19:35:08.27 J1kLFVAI.net
今日からrustのプロジェクトを始めたぞ
371:デフォルトの名無しさん
18/06/13 19:39:28.99 fx/c82m6.net
MSにヘイトを向けるならRMSにヘイトが向けられることは覚悟しておくべきだ
少なくともMSが最高だなんていう奴は居ないが, RMSはどうだ？
372:デフォルトの名無しさん
18/06/13 19:39:49.42 iPfYKXHJ.net
>>358
ごめん書き方間違えた。
ESでこういう仕様を入れようってしたら、
TS側にいれるのが困難だから不採用みたいな感じで、TSの仕様がESの仕様決めに影響を与えたって話
373:デフォルトの名無しさん
18/06/13 19:44:37.76 OYUC5FPJ.net
>>366
TypeScriptはGoogleも社内でバリバリ使ってる言語なんだから別に不思議はないだろ
MSとGoogle合わせてシェア過半数あるから意見が一致すればそりゃ通るだろうな
374:デフォルトの名無しさん
18/06/13 19:52:24.15 fx/c82m6.net
TSの機能追加の条件は結構厳しい
型システムを除いてES部分の拡張に僅かでも引っかかるものは軒並みrejectされてる
375:デフォルトの名無しさん
18/06/13 20:16:03.76 BPceJn44.net
実装の難しさではなく会議の難しさを解決するのはそれこそ思想家の仕事だ
376:デフォルトの名無しさん
18/06/13 22:17:40.49 x61p1oYZ.net
VSCodeがないとフロントエンド実装できない体にされてしまったので
これからはMSのケツ穴あへあへ舐めながら生きていくしかないんだお・・・つらお・・・
377:デフォルトの名無しさん
18/06/13 22:31:54.23 rrNH2Ql7.net
lspが進んだ世界では必ずしもvscodeに頼らなくていいはず。
378:デフォルトの名無しさん
18/06/13 22:50:34.10 x61p1oYZ.net
.vscode/settings.jsonが神すぎるんだお
なぜあの当たり前ができないのか
3秒に10回はクラッシュするEclipseとか
ゲキ重糞出方Intellijとか
設定ファイルクソすぎでしょ
あんな俺が鼻くそほじりながら逆立ちしてドリルウンコ逆流性食道炎してる暇に足の小指の水虫でできるレベルのクソみたいなクソ
ｶﾞｲｼﾞでしょ
379:デフォルトの名無しさん
18/06/13 22:52:42.58 2d72wPTB.net
すまん、Vimで良くね？
380:デフォルトの名無しさん
18/06/13 22:55:43.45 x61p1oYZ.net
>>373
ビビビビ ビームwwwwwwwwwwwwwwwww
ｸｿｸｸｿｸｿｶﾞｲｼﾞwwwwwwwwwwwwwwwwww
未だにチンコインサートモードパイルダーゲッターオォーーーーーンアォン！！！！
とか言ってるのか！？！？！？頭が逝ってるのか？！？！？！？！
ば～～～～～～～～っかじゃねえの！？
おいクソばか
おまえビームのコマンドでしりとり何個言えるか逝ってみろよガイジ！ガイジ！ガイジ！
381:デフォルトの名無しさん
18/06/13 22:59:44.78 TfmQvtMK.net
Foってのがでてるな
Functional Goらしい
382:デフォルトの名無しさん
18/06/13 23:00:55.96 x61p1oYZ.net
ごめん。ちょっと頭がおかしいみたい。疲れてるんだきっと。
毎日毎日毎日プログラムを書くばっかり。
貯まった金はクソブサイクな風俗女にしゃぶらせるためだけに消える。
俺なんのために生きてるんだろう。
383:デフォルトの名無しさん
18/06/13 23:14:50.70 EkE3BqLq.net
>>376
も少し貯めて可愛い子にすればいいのに。
384:デフォルトの名無しさん
18/06/13 23:22:31.25 2d72wPTB.net
>>377
なんやこいつきっしょ
385:デフォルトの名無しさん
18/06/13 23:41:49.86 rrNH2Ql7.net
>>375
これなんなん？
トランスパイラ？
386:デフォルトの名無しさん
18/06/14 00:06:29.12 3ZpZ3Y7F.net
まあemacsにすべきだな
387:デフォルトの名無しさん
18/06/14 00:12:50.29 /XuMY1jT.net
なんで旧世代スレになってるんだよ
いい加減にしろよ老害ども
388:デフォルトの名無しさん
18/06/14 00:23:31.55 iGgsGNS1.net
じゃあオブジェクト指向を関数型で駆逐する方法を語ろう
次世代的だろう
389:デフォルトの名無しさん
18/06/14 00:34:33.55 /66BxFoU.net
1970年代からある関数型が次世代的とは
390:
18/06/14 00:45:04.92 V5ffjU05.net
>>383
lisp が関数型であるとすれば、最古から関数型はあるわけで
391:デフォルトの名無しさん
18/06/14 00:58:31.36 I/1jymok.net
>>381
24歳のVim信者で本当にすまん
392:デフォルトの名無しさん
18/06/14 01:06:05.81 /XuMY1jT.net
>>385
心が老害とか一番かわいそうなﾊﾟﾃｨｰﾝじゃん
かわいそ、かわいそ
393:デフォルトの名無しさん
18/06/14 01:06:09.33 aikvVsPl.net
僕はnano派です…
394:デフォルトの名無しさん
18/06/14 01:09:40.70 I/1jymok.net
>>386
Vimコマンド駆使するより素早く編集する方法なくね？
あったら乗り換えるが
395:デフォルトの名無しさん
18/06/14 01:11:59.75 /XuMY1jT.net
テキストエディタで完結するレベルの土方仕事しかしてないんなら、素早い（笑）んだろうな
396:デフォルトの名無しさん
18/06/14 02:07:29.11 QWAhFsNz.net
プロはバイナリエディタですか。
397:デフォルトの名無しさん
18/06/14 02:11:18.15 kxFGuLJW.net
IDEじゃないと書きたくない言語と
そうでもないのがある
398:デフォルトの名無しさん
18/06/14 02:19:17.11 cWETZ475.net
URLﾘﾝｸ(github.com)
Foってこれか。米麺食いたくなる名前だな
Emacs信者の俺が純粋に聞きたいんだけどVSCodeのどこらへんがいいの？
399:デフォルトの名無しさん
18/06/14 02:42:00.14 FQRn1x4J.net
Functional GoでFoなのか
日本人だったらFGOとかにしそうだな
エディタやIDEなんてラーメンみたいなもんだろ
人のおすすめ聞くより使ってみる方が早い
400:デフォルトの名無しさん
18/06/14 03:01:24.53 BlJjVFjE.net
Foはジェネリクス対応してるのな
もうこっちでいいんじゃねw
401:デフォルトの名無しさん
18/06/14 05:34:03.84 rNsEgud7.net
>>392
やっぱりトランスパイラみたいね。
出力されるコードが変なものじゃなければ、ありな気がする。もともと実験的な意味合いが強いからなー。
402:デフォルトの名無しさん
18/06/14 07:21:11.85 1FD9Rath.net
なるほど面食い連中に使ってもらって実験台になってもらおうという言語かw
403:デフォルトの名無しさん
18/06/14 08:32:53.42 /+iGXOgq.net
>>392
カスタマイズ無しでそれなりに使えるところかな？
素のemacsで開発できる？
404:デフォルトの名無しさん
18/06/14 08:44:49.52 WCuYXmy1.net
カスタマイズがないエディタ
cssとjsがないホームページ
次世代はこういうのでいいんだよ
405:デフォルトの名無しさん
18/06/14 09:05:36.49 PNz+UpBO.net
ドカタの知能は昆虫以下だからカスタマイズとか出来ないもんなぁ
それは理解できるけど人間様に同意を求めないで欲しい
違う生き物なんだから
406:デフォルトの名無しさん
18/06/14 11:59:10.86 Ko7syfoN.net
ただまあ、カスタマイズしないと使い物にならない、と、
カスタマイズいくらでも出来る、はまた別だからな。
VSCodeに関しては、吊るしで割と使えて、拡張機能で相当便利になって、
めちゃくちゃニッチなものなら自作もできる分、
割といいと思うよ。
生粋のemacsユーザみたいにemacsでメールチェックも何もかも済ませちゃう所までは行かないし、今更誰も求めないだろうけど。
407:デフォルトの名無しさん
18/06/14 12:28:53.86 P5fuOjM/.net
エ、エディタで人の知能判断するのか………
宗教戦争がなくならないわけだ
408:デフォルトの名無しさん
18/06/14 12:29:31.01 P5fuOjM/.net
>>399宛ね
409:デフォルトの名無しさん
18/06/14 12:50:39.82 WCuYXmy1.net
証拠で判断する
知能が低い証拠や高い証拠
戦争も強さを立証するためにやってる
410:デフォルトの名無しさん
18/06/14 15:34:54.59 mjADD9X6.net
そのエディタはお前が作ったのか？
使ってる道具を知能の証拠にするとかいいの？
ましてや戦争レベルにスケールアップするとかさあ…
411:デフォルトの名無しさん
18/06/14 15:38:59.76 YeJ15JhN.net
伝統あるエディタ戦争に水を差すんじゃない
412:デフォルトの名無しさん
18/06/14 16:53:15.33 NpVTsnTs.net
少なくともメモ帳やEclipseやAtom使ってるやつの知能は心配していいと思う
413:デフォルトの名無しさん
18/06/14 17:10:56.98 +kcaC1Qb.net
ファイルサイズでかいと途端に無能になるエディタが多くてなあ
モダンなエディタでまともに動くのはsublimetextくらいだわ
414:デフォルトの名無しさん
18/06/14 18:24:40.70 wcpmGYym.net
RstudioはIDEに入りますか？
415:デフォルトの名無しさん
18/06/14 18:26:59.95 mjADD9X6.net
atomは重すぎないかあれは
俺がクソザコpcだからなのかあれは
416:デフォルトの名無しさん
18/06/14 18:31:50.48 SuE0K3xo.net
Electron製エディタなんて重くなって当たり前なところはある
417:デフォルトの名無しさん
18/06/14 18:42:50.92 Eyj4NuVh.net
ElectronだからってAtomのもっさり感は大概だと思うけどなぁ
VSCode使ってたら尚の事
418:デフォルトの名無しさん
18/06/14 18:45:30.85 Cyktia16.net
>>411
大概？
419:デフォルトの名無しさん
18/06/14 20:34:53.45 wcpmGYym.net
おまえらIDE使う時って立ち上げっぱなし？
420:デフォルトの名無しさん
18/06/14 20:44:46.79 l5PwHyNK.net
>>413
？
421:デフォルトの名無しさん
18/06/14 20:58:02.94 1FD9Rath.net
真のプログラマはedでコードを書く
422:デフォルトの名無しさん
18/06/14 21:28:49.77 oDcGUxHl.net
早いところreact-nativeで、再実装されたvscode見てみたいな。最近のマイクロソフトのRN推しはなかなか良い。
423:デフォルトの名無しさん
18/06/14 21:34:51.94 fquFAO/V.net
完璧なプログラマならcatで十分
424:デフォルトの名無しさん
18/06/14 21:37:57.29 oDcGUxHl.net
>>417
youtubeでいいからデモってみてよ
425:デフォルトの名無しさん
18/06/14 22:06:46.68 1UAOBXCc.net
真のプログラマー（）
URLﾘﾝｸ(imgs.xkcd.com)
426:デフォルトの名無しさん
18/06/14 23:23:01.61 /XuMY1jT.net
Goは「エンター押してGo！」って標語通りのコンパイル速度目指したあれだろ
トランスパイラなんか噛ませて「エンター押してコーヒーブレイク！」じゃアカンでしょ
427:デフォルトの名無しさん
18/06/14 23:53:16.06 hwojb2A8.net
>>420
go自体早くなってきてるし一段トランスパイラ噛ませても早いのでは？
428:デフォルトの名無しさん
18/06/15 00:04:39.58 pycx7Kea.net
型推論とジェネリクスが入るとどうやっても遅くなるんでない？Fo試してないけど。
429:デフォルトの名無しさん
18/06/15 00:07:41.96 /HLz/tc5.net
>>422
なぜ型推論で？
430:デフォルトの名無しさん
18/06/15 00:09:30.32 U6uE1uLz.net
>>421
エンター押してGoのためにゲネリクスまで捨ててるのに
それ捨てたら捨てるものしか残らないゴミ箱になるだろ
431:デフォルトの名無しさん
18/06/15 00:33:51.36 inBQ+d9i.net
いやだからgo本体に組み込まれるよりかトランスパイラで実験的に使ってもらったほうがいいってことでしょ。
432:デフォルトの名無しさん
18/06/15 00:36:28.20 U6uE1uLz.net
いやだからエンター押してGoなんだよ
ばかか？
433:デフォルトの名無しさん
18/06/15 00:37:49.96 6T3qrZy1.net
旧世代言語はどうでもいいですから
434:デフォルトの名無しさん
18/06/15 00:38:51.14 inBQ+d9i.net
なんだ日本語の通じない人か。
435:デフォルトの名無しさん
18/06/15 05:22:22.21 +Xdq4kdc.net
コミュ力重視棒で殴ってばかりで代案を出さないのが普通の日本人
436:デフォルトの名無しさん
18/06/15 05:28:09.92 +Xdq4kdc.net
いちいち代案を出してくるポリコレ棒よりも酷い
437:デフォルトの名無しさん
18/06/15 06:38:19.10 9A1mO1AX.net
そもそもgoにジェネリクス入れないとは行ってないぞ。faq見ろや。むやみに希望通りに機能追加したくないだけ。
phpみたく投票で決めてうまく行った例をみない
438:デフォルトの名無しさん
18/06/15 06:51:25.85 ymZBnmIf.net
Haxe(ヘックス)はOSSで、JSに型チェックを付けたような言語で(altJS)、
JS(ES5), Flash, PHP, C++, Java, C#, Python, Lua に書き出せる
インストールしてみた。楽しみ
439:デフォルトの名無しさん
18/06/15 10:34:51.24 uIGrLsPa.net
共同ツール 1
URLﾘﾝｸ(seleck.cc)
URLﾘﾝｸ(trello.com)
ボードのメニュー → Power-Upsから拡張可能 Slack DropBoxなど
Trello Chrome拡張機能 elegant
URLﾘﾝｸ(www.kikakulabo.com)
trelloのオープンソースあり
共同ツール 2
URLﾘﾝｸ(www.google.com)
共同ツール 3
URLﾘﾝｸ(slack.com)
URLﾘﾝｸ(www.dropbox.com)
URLﾘﾝｸ(bitbucket.org)
URLﾘﾝｸ(ja.atlassian.com)
URLﾘﾝｸ(www.sketchapp.com)
URLﾘﾝｸ(photoshopvip.net)
URLﾘﾝｸ(goodpatch.com)
Trello Chrome拡張機能プラグイン集
URLﾘﾝｸ(chrome.google.com)
Slackプラグイン集
URLﾘﾝｸ(slack.com)
Sketchプラグイン集
URLﾘﾝｸ(sketchapp.com)
URLﾘﾝｸ(supernova.studio)
440:デフォルトの名無しさん
18/06/15 19:08:38.72 yN1Te8e7.net
>>431
多数決がロクでもないのは本当にそう思うわ
Linusほどとは言わないがBDFLが方向性と重要な決定で決断するのは本当に重要
441:デフォルトの名無しさん
18/06/15 19:19:52.68 f9VZR6vf.net
最近はRust風のRFCベース開発が増えてるが
これはどうなんだ？
正直発端のRustがゴミなんでこの方法も多数決と大差ないゴミだと思うんだが
442:デフォルトの名無しさん
18/06/15 19:49:49.25 jzThxFVz.net
>>269
RustがゴミだからRCFもゴミという理屈を通すなら
RCFがゴミだからインターネット技術も全てゴミということか
ネット技術を否定するとはたまげたなぁ
443:デフォルトの名無しさん
18/06/15 19:54:31.63 jzThxFVz.net
>>436
訂正
>>269 → >>435
444:デフォルトの名無しさん
18/06/15 20:45:14.15 Ue/0Tw3y.net
Request For Comment
445:デフォルトの名無しさん
18/06/15 20:51:19.95 6FhApNwO.net
Request Comment For internetsだろ。
446:デフォルトの名無しさん
18/06/15 21:00:01.61 jGQZ3J4p.net
Rustがゴミだというのは要出典だが
1人か数人程度で書いた出典が多数派より強いなら多数決ではない
447:デフォルトの名無しさん
18/06/15 21:43:27.34 U6uE1uLz.net
マスカキ・ラスマス・豚ラードみたいなクソガイジが作ってるガイジ専用PHPoorは
今すぐ死ね
今すぐにだ
448:デフォルトの名無しさん
18/06/15 21:44:51.73 U6uE1uLz.net
Rustがゴミなら
さしずめPHPは放射線汚染汚物だな
存在自体が害悪
449:デフォルトの名無しさん
18/06/15 21:51:29.71 OI0SVvSb.net
その場合は放射線じゃなく放射能では？
言葉は正しく使いましょう。
450:デフォルトの名無しさん
18/06/15 21:53:44.43 6FhApNwO.net
放射能に汚染されるとかあるの？
放射線を当ててDNA傷つけるとかはあるけど。
451:デフォルトの名無しさん
18/06/15 22:07:03.48 u44Z15QL.net
放射能を取り込んだら常に放射線を受けるようになる。これを汚染という
452:デフォルトの名無しさん
18/06/15 22:13:02.74 jGQZ3J4p.net
文書を管理し公開すれば質問に答える手間が省ける
独裁者は効率が良いというが、文書管理ができない独裁者は効率が悪い
453:デフォルトの名無しさん
18/06/15 22:13:49.24 6FhApNwO.net
>>445
放射性物質と間違えてないか？
454:デフォルトの名無しさん
18/06/15 22:24:16.62 QgEB8ssa.net
>>447
「放射能漏れ (放射性物質が意図せず外部に流出すること)」など、
放射能という言葉で放射性物質を意味することが我が国では頻繁にある
455:デフォルトの名無しさん
18/06/15 22:29:57.45 6FhApNwO.net
>>448
なんと！
日本語審査会で審議しないといけないな。
456:デフォルトの名無しさん
18/06/15 22:31:43.92 6FhApNwO.net
放射能とは放射線を発する能力のことだよな。
それなのに、放射性物質漏れを放射能漏れと言うとは、原発村は朝鮮部落じゃないのか？
日本語全然ダメじゃないか。
457:デフォルトの名無しさん
18/06/15 22:56:31.11 XWxsNfSe.net
class 物質 {
放射能 : Double
onRecv(r: 放射線) {
var a = is放射性物質()
放射能 += calc(this, 放射線)
if(a != is放射性物質()){ on放射化() }
}
on放射化(){
}
is放射性物質(){
return 0 < 放射能
}
onTick() : 放射線 {
return 放射性崩壊()
}
}
458:デフォルトの名無しさん
18/06/15 22:57:24.63 HyPg0ex9.net
もっと関数型みたいに言ってよ
459:デフォルトの名無しさん
18/06/15 23:26:24.39 pqHqgTWj.net
関数型なら放射能の基底値最低値みたいなものがあればモノイドやモナドに出来るはず
460:デフォルトの名無しさん
18/06/16 00:22:45.39 nddTsUkO.net
開発のオッチャンが
ポンコツになって病んで
いつの間にか復帰したと思ってたら情シスに異動してて
クソみたいなノーパソのセッティングとかするだけのマシーンになってた
おまえらもいつかああなるんだな
461:デフォルトの名無しさん
18/06/16 00:38:54.86 jT+SN6fe.net
>>436
誰だよRFCをRCFと書いたバカは？
あ…俺か…
疲れてるんだよきっと…
462:デフォルトの名無しさん
18/06/16 01:09:58.22 nddTsUkO.net
Rust Flied Chiken
463:デフォルトの名無しさん
18/06/16 06:58:14.17 WLiJCHLB.net
>>454
楽そうで良さそう
464:デフォルトの名無しさん
18/06/16 07:05:02.10 YcKtw1Mu.net
関数型も注目された結果色々なエッセンスがそうでない多くの言語に取り込まれたけど依存型線形型は難しくて部分的な取り込まれ方もしなそうという気持ちがある
純粋に難しいのもあるし実務を見据えると煩雑すぎる
465:デフォルトの名無しさん
18/06/16 07:57:54.56 /RucSVBT.net
型の話をするなら動的型と静的型に分ける
型の話をするならHaskellとTypeScriptは似たもの同士である
466:デフォルトの名無しさん
18/06/16 08:49:47.24 nUM7bao2.net
TypeScriptみたいなド型とHaskellの型システムを一緒にしないでくれる？
467:デフォルトの名無しさん
18/06/16 09:00:12.20 Ws4rvThP.net
TypeScriptは構造的部分型
クラス定義の見た目が似ているだけで、Java系のド型とは実は概念的に全然違う
468:デフォルトの名無しさん
18/06/16 09:30:23.46 /RucSVBT.net
型チェックと値チェックを一緒にするのは動的型なら簡単に思いつくこと
依存型が難しいというのは静的型が難しいだけのこと
469:デフォルトの名無しさん
18/06/16 09:50:04.68 VCIrJNT8.net
>>460
はいはいHaskellは至高至高。
470:デフォルトの名無しさん
18/06/16 11:17:22.13 4s/pndVS.net
>>454
クソコード書いてメンテ不能状況作るよりかそっちのがよっぽど建設的だわ。
471:デフォルトの名無しさん
18/06/16 11:35:20.13 zhL2QVJX.net
逆に言うと、建設的なことをやらない理由は、やったら差別されるから
差別があるから非効率的になる
472:デフォルトの名無しさん
18/06/16 11:42:05.87 nddTsUkO.net
ド型ﾜﾛﾋﾟｵ大草原パークwwwwwwwwwwwwwwwwwwwww
473:デフォルトの名無しさん
18/06/16 11:43:12.41 nddTsUkO.net
>>465
たかしに
あんな惨めなポジで会社にしがみつくとか情けなさすぎて俺なら絶対できねえ
474:デフォルトの名無しさん
18/06/16 11:59:56.47 YcKtw1Mu.net
>>462
静的に値チェックがカリーハワード同型対応の下で示せるのが依存型のうれしさなので動的型で簡単と言われてもそれは不完全性としか聞こえない
475:デフォルトの名無しさん
18/06/16 12:51:53.05 zhL2QVJX.net
PythonもHaskell�
476:熨S部やれば完全になるのに 同型対応というなら少なくとも2つの具体例を比較する必要がある 1つでは足りない
477:デフォルトの名無しさん
18/06/16 12:55:37.34 gbp3I8hq.net
どうしてポンコツになったのか
478:デフォルトの名無しさん
18/06/16 12:59:10.88 q1gUWLEE.net
人間はねぇ簡単に壊れるんだよ。
そして壊れたらまず戻せない
479:デフォルトの名無しさん
18/06/16 14:07:04.14 z7/sTfN7.net
カリーハワード同型対応も知らないのに型を語るのかぁってなってる
480:デフォルトの名無しさん
18/06/16 15:03:43.59 jT+SN6fe.net
最近、依存型と線形型について勉強し始めたんだけど、
依存型と線形型の両方が使える言語ってATS2以外に何かある？
481:デフォルトの名無しさん
18/06/16 15:09:40.70 XlvliOa0.net
なんのこれしき
なんの小錦
482:デフォルトの名無しさん
18/06/16 15:17:18.76 z7/sTfN7.net
>>473
idrisは？
483:デフォルトの名無しさん
18/06/16 15:47:39.71 jT+SN6fe.net
>>475
idrisって依存型はあるけど線形型もあるの？
依存型については何となく分かってきたんだけど、
線形型についてはまださっぱりなんだよね…
Rustの所有権とはまた違う概念なの？
484:デフォルトの名無しさん
18/06/16 16:21:38.95 z7/sTfN7.net
>>476
そのものはないけどuniquenessとborrowedがある
rustの所有権もその辺りに基づいてはいる
そのものはHaskellで提案されているくらいであとは自前実装しかないかなぁ
485:デフォルトの名無しさん
18/06/16 17:37:25.12 jT+SN6fe.net
>>477
勉強用なんで「そのもの」が欲しいんだよね
てか、ATS2の線形型はそのものだと思っていいんだよな…？
名前は線形型だけど実際には線形型擬きでしたじゃ勉強用としてちょっと…
486:デフォルトの名無しさん
18/06/16 19:52:58.92 XHjnJq29.net
依存型いいよな。もっと広まって欲しいわ
487:デフォルトの名無しさん
18/06/16 19:56:08.96 cPCRxKLM.net
何言ってんのかまじでわからねー。
そんなの仕事で出てこないが、ほんとに使うのそれ？研究目的？
488:デフォルトの名無しさん
18/06/16 20:06:37.58 XHjnJq29.net
依存型は全然ないから仕事で使いたくても使えない。悲しい
489:デフォルトの名無しさん
18/06/16 20:15:19.03 k0jzpoBN.net
>>478
ATS2はそのものと思って良いはず
490:デフォルトの名無しさん
18/06/16 21:49:25.70 mQZr9011.net
TS程度あれば十分だろ
TS以下はゴミだが
TS以上は学習コスト高い
491:デフォルトの名無しさん
18/06/16 22:12:06.44 XHjnJq29.net
学習コスト云々言うんならJavaのオブジェクト指向も大概学習コスト高いと思うわ
正直モナドと同じくらいやろ（適当）
そんな学習コスト高いものも全力で教育すればなんとかドカタでも使えるようになるんだし、概念が広く知られて本さえ出れば次世代言語の中心概念になってても大丈夫だと思う
492:デフォルトの名無しさん
18/06/16 22:30:32.27 jT+SN6fe.net
>>482
Thanks!
じゃあ、やっぱりATS2で勉強するわ
>>480
現状じゃまだ研究の段階だろうね。5年後は分からんが…
とは言え、5年後でも使ってるのはほんの一部の企業だけだろうな…
日本語の書籍が大量に出回るようなレベルにならない限りはほとんどの企業はどうせ使わない
493:デフォルトの名無しさん
18/06/16 23:47:44.87 4s/pndVS.net
そもそもやってるやつの目的が
やってないやつが多い概念のがマウント取れるってことだからな。
そりゃ流行らんわ
494:デフォルトの名無しさん
18/06/16 23:59:04.83 XHjnJq29.net
なんやその目的
単純にコードの重複削って短くしたいだけやぞ
495:デフォルトの名無しさん
18/06/17 00:04:06.00 WrHoE2Bg.net
で、短くかけるぜってどやりたいだけだろ。
だからなぜ短く書くことに意味があるのか少し考えてみろと思うわけだ。
496:デフォルトの名無しさん
18/06/17 00:12:37.76 Zsovn15r.net
短く書けたらコード書き始めから書き終わりまでの時間が短くなるし、拡張が楽になる場合も多い
497:デフォルトの名無しさん
18/06/17 00:16:24.79 erltHdM+.net
依存型は短くするための機能というよりバグを減らすための機能だと思うが
498:デフォルトの名無しさん
18/06/17 00:19:07.06 Zsovn15r.net
ID:4s/pndVSは依存型の話というより関数型とかの技法一般のこと話してると思うし……
499:デフォルトの名無しさん
18/06/17 00:47:57.66 GmOBMD4N.net
仮にマウント目的ならそれは生産というより消費
高級な車や時計を買うようなもの
そういうのは無意味だとして質素倹約を推奨する意見は大昔からある
500:デフォルトの名無しさん
18/06/17 00:56:52.43 u2X2MJCJ.net
確かにmizchiみたいなのが鬱陶しいのはわかるけどさぁ
それと技術評価は切り離して考えないとだめでしょうよ
501:デフォルトの名無しさん
18/06/17 01:02:17.83 erltHdM+.net
2,30年位前もきっとオブジェクト指向なんて研究者のオモチャで
実務では必要ないって騒いでた奴がいたんだろうなぁ…
502:デフォルトの名無しさん
18/06/17 01:25:47.44 TG/aPZPS.net
間口は広くしてるけど、言語仕様的は可能でもやっちゃいけないことが多くて後々困るのがOOP
503:デフォルトの名無しさん
18/06/17 03:11:46.16 cij7m28f.net
効率にしろ何にしろ例え多少良くなるからと言って新しいもの作る時
その学習コストもそろそろ計算に入れてもらわないと困る
コード多少短く書けるからと言ってまた1からの学習コストもキツい、
504:デフォルトの名無しさん
18/06/17 03:20:04.64 Zsovn15r.net
大丈夫。良いものはそのうち良書が出て学習コストは下がる
深層学習の学習コストが二年前と今で全然違うように。
学習コストを気にする人は新しい物に飛びつかないほうが良いよ。そのうち良い解説本が出るから
505:デフォルトの名無しさん
18/06/17 08:05:48.87 p2Sm4Lro.net
依存型って何に使うのこれ
TSの文字リテラル型みたいなやつかね
506:デフォルトの名無しさん
18/06/17 08:38:14.11 wAOriGtt.net
依存型をド型で例えるのやめれ
507:デフォルトの名無しさん
18/06/17 08:41:46.19 4b7uuLRW.net
言語仕様棒で叩き合え
508:デフォルトの名無しさん
18/06/17 09:51:43.75 WRt6LELS.net
>>485
それって本当に幸せになれる仕組みなの？
それならわかりやすく説明頼む。
一人でちまちま作るようなものなら、
学習コスト高くても構わないけど、
現実問題として人材不足だからな。
TypeScriptエンジニアすら不足気味でC#とかCのエンジニア入れたり趣味でしか触ったことないエンジニア入れたりしてる
509:デフォルトの名無しさん
18/06/17 10:05:40.01 erltHdM+.net
>>501
人材不足なら人材集めろよ…
なんで人材不足の対処として新しい技術を求めようとしてるんだよ…
新しい技術なら当然それを使える人も少ないんだから
んなもん人材不足の現場に持ち込んだらますます人材不足なるだけだろ…
何がしたんだお前？
510:デフォルトの名無しさん
18/06/17 10:52:36.75 4b7uuLRW.net
人材不足を解消する未来テクノロジーX-men～Silver Dan-Gan～を求めてるんだろ
511:デフォルトの名無しさん
18/06/17 11:13:15.20 a73jVlJK.net
TypeScriptとC#に互換性がないのは冗長でありDRYに反する
ATSは他の言語に似ていないので冗長ではない
512:デフォルトの名無しさん
18/06/17 11:37:42.31 Rc+TyNTC.net
学習コストって、別に新言語のコストだけではなくて、
今動いてる、ずっと保守されてきたソースを新人に保守できるように教育するのも学習コストだからな。
どっちに振るかの問題だと思う。新しい言語に(その学習コストを払うほど)興味がない人にとっては。
言語好きはその学習コストを手弁当で補いがちだけど、それも本来はちゃんと計上すべきだと思うんだけどなぁ。
513:デフォルトの名無しさん
18/06/17 12:31:38.21 aJjY8hhI.net
>>505
>>497だよ。そもそもこのスレは「次世代」を銘打ってるんだから、対象の情報ソースがまだ少なくて学習コストが高いのは当たり前
ここはあなたのような人が見るべきスレじゃない
514:デフォルトの名無しさん
18/06/17 15:14:55.67 NZRREY9d.net
TypeScript, ES2015 は、学習コストが高い。
大規模開発に向く、きれいな言語仕様は、Haxe
初めてのJavaScript 第3版 ―ES2015以降の最新ウェブ開発、オライリー、2017
上を読めば、愕然とする。
皆、下のサイの表紙の、サイ本で苦しんだろ。それと同じ
JavaScript 第6版、2012、David Flanagan
515:デフォルトの名無しさん
18/06/17 15:28:49.00 Wo64nPZg.net
上と下じゃ全然レベル違うがｗ
下はともかく上で苦しんだんならはっきり言って才能無いからやめるといいよ。
同じとか笑うわｗｗ
お前が何を読んでも理解できないだけ。
そりゃお前にとっちゃ何でも「同じ」だわな。
等しく理解できないｗｗｗｗ
516:デフォルトの名無しさん
18/06/17 15:29:16.42 4b7uuLRW.net
ハクセなんてくさそうな言語聞いたこともねーぞバーカ
517:デフォルトの名無しさん
18/06/17 15:34:02.21 iWNJr2Uz.net
プログラミングできない奴ほど新興言語に飛び付くよね RustやらDやら
本当に分かってるやつはJava8使う。これが真に次世代
518:デフォルトの名無しさん
18/06/17 16:08:32.26 4b7uuLRW.net
>>510
新しいことを学べなくなったド型ゲェジ老害じいさん
かわいそ
519:デフォルトの名無しさん
18/06/17 16:10:09.21 8e4AMBWv.net
>>510
URLﾘﾝｸ(i.imgur.com)
520:デフォルトの名無しさん
18/06/17 16:12:12.31 NZRREY9d.net
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 に似てる
521:デフォルトの名無しさん
18/06/17 16:19:53.70 iWNJr2Uz.net
>>511
>>512
現場知らん小僧に言われてもな……
522:デフォルトの名無しさん
18/06/17 16:22:09.07 iWNJr2Uz.net
「新しいものを導入しよう」とか脳死でわめくガキに現場しっちゃかめっちゃかにされる経験がないのか
それとも逆に現場ひっかきまわす側のガキなのか
次世代っていうのは目新しさで決めるもんじゃないだろ
523:デフォルトの名無しさん
18/06/17 16:22:47.73 SIx1eJMh.net
>>514
現場知ってるならJava8なんて出てこない
あ、奴隷かごめんね
524:デフォルトの名無しさん
18/06/17 16:24:24.84 aJjY8hhI.net
Dが目新しいってマジ？
525:デフォルトの名無しさん
18/06/17 16:28:42.12 iWNJr2Uz.net
>>516
5、6年後くらいのリプレイス時にJava8導入するかもしれないから互換性の下調べしてる段階な
お前のいう「現場知って」る奴ならどんな言語出すんだ？
まさかことりんとか言わんよな？
526:デフォルトの名無しさん
18/06/17 16:32:58.06 8e4AMBWv.net
このスレに上がってるような言語を実践投入する時はそら1990年代にJavaを投入した時のように慎重にいかないといかんでしょ
脳死での実践投入なんて発想が最初に出てくるとかガイジか。いや、ドカタだからそういう常識が欠けているのか。ごめんね？
527:デフォルトの名無しさん
18/06/17 16:33:35.47 yCU9+KnB.net
商用開発的に色んな側面考慮してJava8選択するのは特におかしいとは思わないけど
次世代呼びは流石に無茶やって
528:デフォルトの名無しさん
18/06/17 16:35:35.09 iWNJr2Uz.net
>>519
おまえさんは違うと思うが、
実際いるんだよ脳死実践投入主張するガキが……
529:デフォルトの名無しさん
18/06/17 16:38:30.24 iWNJr2Uz.net
>>520
Java8が次世代じゃないとか言い出すとは思わんかった
Java8以上に新しい言語は次世代通り越して未完成言語って言ってもいいわ
530:デフォルトの名無しさん
18/06/17 16:44:30.75 8dIO3AYC.net
>>513
使ってる案件あります？
TypeScriptはES2015+型って考えでとりあえずは使えるから、学習コストは低い。
this問題はアロー関数でも使っとけばいい。
531:デフォルトの名無しさん
18/06/17 16:46:16.06 8dIO3AYC.net
>>502
人材がいないのにどうやって集めろっていうの？
532:デフォルトの名無しさん
18/06/17 16:50:08.16 8dIO3AYC.net
>>502
別に新しい技術で人材不足を解消しようって話はしてないよ。
間違った行間読みはやめろ。
純粋に案件を始めるにあたって、
言語を特殊なものにすると、人材が集めづらいだろって話。
TypeScriptというメジャー寄りの言語ですら、専門以外エンジニアになりがちって話。
ちなみにTypeScriptは学習コストは低いほうだ。
533:デフォルトの名無しさん
18/06/17 17:00:54.21 TG/aPZPS.net
サポート切れるのに今からJava8を選ぶって逆に脳死過ぎだわ
The老害にも程がある
534:デフォルトの名無しさん
18/06/17 17:03:31.92 4b7uuLRW.net
>>514
現場ﾜﾛﾀ
おまえに必要なのはJavaでもTypeScriptでもない
Excel方眼紙だ！
535:デフォルトの名無しさん
18/06/17 17:12:42.29 u2X2MJCJ.net
JVM系言語は全滅と思っていいのかね
536:デフォルトの名無しさん
18/06/17 17:43:45.20 erltHdM+.net
>>524
知るか。派遣でもなんでも雇えば良いだろ？
>>525
> 間違った行間読みはやめろ。
すまんな…でも、あの文脈じゃそういう風に受け取られても仕方ないと思うけど…
> 言語を特殊なものにすると、人材が集めづらいだろって話。
集めづらいよ。だから慎重に検討する必要はあるし、手放しに喜んで良い機能じゃない
ただ時々「慎重に検討する」を曲解して「結局、絶対に採用されない」と
新しい技術そのものを否定しようとするヤツが居るんで
それは違うだろ？将来に備えて勉強しておく必要はあるだろ？
自分が理解できなかったのを正当化するための言い訳だろ？って言いたい
あと、慎重に検討した結果、採用したとして、それでも失敗した場合は
それは経験として受け入れるべきであって失敗として否定するべきではない
ある程度のリスクは受け入れないと、失敗はしなかったとしても成功もしない
どの程度のリスクを許容するかのバランスの問題であって、
全くリスクを受け入れようとしない企業は所詮その程度の企業だってこと
537:デフォルトの名無しさん
18/06/17 17:53:45.44 iWNJr2Uz.net
>>527
Excelも年々進化してるんだがお前は知らんのか？
バカにしてるやつはその程度か
538:デフォルトの名無しさん
18/06/17 17:55:57.69 OuCJaAt5.net
図星で草
539:デフォルトの名無しさん
18/06/17 18:10:25.08 7oGqe5zS.net
おじいちゃんにはkotlinは難しすぎるらしい
540:デフォルトの名無しさん
18/06/17 18:16:25.72 SIx1eJMh.net
>>518
5、6年後にJava8ｗｗｗ
541:デフォルトの名無しさん
18/06/17 18:43:07.15 iWNJr2Uz.net
>>533
なんかおかしいか？枯らす期間としては短い方だろ
542:デフォルトの名無しさん
18/06/17 18:54:54.59 a73jVlJK.net
寿司職人が5、6年修行しているようなものか
半年でできらぁって誰かが言い出したとしてお前らはそいつを倒せるのか？
543:デフォルトの名無しさん
18/06/17 19:15:51.85 SIx1eJMh.net
>>534
何がおかしいのかわからないようならこの業界やめた方がいい
544:デフォルトの名無しさん
18/06/17 19:18:30.51 510xBBBe.net
Java8のどこらへんが次世代なのかは言わんのな
545:デフォルトの名無しさん
18/06/17 19:26:09.30 iWNJr2Uz.net
>>535
倒すだの勝つだの物騒な話してねえから
安定したプログラムを工数圧縮して作るのが目的だから
546:デフォルトの名無しさん
18/06/17 20:20:10.90 En9MtaF9.net
>>518
Java8 のサポート期間いつまでか知ってるかい？
547:デフォルトの名無しさん
18/06/17 20:25:05.46 p2Sm4Lro.net
たぶ今頃サンに問い合わせてるんだろな
548:デフォルトの名無しさん
18/06/17 20:38:25.12 SLSvvYl3.net
導入したい技術は、きちんと上司に根回しして
承認印を頂くこと
549:デフォルトの名無しさん
18/06/17 20:43:39.42 dJUJdMR3.net
上司がバカな可能性も十分あるからなんとも言えん。
しかし、同じくらいの割合でバカな新人が新しいクソツールをねじ込むこともあるからな。
一般に表面だけ見て判断はできんわ。
550:デフォルトの名無しさん
18/06/17 20:50:01.61 wbEMQisX.net
五年後からJava8とか地獄のような現場もあったもんだな
現場を知らなかったわ
551:デフォルトの名無しさん
18/06/17 20:55:06.44 wY+r/3B/.net
アップデートがあるうちはまだまだ未完成
LTSが終了したところで真の安定板になるのですよ…
552:デフォルトの名無しさん
18/06/17 21:26:03.64 u2X2MJCJ.net
そろそろ次世代の話がしたい
553:デフォルトの名無しさん
18/06/17 21:27:10.33 wbEMQisX.net
現場知ってる人にASTの話題流されたからな
554:デフォルトの名無しさん
18/06/17 21:34:27.48 Nk/Dtbgv.net
Java8は流石にネタだと信じたい
ネタとしては面白かったけど
555:デフォルトの名無しさん
18/06/17 21:44:52.52 Zsovn15r.net
面白かった次スレから入れるか？ｗ
556:デフォルトの名無しさん
18/06/17 22:04:53.41 SLSvvYl3.net
やれやれ・・・（肩をすくめ、冗談だろ？と失笑しながら、イケメンを少し崩した変顔でつぶやく僕）
557:デフォルトの名無しさん
18/06/17 22:19:46.98 IxLGC6rA.net
昔クソツールと言ってgradleを拒否した爺さんが弊社にいた
蓋を開けてみると新しいからダメっていうか爺さんがわからないからごねてただけだった
爺さん今はKotlinを猛烈に攻撃してる
こういうのって沢山あるんだろうな
558:デフォルトの名無しさん
18/06/17 22:32:18.24 EBuoSE6p.net
サポート終わったものは社内のセキュリティ監査で引っかかるから使えんけどなあ
559:デフォルトの名無しさん
18/06/17 22:36:34.77 dJUJdMR3.net
>>550
逆もまた然り。
rails 無理やり使わせてメンテせず逃げたバカを何人も知っとるわ。
560:デフォルトの名無しさん
18/06/17 22:59:16.75 iFYzb9cl.net
ドカタ言語としてはJava SE 1.4くらいがちょうどよかった。あれのLTSがあったらなぁ。
561:デフォルトの名無しさん
18/06/17 23:00:14.53 9aKhKpN8.net
C#やりたいなあ
562:デフォルトの名無しさん
18/06/17 23:06:55.31 SLSvvYl3.net
railsはさすがにゴミですわ
ド型にすらなれないゴミ
563:デフォルトの名無しさん
18/06/17 23:21:54.59 p2Sm4Lro.net
グレードルもクソだと思うけどそもそもjavaがクソなのでツールを責めるのは酷だすな
コトリンは救いようがない滅せよ
564:デフォルトの名無しさん
18/06/17 23:28:49.24 dJUJdMR3.net
言語もそうだがクソなものを勧めてくる奴の特徴は
おそろしくモジュラリティーの低いものばっかり勧めてくるってところだ。
565:デフォルトの名無しさん
18/06/17 23:47:42.67 Zsovn15r.net
その発言！η変換すると「クソなものはモジュラリティが低い」になるぜ！
566:デフォルトの名無しさん
18/06/18 00:41:09.48 szLLB6p9.net
>>556
やっぱりそうなったか…
場当たり的な甘さがこれほど早く破綻をまねく分野もない
567:デフォルトの名無しさん
18/06/18 00:44:39.69 szLLB6p9.net
>>559
kotlinなにがだめだったん？
568:デフォルトの名無しさん
18/06/18 00:44:54.86 szLLB6p9.net
>>556
569:デフォルトの名無しさん
18/06/18 00:56:40.78 5zfP7m4z.net
gradleがクソはまあわかるがantよりはマシ
爺さんがごねなきゃ最低のクソから並みのクソぐらいには昇格できたかもしれない
新技術拒否爺さんは業務効率化を阻む害悪でしかない
570:
18/06/18 01:07:58.13 OiAJbwiy.net
>>555
今から rails に取り組もうと思っていたのですが…（?然）
571:デフォルトの名無しさん
18/06/18 01:49:33.50 2+ok0PtZ.net
気にすんな。世の中には自分の能力が足りなくて理解できないものをクソだということにして
自分の心を安定させようとするやつが居るってだけのことだから。そういうやつは何千年も
前から居る。ほとんど人間という動物の習性だと思っていい。誰でもそういう状態にハマる
可能性がある。ハマってる最中はそいつは他をクソ呼ばわりするだけで新たな事は何も
学習しなくなるので馬鹿な状態が維持されて発展しない。
572:デフォルトの名無しさん
18/06/18 07:01:11.25 Jei0+sA2.net
>>563
いい加減に板を荒らすのやめろよ
特にここ最近はRubyスレを荒らしまくって何考えてんだ？
573:デフォルトの名無しさん
18/06/18 07:13:46.91 wJzzPYpc.net
>>564
歴史に何も学ばないやつに発展はない。
URLﾘﾝｸ(anond.hatelabo.jp)
565はこの種のバカなことを引き起こしといてトンズラするタイプだな。
だいたいこのタイプは仕様が満たされるものだと過信してるタイプで
機能の堅牢性なんてまともにチェックしてない。
574:デフォルトの名無しさん
18/06/18 07:25:45.84 OPxRI0Cf.net
歴史を学習した人間より科学を学習した自動運転の方が安全というのが
シンギュラリティの思想だよな
575:デフォルトの名無しさん
18/06/18 08:03:14.74 GT4ypnkz.net
>>564
それを「固定された思考態度」という。
576:デフォルトの名無しさん
18/06/18 08:19:55.49 AHTeguQN.net
どっちも危険な盲信になりえる
>>564 みたいに一方的なのは危険
577:デフォルトの名無しさん
18/06/18 10:03:33.26 1wi3jEJk.net
「新しいものをバカみたいに導入しようとする奴は危険」ってのはまあその通りなんだが
上の「5年後にJava8を導入おじさん」も同じくらい危険人物な訳で
結局突き詰めてメリデメリをジャッジできる思考力ないだけのバカは開発を地獄にするってのは変わらんよね
578:デフォルトの名無しさん
18/06/18 11:21:38.28 cgeQ1bE7.net
プロコンという語を覚えると便利だよ>メリデメリ
英語のプレゼンでprosとかconsとか見たことあるでしょ？まあ英語というかラテン語なんだけど。
579:デフォルトの名無しさん
18/06/18 11:40:21.90 OPxRI0Cf.net
デメリット、コスト、人月の見積もり
見積もりを妄信するのも危険と言われる
580:デフォルトの名無しさん
18/06/18 13:11:53.12 byOf5Soa.net
>>449
＞>>448
＞なんと！
＞日本語審査会で審議しないといけないな。
言い忘れたがこの混同は英語でもある
というか放射能漏れは leakage of radioactivity の直訳
581:デフォルトの名無しさん
18/06/18 14:05:58.53 7nYEmGe5.net
そもそも次世代言語が次世代なうちは個人の趣味プロぐらいにしか使わんだろ
582:デフォルトの名無しさん
18/06/18 14:33:09.83 sQTrKk9Y.net
HaskellやElixirを実業務で使ってるところも
実在するわけだよな恐ろしい
583:デフォルトの名無しさん
18/06/18 14:45:17.24 UoKY4/G0.net
そのへんはむしろ枯れてるし実際ある
584:デフォルトの名無しさん
18/06/18 14:48:34.03 soq2obRK.net
まあHakellに関してはもう次世代というよりLispと似たようなポジションだということで
585:デフォルトの名無しさん
18/06/18 15:30:15.87 soq2obRK.net
ところで、またATS2に話を戻すんだけど、
日本語訳もあったしチュートリアルやってみてるんだけど
↓の再帰関数の停止性検査とやらで躓いている
URLﾘﾝｸ(jats-ug.metasepi.org)
特に
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>.で大丈夫だと思ったんだが…
たぶんまだ、停止性メトリクスとやらが正しく理解できていないんだろうな…
誰か詳しく解説してくれないか？
586:デフォルトの名無しさん
18/06/18 15:31:22.53 /sFO+jYl.net
>>575
ドワンゴ（失笑）とかか？wwww
587:デフォルトの名無しさん
18/06/18 15:37:03.09 /sFO+jYl.net
ドワンゴが使ってると公言した言語を使ってる会社はドワンゴレベル
気を付けろwwwww
588:デフォルトの名無しさん
18/06/18 16:10:43.68 soq2obRK.net
ドワンゴってScala以外にもSwift, Kotlin(スマホアプリ)やReact(Typescript)やRustとかも使ってるからな…
開発事例は聞いたことないけどGoの勉強会とかもやってるし…
その基準だと、このスレでよく話題に挙がる言語はほとんど全てドワンゴレベルだな
ドワンゴレベルじゃない次世代言語はDartくらいか？www
589:デフォルトの名無しさん
18/06/18 16:24:24.97 NEyGx0zg.net
ドワンゴには、C++ の標準化委員の江添亮もいるし、Rust, Elixir, HDL もやってる。
クックパッドには、RubyVM を作った、笹田耕一もいる
基本は、Ruby。
Gradle で使うGroovy も、Ruby そっくり。
Elixir もそう。
jQuery のメソッドチェーンも、Ruby っぽい
無料のRails チュートリアルをやれば、すべてのフレームワークがわかる
590:デフォルトの名無しさん
18/06/18 16:24:43.92 yVgz9/Zm.net
言語と品質には何の関係もないのを
日々実証し続けているドワンゴさん
591:デフォルトの名無しさん
18/06/18 16:29:30.09 pZ1JIWjn.net
まだRubyのチュートリアルの話してんの？
Rubyっぽい、って、第一言語がRubyだからそう見えるだけだろ。
592:デフォルトの名無しさん
18/06/18 16:40:07.48 OPxRI0Cf.net
フリーソフトがあるから品質と価格が無関係
593:デフォルトの名無しさん
18/06/18 17:22:50.97 qMNnTEHn.net
ドワンゴってエンジニアだけ見ると技術力高そうなのに
なんで成果が全部ゴミなんだろうな
594:デフォルトの名無しさん
18/06/18 17:37:58.73 NEyGx0zg.net
YouTube, AbemaTV は、広告
ニコ生は、有料
Showroom は、寄付
ビジネスモデルが異なるから、
1つのチャネルの視聴者数が1万を超えると、追い出す
乃木坂みたいに、数万人も見ると、追い出す。
広告が無いから、1万人以上が無料で見ると、電気代が払えず、赤字になる
595:デフォルトの名無しさん
18/06/18 18:02:04.30 EvkbZGBx.net
>>578
isevn.<n>.とisodd.<n+1>.だと
isevn 3 のメトリックは.<n>. = .<3>.
そこから呼ばれるisodd 2 のメトリックも.<n + 1> = .<3>.
減ってねえ！エラー！ってことじゃね
想像だけで試してないので違ってたらすまん
596:デフォルトの名無しさん
18/06/18 18:04:53.53 xdRdwSco.net
>>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 を使っている(この代用が可能なことはわかるよね)。
597:デフォルトの名無しさん
18/06/18 18:08:28.85 xdRdwSco.net
>>589
＞停止性マトリクスが、大元の関数呼び出しの停止性マトリクスから辞書順で下降していくことから停止性を担保しようというのが停止性マトリクスの意味。
この説明「下降していく」だと本当に再起をどんどん
実行していくみたいで間違ってるか。
とある関数呼び出しの停止性マトリクスよりも、
その関数の定義に表れる全ての再帰的呼び出しの停止性マトリクスのほうが辞書順で小さい、
というべきか。
598:デフォルトの名無しさん
18/06/18 18:09:50.53 xdRdwSco.net
>>589
＞isodd も同様に
＞isodd n の停止性マトリクス→<n,1>
＞isodd n の定義に出てくる iseven (n) の停止性マトリクス→<n,1> (下降している！OK)
最後の行は
isodd n の定義に出てくる iseven (n) の停止性マトリクス→<n,0> (下降している！OK)
の間違いでした
599:デフォルトの名無しさん
18/06/18 18:32:21.74 NEyGx0zg.net
偶数は、2*n
奇数は、2*n+1
600:デフォルトの名無しさん
18/06/18 18:34:45.57 EvkbZGBx.net
>>592
理解してないだろw
601:デフォルトの名無しさん
18/06/18 18:51:32.37 OPxRI0Cf.net
安全装置のたぐいは損失を防ぐばかりで利益は全然ない
利益がないから理解できない人が続出
602:デフォルトの名無しさん
18/06/18 18:58:41.11 soq2obRK.net
>>589
ありがとう
冷静に計算していったら、確かにnとn+1じゃ減ってないからダメで
2*nと2*n+1だときちんと減ってるからOKってところまでは理解できた
でも、一体何を考えて<n,0>と<n,1>のタプル？のメトリクスが出てきたか全然分からない…
> そして<n,0>, <n,1> の代わりに n*2, n*2+1 を使っている(この代用が可能なことはわかるよね)。
すまない。俺はバカなんだ。分からないんで教えて下さい。
自分でも自分がどこまで分かっているのかさえよく分かっていないんだが、
たぶん、停止性メトリクスがきちんと減っているかどうかを計算する方法までは理解できたが、
きちんと減っている停止性メトリクスを導き出す方法が分かってないんだと思う
603:ﾌ名無しさん
18/06/18 19:23:14.64 xdRdwSco.net
>>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))
604:デフォルトの名無しさん
18/06/18 19:24:20.04 EvkbZGBx.net
>>595
引数のnと、isoddとisevnの2つの関数の区別(+0, +1)を位取り(*2)して足してるだけじゃないかな……
605:デフォルトの名無しさん
18/06/18 19:33:04.83 vrc1WpPf.net
>>581
全部そうだよ
やっぱりJavaやC、Pythonが最終的に一番良いってことだな
新しいものに飛び付いてるとドワンゴになるぞ
606:デフォルトの名無しさん
18/06/18 19:52:57.33 wJzzPYpc.net
ドワンゴはc++みたいなもんだな。
とりあえず新言語(新機能)の実験台になってもらえるっていう。
607:デフォルトの名無しさん
18/06/18 20:40:04.20 bcKP+A2z.net
>>599
つまりドワンゴがスレタイ言語は
ほぼ使えないと証明してくれてるってことだな
608:デフォルトの名無しさん
18/06/18 20:46:12.17 7nYEmGe5.net
ドワンゴは本当のC++プログラマーも募集してるしな
609:デフォルトの名無しさん
18/06/18 21:40:32.50 poCVJCAd.net
やきそば焼かせてるようなクズ会社にいくのか？
610:デフォルトの名無しさん
18/06/18 21:49:26.33 c5Ieze8t.net
bio100%の戀塚もいるんだよな
いかんせん上がアホだから
611:デフォルトの名無しさん
18/06/18 21:55:35.52 soq2obRK.net
>>596
辞書順を保ったまま置き換えられるってのが何をしてるのかイマイチよく分からんが
とりあえず、2つの関数で相互再帰なら2n、3つなら3nといった感じ……なのか？
うーん…まだ勉強し始めたばかりだし、やってればそのうち分かるようになるかぁ…
あざっす。
612:デフォルトの名無しさん
18/06/18 22:18:33.96 ejyTxCd5.net
>>604
いやここで堪えて理解しておくべき。
引数から算出できて、再帰で減るものを何か考えてそれを停止性マトリクスとする。
値そのものじゃなく大小関係だけが大事だから、
m が 0 と 1 のどちらかしかなければ
<n, m> の代わりに n*2+m で ok ってこと
例
<5,0> は <4,1> より大 ⇔ 5*2+0 は 4*2+1 より大
613:デフォルトの名無しさん
18/06/18 22:30:23.80 ejyTxCd5.net
ちなみに辞書順というのは停止性メトリクスのタプルについて、
先頭の要素同士を比較、等しければ次の要素同士を比較、また等しければそのまた次の以下略…
という風に比較したときの順序関係
614:デフォルトの名無しさん
18/06/18 22:47:52.93 ejyTxCd5.net
上で散々マトリクスと誤記しているメトリクスはこの場合「(停まるまでの)距離」という意味
615:デフォルトの名無しさん
18/06/18 23:09:05.63 soq2obRK.net
>>605
なるほど。(n, 0)と
616:(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に変換できるってところまで… 一番肝心な部分が理解できていない気がする…
617:デフォルトの名無しさん
18/06/18 23:17:38.17 Tp0/3gfg.net
なんの話か分からないけどこういう奴らが使ってる技術は使いたくない
618:デフォルトの名無しさん
18/06/19 00:28:07.36 2myyjakz.net
ATSは依存型言語の中でも奇抜な方だと思うよ
Coqとソフトウェアの基礎の方が易しいと思う
619:デフォルトの名無しさん
18/06/19 01:44:59.48 menX4d1R.net
CoqとAgdaは敬遠してるんだよね…
あの二つはプログラミング言語じゃなくて証明支援器だって聞いてるから…
オレは別にPCに証明問題を解くのを手伝ってもらいたいんじゃなくて、
従来の型システムを発展させた依存型とかを使ったより安全な
プログラミングを行うの方法が知りたいんだよって思って…
けど、学ぶ順番としてはCoqが先のほうが良かったのかな？
でも、Coqだとどうにもモチベーションが…
あと、ついでに線形型も学びたかった……
Rustの所有権・借用・ライフタイムはほぼ理解できてるんでそれほど難しくはないだろうと…
まず、依存型で躓いてるんで線形型までたどり着いていない…
んー……一度に色々やろうとし過ぎか…(´・ω・｀)
620:デフォルトの名無しさん
18/06/19 02:53:39.62 8GZLihdn.net
Idris とかはどうなのよ
621:デフォルトの名無しさん
18/06/19 04:24:16.98 thfWBPV2.net
>>608
この場合呼び出しのたびに変化するものが、引数のnと「どちらの関数を呼ぶか」という
2つしかないんだから、呼び出しのたびに減る式を作ろうとしたらこれを組み合わせるしかない
後はパズルだろ
622:デフォルトの名無しさん
18/06/19 07:30:15.96 3/FXNCrL.net
全てのｎについて(n, 1)＞(n, 0)と2n+1＞２ｎは同値だから当たり前だろ。
623:デフォルトの名無しさん
18/06/19 08:33:24.05 vJmt1KGh.net
わかりにくい記法は自分で自由にわかりやすい記法に変換すればわかる
Cのポインタの記法と同じ
自由に考える方が早い
偉い人にいちいち許可を求めたり質問したりすると時間がかかる
624:デフォルトの名無しさん
18/06/19 08:33:59.97 menX4d1R.net
>>613
んー…１日置いたらやっと分かったような気がする…
気がしてるだけかもだけどあとは自力でどうにか理解できそう…
まあ、新しい概念を覚えるときはどうしても時間が掛かるものだし、
あとは腑に落ちるまでサンプルコードひたすら写経したりするか…
皆ありがとう
>>610
ATSの依存型は奇抜なの？
他の依存型がある言語も似たようなことやるんじゃないの？
625:デフォルトの名無しさん
18/06/19 08:51:24.21 vJmt1KGh.net
コンパイル時のメタプログラミングはみんな奇抜
626:デフォルトの名無しさん
18/06/19 19:52:01.92 R39QGoSG.net
型を静的に解析しつつマクロみたいに評価順序を入れ替えようってのが
そもそも無理があるんだよ。
627:デフォルトの名無しさん
18/06/19 20:25:55.46 b5m1uThb.net
そもそも型に期待しすぎるのがキモい
型の役目なんてOCamlくらいでちょうどいいのに
628:デフォルトの名無しさん
18/06/19 21:54:08.10 vbOWauRQ.net
型安全のためにDRY原則すら無視してるのあるからな
629:デフォルトの名無しさん
18/06/20 01:28:01
630:.72 ID:QSlqi/vd.net
631:デフォルトの名無しさん
18/06/20 11:07:04.58 YLzmhKZ9.net
一生型書いてろ
俺はプロダクト書くからよ
632:デフォルトの名無しさん
18/06/20 11:47:35.83 CARL/ed1.net
人は型かプロダクトかどっちかしか書けないからなｗ
633:デフォルトの名無しさん
18/06/20 13:04:18.23 pTH4tzak.net
>>620
ジェネリクスやインターフェース正しく使ってれば
DRY原則無視しなきゃ型安全守れないこととかほぼ無いだろ
どんなコード書いてるんだよ？
634:デフォルトの名無しさん
18/06/20 21:17:56.02 vXpw0FFs.net
型って建物に例えると水準器だろ
柱がまっすぐ立ってるか見るための補助具
補助具ばっか作って家が建つのか？
635:デフォルトの名無しさん
18/06/20 21:34:34.91 kjCaqS0j.net
一生水準器使ってろ
俺は家建てるからよ
636:デフォルトの名無しさん
18/06/20 21:39:33.95 pTH4tzak.net
そうか、じゃあ動的言語で作ったプログラムって例えるなら水準器なしで建てられた家なのか…
それは欠陥住宅というもので工期が遅れてる建物よりもっと害悪だと思うんだがそれは…
637:デフォルトの名無しさん
18/06/20 21:55:16.85 nu99cs2X.net
いや単なる犬小屋欲しいだけなのに設計書に一年くらい時間かけるようなもんだ。
638:デフォルトの名無しさん
18/06/20 22:31:25.72 R/RR2gVc.net
>>628
犬小屋ってどれくらいの規模のものを指してるの？
リソース３つくらいのweb apiサーバとか？
639:デフォルトの名無しさん
18/06/20 22:35:54.20 R/RR2gVc.net
>>625
それだけじゃないよ。メンテナンスという観点でも必要。
いわば動的言語なら釘で家を建てるけど、
型付きなら、簡単に取り替えられるようにボルトで止まってる。
ちゃんとネジに印がついていて交換ミスも起こりにくい
640:デフォルトの名無しさん
18/06/20 22:37:33.02 6Ldi6ZQ0.net
例え話をするエンジニアは無能の法則
641:デフォルトの名無しさん
18/06/20 22:45:13.44 pTH4tzak.net
>>629
犬小屋なんだから日曜大工、つまり個人の趣味レベルのものでしょ
642:デフォルトの名無しさん
18/06/20 23:03:24.49 kjCaqS0j.net
型は水準器というより物差しに近い
643:デフォルトの名無しさん
18/06/21 00:46:09.92 j3Jry11G.net
オプションでも型制約無い言語なんてもうJSとRubyくらいじやね？
644:デフォルトの名無しさん
18/06/21 01:00:00.42 9yZQgWTf.net
Lua忘れるとか
645:デフォルトの名無しさん
18/06/21 01:15:00.23 Xm+RspnJ.net
c++のstd::chornoみたいな設計は行き過ぎた型安全だと思う