次世代言語10[Rust Swift TypeScript Dart]at TECH
次世代言語10[Rust Swift TypeScript Dart] - 暇つぶし2ch112:デフォルトの名無しさん
18/04/28 10:06:24.06 6ZMjGPsq.net
>>88
あ、読み違えたわ。
haskellユーザでないなら、別に黙ってりゃ良いじゃん。
haskellは良いものだ!って言うだけで何も具体例を出さない奴が居て、結局何が良いの?に答えが出なかったりしたから、
スレタイからhaskellが抜けたりしたわけ。
そのへんの過去スレは読んでのそういう発言?
滅茶苦茶でも何でもないよ。
お前の喧嘩の売り方がメチャクチャだよ。

113:デフォルトの名無しさん
18/04/28 10:07:40.95 6ZMjGPsq.net
>>88
よく考えたら言い直しにもなってないな。
haskellでのプロダクト例を聞いてるのに、普段使ってないよ、なんて、何を言い直してるかわからん。
反論するならきっちり反論して。

114:デフォルトの名無しさん
18/04/28 10:09:51.46 O9ADumhq.net
>>109
URLリンク(practical-scheme.net)式の理由
ここ読んだ。lisperは直接構文木を書いてるのか!
メタプログラミング得意そう。

115:デフォルトの名無しさん
18/04/28 10:14:28.48 WJL9r3At.net
>>112
そうそう。それはデータであり、かつ評価できる式でもある。

116:デフォルトの名無しさん
18/04/28 10:23:14.19 O9ADumhq.net
jsとかgoとかだといちいちparserカマして抽象構文木を作った上じゃないとプログラムからコード解析できないけど、
lispだとそのままコード解析できるわけね。
なんか面白そう。

117:デフォルトの名無しさん
18/04/28 10:29:10.39 6ZMjGPsq.net
>>114
逆に、データもS式になってれば、それもパーサ要らないしね。
jsに対するjsonのように。
jsonのようにサブセットな訳でも無いので、そうしておくと、
そもそもデータに値の代わりに式を入れとくことも出来るから、融通がきく。

118:デフォルトの名無しさん
18/04/28 10:37:43.93 O9ADumhq.net
lispすごそうやんけ。
の割に、あんまり聞かないのは単に分野が違うだけ?web系で聞いたことないなー。

119:デフォルトの名無しさん
18/04/28 10:43:43.65 7FInXxAw.net
>>112
古典的な lisp では lisp で lisp のマクロも書くし
メタプログラミングは日常茶飯事というか「メタ」である特別さもなかった
古典的には lisp は LISP と書くのだけど
LISP 系の言語ではリストを万能データ構造として凡そ
配列以外の全て(プログラム自体を含む)をリストで表すので、
データ構造の宣言的な記述は省略される。
これはコードを書くときは楽だけど読むのには面倒か。

((foo 1) (bar 2)) というリストで辞書を表現するとして、
foo や bar がキーであるとか値はキーの直後の要素だとかを
宣言的に記述しておく箇所はコメント以外ない

120:デフォルトの名無しさん
18/04/28 10:53:18.40 Iob7Aa9f.net
>>110,>>111
おれはID:uFcuTWSAじゃないがどう考えてもお前の方がメチャクチャだよ。
結局「common lispじゃなくてgaucheじゃないといけない」理由の説明できてないし。
お前のその返し(>>72に対しての>>76)じゃS式扱える言語ならなんだって構わないじゃないか。
gaucheユーザーのお前に>>72の論破できないのと同じように、Haskellユーザーも>>48を論破できない。
「自分でさえ論破できないことを他人に向かって言ってんじゃねえよ」ってことだろ?

121:デフォルトの名無しさん
18/04/28 11:02:02.15 4irn3/UI.net
まあc++でコンパイラ毎に全くコンパイルされる内容が違う状況とか
味わってみれば lisp みたいに構文化されてるコードを最初から書いた方が良くね?
って気にはなる。
確かにプログラムを全く書いたことないやつに薦めるのはどうかと思うが、
ある程度プログラムやったことある奴ならそこまで敷居は高くないんじゃないかな。

122:デフォルトの名無しさん
18/04/28 11:21:40.18 6ZMjGPsq.net
>>118
そもそも「あるわけがない」と煽ってるわけではない。
あるなら是非語れ、は真実。何回言っても「そういう煽り返しできる程度すら」挙がってこなかったから。
論破する必要なんかないんだよ。
「あるんだよ、こんなのなんだよ、haskellすげえっしょ」って言えればそれでいいだけなのに、
煽られたと思って、全く同じ文章で返事してくるほうが頭おかしいの。
その返事がgaucheであれなんであれ、煽られたと俺が受け取ったのは「全く同じ文章で返されたこと」であって、内容ではない。

123:デフォルトの名無しさん
18/04/28 11:23:15.23 6ZMjGPsq.net
>>118 あ、言葉足らずだったな。 S式で表せる言語なら何でも構わない、それは真だよ。 common lispではいけない理由、は俺は触れてないだろ。 よく読んでよ。



125:デフォルトの名無しさん
18/04/28 11:23:55.62 VDyKIUAr.net
(h (g (f x)))をx.f().g().h()に変えても括弧の数は変わらん
foldrがfoldlに変わるだけだ
畳み込みという概念を知るだけのために凡人は何年も修行しないといけないのが現実

126:デフォルトの名無しさん
18/04/28 11:30:39.49 1KWTHO6L.net
Haskellのプロダクトならpandocがあるやん

127:デフォルトの名無しさん
18/04/28 11:34:26.69 6ZMjGPsq.net
Parsecあるからなあ。
それは確かに「なるほど」と思ったわ。

128:デフォルトの名無しさん
18/04/28 12:01:18.46 MXOeskUv.net
>>120はねえ
『論破する必要なんかないんだよ。「あるんだよ、こんなのなんだよ、haskellすげえっしょ」って言えればそれでいいだけなのに、』
って言ってるけどね
>>108のレスでは『そうか、じゃあずっとhaskellでそれ作っててくれ。』
って言ってるね
こいつは例の「あ」で、Haskell について知らないことを晒されたことを未だに根に持っているだけで、本当はHaskell になんて微塵も興味がないんだよ
以前もHaskell のプロダクトを教えてもらってたのに未だに聞いて回っているしね
相手にするだけ無駄無駄

129:デフォルトの名無しさん
18/04/28 12:07:45.30 VDyKIUAr.net
別に凄くない普通の言語のために何年も修行しないといけない現実と戦ってるんだろう
今すぐ教えろ
一瞬で理解させろって

130:デフォルトの名無しさん
18/04/28 12:33:56.14 MXOeskUv.net
>>116
Lispはまあぶっちゃけ滅んじゃったからねえ……
マクロとかいい感じに使えて良い言語だけど、ライブラリも割と貧弱で自分で構成していかないといけないから、他の言語でライブラリが充実してる今のご時世にわざわざweb屋が使うメリットはないんじゃないかな?
標準ライブラリが充実してる数少ないLispとしてRacketをオススメしておくから気になるなら触ってみるといいよ

131:デフォルトの名無しさん
18/04/28 12:42:45.26 6ZMjGPsq.net
>>125
テンション上げて説明してくれてありがとうね。
でも>>123のほうがはるかに価値のある書き込みだったよ。

132:デフォルトの名無しさん
18/04/28 12:45:30.74 6ZMjGPsq.net
知らないことを晒されて根に持ってる訳でなはいんだけどなぁ。
そのことを説明できる能力もなく、ただただ「凄いんだ」「アセンブリレベルの話なんか高級言語では考える必要もない」という低レベルな主張を繰り返されたから、
何故なの?じゃあ考える必要がない程度のもの作ってるんでは?
に答えが貰えなかったから、さあ語れって言ってるのにね。
信者って悲しいわ。

133:デフォルトの名無しさん
18/04/28 12:46:34.26 6ZMjGPsq.net
>>126
違うよ。
する価値がないと思ってるから、次世代だ、する価値がある、と言うのならば、する価値を見せてみろって言ってる。

134:デフォルトの名無しさん
18/04/28 12:49:52.15 6ZMjGPsq.net
根に持ってるとかそういうバイアスがかかるから、「名乗れ」と言われて名乗ってやった「あ」を外してる(そしてhaskell以外の話題ではフツーにやりとりしてる)のに、
またバイアスかけてどーすんのかなー、自分の好きな話だけしたいお花畑なのかな?
haskellが蓮華なのかな?って思うわ。
毎回haskellが話題に出るたびに虚しいな、このやりとり。

135:デフォルトの名無しさん
18/04/28 12:53:56.83 MXOeskUv.net
コテを外されたからNG出来なくて困っちゃうよねえ
どうせバイアスがかかることが今回証明されたんだからもう一回コテ付けちゃいなよ

136:デフォルトの名無しさん
18/04/28 12:55:50.41 VDyKIUAr.net
時間に価値がないと思えば何年でも続けられる
或いは時間に価値があるのは直感的に明らかと思うならば根拠のない直感にも価値はある

137:デフォルトの名無しさん
18/04/28 13:05:36.78 6ZMjGPsq.net
>>132
どうせバイアスを「かける」ことが証明されたんだろw
議論の上の「よく読んで」という指摘に「こいつの人格が悪い」という人格攻撃に走った時点で議論としては終わってるよ。
悲しいね。自覚がないって。

138:デフォルトの名無しさん
18/04/28 13:05:52.35 pEXwgWhN.net
今回は「あ」がめちゃくちゃ言ってるからHaskell ユーザー以外から「それの論法はおかしいだろ�


139:vって突っ込まれてる構図であって、Haskell ユーザーは全然登場していない。 まさかその構図が見えてないのか……?



140:デフォルトの名無しさん
18/04/28 13:06:24.25 6ZMjGPsq.net
ああ、いつの間にか「議論スレ」でも無くなってるのなw

141:デフォルトの名無しさん
18/04/28 13:07:13.14 6ZMjGPsq.net
>>135
登場していないのか、登場していないことになってるのかは、胸のうちだからわからんよ。

142:デフォルトの名無しさん
18/04/28 13:08:50.21 6ZMjGPsq.net
俺も信者は悲しいなって言ってるだけで、誰が信者だとは言ってなかろう。

143:デフォルトの名無しさん
18/04/28 13:12:15.02 Y8wRxMn5.net
>>134
宣言しておくね
俺は君と議論する意味はないと思ってるから、君と気付き次第バイアスをかけるよ

144:デフォルトの名無しさん
18/04/28 13:14:43.02 6ZMjGPsq.net
>>139
バイアスをかけるという宣言のある議論の場っておかしいねw
素敵な花畑がほしいという自己紹介どうもありがとうね。

145:デフォルトの名無しさん
18/04/28 13:15:19.49 Iob7Aa9f.net
>>137
いや分かってるよ。
>>48に突っ込んでるID:uFcuTWSAもID:CtLujT77もどっちもHaskellユーザーじゃないって言ってる。
まぁ、それさえも嘘かもしれないじゃないかと言われればそれまでだが…

146:デフォルトの名無しさん
18/04/28 13:19:50.48 6ZMjGPsq.net
>>141
後者は使ってるけど推しではないと俺も思ってるけど、思ってるだけだよ。
嘘でもホントでもなく、知り得ないことだから仕方ない。
単純にわかるのは、煽って反応するやつが一定数居るって現実だけだけど、それで充分かと。

147:デフォルトの名無しさん
18/04/28 13:21:04.02 Y8wRxMn5.net
>>140
少なくともHaskell に関しては、君はHaskell を知らないんだからHaskell について語る土俵に立ってないよね
にもかかわらず君は最初、まるでHaskell について知っているようかのようなふりをしながら議論に参加していたんだ
そんなのバイアスをかけられて当然だよ

148:デフォルトの名無しさん
18/04/28 13:22:41.20 6ZMjGPsq.net
>>143
しつこいよ。
ここを花畑にして蓮華で蓮華座が組みたいなら人格否定せずに淡々と事実を述べれば良いだけでしょ。
人格否定した時点で議論は終わったの。

149:デフォルトの名無しさん
18/04/28 13:23:04.78 pEXwgWhN.net
そりゃあめちゃくちゃな煽りを見たら煽られた奴以外も反応するだろ

150:デフォルトの名無しさん
18/04/28 13:23:57.58 Y8wRxMn5.net
>>144
ん?
俺は君と議論したくないからNGさせろっているんだが
最初から君と議論する気はないよ?

151:デフォルトの名無しさん
18/04/28 13:24:31.20 6ZMjGPsq.net
狂人の真似とて大路を走らば即ち狂人なり。

152:デフォルトの名無しさん
18/04/28 13:24:51.63 6ZMjGPsq.net
>>146
w

153:デフォルトの名無しさん
18/04/28 13:26:37.04 6ZMjGPsq.net
そんなに話したいなら、今立ってるPHPスレみたいに、次世代言語haskellスレでも立てれば良いじゃんw

