[過去ﾛｸﾞ] 次世代言語11[Rust Swift TypeScript Dart] (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
31(1): デフォルトの名無しさん [sage] 2018/06/04(月) 14:27:36.11 ID:LPM+TCv0(1) AAS
>>28最適化作業が当たり前の世界にいるのだけど、最適化って進めるごとにどこがボトルネックは変わっていくんだ
また最近は可能な限りジョブ分割して並列実行させるから特定のcpuが遊んでるってこともあまりない
もし遊んでれば機能追加しようという話になる
そういう世界だと最適化前であっても原則富豪的なプログラミングは許されない
プログラミング言語にもとめるものとして可読性の順位はあまり高くない
どういうバイナリに落ちるか想像つくレベルでないとリバースエンジニアリンクに時間とられるはめになる
205: デフォルトの名無しさん [] 2018/06/09(土) 19:58:23.11 ID:HrZn4m/i(6/13) AAS
>>203203(1): デフォルトの名無しさん [sage] 2018/06/09(土) 19:48:50.41 ID:XJIDpXbK(6/6) AAS
>>196
githubの件でいえばそもそも自分のソース守ろうとするなら
あんなとこに上げるべきではない。
マイクロソフトを擁護する気は無いけれどフリーライドしてるくせに偉そうなバカには
一言くらいは言わんといかんかなと思ってる。
いや違うぞ。
彼は世の中を良くするためにMicrosoft社を批判してきたし、世の中のためにGithubを使っていたのだ。
全ては人民のためなんだよ。
彼の恩恵を得ている我々人民が、彼を批判するのはおかしくないか？
240: デフォルトの名無しさん [] 2018/06/10(日) 01:37:37.11 ID:jHX3vchU(1) AAS
結局Haskellなんだよなあ
310(1): デフォルトの名無しさん [sage] 2018/06/12(火) 18:29:31.11 ID:yK0gAcGX(2/5) AAS
>>307307(2): デフォルトの名無しさん [sage] 2018/06/12(火) 18:22:35.70 ID:3R48K+eC(1/16) AAS
MSが非健全っていつの発想なんだか。
技術面では今はかなりオープンにしてると思うが。
そもそも元から「金さえ払って契約してれば」ちゃんと働くし、結構な範囲のソース見せてくれるし、呼んだら調査したり、必要ならKB作ったり「とても良くできたサンプル」作りまでやってくれるぞ。それが10年ぐらい前の話。
金も払わずに「〇〇が独自だからゴミ」といっても、金払ってないんだから知財が手に入らなくて当然だと思う。
あのひどいライセンスだったリファレンス実装の.netを、今やクロスプラットフォームに公式がして、さらにコントリビュートまで受けてるとか、
VisualStudioの名を関したエディタをOSSで作ってるとか、
そんな事は関係なくMSだから邪悪と言いたいだけだろ。
もしくは歴史を一切知らずに「MSが悪いってみんな言ってるからMSが悪いんだ」と思ってるか、どっちかじゃねえの？
逆にどのへんがまともじゃないの？
.netはMSが突然特許主張する可能性が未だに解決してない
VSCodeについては使ってないから知らん。どうせEmacsやVimより使い勝手が良いこともなかろう
記憶に新しいところだとXamarinも買収されてから腐ったし
314: デフォルトの名無しさん [sage] 2018/06/12(火) 18:40:22.11 ID:Do9HdhWt(1/3) AAS
>>305MSとGoogleに対して産廃とうんこだって？
この業界で龍と虎みたいな存在に対して何ゆってんのｗ
好き嫌いは別にしてもスケール感間違ってんのはさすがに哀れでしかないわｗ
390: デフォルトの名無しさん [] 2018/06/14(木) 02:07:29.11 ID:QWAhFsNz(1) AAS
プロはバイナリエディタですか。
392(2): デフォルトの名無しさん [sage] 2018/06/14(木) 02:19:17.11 ID:cWETZ475(1) AAS
外部ﾘﾝｸ:github.com
Foってこれか。米麺食いたくなる名前だな
Emacs信者の俺が純粋に聞きたいんだけどVSCodeのどこらへんがいいの？
451: デフォルトの名無しさん [sage] 2018/06/15(金) 22:56:31.11 ID:XWxsNfSe(1) AAS
class 物質 {
放射能 : Double
onRecv(r: 放射線) {
var a = is放射性物質()
放射能 += calc(this, 放射線)
if(a != is放射性物質()){ on放射化() }
}
on放射化(){
}
is放射性物質(){
return 0 < 放射能
}
onTick() : 放射線 {
return 放射性崩壊()
}
}
499: デフォルトの名無しさん [sage] 2018/06/17(日) 08:38:14.11 ID:wAOriGtt(1) AAS
依存型をド型で例えるのやめれ
595(2): デフォルトの名無しさん [sage] 2018/06/18(月) 18:58:41.11 ID:soq2obRK(4/6) AAS
>>589589(3): デフォルトの名無しさん [sage] 2018/06/18(月) 18:04:53.53 ID:xdRdwSco(1/4) AAS
>>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 を使っている(この代用が可能なことはわかるよね)。
ありがとう
冷静に計算していったら、確かにnとn+1じゃ減ってないからダメで
2*nと2*n+1だときちんと減ってるからOKってところまでは理解できた
でも、一体何を考えて<n,0>と<n,1>のタプル？のメトリクスが出てきたか全然分からない…
> そして<n,0 <n,1> の代わりに n*2, n*2+1 を使っている(この代用が可能なことはわかるよね)。
すまない。俺はバカなんだ。分からないんで教えて下さい。
自分でも自分がどこまで分かっているのかさえよく分かっていないんだが、
たぶん、停止性メトリクスがきちんと減っているかどうかを計算する方法までは理解できたが、
きちんと減っている停止性メトリクスを導き出す方法が分かってないんだと思う
683: デフォルトの名無しさん [sage] 2018/06/23(土) 13:10:25.11 ID:TEFAVffv(1) AAS
Go: マスコットきもい
Rust: C++と潰し合え
Swift: Apple専用の域を出ず
Kotlin: Javaの代わり
Nim: v1.0を出せ、cpp, m, js へのトランスパイルいるか？
D: 最先端を目指した化石
759(1): デフォルトの名無しさん [sage] 2018/06/26(火) 10:30:34.11 ID:Uq9cj0Jx(1) AAS
>>758758(1): デフォルトの名無しさん [sage] 2018/06/26(火) 10:23:19.59 ID:/82hZ4jz(1/2) AAS
>>756
Gitlabは少なくとも信頼できる
Azureで動いてるとか言ってる奴いるけどもうやめるって話出てる
エディタはEmacsで十分だし、babelあればES2016でもまともに書けるからTSは不要
DB消すようなとこが信頼できる？
817(1): デフォルトの名無しさん [] 2018/06/29(金) 13:13:42.11 ID:8rEU0m4z(1) AAS
>>814814(3): デフォルトの名無しさん [sage] 2018/06/29(金) 09:23:47.61 ID:XwuS30Hh(1) AAS
Pythonの型アノテーション試してるけど正直苦痛
TypeScriptを使ってるときには全く感じなかった無駄なもの書かされてる感がすごい
というかTypeScriptの統合が完璧すぎるんだな
型書くことはノイズになるどころかコードをむしろ美しくするとすら思えるもんな
全部の変数にアノテーション付けようとしてる？
基本、関数・メソッドの入出力だけでいいぞ
残りは大体推測してくれる
842: デフォルトの名無しさん [sage] 2018/06/30(土) 19:33:21.11 ID:CMs/fWc6(1) AAS
Rubyはオモチャだから型付けなんて要りません
それより散らかったオモチャを片付けなさい
871: デフォルトの名無しさん [sage] 2018/07/01(日) 11:52:10.11 ID:tX8JlSDC(2/2) AAS
気持ち悪い挙動だと言いがかりをつける気満々のレスに対して
smalltalk でもそうだった昔からある挙動ですよと指摘しているだけでは。
なにも知らなければ議論はできない
といって smalltalk の知識は前提にしていいのかは疑問
とはいえやはり共通の知識がないと議論は無理だし難しいわ
936: デフォルトの名無しさん [] 2018/07/02(月) 22:42:00.11 ID:F0SAJ301(2/2) AAS
世代的にrubyで育ったリーダが多いからじゃない
外資ではgoとかpythonが多い
メガネのヒョロガリが写真に写っていてRoRエンジニアを募集してたらまずハズレだ
951: デフォルトの名無しさん [sage] 2018/07/03(火) 09:33:01.11 ID:TTM9k7xe(1/3) AAS
世代の交代を駆動するのが枯れた技術であってもいいんだよ
まあ仕様の腐った言語しか眼中にない人間には理解できんだろうけどね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s