154:デフォルトの名無しさん
18/04/28 13:57:43.32 Iob7Aa9f.net
>>142
いや煽られたから反応してるんじゃなくて、
煽りに使われてる文章の論法がメチャクチャだったから反応してるんだろ?
その違いは重要だよ。
理論がしっかり通ってる煽りだったらわざわざHaskellユーザー以外の人間が反応するわけがない。
少なくともID:CtLujT77に関してはHaskell推しじゃないとお前も思ってるんなら
Haskell推しの人間以外がわざわざ反応しているのおかしな状況に気付けよ。

155:デフォルトの名無しさん
18/04/28 13:59:28.76 Iob7Aa9f.net
>>150
間違えた。
前>>Haskell推しの人間以外がわざわざ反応しているのおかしな状況に気付けよ。
後>>Haskell推しじゃない人間以外がわざわざ反応しているのおかしな状況に気付けよ。

156:デフォルトの名無しさん
18/04/28 14:02:18.88 Iob7Aa9f.net
>>151
ん?やっぱり間違えていなかった(´・ω・`)
アホか?俺は…

157:デフォルトの名無しさん
18/04/28 14:06:12.96 pEXwgWhN.net
まさに>>150よ。本当にその通りなんだけど、「あ」だし通用しないんだろうな……

158:デフォルトの名無しさん
18/04/28 14:18:38.33 4irn3/UI.net
次世代言語よりも日本語に付け加えるべき機能でも考えた方がいいじゃねーの?

159:デフォルトの名無しさん
18/04/28 14:19:22.69 pEXwgWhN.net
ここまで来るともうユーザーの問題でしょw

160:デフォルトの名無しさん
18/04/28 14:52:12.61 6SRb9SPu.net
盛り上がってんな

161:デフォルトの名無しさん
18/04/28 14:53:37.63 6SRb9SPu.net
まーたADHDが匿名で場を荒らしてんのか
ほんま困ったやっちゃな

162:デフォルトの名無しさん
18/04/28 15:24:44.95 x8i3U8ye.net
騒いでる方も騒いでる方だが風評被害やめてくれって感じだ

163:デフォルトの名無しさん
18/04/28 17:25:12.63 YDDX+GsK.net
Haskelがこういう場での無意味な話題に必要以上に上がるせいで実際以上にHaskell好きがHaskeller扱いされてる気がする

164:デフォルトの名無しさん
18/04/28 18:02:54.22 qinvp4N7.net
Haskellにはドカタの劣等感を刺激する何かがある

165:デフォルトの名無しさん
18/04/28 18:27:33.31 LJZIGbTW.net
scala再興論がでましたか?

166:デフォルトの名無しさん
18/04/28 18:36:36.79 /9xZc+y5.net
いかにもGWに予定のなさそうなキャラの子達が騒いでてウケる

167:デフォルトの名無しさん
18/04/28 18:42:09.18 6SRb9SPu.net
おい、ブーメランやめろや
俺にも刺さる

168:デフォルトの名無しさん
18/04/28 18:43:41.75 P0XLkdT4.net
Haskellって難しい理論がベースになってるせいか
ちょっとかじった程度で偉くなった気になる人多い

169:デフォルトの名無しさん
18/04/28 18:47:51.00 ePnAhmH+.net
>>164
Rustにも同じことが言えるな

170:デフォルトの名無しさん
18/04/28 19:02:25.33 M+Angxdt.net
rustに難しい理論はねーよw
所有権みたいなことはあるレベルになると自分で考えるようになること

171:デフォルトの名無しさん
18/04/28 19:32:04.63 6SRb9SPu.net
>>150はだいたい同意だけど、ちょっとだけ同意できない部分があるな
今回のあDHDほどめちゃくちゃな論法でなくても場合によっては指摘するかもしれん
例えば俺はLisp使わんし好きでもないけど、「Lispは遅いから糞」っていうレスを見たら多分指摘する

172:デフォルトの名無しさん
18/04/28 20:00:57.22 Iob7Aa9f.net
>>167
速さが求められるかどうかは何を作るか次第で変わってくるので、
取り敢えず「遅いからクソ」ってのは理論が通ってないし、突っ込まれて当然。

173:デフォルトの名無しさん
18/04/28 20:03:45.30 6SRb9SPu.net
>>168
Common lispはまあまあ速いってことを念頭において書いたんだけど、それもそうだな。言う通りだ

174:デフォルトの名無しさん
18/04/28 21:10:11.88 Iob7Aa9f.net
>>166
ん~そうかな?
それはあくまでC or C++をメインでやっていた人に限られると思うが…
GCありの言語がメインの人達はほとんど考えてないと思う(根拠は2年程前までの俺)。

175:デフォルトの名無しさん
18/04/28 21:13:59.59 0/zAvcT+.net
【プリッツァー賞も公認】 トルーマン 議定書 CJA イルミナティ フリーメーソン マルタ騎士団
スレリンク(liveplus板)

176:デフォルトの名無しさん
18/04/28 23:03:24.17 4irn3/UI.net
デザインパターンが流行った頃なんかもそうだが、
新しいものを「せっかく覚えたんだから」みたいな貧乏性に陥る奴は昔からいて、
そういう奴がレガシーコードを残してったという歴史がある。

177:デフォルトの名無しさん
18/04/28 23:04:43.94 ERf465ou.net
ふつうに真っ当な突っ込みを入れられるだけでうじゃうじゃ言って一日でここまで伸ばせるって、相変わらずあDHDはやべえな

178:デフォルトの名無しさん
18/04/28 23:13:45.22 pEXwgWhN.net
>>172
どういうこと?レガシーコードってCOBOLとかFortranのあれのことではなくて、テストのないコードのこと?
流行とどういう関係があるの?

179:デフォルトの名無しさん
18/04/28 23:29:00.10 Iob7Aa9f.net
>>174
たぶんだが、新しいプログラミング手法(概念)がバズった時に「せっかく覚えたんで使ってみよう」
と適材適所もよく考えず(というよりかは覚えたばかりなんで適材適所がまだ分からないまま)
使う奴がいて、そういうコードは後から見ればレガシーコード(負の遺産)にしか見えないことじゃないの?

180:デフォルトの名無しさん
18/04/28 23:34:35.25 pEXwgWhN.net
>>175
なるほどな。俺にも思い当たる節はあるなあ
俺はすぐに同等品を別の言語で作れるレベルを超える前に飽きちゃったから、ちょっと時間を無駄にした代わりにちょっとコーディングスキルが上がって次に繋がったって感じで終わったけど、
そんな理由で適当に作った負の遺産が問題になるほど作り込むってそれはそれで凄いなあ

181:デフォルトの名無しさん
18/04/28 23:54:31.31 7LnY/MuY.net
その当時本当に新しかったなら負の遺産ではないだろう
デザインパターンがもう一回流行ったとき
新しいと勘違いしてもう一回何か作り込んだらそれこそが負の遺産だ

182:デフォルトの名無しさん
18/04/29 00:05:40.56 ZzPNcJRD.net
負の遺産はSmalltalkではなくSmalltalkをぱくった奴らだな

183:デフォルトの名無しさん
18/04/29 00:09:38.95 lPGHHBCx.net
流行のスタイルって、それ自体は流行るだけの理由があって十分に優れてるんだよ
統一されてるうちはいいけど、後に別の流行と混ざった途端に糞になる
COBOLも伝統的なIPOスタイルのコードは美しいけど、SQLまみれになってから無茶苦茶になった

184:デフォルトの名無しさん
18/04/29 00:13:35.59 tKjITkqe.net
言語をデザインした人の手を離れてしまった感じか

185:デフォルトの名無しさん
18/04/29 09:08:10.39 NMEmUmfV.net
今はデザインパターン流行っとらんの?
あれって恒久的に使われるもんじゃないので?

186:デフォルトの名無しさん
18/04/29 09:19:27.18 lPGHHBCx.net
>>181
GoFのことなら、大半は未熟なオブジェクト指向言語の機能を使ったハックに過ぎないから
便利な「C#系」が主流になりつつある今となっては明示的に使われることは少なくなったね

187:デフォルトの名無しさん
18/04/29 09:19:54.21 pWs0qeQL.net
>>178
ゴミ過ぎて負の遺産も残らなかったからね、Smalltalk

188:デフォルトの名無しさん
18/04/29 09:28:37.21 ZzPNcJRD.net
型を明示したときにジェネリクスが一個も出てこないのは不自然だろ
恒久的ではない型システムを混ぜてしまった奴が戦犯

189:デフォルトの名無しさん
18/04/29 09:56:16.97 bhRKstEI.net
Haskellがクソなのはまぁ同意するけど
Lispは割と直感的に書けるやろ

190:デフォルトの名無しさん
18/04/29 10:14:21.74 tKjITkqe.net
>>185
副作用警察だ!貴様を逮捕する!(Land of Lisp風)

191:デフォルトの名無しさん
18/04/29 11:14:43.19 ZzPNcJRD.net
Lispを守りHaskellを叩く理由は
Lispが直感的に書けるからであって、Lispをせっかく覚えたんだからではないらしい
叩いてる張本人がそう言うならそうなんだろう

192:デフォルトの名無しさん
18/04/29 11:28:30.78 tKjITkqe.net
Haskellが直感的に書けないっていうのはよくわからん
普通の関数の記述は他の言語よりむしろ直感的だし、モナドだってdo構文使えば他の言語とそんなに変わらんやろ

193:デフォルトの名無しさん
18/04/29 11:39:24.00 NMEmUmfV.net
>>182
よくわからんな。今どきの言語に合わせたデザインパターンを出してくれればよいのに

194:デフォルトの名無しさん
18/04/29 12:12:05.39 fZUY9zfG.net
>>189
その今どきの言語というのがまだ定着していないんでないか?
何年かしてノウハウが蓄積されたらまたそれらをまとめたものが出てくるでしょ。

195:デフォルトの名無しさん
18/04/29 12:22:20.97 tKjITkqe.net
第一級関数が一般的になった今となってはなあ

196:デフォルトの名無しさん
18/04/29 12:23:33.65 WKly3EMn.net
>>188
遊びでしか使ったことないからあんま深くは言えないが
本気で使おうとすると、haskell のシンタックスからコンパイラが吐き出す実際のマシン語での動作を
予測できるくらいhaskellの癖をわかってないと使えん印象なんだが。

197:デフォルトの名無しさん
18/04/29 12:58:45.23 tKjITkqe.net
>>192
もしかして速度が気になってチューニングとかしてるのか?

198:デフォルトの名無しさん
18/04/29 14:23:59.40 tKjITkqe.net
ってか俺もHaskellにわかだし、多分俺より>>192のほうがしっかり使おうとして難しい所に当たったんだろうな

199:デフォルトの名無しさん
18/04/29 14:45:46.07 2zTKi9ml.net
直感的って言うけどただの好みだよな

200:デフォルトの名無しさん
18/04/29 16:09:36.69 1oUuYh/B.net
第一級関数使えると結構な数のデザインパターンが不要になるからな
継承は使わない方が良いっていう風潮だし、継承前提のパターンも微妙になってる
そもそも新しい言語からは継承消えていってるし

201:デフォルトの名無しさん
18/04/29 16:58:09.31 pgV3TRdN.net
そもそも継承より委譲って大昔に言われてるんだけど

202:デフォルトの名無しさん
18/04/29 17:05:21.00 FR8hyPh+.net
継承とはなんだったのか……

203:デフォルトの名無しさん
18/04/29 17:07:40.92 7OBXIl/u.net
直感でエリクサーを消費できない人にはレガシーコードを捨てるのは難しい

204:デフォルトの名無しさん
18/04/29 19:16:53.56 tKjITkqe.net
エリクサーユーザーおる?

205:デフォルトの名無しさん
18/04/29 20:33:53.00 My7UiDyw.net
[[[ []]]]*[[ [][] ][] } } {} [[[

206:デフォルトの名無しさん
18/04/29 23:08:30.47 rp6MdJfY.net
javaの次の汎用的な扱いをされる言語は何?

207:デフォルトの名無しさん
18/04/29 23:19:21.03 tKjITkqe.net
C# !!!

208:デフォルトの名無しさん
18/04/29 23:20:52.89 2zTKi9ml.net
rustやろな

209:デフォルトの名無しさん
18/04/29 23:30:44.49 tKjITkqe.net
アドホック多相とパラメータ多相のある言語が流行りますように……

210:デフォルトの名無しさん
18/04/30 00:16:52.31 b3OjaMrp.net
javaが滅びたのにpythonだけ生きてるパターン

211:デフォルトの名無しさん
18/04/30 01:03:07.36 TE3I7qQh.net
>>200
いい翻訳本が出たってんで買ってみたけど
さっぱりわからんかった(>_<)

212:デフォルトの名無しさん
18/04/30 01:08:01.23 IavhHICM.net
(Dart民おる?)

213:デフォルトの名無しさん
18/04/30 01:12:55.79 oQ8WGmv4.net
過去スレ読み返してみたが「あ」は冗談抜きで本当にADHDだったのか…
それじゃ、これほどまでに意思疎通が難しいのはしょうがないわな。
一般人が通常の会話で無意識に補完してる部分を「あ」には明示的に言わなきゃ伝わらないということだな。
「あ」自身のためにももう一度コテハン付けるようにしてくれ。頼む。

214:デフォルトの名無しさん
18/04/30 01:41:25.05 Gs35ApLe.net
ASDとADHDの違いがわかってない奴がまた一人出てきた
「あ」じゃないけどADHDの俺氏切れそう

215:デフォルトの名無しさん
18/04/30 01:44:31.76 VNBrLSx6.net
>>210
「あ」は明らかに意思疎通が難しいけど、それはADHDではなくてASDってこと?
その辺の病気関連難しくてわかんないや

216:デフォルトの名無しさん
18/04/30 01:53:57.70 Gs35ApLe.net
>>211
例えばこれ↓はASDの症状だ
>一般人が通常の会話で無意識に補完してる部分を「あ」には明示的に言わなきゃ伝わらない
「あ」やADHDの場合は多動(落ち着きのなさ)が常時発生してるから、
相手の話をちゃんと理解する前に衝動的に返事するので意思疎通が難しいと思われる
決して無意識の補完ができないわけじゃない。常に慌てているのと、自分でそれを直せないんだ

217:デフォルトの名無しさん
18/04/30 02:01:58.81 VNBrLSx6.net
>>212
彼も本当は無意識下の補完は出来るはずということか
でも現状、非常に丁寧に説明することで、いっぱいレスを使ってなんとか意思疎通出来てるような気がするけど、実はもっと良いADHD向けの方法があったりするの?

218:デフォルトの名無しさん
18/04/30 02:11:52.59 DJ94RjpX.net
彼の文章の読み難さについては医学的にはどう説明されるの?

219:デフォルトの名無しさん
18/04/30 02:13:57.52 oQ8WGmv4.net
>>210
気を悪くさせたならすまなかった。
俺は友人の妹にADHDの子がいて時々会話することがあるってだけで、
そういう知識に詳しいわけじゃなく、俺の経験則での対応策なんだ。

220:デフォルトの名無しさん
18/04/30 02:17:04.67 oQ8WGmv4.net
あと過去スレ↓の800~1000あたりの部分を読み返してみて分かったが「あ」はきちんとHaskellのこと分かってるよ。
スレリンク(tech板)
一連の流れを少し整理してみた。
「Rustアンチ」:Rustは再帰的データ構造が書けないからクソ。注釈:これはウソ。実際には面倒なだけで書ける。
「あ」________:書けるでしょ。お前ができないだけで。ただしHaskellみたいにジェネリクスの多相再帰はできないけど。
________________Haskellは実行時に多相再帰を解決するけど、Rustはコンパイル時に解決しなきゃならないから。
ここで、何故かHaskellerがHaskellをバカにされたと勘違いしたのか反応する。
「Haskeller」_:Haskellはジェネリクスをきちんとコンパイル時に解決してる。
「あ」:________ほとんどね。でも全てではない。
________________注釈:Haskellはジェネリクスの多相再帰だけは実行時に解決してるからこれは事実
「Haskeller」_:そんなはずない。コード例を見せてみろ
ここで、何故か「あ」が、Haskellのコード例ではなく、
Rustでジェネリクスの多相再帰コード(つまりコンパイルエラーする)例を示す。
「Haskeller」_:Haskellのコードじゃない。こいつHaskellのこと何もわかっちゃいない
って流れ。
つまり、絶望的に意思疎通が出来ていないだけでHaskellのことはきちんと分かってる。
ちなみにRustとHaskellのジェネリクスの多相再帰の問題は↓を見ると分かりやすいかな。
URLリンク(qnighy.hatenablog.com)
長文失礼した。

221:デフォルトの名無しさん
18/04/30 02:25:44.37 Gs35ApLe.net
>>213
奴の調子次第だが、丁寧さはそのままで、一問一答みたいな感じで一度に処理する情報を少なくしてみてくれ
要はすごいスピードで飛ばし飛ばし文章を読んでる奴にどう理解させるかという問題になる

222:デフォルトの名無しさん
18/04/30 02:37:34.60 Gs35ApLe.net
>>215
何かこっちこそすまん
しかし明示的に言うっていう対応策が有効そうなのがまた悩ましい

223:デフォルトの名無しさん
18/04/30 02:39:38.75 VNBrLSx6.net
>>216
うーん。その解釈は結構腑に落ちない部分があるなあ。908,929,930のやりとりなんだけど
なぜかcar cdrが登場する点とか、(Rustのこと全然知らないんだけど、car,cdrは出ないよね?)
HaskellとScala間違えてるの?って聞かれた後でRustと訂正を入れずにoptionとかnilとか言ってるところとか
これ全部慌ててるからだっていうのなら、それこそ絶望的に感じる

224:デフォルトの名無しさん
18/04/30 02:41:00.17 VNBrLSx6.net
>>217
現状、一つ議論しようと思ったらその倍以上のレスを使って理解させることになるのが悩みだったんだけど、解決は無理か。ありがとう

225:デフォルトの名無しさん
18/04/30 02:48:52.14 VNBrLSx6.net
>>216
いや、ごめん。car,cdrは彼がlispユーザーだからなんとなく型名に使っただけか。

226:デフォルトの名無しさん
18/04/30 02:57:11.16 oQ8WGmv4.net
>>219
「あ」本人が「その辺は記憶だより」とか「違うかも」的なこと言ってるから、多分混乱してるね。
なにより、そう考えると辻褄が会うんだよ。
逆に、Haskellのことを何も知らないと仮定したほうが、
「何故ジェネリクスの多相再帰はできるけど実行時に解決してるということを知ってるのか?」
ということの説明ができなくなる。
この問題はHaskellについて詳しくないと答えられないはず。
しかも、聞かれたわけでも無いのに自ら答えてる。
ということは、「Haskellについて知っている」と仮定するほうが妥当。というのが俺の考え。

227:デフォルトの名無しさん
18/04/30 02:59:41.87 VNBrLSx6.net
>>216
いや、よく読んだらたしかにおっしゃる通りだ。そのほうが綺麗な解釈だわ。3回もレスをつけてすまん。

228:デフォルトの名無しさん
18/04/30 03:11:56.18 /NJkj9K4.net
よく読まず慌てて見当違いなレスをする症例>>219

229:デフォルトの名無しさん
18/04/30 03:26:11.79 oQ8WGmv4.net
>>224
つまり一般人でも時々やってしまうことだからそう珍しいことじゃない。
ただし、「あ」の場合は「時々」じゃなくて「いつも」にということになるけど。
あと、そういうの煽ってるように見えるからよくないと思うよ。

230:デフォルトの名無しさん
18/04/30 03:30:29.33 lBEDIubv.net
そうですね。
不快な書き込みをしました。謝ります。

231:デフォルトの名無しさん
18/04/30 08:29:27.22 vjTpOI8h.net
>>208
期待はしてる

232:デフォルトの名無しさん
18/04/30 09:18:28.29 96dXjXi6.net
だいぶ丁寧な読み解きだね。

233:デフォルトの名無しさん
18/04/30 09:25:35.09 lJZKagtE.net
情報処理が遅いのは病気ではないぞ
自称健康な人でも前スレで出た情報を今頃処理してるんだから
人類はそんなに優秀な生物ではなかったというだけの話

234:デフォルトの名無しさん
18/04/30 10:18:19.35 gMZ30LHG.net
最近Macを買ったからSwiftでも始めようかと思うんだけど
Objective-cもSwiftもどちらも全く触ったことがないならSwift始めるでOK?

235:デフォルトの名無しさん
18/04/30 10:34:57.84 zm40T+GM.net
次世代言語スレとしてはQ#から始めるべきと答えざるを得ない

236:デフォルトの名無しさん
18/04/30 10:42:10.44 jNFXnGo+.net
「あ」の場合は慌ててるだけじゃあないよね
慌ててるだけだったらID:VNBrLSx6みたいに自己訂正して話はおしまい。
あんなに長々と場を荒らしたりはしない

237:デフォルトの名無しさん
18/04/30 10:45:01.49 jNFXnGo+.net
>>230
OK

238:デフォルトの名無しさん
18/04/30 12:49:46.09 BQNpYLuj.net
解釈の原因は解釈者自身の固定観念。解釈の自由には責任が伴う
言葉風紀世相の乱れはそう感じる人の心の乱れの自己投影。人は鏡
憤怒は一時の狂気、無知無能の自己証明。中途半端な知識主ほど激昂
「真実は一つ」は錯誤。執着する者ほど矛盾を体験(争い煩悩)
他人に不自由(制約)を与えれば己も不自由(不快)を得る
問題解決力の乏しい者ほど自己防衛の為に礼儀作法マナーを要求
情報分析力の低い者ほどデマ宗教フェイク疑似科学に感化洗脳
自己肯定感の欠けた者ほど「己の知見こそ全で真」に自己陶酔
人生経験の少ない者ほど嫌いキモイ怖いウザイ憎い想定外を体験
キリスト教は世界最大のカルト。聖書は史上最も売れているト本
全ては必然。偶然 奇跡 理不尽 不条理は思考停止 視野狭窄の産物
人生存在現象に元々意味価値理由目的義務使命はない
宗教民族領土貧困は争いの「原因」ではなく「口実動機言訳」
虐め差別犯罪テロ紛争は根絶可能。必要なのは適切十分な高度教育
体罰は指導力問題解決力の乏しい教育素人の独善甘え怠慢責任転嫁
死刑は民度の低い排他的集団リンチ殺人。「死ねば償える」は偽善
核武装論は人間不信と劣等感に苛まれた臆病な外交素人の精神安定剤
投票率低下は社会成熟の徴候。奇人変人の当選は議員数過多の証左
感情自己責任論 ~学校では教えない合理主義哲学~ m9`・ω・)

239:デフォルトの名無しさん
18/04/30 13:23:13.01 9wPwzi/d.net
[[[ [ "[]" ]]] [] [][[[ [] ]][]

240:デフォルトの名無しさん
18/04/30 14:14:39.69 nkNJAN4m.net
>>219
>>222
「あ」だから間違ってるに違いない、と言うバイアス無しで検証してくれてありがとうね。
でも、俺がhaskellの知識があろうがなかろうが(事実自慢できるほどは無いし)、そんなことはどうでもいい人たちが
「俺の方が賢い」「知識ないよね?対等じゃないから無視するね」とやりたいって事はもうどうにもならんと思ってるから、
半コテすらやめたし、鬱陶しくなりそうだったら一旦煽って瞬間的に燃やし


241:て、 建設的な話ができるようになるように鎮火するの待ってる。



242:デフォルトの名無しさん
18/04/30 15:27:33.84 oQ8WGmv4.net
>>236
別に「ありがとう」だとか「鎮火するのを待ってる」とかはそれで良いんだけど、
「あ」が「建設的な議論」がしたいのなら、その前に「あ」自身がきちんと「意思疎通」できるように心がけてね。
でないと、「あ」に対して人格否定を始める人間はいなくならないからね。
こういうのは相互に努力するから解決するんであって、どちらか一方だけが頑張ってもダメなんだよ。
今回の件で、君にバイアス無しで検証する努力をしている人もいるということは分かったでしょ。
だったら、君も他人に対してしっかりと意思疎通しようとする努力をしようね。
(「具体的にどう努力すればいいのか?」とかまではさすがにここじゃ面倒を見切れないからリアルの友人とかに相談してね)
少なくとも、ここにいる君以外の大多数の人間は「「あ」がきちんと意思疎通するための努力をしていない」と思ってるはずだよ。
もし、「あ」が「そうじゃない」と思うのなら、今この場で「自分は意思疎通の努力をしていないように見えますか?」と周りに聞いてみなよ。
多分ほとんどの人間が「「あ」は意思相通の努力をしていないように見える」と答えるはずだから。
でもって、「「あ」が意思疎通の努力をしている」と周りが感じられるようになったら、人格否定してくる奴らは次第に減るはずだから。
そもそも、バイアスをかけられてしまった原因は自分にあるということを自覚してね。

243:デフォルトの名無しさん
18/04/30 15:47:44.79 MsXGFGbf.net
プログラマって自分の正当性に異常に執着するやつ多いよね
スレ違いなのは明白なのに延々とどうでもいい話を続けるやつはその典型
一種の知的障害なんだろうな

244:デフォルトの名無しさん
18/04/30 15:51:20.62 nkNJAN4m.net
>>237
うん、それはおっしゃるとおりだな。
ちゃんと読んでくれてる人が居るならば、言葉足らずではいかん。
伝わるだろう、と最低限で伝えるのは改めるわ。
書いてねえこと読むなとか、書いてあること先に読めとか言うのは、まあ嫌味にならん程度に補足しながら話す。
嫌味言う方だから、「本人もわかってるだろうし、ここまで言うとやっぱこれも嫌味になるかな」って自重してた。
すまんかった。

245:デフォルトの名無しさん
18/04/30 15:53:51.40 c3w1WFHI.net
バイアスバイアスっていう割に本人も他人の意見にバイアスかかってそうなのが気にかかる

246:デフォルトの名無しさん
18/04/30 16:06:52.94 oQ8WGmv4.net
>>238
スレチなのは承知の上で、それでも敢えて指摘してるよ。
でないと、今回の場合はそもそもマトモなコミュニケーションにならん。
スレチかそうでないか以前に2chは(議論、雑談を含む)コミュニケーションの場だろう?
でもスレチなのは事実だ。すまないな。
あと、俺もプログラマだが「正当性を主張したい」わけじゃなくて「問題を解決したい」んだよ。
つまり、デバッグがしたいわけ。
デバッグがしたいってのは実にプログラマらしくて、少なくとも悪いことじゃないと俺は思うけど。
俺はこの辺で一旦ROMるんで後はご自由に。

247:デフォルトの名無しさん
18/04/30 16:08:41.93 jNFXnGo+.net
>>241
えー。このスレのコミュニケーションの正常化のためには君は必要不可欠な存在だ。そう言わずに是非書き込んで欲しい

248:デフォルトの名無しさん
18/04/30 16:14:00.03 5HyEUtmg.net
そらそら、正当性を主張せずにはいられないんだよ、ビョーキなんだよ
デバッグは結構、でも自分のバグは自分で潰してくれ

249:デフォルトの名無しさん
18/04/30 16:31:27.30 jNFXnGo+.net
>>243
やめたまえ。またこのスレを一つ議論するたびに倍以上を解釈の伝達に使う地獄に戻す気か

250:デフォルトの名無しさん
18/04/30 16:53:26.25 lJZKagtE.net
デバッグがしたいならまずコードとコメントを区別しようぜ
コードは良い内容も悪い内容も実行される
コメントはある意味フィクションであり利益は一円も出ないがその代わり損もしないのだ

251:デフォルトの名無しさん
18/04/30 17:23:54.02 c3w1WFHI.net
>>239のレスからは自分が悪いから治そうというよりも、あくまでも相手が悪いから合わせてやるという感じの上から目線な強い心意気が伝わってくる(もちろん実際の心内は知らんがね)
これだけ親切なID:nkNJAN4mにあれだけ懇切丁寧に説明されてもこんな反応しか返せないなんて、これは多分治らんな。

252:デフォルトの名無しさん
18/04/30 17:47:21.38 kQcRd75k.net
>>242
他人に任せず自分でやったら?

253:
18/04/30 17:48:46.39 TVB5RPq5.net
>>246
そんなこといいんだよ
本人が仮に「相手に合わせてあげよう」とか思っていたとしても、コミュニケーションが通るのなら、それならそれで結果 all right だろう?

254:デフォルトの名無しさん
18/04/30 18:21:45.68 c3w1WFHI.net
>>248
こういうのは心の持ちようだよ。それでも治るんなら良いけれど、
現にこれまでも彼は何回か同じように諭されて、今回みたいな感じのちょっと反省した風になって、それでも治りはしていないじゃないか

255:デフォルトの名無しさん
18/04/30 18:49:09.78 FLcW1EfP.net
お前らの頭が旧世代なのは分かったから
次世代言語の話しろよ

256:デフォルトの名無しさん
18/04/30 18:55:23.39 nkNJAN4m.net
>>246
大人げない言い方をすると、心内を知らないならそういう事言わないほうがいいと思うが。
あー、たしかに悪かったな、と思って「すまん」と言ったつもりだよ、少なくとも。
仕方ないと思ってりゃ、仕方ねえからやってやると言ってるわ。
どんだけ突っかかれば気が済むのかな?

257:デフォルトの名無しさん
18/04/30 18:57:36.14 nkNJAN4m.net
>>249
そもそも勝手にキレてくる事のほうが多いけどね。haskellerさんは。
お前などに語られたくない、と。
まあ、じゃあ先に語れよって思っても仕方ないじゃん…。

258:デフォルトの名無しさん
18/04/30 18:57:59.35 VNBrLSx6.net
>>250
現状のこのスレの状況で次世代言語の話をしようとしてもすぐに脱線しちゃって、
>>48のレスから>>150の簡単な合意を得るまでに102レスもかかっている。こんな状況では次世代言語の話をしてもすぐに脱線することになると思う
今行われている会話はこの状況を脱するためには必要なことだと思う。

259:デフォルトの名無しさん
18/04/30 19:19:46.96 EoSvsvu6.net
次世代言語を使ってあDHDのレスを識別するAIを作ればいいだろ

260:デフォルトの名無しさん
18/04/30 19:26:22.68 c3w1WFHI.net
>>251
少なくとも>>239はそういう風に取られかねない文書だよ。
>>237のいう「他人に対してしっかりと意思疎通しようとする努力」を本当にしている?していてその返答?
「もしかしたらまた自分の文章が悪かったかもしれない」という自省の念はない?俺に反論することが全てになっていない?意思疎通に限らず、成長に重要なのは自省だよ。

しかし「どんだけ突っかかれば気が済むのかな?」か……
俺はID:oQ8WGmv4と違ってADHDの人とコミュニケーションを取るのは上手くないし、>>253が言ってるような簡単な合意に至るまで102レスもかかる人とは話したくない。
でも君が変わりもしないしコテもつけないしでこのスレに居座っているなら、匿名の君に触れてしまい、しょうもない合意にレスと時間を費やすことになる。それは嫌だし、君はコテをつけないという。だから君が変われないのは困るんだ。そう思っての>>246のレスだよ。
それでも突っかかって欲しくないっていうならまたコテをつけなよ。そうしたら俺はもう君には二度と話しかけないよ。

261:デフォルトの名無しさん
18/04/30 19:27:30.26 c3w1WFHI.net
>>252
このスレでもそうだった?今もそう?
君は随分とバイアスを気にしているけど、自分の認識にバイアスはかかっていない?

262:デフォルトの名無しさん
18/04/30 19:38:34.18 VNBrLSx6.net
ふと思ったんだけど、そもそもADHDの煽りカスって時点でコミュニケーションは無理だよね
ADHDはやめられないし、煽りカスも辞めないという。これは厳しい

263:デフォルトの名無しさん
18/04/30 19:43:11.80 IW/uLpnH.net
言語の話しろよ

264:デフォルトの名無しさん
18/04/30 19:50:35.50 u1hVCPKT.net
ある意味言語の話だな
これほど真面目に自然言語について議論してるスレはなかなか無いぞ

265:デフォルトの名無しさん
18/04/30 20:18:05.96 kQcRd75k.net
>>259
まあ、板違いだけどね。
「あ」とやらがコテつけてくれるのが最も現実的で皆が幸せになる解決策だと思うよ。

266:デフォルトの名無しさん
18/04/30 20:31:29.13 nkNJAN4m.net
>>255
意思疎通しようとする努力はしてるつもりだよ。
匿名の俺に触れてしまい、と言うか、結構匿名の俺と普通に議論してることもあるんだよ。
ただ、単に一部の人間が、haskellについてマイナスにも取れる事を言うと燃え上がるだけであって。
いずれにせよ、余計なことは言わないようにするよ。
特にhaskellに関してはその存在すら触れないようにする。
では。

267:デフォルトの名無しさん
18/04/30 20:41:42.49 lJZKagtE.net
ある人物がいるところには必ず悪い結果が生じる
ある言語に触れたら必ず悪い結果が生じる
こういう因果関係に縛られて身動きが取れない世界観をなんとかできないのか

268:デフォルトの名無しさん
18/04/30 21:44:21.59 lJZKagtE.net
逆張りが必要だ
旧世代のジンクスが破れる方に賭けないと次世代は出てこない

269:デフォルトの名無しさん
18/04/30 23:45:34.54 oQ8WGmv4.net
ひでぇな…ちょっと見てない間にこの有り様かよ。
俺も煽り耐性ないほうだから「ROMって様子見るつもり」が耐えきれず出て来ちゃったよ。
このスレにはADHDと知ってなお煽るカスがいるのかよ。
特にID:c3w1WFHIだよ。
おまえ「コテ付けたら話しかけない」とか言ってるが
>>240,>>246,>>249,>>255,>>256の中で「コテ付けてほしい」って言ってるのが
>>255のたったの1つだけ。他は全て「あ」に対しての「煽りや批判」。
おまえの本心は「コテ付けて欲しい」でも「「あ」と話したくない」でもなく、
ただ単に「煽ったり批判したりしたい」だけだよ。
「「相互」に努力しろ」って言ってるだろうが。
解決するつもりが欠片でもあるなら、いちいち煽ってんじゃねぇよ。
解決するつもりが全くないなら、それ以上は俺もどうしようもできねぇよ。
自分からこの話振っといて言えた立場じゃないのは重々承知なんだけど、
そろそろ次世代言語の話に戻ろう。ご迷惑お掛けしました。

270:デフォルトの名無しさん
18/05/01 00:33:30.64 xd1ck8hZ.net
Haskellやってから$で後ろの文を優先度低いコードにするやつが欲しいけどそういうの流行ってないのけ?

271:デフォルトの名無しさん
18/05/01 00:57:22.30 ur47byug.net
haskell触ると各種括弧が煩わしくなるね

272:デフォルトの名無しさん
18/05/01 01:18:59.27 ZcmzMd+9.net
オブジェクト指向捨てて関数型の鬱陶しいところ解決したら次世代言語でいいよ

273:デフォルトの名無しさん
18/05/01 01:20:01.70 2fuYCH09.net
HaskellはCommon Lisp の力強さとSchemeの美しさを併せ持ち、インデントに意味を持たせることで極限まで括弧を減らした言語だってLand of Lispかなんかに書いてあった希ガス

274:デフォルトの名無しさん
18/05/01 02:23:29.29 6vH9r7He.net
それは気のせい

275:デフォルトの名無しさん
18/05/01 02:52:22.58 4yrhftk/.net
みんなxcodeでカード書いてるんでしょ?
どうやってxcodeの使い方覚えた?
visualstudioしか今まで使ってこなかったからIDEの操作で右往左往してるわ

276:デフォルトの名無しさん
18/05/01 02:52:52.65 4yrhftk/.net
誤字ってた
カードじゃなくてコード

277:デフォルトの名無しさん
18/05/01 06:06:49.46 BQXmdu4P.net
iOSアプリ入門で覚えた。
xcode自体は割と素直な環境だと思うけどな。ただし俺の知識はswift2で止まってるが。

278:デフォルトの名無しさん
18/05/01 06:24:30.92 BQXmdu4P.net
ここでhaskell押しをよく見るけど、正直取っ付きやすさは最悪だと思うんだけど、、
関数プログラミング実践入門
ってやつを読み進めてみたけど、半分過ぎても helloWorldまで行かなくて、なんてヘビィな言語だと思ったわ。
一方go言語は一時間で動かせました。
学習日一日目でphpで書いたバッチ処理をgoに移植できたよ。

279:デフォルトの名無しさん
18/05/01 08:13:28.92 4+zKgECd.net
なんだかんだでgoは学習コストとできるコードのバランスは良いと思うよ。
あんまり無作法なことするとコンパイラがコンパイルしてくれないくらいか。
gofmtあるし、vscodeでもプラグイン入れたらわかりやすいし。

280:デフォルトの名無しさん
18/05/01 08:33:48.84 BQXmdu4P.net
後、結構組み込みに向いてないかなgoは?
例えばラズパイでsdに録画したデータを外部サーバにpostしようとしたときに、
一度メモリ上に、全部配置してからじゃないと動かない挙動だったんだけど、
検証したらpost処理時にsdからreadしながら転送できるように修正できた。

281:デフォルトの名無しさん
18/05/01 08:33:49.85 4kJCxQxL.net
純粋オブジェクト指向言語が定着しなかったのと同じで
純粋関数型言語もメインストリームにはなれないと思う

282:デフォルトの名無しさん
18/05/01 08:35:30.68 BQXmdu4P.net
goの良さって標準ライブラリが全部goで書き直されていて、それを読めば解決策が思いつくことがあるってことだな

283:デフォルトの名無しさん
18/05/01 08:38:56.70 4+zKgECd.net
>>275
リッチな組み込みには向いてると思ってる。
linuxのarm用にコンパイルしたら、androidでも動くし(普通のSDKアプリからプロセス起こして遊んでみた)
GCの動作と、そもそもリアルタイムが出せないを許容できるなら便利かと。
たしかqiitaでも、組み込みに押してる人居たよ。

284:デフォルトの名無しさん
18/05/01 08:50:20.21 BQXmdu4P.net
goって組み込みでも使えるしwebでも行けるしスマホアプリも作れなくもないし
wasmにも対応間近だからwebクライアントにも進出しそうだし、いい感じ。

285:デフォルトの名無しさん
18/05/01 09:14:08.18 jT7wV8oq.net
rustでいいやん

286:デフォルトの名無しさん
18/05/01 09:21:25.08 DdhcnubW.net
>>280
Rustはどうしても手軽じゃないんだよね
とはいえ、Rustも慣れると案外サクサク書けるから悪くはないと思う
慣れるまでメチャクチャ時間がかかることがそもそも問題なんだけどね…

287:デフォルトの名無しさん
18/05/01 10:05:10.06 jT7wV8oq.net
メチャクチャっていうけど一週間もあればそれなりに書けるようになるでしょ

288:デフォルトの名無しさん
18/05/01 10:22:04.99 jugg/3+t.net
慌てるなよ
自分が数学を何年勉強したか思い出せ
1週間で何ができる?何もできないでしょ

289:デフォルトの名無しさん
18/05/01 10:22:33.15 DdhcnubW.net
>>282
Rustが一週間とか羨ましい頭してるな
毎日まじめにやってたわけじゃないのもあるけど、半年かかったわ
一週間とかおれには無理

290:デフォルトの名無しさん
18/05/01 10:27:41.79 btT/kXg5.net
>>283
一つのプログラミング言語を現場に持ち込むのに数年かけているのか?
>>284
phpで書いたバッチの移植くらいならできるでしょ

291:デフォルトの名無しさん
18/05/01 10:32:48.52 DdhcnubW.net
>>285
それくらいならまあギリギリ
でもちょっとでも複雑になっただけですぐアウト

292:デフォルトの名無しさん
18/05/01 10:42:57.85 KdOUAylP.net
とっつきやすさとかいうほど重要か?Javaとかそんなにとっつきやすかったイメージないけど

293:デフォルトの名無しさん
18/05/01 10:54:12.75 jugg/3+t.net
金のことばっかり考えると勉強ができなくなるようだな
子供は金持ってないのが当たり前だから何年も勉強できる

294:デフォルトの名無しさん
18/05/01 11:12:05.04 mR7q/yna.net
>>273
> 関数プログラミング実践入門
それは関数型言語の入門書だからHaskellのHello, Worldがなかなか出てこないのは当然
Haskellが「ヘビィな言語」なんじゃなくてあなたが「関数型言語」に馴染みが無いだけだと思うよ

295:デフォルトの名無しさん
18/05/01 11:34:41.33 KdOUAylP.net
まあたしかにHaskellのHello worldなんて大した長さじゃないし、本の最初のほうに配置するべきよな
そして最初に配置している本は見たことがない。あるのか?

296:デフォルトの名無しさん
18/05/01 11:42:18.17 BQXmdu4P.net
>>289
馴染みのある人間が 入門 を果たして読むのか。

297:デフォルトの名無しさん
18/05/01 11:49:01.59 jugg/3+t.net
Haskellの難易度はC++とほぼ同じと気付くまでにあと何年かかるかな

298:デフォルトの名無しさん
18/05/01 11:50:27.39 BQXmdu4P.net
phpで並列処理が書きづらくて、goに触り始めて感動して。
ちょっと触ってみて使えるのを確認して、
goを本格的に触るようになった。
ちょっとしたモチベーションで気軽に始められる。
ローリスクハイリターンな感じ?
haskellとかrustに触るモチベーションって言語マニア以外は何があるかな?

299:デフォルトの名無しさん
18/05/01 11:50:49.86 mR7q/yna.net
>>290
関数型とはなんぞやをすっとばしても入出力を扱うには副作用・モナドあたりを先に
やる必要があるから仕方ないね
>>291
つまり馴染みのないあなたにはHaskellが「ヘビィ」かどうかなんて判断できないってことだよ

300:デフォルトの名無しさん
18/05/01 11:53:26.62 KdOUAylP.net
>>294
そんなんHello wordするためにはincludeを理解する必要があるって言ってるようなもんじゃん
IOアクションなんて最初は「おまじない」で良くね?

301:デフォルトの名無しさん
18/05/01 11:59:45.69 DdhcnubW.net
>>293
Haskellの方は知らん
RustはC++の代替え
C++はもう嫌だ

302:デフォルトの名無しさん
18/05/01 12:01:56.82 KdOUAylP.net
D……

303:デフォルトの名無しさん
18/05/01 12:05:51.63 BQXmdu4P.net
>>294
そうかな。elixirも関数型言語だけど、だいぶ遊びやすかったけど。
俺みたいなショボいプログラマーはhaskellに近づかないほうが良いのかな。
素直にelm辺りを触ってみますわ。

304:デフォルトの名無しさん
18/05/01 12:09:09.54 jugg/3+t.net
C++にはbetter Cとかいうチート技があるから1秒で即戦力
1時間で自慢してるやつは恥を知れ

305:デフォルトの名無しさん
18/05/01 12:23:26.29 KdOUAylP.net
>>293
Haskell 勉強中なんだけど、ちょっとパーサーをいっぱい書く必要があって、パーサーを量産することがモチベーションになってる。Real world Haskell でチュートリアル的にJsonパーサー作れるくらいにはパーサー書きやすいんだと思う
でも環境周りとか正直鬱陶しいから、もしもっと書きやすい言語があったらそっちにしたい

306:デフォルトの名無しさん
18/05/01 12:32:50.54 4yrhftk/.net
>>272
ありがとう
それは書籍?

307:デフォルトの名無しさん
18/05/01 13:22:56.98 btT/kXg5.net
>>293
rustやhaskellを選択しない自分に劣等感を抱いてるのかね
他の言語をオタク専用であるかのように揶揄して自尊心を満たそうとするのはやめんしゃい
わしはGCとおさらばしたいしresult/optionの扱いが気に入ってrustを使ってる

308:デフォルトの名無しさん
18/05/01 13:42:38.59 BQXmdu4P.net
>>301
特定の書籍ではないね。本屋に山ほどあるどの本でも良いのでわ?
もしくは最近だとmixiとかが社内研修用のコンテンツを無料で公開してるからそれを利用しても良いと思う。

309:デフォルトの名無しさん
18/05/01 14:17:29.04 4+zKgECd.net
GCフリーは確かに魅力だけど、充分に賢ければGC言語でもそこまで問題になる事は無いと思うが。

310:デフォルトの名無しさん
18/05/01 14:18:21.90 KdOUAylP.net
そこは状況によるし一概に否定出来ることではない

311:デフォルトの名無しさん
18/05/01 14:25:43.54 4+zKgECd.net
そういや、rustだと、自身も誰かから特定のイベントを受け取るか、誰もイベントを送り得なくなったら死ぬような感じの、
タイマーみたいな自発的にイベントを起こすイベントソースは誰か所有すべきなのかな。
タイマー起こしたやつってのも変だし。

312:デフォルトの名無しさん
18/05/01 14:43:22.00 jugg/3+t.net
Rustの Rc<T> 型の問題
Haskellの IO a 型の問題
難易度下げたいなら型を書くのをやめればいいんだよ

313:デフォルトの名無しさん
18/05/01 14:45:09.99 KdOUAylP.net
書きたくないなら省略すれば良い

314:デフォルトの名無しさん
18/05/01 14:52:11.01 DdhcnubW.net
>>307
とりあえずRustの話だが、Box<T>にせよRc<T>にせよ書かねえと
ボローチェッカを満足させられない or コストを可視化できねえんだよ

315:デフォルトの名無しさん
18/05/01 15:07:40.80 jugg/3+t.net
>>309
そうだね
チェックしたいなら学習コストを犠牲にすればいい
コスト下げたいならチェック機能を犠牲にすればいい

316:デフォルトの名無しさん
18/05/01 15:20:54.24 DdhcnubW.net
>>310
なんか勘違いされた気がするから補足
コストってのは学習コストのことじゃなくて実行時のコストのことね
Boxを明示することでヒープであるコストを可視化する
Rcを明示することで参照カウンタであるコストを可視化する

317:デフォルトの名無しさん
18/05/01 15:24:30.26 vzW3/HLG.net
コードの短さこそ正義。ただし、可読性を損なわない範囲で

318:デフォルトの名無しさん
18/05/01 15:26:12.15 DdhcnubW.net
つまり、書かないとボローチェッカを満たせないというのももちろん理由の一つだけど
実行時のコストを可視化するという意味でも書いておいたほうがいいというわけ
Rustは実行速度が速くないといけない言語なんでね

319:デフォルトの名無しさん
18/05/01 15:53:34.08 jugg/3+t.net
2種類のコストの概念を学習するのが面倒臭い
だから色々なコストを無視して作ったフリーソフトが無双してるんだと思う

320:デフォルトの名無しさん
18/05/01 19:39:03.13 vzW3/HLG.net
リスト内包表記が読みにくいって人たまに見かけるけど、このスレにもおる?

321:デフォルトの名無しさん
18/05/01 19:42:50.63 xd1ck8hZ.net
Haskellのリスト内包表記がモナドと知った時の衝撃
まあ3項演算子と同じで慣れよね

322:デフォルトの名無しさん
18/05/01 19:49:54.02 KdOUAylP.net
doといい、内包表記といい、全部ちゃんと何かのシンタックスシュガーになっているのには恐れ入るわ
ユーザーからしてみればそこまでしてもらわなくてもいいっちゃいいもん。
開発側の強い拘りを感じて好きだわ

323:デフォルトの名無しさん
18/05/01 19:52:14.09 vzW3/HLG.net
Fortranのあれは内包表記と扱って良いものか悩む

324:デフォルトの名無しさん
18/05/01 20:23:57.89 KdOUAylP.net
RustはDみたいに.mapとか.filterとか繋げるのが主流かいな?

325:デフォルトの名無しさん
18/05/01 20:31:00.33 pBAnst7/.net
拘りっつーか関数型言語なんでそりゃそう作るでしょうよ
適当に文法導入してそれが関数に還元できないものだったら理論破綻するじゃん

326:デフォルトの名無しさん
18/05/01 20:37:38.61 KdOUAylP.net
そういえば純粋関数型だったな。Haskellは
純粋の意味を忘れておった

327:デフォルトの名無しさん
18/05/01 20:45:19.66 DdhcnubW.net
>>319
Dはやったことないから知らんけど多分同じ
C#のLINQみたいな感じでメソッドチェーンする

328:デフォルトの名無しさん
18/05/01 21:21:46.75 KdOUAylP.net
>>322
Rustは速くなくっちゃいけないとの事だけど、それって速いの?

329:デフォルトの名無しさん
18/05/01 21:29:57.85 btT/kXg5.net
早いの?ってなにに対して?

330:デフォルトの名無しさん
18/05/01 21:35:11.22 KdOUAylP.net
>>324
ループで書いた場合

331:デフォルトの名無しさん
18/05/01 21:42:41.95 btT/kXg5.net
ループってCのループ?

332:デフォルトの名無しさん
18/05/01 21:55:33.38 KdOUAylP.net
>>326
え、rustのループとCのループって速度違うの!?
じ、じゃあCのループで

333:デフォルトの名無しさん
18/05/01 22:04:27.49 btT/kXg5.net
rustのmap,filterとcで同等のことをするのは、真ん中とって同じくらい速いと考えてよろしいですよ

334:デフォルトの名無しさん
18/05/01 22:07:47.19 KdOUAylP.net
おお、マジかすげー!!

335:デフォルトの名無しさん
18/05/01 22:22:36.78 btT/kXg5.net
でしょ、rustおススメさ

336:デフォルトの名無しさん
18/05/02 00:38:20.18 dFHCtPB7.net
rustは速さとモダンな記述のバランスが良い

337:デフォルトの名無しさん
18/05/02 00:58:58.35 +3mXDJV1.net
大変非本質的なことを書いて申し訳ないんだが、<>と::に拒否反応が出る。俺だけかな

338:デフォルトの名無しさん
18/05/02 01:41:11.00 7KDFadEV.net
無茶苦茶な事敢えて言うがやっぱプログラミングするに至って世界に記号が足りない。だから2個記号を並べるというダメな記法になる
ついでにアルファベットも50個くらいにしてくれ

339:デフォルトの名無しさん
18/05/02 01:45:52.01 vteIglDu.net
やっぱりAPLって神だわ

340:デフォルトの名無しさん
18/05/02 01:47:50.27 vteIglDu.net
Vimでなんかのプラグイン入れてhaskell書いてたらラムダ式のバックスラッシュをλに変えられて草生えた

341:デフォルトの名無しさん
18/05/02 10:07:19.34 mp5av7vO.net
>>333
Juliaみたいにユニコード完全対応するとギリシャ文字を変数に使えたりするが
いまいち流行りそうな感じがしない

342:デフォルトの名無しさん
18/05/02 10:25:48.10 RzHnyLgy.net
変数とかじゃなくて記号としてだろ
λとか { (x,y) | x ∈ R, y ∈ R } とかアリではあるのだろうけど入力面倒そうでもある。
Int や Real を意味する派手な(縦線が二本線)大文字の I や R も欲しい

343:デフォルトの名無しさん
18/05/02 10:53:03.53 oEkIWn2X.net
Agdaとかその辺徹底してる。
作者自身が教えてる動画で、その記号どうやって打つのて何度も聞かれてて、
最後は何でユニコードにするの?て聞かれて、だってそっちの方が美しいじゃん?て答えて失笑されてた。
めんどくせ、こりゃ流行らんわと思ったけど、慣れると\より\lambdaて打ちたくなる不思議。

344:デフォルトの名無しさん
18/05/02 11:41:13.27 NVRwXhE8.net
中置の二項演算ができたら記号は何でもいい
他には分数のように縦に並べたい

345:デフォルトの名無しさん
18/05/02 17:37:54.83 Sw4XeVpF.net
欧米の人たちは∈∧∋とかどうやって入力してるんだろう?

346:デフォルトの名無しさん
18/05/02 17:37:57.52 +3mXDJV1.net
>>337
わかる

347:デフォルトの名無しさん
18/05/02 18:15:31.48 vteIglDu.net
Unicode打ち込むエディタとして、Junoは良く出来てる

348:デフォルトの名無しさん
18/05/02 18:41:04.95 1b+D0yU2.net
そんなクソ機能、バグを生み出す元でしかないわ。

349:デフォルトの名無しさん
18/05/02 20:25:38.31 HO4ioabV.net
>>339
Vimで表現出来なそうでつらみ

350:デフォルトの名無しさん
18/05/03 01:00:22.05 VEudjtBb.net
RAIIとGCってどっちがパフォーマンス優れているの?直感としてはGCの方が効率良さそうに感じるんだけど

351:デフォルトの名無しさん
18/05/03 01:08:46.71 bKSKRSB9.net
感じるならしょうがないけど
GCは解放していいオブジェクトがどうか判定しなきゃいけないけど
RAIIだと不要だよね

352:デフォルトの名無しさん
18/05/03 01:08:55.36 gY2lED9C.net
究極的には圧倒的にGC
GCはメモリの再配置が可能という極めて大きな最適化の自由度があるからね

353:デフォルトの名無しさん
18/05/03 01:10:48.34 1+qiVSYV.net
>>346
RAIIで面倒見きれるような単寿命のオブジェクトはほとんどGCのコスト無いんだぜ

354:デフォルトの名無しさん
18/05/03 01:11:29.45 bKSKRSB9.net
再配置できるのはメモリアドレスを抽象化してる場合でしょ
GCとは直接関係ない

355:
18/05/03 01:14:39.15 hvfEvXXP.net
>>347
メモリの再配置なんて、C++ に慣れた身からみると、いかにもにコストが高そうだが…
>>349
その「メモリアドレス抽象化」はアプリケーションに益をもたらす性質があるのでしょうか?

356:デフォルトの名無しさん
18/05/03 01:16:22.58 bKSKRSB9.net
>>348
RAIIが短寿命


357:? 関数スコープのスタックにオブジェクトを置くだけがRAIIじゃないよ どっちにせよ同じ条件でRAIIより速くはならんでしょ



358:デフォルトの名無しさん
18/05/03 01:29:46.74 VEudjtBb.net
解放のコストもさることながら、確保のコストが気になります

359:デフォルトの名無しさん
18/05/03 01:31:56.63 bKSKRSB9.net
>>350
やっぱり第一にメモリコンパクションじゃない?
アクセス透過性みたいなのも原理的にはできるだろうけどプログラミング言語レベルで
そういうの実現してるのはなさそう

360:デフォルトの名無しさん
18/05/03 01:34:20.53 bKSKRSB9.net
>>352
気になるんならしかたないけど
確保はほぼ違いがないよね

361:デフォルトの名無しさん
18/05/03 01:35:38.85 bKSKRSB9.net
補足すると
GC言語はヒープを多用する傾向はあるけど
そういう場合スレッドローカルなヒープだったりするからね

362:デフォルトの名無しさん
18/05/03 01:40:50.12 yApXR4/8.net
>>355
スレッドローカルなヒープってどういうこと?
普通のヒープ(Cのmallocとか)とどう違うん?

363:デフォルトの名無しさん
18/05/03 01:46:54.01 bKSKRSB9.net
>>356
あるスレッド専用のヒープってこと
そのスレッドしか使わないから排他処理がいらないので速い
スタック確保とそれほど差がつかない
cでもglibcとかだとスレッドローカルをミックスして使ってたと思う確か

364:デフォルトの名無しさん
18/05/03 02:03:01.65 SiwDQ+i8.net
RAIIを徹底したらスタックでメモリ管理出来るようになったりするんだろうか?

365:デフォルトの名無しさん
18/05/03 02:04:19.79 yApXR4/8.net
>>357
すまん。また質問なんだが、
ミックスして使ってるってどう言うこと?
それとRustのjemallocとかだとまたglibcと違う動きをするの?
取り敢えずjemallocの方が速いらしいぐらいしか知らないんだけど…

366:デフォルトの名無しさん
18/05/03 02:08:20.55 yApXR4/8.net
ごめん。意味が伝わりにくい書き方をした。
ミックスして使ってるって言ってもglibcは一体どうやって
スレッドローカルなヒープとそうでないヒープの区別をしてるの?

367:デフォルトの名無しさん
18/05/03 02:12:08.90 bKSKRSB9.net
>>359
うろ覚えなんで間違えてたらすまんだけど、
最初は普通にグローバルヒープひとつではじまる
普通に各スレッドがロックをとってメモリをとってくるんだけど
もしロックがとれない状況になるとスレッドローカルなヒープを
作成するとかだったと思う
どっかに詳しく説明してるスライドショーがあるはず

368:デフォルトの名無しさん
18/05/03 02:21:14.79 yApXR4/8.net
>>361
ありがとう。
出来ればそのスライドとやらのリンクを貼ってくると助かる。
もう覚えてないってんならしょうがないけど…

369:デフォルトの名無しさん
18/05/03 02:34:51.07 bKSKRSB9.net
あった
mallocの旅(glibc編)

370:デフォルトの名無しさん
18/05/03 02:49:34.78 yApXR4/8.net
>>363
ありがとう

371:デフォルトの名無しさん
18/05/03 09:06:54.27 wZdPkGUF.net
dockerがgoで実装して十分パフォーマンス発揮してる時点で
組み込みレベルでないならそこまでGCいらんことは示されただろう。

372:デフォルトの名無しさん
18/05/03 09:30:32.45 b8/6BKg1.net
GCはあっても無くてもいいけど
スタックかヒープかくらいは選ばせて欲しい

373:デフォルトの名無しさん
18/05/03 09:51:10.41 wZdPkGUF.net
正直なところ、カスがGCなし言語で書いたものより、適当にGCあり言語で書いたもののが
ランタイム速度も速いでしょ。
バカがクソみたいな議論してる間にgoのGCの性能上げてたgoogleは正解だよ。

374:デフォルトの名無しさん
18/05/03 10:09:21.98 SiwDQ+i8.net
仮にDockerがPythonで実装されていたらやはりパフォーマンス足りなかったんだろうか?

375:デフォルトの名無しさん
18/05/03 10:41:20.52 u+2rTbGR.net
>>351
スタックベースじゃないRAIIはメモリの断片化の原因になるぞ

376:デフォルトの名無しさん
18/05/03 11:00:48.14 AfyjFEfn.net
1. 性能が足りないとクレーム
2. 厳しいノルマ
3. データ改竄
4. 1のクレームがぴたりと止む
こういう事案なら1から4まで全員怪しいよね

377:デフォルトの名無しさん
18/05/03 12:02:05.92 y3R7schb.net
URLリンク(www.google.co.jp)

378:デフォルトの名無しさん
18/05/03 13:26:06.53 Zu+ttBo3.net
firacodeにカスタマイズ機能つければいいのか

379:デフォルトの名無しさん
18/05/03 13:46:19.78 FgFo6AR2.net
dockerで示されるパフォーマンスなんかないだろ

380:デフォルトの名無しさん
18/05/03 14:20:45.28 AfyjFEfn.net
パフォーマンスにちょっと興味を持つだけで怪しい奴らが集まってくる
Pythonのようにパフォーマンスに完璧に無関心にならないとすぐ腐敗する

381:デフォルトの名無しさん
18/05/03 14:35:25.51 /IyBD/e7.net
ボトルネックだけCythonとかでなんとかするスタイルはやはり正しかったということか

382:デフォルトの名無しさん
18/05/03 14:43:47.18 nk+G1gQG.net
そもそもRAIIはパフォーマンスのためのものじゃないだろ

383:デフォルトの名無しさん
18/05/03 20:03:59.10 StPlxOeO.net
dockerって正気か?動作中は何もしてないぞ?
# go のGCが優秀になったのは認める

384:デフォルトの名無しさん
18/05/03 21:48:30.21 AfyjFEfn.net
なぜgoのGCだけを改善するの?
全てのGCを平等に改善しないとダブスタだと叩かれるかもしれないよ

385:デフォルトの名無しさん
18/05/03 22:37:19.33 KC4pupk8.net
どういう意味だ?

386:デフォルトの名無しさん
18/05/03 22:42:00.84 oP7lbF46.net
>>378の他のレスも含めて何言ってるのか分からないものばかりだから、考えても無駄かと思うよ

387:デフォルトの名無しさん
18/05/03 22:52:09.58 2wLGMMyE.net
解説は詩を殺す

388:デフォルトの名無しさん
18/05/03 23:03:41.88 AfyjFEfn.net
goのGCと同じものをC++で実装できないのかな
C++のGCが優秀にならないかな
そういう意味

389:デフォルトの名無しさん
18/05/03 23:19:27.01 nk+G1gQG.net
やっぱり意味わからん。
その場合の主語は誰よ?

390:デフォルトの名無しさん
18/05/03 23:47:35.35 oP7lbF46.net
>>382
C++のGCって一体なにを指しているのだろう。

391:デフォルトの名無しさん
18/05/04 00:00:41.82 LrVtGqlb.net
やっぱここにいる奴は馬鹿ばっかりなんだな。

392:デフォルトの名無しさん
18/05/04 00:17:24.19 /D8HsFql.net
C++のGC……?

393:デフォルトの名無しさん
18/05/04 00:21:24.66 CL+nFZXX.net
>>383
次世代の誰かだろ
正確な予知はできない

394:デフォルトの名無しさん
18/05/04 00:51:59.59 /D8HsFql.net
あーもうめちゃくちゃだよ

395:デフォルトの名無しさん
18/05/04 01:35:42.99 63fCyROx.net
一方賢い俺はだいぶ前にNGした

396:デフォルトの名無しさん
18/05/04 05:56:35.74 zosHXKIm.net
C++でGCとか言うとバットマンのコスプレしたハーブ・サッターにビンタされるらしいぞ

397:デフォルトの名無しさん
18/05/04 06:17:07.59 E+YYG/ag.net
きっとスマートポインタなんかじゃやだもんって意味かと思いました。

398:デフォルトの名無しさん
18/05/04 10:09:56.44 VQ//CMaE.net
極めて大きな最適化の自由度とはなんだったのか

399:デフォルトの名無しさん
18/05/04 10:34:38.24 +ni+4ZPZ.net
>>392
メモリアドレスが抽象化されてれば、実行時の状況や統計情報に基づいたメモリレイアウトの最適化ができるね
理論的には、一緒に使われるものをメモリ上で近くに置いたりしてキャッシュヒット率を上げたりできる

400:デフォルトの名無しさん
18/05/04 11:25:26.68 VQ//CMaE.net
>>393
それは抽象データ型を定義できる言語ならどれでも可能か
それともC++やRustでは不可能か
これが問題だ

401:デフォルトの名無しさん
18/05/04 14:10:07.69 51fiRXRv.net
この知ったかぶり
抽象データ型なんか関係ないだろ

402:デフォルトの名無しさん
18/05/04 15:02:25.96 ZqOHI6SP.net
>>393
ってもそれ空理空論であって、
x[i,j,k] みたいな配列のメモリレイアウトをアクセスパターンから
決めるという単純な処理ですらどの処理系にも実装の予定すらないだろう
「c/c++では有能なプログラマがちゃんと判断して書くから最適な結果が得られる可能性が高い」
という言説の方がまだ現実的

403:デフォルトの名無しさん
18/05/04 15:04:28.49 ngnuzOEt.net
>>396
単純に隙間を詰めるだけなら普通にやってるし、それだけでもメモリのアクセス効率や利用効率は改善するよ

404:デフォルトの名無しさん
18/05/04 15:05:37.17 ZqOHI6SP.net
>>397
それアクセスパターンと関係ないでしょ
話通じてないな

405:デフォルトの名無しさん
18/05/04 15:09:57.46 ZqOHI6SP.net
アクセスパターンからの最適化というのは、
巨大な配列だけどアクセスされるのはごく一部
→スパース配列を用いる
2次元で同じyについて近しいxで連続してアクセスされることが多い
→ cでいう v[y][x] というように同じy座標のものを連続して並べる
こういうこと

406:デフォルトの名無しさん
18/05/04 15:12:34.97 ZqOHI6SP.net
実装が隠蔽されていればそういう最適化の自動化が可能だという>>393に対して、
それはそうだが絵に描いた餅過ぎると否定的なことを言ったのが>>396
以上

407:デフォルトの名無しさん
18/05/04 15:24:22.35 51fiRXRv.net
ヒープの話から来てるからあくまでメモリアロケートした単位での最適化と考えるべきでしょ
話を拡大解釈して通じてないのはお前だと思う

408:デフォルトの名無しさん
18/05/04 15:40:45.66 8dzo215M.net
>>401
393をそう読むのなら話通じないな
別にお前が無違ってると主張する気は無いよ
思想と言論の自由は認めるから黙れとも言わないし

409:デフォルトの名無しさん
18/05/04 15:45:30.86 8dzo215M.net
あ、いや俺が間違ってる気がしてきた
コンパクションで並べるとかいう話か
それでもやっぱり
>>396
>「c/c++では有能なプログラマがちゃんと判断して書くから最適な結果が得られる可能性が高い」
>という言説の方がまだ現実的
だと思う

410:デフォルトの名無しさん
18/05/04 17:35:05.26 ngnuzOEt.net
で、有能なC++プログラマはヒープの断片化をどうやって回避するの?
一般的な回避策としてはまとめて静的に確保するわけだけど、それだとRAII的な方法論を否定してることになるよね

411:デフォルトの名無しさん
18/05/04 17:41:04.90 VQ//CMaE.net
生ポインタをprivateメンバーにすれば再配置できるんだろ

412:デフォルトの名無しさん
18/05/04 18:45:44.08 VQ//CMaE.net
そもそもRAIIを肯定するのも否定するのもC++プログラマの自由だ
この自由を尊重すれば、極めて大きな最適化の自由度はC++にもあるんじゃないか
自由を奪ったら最適化の自由度もなくなるのは当たり前だ

413:デフォルトの名無しさん
18/05/04 18:55:41.39 /D8HsFql.net
C++は何も縛らないからなんでも出来る理論本当に嫌い

414:デフォルトの名無しさん
18/05/04 19:00:50.09 ngnuzOEt.net
縛ったほうが最適化の自由度は上がる
C/C++はポインタのせいで配列アクセスの並列化がやりづらいのは有名な話だ

415:デフォルトの名無しさん
18/05/04 19:11:43.01 VQ//CMaE.net
>>407
じゃあ逆の理論はなんなの
一長一短理論
どっちもどっち理論かね

416:デフォルトの名無しさん
18/05/04 19:12:50.22 /D8HsFql.net
>>409
>>408

417:デフォルトの名無しさん
18/05/04 19:24:33.12 HyF2shia.net
GCは、あるプログラマにとっては仕事を単純にしてくれるが、別のプログラマにとっては仕事を複雑にする要因になるという特性があるんだよね

418:デフォルトの名無しさん
18/05/04 20:34:01.38 +h39vGOl.net
>>411
プログラマに、というよりは作ろうとする対象によってではないかな。

419:デフォルトの名無しさん
18/05/04 22:10:23.06 VQ//CMaE.net
「設定より規約」で複雑な設定を不要にするために規約で縛って単純にすることはある
最適化とは関係ない

420:デフォルトの名無しさん
18/05/04 22:27:54.24 U2Bct8CT.net
>>413
全然レイヤが違うぞ…はぁ

421:デフォルトの名無しさん
18/05/04 22:29:07.68 /D8HsFql.net
もういいや

422:デフォルトの名無しさん
18/05/05 00:07:46.07 3M7DBZHK.net
>>414
全然違うレイヤでしか評価されない概念だからね
型宣言を省略して単純にした言語はあまり評価されない
だからC++のように複雑な言語がずっと勝ち続ける

423:デフォルトの名無しさん
18/05/05 09:26:04.08 0zR7mPRl.net
言語レベルでは縛りを減らして、ツールもしくはプロジェクト毎の規約で矯正する方が成功してる印象。

424:デフォルトの名無しさん
18/05/05 12:36:15.72 Ptn/YTVe.net
Ruby使いはなんでもRails基準で話するから困惑させられるわ。
規約で縛るのと、設定させるのはまた別の次元の話な気がする。
規約で縛った上でさらに明示的に設定させるなんて思想もあるし、
明示的に設定すること、と言う一文すら大きく捉えたら「規約」だと思うんだが。
misra然り、規約で担保される部分も否定はしないけど、
そんなこと考えなくても言語レベルで無茶は出来ないってのは、結構有益だと思うよ。
goが他の言語だと警告で済ますものをコンパイルエラーにしてたりとか。

425:デフォルトの名無しさん
18/05/05 14:40:21.15 0zR7mPRl.net
それはわかる。
ただ「言語レベルで無茶させない」機能を実装するために「言語実装が無茶してる」
っていう本末転倒レベルのコンパイラが増えてる。

426:デフォルトの名無しさん
18/05/05 14:54:28.61 fkw9D7UX.net
何かを実装しやすくする為の機能、とバグを減らすための安全装置としての機能、と分類した時に後者が気に入らんて訳だな。
古いタイプのハカー思想的にはそうだろうね。
まあでも人間にコード書かせてる内は後者を充実させて行くしか無いでしょう。

427:デフォルトの名無しさん
18/05/05 17:40:15.09 wfyrkg3u.net
バグを減らすための機能はコードを書きやすくするための機能でもあって欲しい。Fortranはその辺のバランス感覚が地味に良い

428:デフォルトの名無しさん
18/05/05 18:31:47.37 sJdk0i7H.net
[][][] [[[ ] X_[[[ [] ][ [] ][][[[]

429:デフォルトの名無しさん
18/05/05 22:21:49.30 g4wn0nIy.net
このスレ的にDart 2はどうなの?

430:デフォルトの名無しさん
18/05/05 22:28:11.15 J0iT62yj.net
>>423
哀れな水子霊
供養してあげよう

431:デフォルトの名無しさん
18/05/06 11:13:25.80 UdK4FK7I.net
>>420
半分だけはその通り。
ただセキュリティーについても結局は効率や速度を要求されるからって話なんだよ。
安全のためにって効率を落とすようなルールを作っておいて
ノルマは下げないみたいな現場ではセキュリティーホールつくようなハックが流行るってこと。
ルールを厳しくして逆に流出なんてパターンは結局これ。

432:デフォルトの名無しさん
18/05/06 11:29:16.72 EZJKrplU.net
悪事の限りを尽くしてきたサイコパスが
効率悪化だけは許さない真面目キャラになるのなんでだろう

433:デフォルトの名無しさん
18/05/06 12:54:13.10 BpvGgdyJ.net
安全性重視と言えば聞こえはいいが
やってることはWarningをErrorにしてるだけだからな

434:デフォルトの名無しさん
18/05/06 13:00:40.56 5SuvHbqD.net
>>427
明確にエラーなら、それを前提にした最適化ができる

435:デフォルトの名無しさん
18/05/06 13:12:21.81 4/stHYd4.net
まあ正直Worningでいいとは思う

436:デフォルトの名無しさん
18/05/06 13:18:55.75 +3dRclkW.net
>>425
unsafeなりなんなりあるかと。
効率や速度というのは、安定動作している事が確実に出来てからやっとテーブルに上げることができる話題であって、
それで落ちる効率なんてのは最初からサボってた証拠とみなす方が多いかと思うよ。
ルールを厳しくして結局流出ってのは、また別の尺度かと。
流出したとしても、それは理由もはっきりさせられるし、なによりソフトウエアの瑕疵ではなくて運用の問題の話になってくる。

437:デフォルトの名無しさん
18/05/06 14:32:39.98 7acvvhvM.net
セキュリティーについての効率化云々とか、半可通だなあとしか言えんわ…

438:デフォルトの名無しさん
18/05/06 15:54:07.22 cxBuJYdg.net
レイヤの上書きし続けるのやめろ

439:デフォルトの名無しさん
18/05/06 15:58:41.42 +3dRclkW.net
いくらコンパイラが怒らないからと言え、セキュリティーホールを突くようなハックとやらをしてたら流石にコードレビューではねるんじゃね?
どういうコードかイマイチ想像がついてないけど。
インラインアセンブラが禁止されてるからハンドアセンブルしたコードか入ってるconst char[]を無理矢理呼び出すとかかな。
単純にそのプロジェクトで使ってる静的解析が誤認するようにコードを書く事を、静的解析のセキュリティーホールと勘違いしてるのか、
それとも、バッファオーバーランしないようにするにあたって、根本的に長さを指定できる関数を使わずに付け焼き刃でバッファにクソ長い配列使うみたいなコードなのか(でもこれは静的解析で怒られそう)
一体何が、コーディングの上でセキュリティーホールを突くようなハックなんだろう?
ピアレビューがあれば瞬殺されて終わりな気もするし。

440:デフォルトの名無しさん
18/05/06 16:29:24.39 3zhAqmJH.net
>>421
Fortranって現役なんか?聞いたことないが

441:デフォルトの名無しさん
18/05/06 16:32:16.64 YMV7ENjt.net
>>434
現役だよ

442:デフォルトの名無しさん
18/05/06 16:36:08.57 T0X5noxd.net
スパコンでは現役。計算物理屋とかFORTRANしか書けないおっさんも居るしね。
まあ数値計算系のコード書いてる連中なんてgitも知らなかったりするレベルで
超絶的に遅れてるから意見なんて無視していいよ

443:デフォルトの名無しさん
18/05/06 16:41:56.05 4/stHYd4.net
>>434
現役かと言われたら、現状数値解析以外では老害しか使っとらん感じで口ごもっちゃうけど、そんな状況に反して最新の言語仕様は結構いい。そして老害はFortranの良い仕様は使っとらん
ある意味逆に次世代言語感あると思う

444:デフォルトの名無しさん
18/05/06 17:13:53.77 +3dRclkW.net
ベンダーがきっちり面倒見てるのも大きいわな。Fortranは。
老害と呼ばれるコードが生き残れるのも、新しいものがサポートされていくのも。

445:デフォルトの名無しさん
18/05/06 18:05:19.44 4/stHYd4.net
まあ新しいもののサポートは遅いがな

446:デフォルトの名無しさん
18/05/06 18:53:07.67 UdK4FK7I.net
まあ運用の問題と言えばそうだけどね。
実際どこぞのrustコードなんて結局unsafe丸がこみコードになってるって話だよ。
レビュアーがまともならってのもその通りだが
P○zyさんとことか有名どこでもそんなもんですよ。

447:デフォルトの名無しさん
18/05/06 19:31:39.25 9CUhRDV/.net
}]] [[《_["[[]]" 〈[]》》 [][][]0,1》》〈〉 [] } } "B,V,0%%%,*1BVLO,SASA1`}}//%\\0,1\"VL"\

448:デフォルトの名無しさん
18/05/07 12:03:19.49 Go6Qgpic.net
>>440
そのP○zyさんのコードはどこで見れるの?

449:デフォルトの名無しさん
18/05/07 17:37:45.62 aRQ7vpNn.net
Fortran現役ってすげーな。
なんか便利な構文あるの?
スペースがなくても構文が認識するって凄いね。何というか分野によって現役だったりするし、web系とか組み込み系とか分野毎に次世代を考えたほうが良いのかも

450:デフォルトの名無しさん
18/05/07 18:29:43.67 Si7Pqr9d.net
数値計算の新しいアルゴリズムってあるの?

動画の圧縮とかだったらどんどん新しくなってるけど

451:デフォルトの名無しさん
18/05/07 18:42:27.46 4LWU/9Ql.net
アルゴリズムというよりは非プログラマが数学物理をプログラムに落とし込みやすいって所じゃないか?
統計メインの生物系なんかはもうRやPythonに移ってるけど

452:デフォルトの名無しさん
18/05/07 21:30:21.40 u0xzmUnv.net
>>443
まあ、分野についての言及は必要だろうね。

453:デフォルトの名無しさん
18/05/07 22:27:02.76 9toRjaak.net
よし、じゃあワシがwebの代表として次世代言語はrustであることをここに宣言しよう

454:デフォルトの名無しさん
18/05/07 23:32:28.33 b+1hN3YL.net
今phpのlaravelしててミドルウェアとかバリデーションとかルーターとかマイグレーションとか
それ自体はフレームワークの機能なんだけど言語仕様としても使えそうなのがチラホラあるけど
こういうの言語に使われることないんかな?

455:デフォルトの名無しさん
18/05/07 23:45:44.05 eqjeSWEf.net
>442
はいよ
URLリンク(tan)


456:akh.jp/posts/2016-12-20-rust-pezy-sc.html



457:デフォルトの名無しさん
18/05/08 00:32:28.71 kgnxB5OH.net
一元論が無理なら八百万って極端すぎる
二刀流くらいがちょうどいい

458:デフォルトの名無しさん
18/05/08 07:49:53.07 BTpaOhWg.net
C++の置き換え言語としてRustには期待している。ただ構文がなんかうっとうしいなあ。
ruby風のラムダは気に入ってるが。

459:デフォルトの名無しさん
18/05/08 08:43:30.21 lO+5Uui0.net
>>445
Numpy相当のベクトル記述が出来るたった一つのコンパイル言語。それがFortran

460:デフォルトの名無しさん
18/05/08 10:01:01.47 JvzvEXdE.net
>>452
確かにあれは書きやすいし速い
GPGPUでの(それをラップしたライブラリでの)行列演算に対するアドバンテージって何かあるのか?
分岐がモリモリ入ってくる場合くらいしか思いつかないが

461:デフォルトの名無しさん
18/05/08 13:34:11.30 k5VrHriK.net
>>453
なんのことを指しているんだ?

462:デフォルトの名無しさん
18/05/08 17:08:07.13 I+Jt0Kav.net
>>452
現実のFortranプログラミングは大量に宣言したスカラー配列を添字でゴリゴリ回すだけだけどな
行列やベクトルの演算のセマンティクスなんか一切残らん

463:デフォルトの名無しさん
18/05/09 01:16:05.28 PEulJP5b.net
haskellの方がCより速いってさ
URLリンク(superstrings.io)

464:デフォルトの名無しさん
18/05/09 02:14:38.03 0YDcqAhS.net
>>456
URLリンク(superstrings.io)

465:デフォルトの名無しさん
18/05/09 02:26:18.12 bn/AH8fd.net
なんですぐばれるウソをつくのだろう?

466:デフォルトの名無しさん
18/05/09 02:35:21.53 hrOQbIqv.net
>>457
すばらしいね。
Cのコードに
__attribute__((optimize("unroll-loops")))
付けると100倍早いけどw
あと、手元の環境で gcc は何故か -O だけunroll付けたのと同様に早くて -O2 以上は遅かった。
バグと言うべきなのかな。

467:デフォルトの名無しさん
18/05/09 03:11:33.85 0bpmHxx0.net
>>453
コンパイラのやる気さえあれば、ライブラリでは不可能な最適化なんていくらでもでできるだろ
実際にやってるかはしらん

468:デフォルトの名無しさん
18/05/09 07:10:29.94 UxragvBK.net
乱数生成が遅いってどこかで見たような、Haskell

469:デフォルトの名無しさん
18/05/09 07:59:31.19 2PdkdhLd.net
>>461
それって言語の問題ではなくコンパイラの実装の問題?
それとも言語仕様として計算量の大きい生成アルゴリズムが規定されてたりするんだっけ?

470:デフォルトの名無しさん
18/05/09 08:01:55.30 2PdkdhLd.net
あ、ごめん。ライブラリの乱数生成の関数を呼んだらということかと思ったけど、自分で乱数生成の処理を書いたらということかな。

471:デフォルトの名無しさん
18/05/09 08:15:55.42 UxragvBK.net
>>463
ごめん、そこまで詳しくないので、誰か補足を。記憶だと前者だったかな。

472:デフォルトの名無しさん
18/05/09 08:17:13.45 yFt+gB3J.net
URLリンク(qiita.com)
この辺の話?

473:デフォルトの名無しさん
18/05/09 09:54:11.86 X/W01mab.net
>>458
せっかくコンパイラ作ったんだからみたいな貧乏性だな
一方、富豪的プログラマはインタプリタを使う

474:デフォルトの名無しさん
18/05/09 21:36:31.89 AJJ2h/PO.net
なんか知らんが定期的にCより速いって話が出てくるな。
高級かつランタイム速度が落ちないってなんかおかしいとか思わないもんなのかな。

475:デフォルトの名無しさん
18/05/09 22:20:41.60 dqSR3cl1.net
さ、最適化をダイナミックに出来るから……

476:デフォルトの名無しさん
18/05/09 23:00:53.08 hrOQbIqv.net
理想を追求


477:する精神は忘れなくて良いやろ



478:デフォルトの名無しさん
18/05/10 02:12:17.66 FhKx4uhS.net
高級品だと遅くなるならC++がCより速くなることはないんだろうなあ
フムフム

479:デフォルトの名無しさん
18/05/10 08:10:24.35 WcF1ShgP.net
実際、もしもコードを書く人がコンパイラを書いた人よりも賢いならばCの方が早 速いww

480:デフォルトの名無しさん
18/05/10 09:54:42.57 +xjpfXr5.net
コンパイラの最適化能力的には今でもFortranが頭ひとつ抜けてるんだっけ

481:デフォルトの名無しさん
18/05/10 10:07:40.42 sqBEyANZ.net
async awaitの存在のお陰でTypeScriptが使いやすさで一歩先言ってる感あるな。
VasualStudioでもサポートしてるんだよね。mac版試してみたい

482:デフォルトの名無しさん
18/05/10 15:49:44.61 TSTj28YJ.net
>>472
どうせバックエンド同じなので、C言語でもpragmaとattribute駆使すればFortranと同じになるはず

483:デフォルトの名無しさん
18/05/10 16:11:32.31 gErYAeAK.net
>>474
しんどー

484:デフォルトの名無しさん
18/05/10 16:20:28.17 VgJxGkPJ.net
rebuildfmで聞いたがswiftは機械学習との親和性を高める方向でラトナーは頑張ってるみたいね。

485:デフォルトの名無しさん
18/05/11 00:25:42.85 ew48BEmx.net
にむにむ

486:デフォルトの名無しさん
18/05/11 11:38:41.21 Bitu5gZ+.net
フォートランはスタックフレームを使わないから早いらしい

487:デフォルトの名無しさん
18/05/11 19:21:18.09 BkhZdaXW.net
>>467
昔々 Java の方が C++ より速いなんて話もあった。
JIT で速くなるとか。
しかしC++だったとしてもややこしい機能を使わずC言語風に作って最適化掛かったらお終いのような気がしてならない。

488:デフォルトの名無しさん
18/05/11 20:24:29.02 ew48BEmx.net
Cはポインタが自由すぎて最適化難しいとはよく聞く

489:デフォルトの名無しさん
18/05/11 21:16:38.36 mlwOVON7.net
Javaの場合はいくら局所的に速くなっても、JITそのものにかかる時間だったり
あるいは膨大なロード時間を計測に含めてしまうと台無しだからなあ
もちろん速いとアピールしたいベンチマークではその辺が含まれないようにするし
遅いとアピールしたい場合は

490:デフォルトの名無しさん
18/05/11 21:22:37.76 RZoOPILo.net
どっちかというとマルチコアを活かした最適化って人間が頑張るしかないんじゃないかな。
だからgoでgoroutineとか、
関数型言語推しになるんでわ

491:デフォルトの名無しさん
18/05/11 21:41:43.97 rzT1F5bb.net
>>481
javaに限らずインタプリタ系も起動時間含めて time で測ってドヤってる Qiita の記事とか消滅して欲しい

492:デフォルトの名無しさん
18/05/11 21:43:50.20 bSh0JSQF.net
>>480
ポインタをintやchar*に変換する自由を利用してFFIのようなものを作れるよ
自由にCを呼び出すことで他言語が速くなる

493:デフォルトの名無しさん
18/05/11 22:13:19.06 ew48BEmx.net
>>484
なぜその内容で>>480に安価つけるし

494:デフォルトの名無しさん
18/05/11 23:06:50.43 bSh0JSQF.net
>>485
内容に問題はないので、わからないなら自分で考えるか質問を変えてみてはどうかな

495:デフォルトの名無しさん
18/05/11 23:15:21.11 mlwOVON7.net
>>484の意図(自由過ぎるポインタにはメリットもあるよ)もわかるし
>>485の反応(最適化の話題から逸れてるだろ)もわかるんだけど
正直>>486はぞっとするほど怖い。なんだろうこの不気味な感じは

496:デフォルトの名無しさん
18/05/11 23:16:13.67 ew48BEmx.net
なんやこいつ。
まあええわこのスレには会話通じんやつがおるみたいやし時間の無駄やわ。深く考えんとこ

497:デフォルトの名無しさん
18/05/11 23:19:46.30 KxM4SNOx.net
>>487
>>484からその意図を読み取れるのはすげー行間把握力だと思うわ
>>486が怖いのは同意

498:デフォルトの名無しさん
18/05/11 23:20:50.68 bSh0JSQF.net
「不気味罪という罪はない」とか言われたらゾッとするかもしれないが
そういうことを平気で言う奴は今の世の中にはいっぱいいるな

499:デフォルトの名無しさん
18/05/11 23:24:44.89 ew48BEmx.net
この感じどうせまた例のADHDやろ。つついてもうたことを後悔してるわ

500:デフォルトの名無しさん
18/05/11 23:25:19.88 cXvpx1C3.net
>>480

501:デフォルトの名無しさん
18/05/11 23:30:08.91 cXvpx1C3.net
>>480 はコンパイラの最適化を受けての発言でいわゆるaliasの問題の
ことを言っていると思われる
>>484 はコンパイラ関係ないFFIを持ち出してしったかをかます
>>485 がもっともなツッコミ
>>486 で上から目線で地面見てドやる
→キモイ
まとめてみました

502:デフォルトの名無しさん
18/05/12 00:31:38.38 5NKz3ewG.net
C / C++ はとりあえず OpenMP 相当のものを標準化して実装して欲しいわ
他の言語よりクライアント側で使うこと多いから1つ1つの処理もスケールさせたい

503:デフォルトの名無しさん
18/05/12 00:39:55.31 ioGXghPg.net
アルゴリズム変える以外に速くする方法なんてのは
結局倉庫番を上手く解くって話にしかならんわ。

504:デフォルトの名無しさん
18/05/12 00:48:56.95 R/twbybb.net
??
それアルゴリズムでは?

505:デフォルトの名無しさん
18/05/12 00:52:27.47 F3K2afGN.net
あーもうめちゃくちゃだよ

506:デフォルトの名無しさん
18/05/12 01:03:23.63 +7qwtmL0.net
なんかgoogle ioでwasmからdom操作できるようになるって話があったらしい。

507:デフォルトの名無しさん
18/05/12 01:04:46.62 iFoVhrV3.net
地獄の始まりじゃないでしょうね(震え)

508:デフォルトの名無しさん
18/05/12 01:13:51.18 8RYDCDzW.net
みんなアルゴリズムよりむしろデータ構造を変えたがる
CのポインタもJSのdomもデータ構造だろう
でもデータ構造を変えるのは速くするのが目的とは言ってないかも

509:デフォルトの名無しさん
18/05/12 01:38:25.14 5NKz3ewG.net
>>457
>On Xeon Thinkpad P50 with Ubuntu, compiled with gcc -O3 this runs about 15.3 ms ― more than 20% slower than haskell!
あんまり関係ないが
3年前のレッツノートRZ4の最下位モデル、
Core M-5Y10 ベースクロック0.8GHz で
Visual Srudio 2017 でコンパイルしたバイナリも
ちょうど 15.3ms だわ
2コア4スレッドのcpuなので openmp で 4並列にしたら5.7ms

510:デフォルトの名無しさん
18/05/12 08:55:56.45 ioGXghPg.net
>>496
いやメモリやレジスタにデータやコードを載せるタイミングの話なんだが。
「アルゴリズム」はもう少しソフトなレイヤーを指したつもり。

511:デフォルトの名無しさん
18/05/12 10:24:39.71 LrYQoKex.net
>>501
最適化上手く行けば0.2msぐらいになると思うで
i5-3550 で 0.08ms

512:デフォルトの名無しさん
18/05/12 10:28:01.57 LrYQoKex.net
>>498
reactが早くなるってか。
ようやく90年代のクラサバに追いつくなw

513:デフォルトの名無しさん
18/05/12 10:32:35.98 TkoJoFTb.net
GoogleはSUNと同じ愚を犯してるように見える。

514:デフォルトの名無しさん
18/05/12 10:34:13.54 NuxM0Gnx.net
wasmのDOM実装は最初からロードマップに入ってる

515:デフォルトの名無しさん
18/05/12 10:46:00.14 +7qwtmL0.net
jsの出番が減るのか最近の仕様は好きなんだけどな。typescriptが直接wasm吐くようになってほしい

516:デフォルトの名無しさん
18/05/12 10:47:42.87 +7qwtmL0.net
>>505
sunはコンテナーをいち早く実現してたり
zfs出したり、先進的な企業だったよな。金が稼げなか


517:ったけど。 googleは金があるから問題ない



518:デフォルトの名無しさん
18/05/12 10:52:24.71 15xgRckc.net
>>507
Blazorに期待してる

519:デフォルトの名無しさん
18/05/12 10:55:45.44 Wuy9HJPF.net
JavaScriptからwasmへのコンパイルができるようになったら普及は速いんだろうけど、いつになるかなぁ。
そのころにはwasmのエコシステムも十分整備されてそう。

520:デフォルトの名無しさん
18/05/12 11:01:20.26 NuxM0Gnx.net
>>507
各種apiのリファレンス実装として続いてくんじゃないかとは思ってる
正直TS→wasmは期待しちゃうよね

521:デフォルトの名無しさん
18/05/12 11:13:10.47 +7qwtmL0.net
rustでwasm吐くとdom操作もメモリ効率が良い感じになるのだろうか。
個人的にはgoで全部できるようになりそうで嬉しい。
meteor.jsというのがあってね。コンセプト的にすごく良かったんだけどエコシステムがいろいろ終わってた。wasmでもう一度復活するかも

522:デフォルトの名無しさん
18/05/12 11:31:33.64 Gv6T+VfX.net
Rustでブラウザ本体を書き直す動きがJSの部分にまで広がる
ブラウザを作れない言語には速い遅いという以前の問題がある

523:デフォルトの名無しさん
18/05/12 13:14:14.79 LrYQoKex.net
>>508
思い出は美化されるね。
不便なコマンド、SysV系転向、長いことジャーナリング無し、ftpのlsがユーザのロケールでパース困難、NFSの進歩の遅さ、etc
罪を数えたらキリが無いよ

524:デフォルトの名無しさん
18/05/12 13:53:25.93 Douv0h4u.net
>>491
なんでも俺のせいにすなw

525:デフォルトの名無しさん
18/05/12 14:06:23.00 Gv6T+VfX.net
よかった、透視能力なんてなかったんだ

526:デフォルトの名無しさん
18/05/12 14:10:21.47 TkoJoFTb.net
>>508
SUNは我田引水に失敗して凋落したのだ。
自社の高価な機器を売るためにメモリーイーターな言語を広めたり、自社の機器以外では性能が発揮できないように互換環境を禁止したり。

527:デフォルトの名無しさん
18/05/12 14:13:17.43 TkoJoFTb.net
Googleは現在我田引水のため色々やってるが、消費者にとっては良いことは何もない。
吉と出るか凶と出るか。
一方、MSは戦場から早々に離脱したので、不戦敗となるのか、勝ちもしないが負けもしないのか。


次ページ
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch