17/09/03 15:11:53.96 1HtAUlO9.net
>>196
ちょっと込み入ったもの書こうとすると即座にコンパイラがあらゆるコード受け付けなくなる言語のどこがいいんだ？
なおC++コードはきちんと動くことは実証済でな
201:デフォルトの名無しさん
17/09/03 15:40:55.80 2mD2p7su.net
>>194
Human you;
Cup cup = Mix(new Coffee(), new Poison());
you.Drink(cup.Drop());
202:デフォルトの名無しさん
17/09/03 15:56:06.83 NUcZKlpc.net
Rustには保守しにくいコードを事前に排除する意味もあるようなｗ
ぶっちゃけ書き捨てプロトタイプには向かない言語
203:デフォルトの名無しさん
17/09/03 15:59:55.01 th8Kz7qM.net
>>200みたいなコンパイルエラーを嫌う人種ってどういうひとなの？
インタプリタ最強みたいな感じなのかな？
ランタイムでこけるより、コンパイラでエラー出たほうがいいじゃん
204:デフォルトの名無しさん
17/09/03 16:01:57.97 ULbykCIX.net
>>189
>>190
今どきのメジャー言語は
たいてい関数名＋括弧だけじゃないか？
いちいちcallとか書いてたらコードがcallだらけになるし
関数定義のfunctionすら面倒だっていう声があるから
いちいち関数を明示的に呼び出す言語は流行らないよ
205:デフォルトの名無しさん
17/09/03 16:29:46.99 fyDk5FSQ.net
callって明示的に書く言語ってなんだよ
Fortranくらいしか書いたことない
206:デフォルトの名無しさん
17/09/03 16:32:54.49 uF0EtmbD.net
>>196
言語はいいんだけどまだ普及してないからライブラリが辛い
207:あ
17/09/03 16:44:19.82 DQefzD0A.net
「f(x)」以上に「関数」らしい表現を見た事無いがな。
call書かないとカッコ書けないVBAとかが、callだらけになるかな。
208:デフォルトの名無しさん
17/09/03 16:59:40.82 j0xqGCdJ.net
f x
でいいだろ
209:デフォルトの名無しさん
17/09/03 17:12:48.70 fyDk5FSQ.net
>>208
これは同意
210:あ
17/09/03 17:25:55.62 DQefzD0A.net
たしかに。
lispのS式は自然なんだなぁ。
211:デフォルトの名無しさん
17/09/03 17:47:32.06 9XytL+lI.net
でも、けっきょく
f (ｘ ＋ 1) みたいないことしたり
f () みたいなことするなら括弧的なもの必要になるし
単に省略してるだけでしかないのでは？
212:デフォルトの名無しさん
17/09/03 18:01:27.53 fyDk5FSQ.net
f(x+1)はともかく、f()は関数というよりはサブルーチンなんだよな。Fortran以外の言語はあんまり区別しないけど
213:デフォルトの名無しさん
17/09/03 18:08:08.10 hml2bou6.net
値を返すのが関数、返さないのが手続きだろう。
214:デフォルトの名無しさん
17/09/03 18:23:54.59 LluVimQv.net
>>211
だよね。Lispだと(f x)
どの言語でも定義と実行の区別は必要なんじゃないかな
215:デフォルトの名無しさん
17/09/03 19:56:58.37 SFgLhhBC.net
>>211
Nim ならどっちも不要だな
216:デフォルトの名無しさん
17/09/03 20:26:30.83 ne8qPBqk.net
括弧ないと関数だと区別できないとか
関数と変数とかで名前空間分けるのが普通なのかな
一緒のがシンプルな気がするけどダメなの?
this.objみたいにスコープで名前空間分けたらダメかな
217:デフォルトの名無しさん
17/09/03 21:13:19.59 fyDk5FSQ.net
Common Lispは名前空間分けてるけどSchemeは同じだよね
個人的には分けないほうが好きだな
218:デフォルトの名無しさん
17/09/03 21:19:54.76 VHdSJmfv.net
関数の()が要らないなら
配列の[]も要らないね
219:デフォルトの名無しさん
17/09/03 21:32:57.42 ULbykCIX.net
>>218
正直、そんな文法の言語
使いづらそう……
220:デフォルトの名無しさん
17/09/03 22:05:19.16 c1xnmxfX.net
括弧を開く位置には何か記号が要るが閉じる記号は要らないな
最後のセミコロンが要らないのと同じ
221:デフォルトの名無しさん
17/09/03 22:07:40.42 fyDk5FSQ.net
$かな？
222:デフォルトの名無しさん
17/09/03 22:52:39.79 m/SUUCxo.net
>>220
ｐｙてょｎのことか
ブロックあった方が正直みやすいわ
初心者にも、視覚的にここからここまでがまとまりだと説明しやすい
インデント強制はいいけど、いきなりインデントがどうとか説明しても、イミフやろ
223:デフォルトの名無しさん
17/09/03 22:55:16.25 9XytL+lI.net
むしろpythonの方が見やすい
224:デフォルトの名無しさん
17/09/03 23:00:57.36 VHdSJmfv.net
a[b + c] + d + f(x + e) + 100
↓
a[ b + c + d + f(x + c + 100
なるほど素晴らしいアイデアだな
225:デフォルトの名無しさん
17/09/03 23:29:49.01 c1xnmxfX.net
>>224
実を言うとセミコロンの省略でも同じ失敗をしてるんだよな
y=f; (x)();
↓
y=f(x)()
226:デフォルトの名無しさん
17/09/03 23:46:26.57 bPltp/aL.net
Haskell ならこうかな
(a !! b + c) + d + (f $ x + e) + 100
227:デフォルトの名無しさん
17/09/03 23:49:41.11 m/SUUCxo.net
>>224
ガイジ
>>225
改行しろガイジ
(x)←意味分からんぞガイジい
228:デフォルトの名無しさん
17/09/03 23:49:51.83 fyDk5FSQ.net
!!って+より優先度雑魚かったんか
229:デフォルトの名無しさん
17/09/04 00:04:41.50 ixJinX3O.net
括弧の意味は二つある
優先順位を明示する、または関数呼び出し
どっちの意味か分からんから関数呼び出しの意味で括弧を使うのはもうやめたほうがいい
230:デフォルトの名無しさん
17/09/04 00:08:29.47 nGsOLwi8.net
>>228
!! の方が優先順位高かった ゆるして
231:デフォルトの名無しさん
17/09/04 00:09:48.10 Y+E/rlzt.net
タプルやらにも()を使うのが普通だし
無意味な主張だな
232:デフォルトの名無しさん
17/09/04 00:12:21.46 nGsOLwi8.net
括弧を使った関数呼び出しは関数にタプルを適用していると見ることもできる
233:デフォルトの名無しさん
17/09/04 00:16:07.76 b61MsJzB.net
>>220
>最後のセミコロンが要らないのと同じ
それなら、最後のコロンも要らないだろ
インデントを強制する言語の中で、
Haskell や Occam は文末は改行のみだけど、
ｐｙてょｎ(>>222)だけが要らないコロンを強制する
234:デフォルトの名無しさん
17/09/04 00:31:15.86 2tWkVSGI.net
pythonって中途半端だよな
高階関数とかドットチェーンしづらくして、平易な書き方を強制したい
と見せかけてあの可読性ゴミ屑なリスト内包表記糞とかいう糞を強制してくる真性ガイジ
間違いなく俺が設計した方がいい言語できるね
235:デフォルトの名無しさん
17/09/04 00:51:57.88 Y+E/rlzt.net
変数宣言の無い言語は大体糞
変数スコープがぶっ壊れてる
236:デフォルトの名無しさん
17/09/04 00:58:56.67 2tWkVSGI.net
>>235
for/ifの中から飛び散る糞とかほんと糞
237:デフォルトの名無しさん
17/09/04 01:09:13.44 cfrjyXAp.net
高階関数とドットチェーンし辛いのはそうだけど、リスト内包読みにくいっていうのは理解できない
238:デフォルトの名無しさん
17/09/04 01:28:25.81 +PpsHAgy.net
条件分岐や反復なんてもんはどんなに言語が良くなっても
馬鹿が書けばどこまでもくそにすることなんてできんだよ。
239:デフォルトの名無しさん
17/09/04 01:45:59.23 xkSzDYnx.net
>>234
＞間違いなく俺が設計した方がいい言語できるね
無理無理
無名言語がひとつ増えるだけ
240:デフォルトの名無しさん
17/09/04 06:07:53.93 IbU7wZyf.net
以前仕事でRuby書いてて、()省略すると自分はいいんだけど他人が書いたコードは変数だかメソッドだか分からなくて面倒な事多かったから無しだなぁ
241:デフォルトの名無しさん
17/09/04 08:57:59.85 T3q42BSC.net
IDEの機能を言語と一緒にして例えば
アンダーバーとか、色とか、枠線をつけられるようにしてブロックを表せたりとか
そういうGUI的に拡張させるアイディアって無いのかな？
242:デフォルトの名無しさん
17/09/04 09:18:10.64 ByDgWFhH.net
.Netがやりまくってるだろ
243:デフォルトの名無しさん
17/09/04 09:24:23.35 XPn2hQsA.net
確かにhaskellの$で閉じカッコは要らないは惹かれる。
他の言語でも採用されればいいのに。
244:デフォルトの名無しさん
17/09/04 09:33:26.87 T3q42BSC.net
でもそれって、表記上、末尾の括弧を省略できるって状況だから可能ってだけで
実際は括弧付いてるようなもんなんじゃないの？
245:デフォルトの名無しさん
17/09/04 10:21:51.60 XQHe+uhp.net
>>241
特定の開発環境に依存するのはリスクを感じる
言語の機能でなくてjavaのdocletやpythonのdoctestみたいに自由な部分で拡張すればいいんじゃないの
拡張可能にさえしといてあげれば、数多の楽したがるエンジニアが稀にいいもの作ってくれるよ
だから言語はシンプルがいい
246:デフォルトの名無しさん
17/09/04 10:41:39.20 T3q42BSC.net
>>だから言語はシンプルがいい
これはちょっとすでに古い考え方だよ
今の人気言語は最初から機能てんこ盛りだし
ほとんどの言語はいろんな形でで最初から拡張可能
lispやschemeですら充分に複雑だよ
247:デフォルトの名無しさん
17/09/04 11:14:48.20 XQHe+uhp.net
そうだな
初心者はIDEに統合されててなんでも言語がやってくれる方がいいな
フレームワークとか作ってると競合しないように気を遣うが
248:デフォルトの名無しさん
17/09/04 13:29:53.64 xkSzDYnx.net
＞今の人気言語は最初から機能てんこ盛り
Scalaなんかは最初からいろんな機能盛り込んでるな
そのおかげで言語仕様が複雑になって覚えにくいけど
249:デフォルトの名無しさん
17/09/04 13:34:02.71 xkSzDYnx.net
>>241
IDEの機能はIDEに任せた方がいいんじゃないの
たとえばシンタックスハイライトとかIDE側の機能を
言語側に仕様を入れる必要ないと思う
そこをあえてやりたいなら
アノテーションで拡張可能にするかな
250:デフォルトの名無しさん
17/09/04 13:55:27.67 Y+E/rlzt.net
メールなんかでHTML形式があるけど
あんな感じでHTML形式でプログラムを書く
そうするとソースコードの途中にコードを説明する画像を挟み込むことが出来るし
音楽を入れて音声で説明してもよい
さらにはJSを駆使して動的なことをしてもよい
で、それで何のプログラムを書くかというとHTMLを書く
ブラウザで表示させる
ソースコードのソースコードがあるということだ
素晴らしいね
251:デフォルトの名無しさん
17/09/04 14:19:19.83 T3q42BSC.net
>>249
それをあえて入れるところに意味があって
人はあくまでプログラム自身に集中するべきじゃないかな
252:デフォルトの名無しさん
17/09/04 14:28:08.47 dW3H/gJQ.net
OSと言語とIDEを選ぶのは大変だからね
言語を選ぶだけで他の全てが自動的に決まるのが理想のように思える
現実には言語を変更するだけで他の選択肢も強制的に変更させられることがよくある
253:デフォルトの名無しさん
17/09/04 14:51:16.77 yFInUyJm.net
>>250
文芸的プログラミングの事かな？
254:デフォルトの名無しさん
17/09/04 18:34:04.31 XQHe+uhp.net
>>250
XMLで可能だけど誰もやってないような
javadocで十分だな
255:デフォルトの名無しさん
17/09/04 19:26:15.80 nN0imIwG.net
YouTubeで稼げるジャンルは〇〇動画です。YouTube講座
URLﾘﾝｸ(www.youtube.com)
最新トップYoutuberの年収は10億円、1億円の時代はもう古い
URLﾘﾝｸ(www.himatubushisp.com)
Youtuberヒカルが月収を明らかに!!おはよう朝日です出演
URLﾘﾝｸ(www.youtube.com)
第１回案件王ランキング！YouTuberで１番稼いでるのは誰だ！
URLﾘﾝｸ(www.youtube.com)
ユーチューバーの儲けのカラクリを徹底検証！
URLﾘﾝｸ(www.youtube.com)
【給料公開】チャンネル登録者4万人突破記念！YouTuberの月収公開！
URLﾘﾝｸ(www.youtube.com)
誰も言わないなら俺がYouTuberのギャラ相場を教えます
URLﾘﾝｸ(www.youtube.com)
最高月収5000万円だとさ。年収じゃなくて「月収」な
おまえらもyoutubeに動画投稿したほうがいい
手っ取り早く視聴数稼ぐには有名ユーチューバーへの物申す系動画がオススメ
しばたーやよりひとやkunやぽんちやモンスタージョンなどを真似すればいい
256:デフォルトの名無しさん
17/09/04 23:12:52.17 2tWkVSGI.net
docのマークダウン対応くらいはあった方が便利だけど
愛生病院みたいなsrc読みたくねえだろ
257:デフォルトの名無しさん
17/09/05 00:11:19.92 oHHekjEQ.net
コメントみたいな曖昧な仕組みじゃなくて
コードのメタデータとして言語機能が積極的に管理していく方向に発展して欲しいね
258:デフォルトの名無しさん
17/09/05 01:26:37.76 wNpTPeXF.net
愛生病院は懐かしい・・・と思ったら
2013年まであったのかよ、恐ろしすぎ
病院の先生ってやっぱ頭良いんだなって思うのは
未だかつて愛生病院のサイトより見てて不安になるサイトには出会ったことが無い
やろうとしてできるものではない
そんなことが片手間で出来るんだから、医者って本当に凄い
URLﾘﾝｸ(web.archive.org)
↑魚拓
若い人で知らない人は一度勉強したほうが良い
昔のインターネットがいかに刺激的だったかが良くわかるだろう
259:デフォルトの名無しさん
17/09/05 05:47:32.86 E9NKFgMS.net
>病院の先生ってやっぱ頭良いんだな
目の前にある具体例と真逆の結論を出すのがすごい
これが抽象化か
260:デフォルトの名無しさん
17/09/05 06:00:54.41 wNpTPeXF.net
真逆も何も医者は頭が良いものだろ
261:デフォルトの名無しさん
17/09/05 08:05:20.63 JsNUX7wh.net
MSが提唱してるlanguage server protocol(LSP)はまさにIDEの機能を
言語側で提供しましょうってアイデアだけどね。
TypeScriptで採用してる(採用しようとしてる？)。
言語のシンタックスに一番詳しいのは言語自身なんだからIDEの機能を提供してくれるのは理にかなってると思うけどね。
俺としては、言語を新しく使うたびに初期段階で補完機能に悩むのはしんどいので
新興言語はかならずLSPを用意しておいて欲しい
参考：
URLﾘﾝｸ(qiita.com)
262:デフォルトの名無しさん
17/09/05 08:06:21.68 JsNUX7wh.net
>>261
投稿先間違いました。m(_ _)m
263:デフォルトの名無しさん
17/09/05 10:29:52.93 Xe9ypjwu.net
>>259
どう見ても皮肉だろ
264:デフォルトの名無しさん
17/09/05 10:39:14.44 iOhhhOQR.net
>>131
これどゆ意味？
C診断室ってCやってる奴なら今でもわりと有名だと思うんだけど
265:デフォルトの名無しさん
17/09/05 13:01:50.78 3nn7+24W.net
expert Cに似たようなマクロが載ってるけどね
ALGOLだったと思ったけれど
266:デフォルトの名無しさん
17/09/05 15:40:54.23 q9ShOGnC.net
>>130
ふり返るとこういう言語拡張はLispならアリだし
むしろ今の時代のDSLを先取りしているな
C言語中心の昔じゃ受け入れられなかっただけで
267:デフォルトの名無しさん
17/09/05 19:13:54.89 DKOssyQU.net
ナシだわ。こんなん横行したらまた歴史が逆回転始めるよ
268:デフォルトの名無しさん
17/09/05 19:20:22.18 TrOEk/+S.net
Lispはそういうことをしてもそう簡単にはLispらしさを失わないからええで
269:デフォルトの名無しさん
17/09/05 19:40:52.80 y44AItaq.net
んなわきゃーない
じゃあ、Ｍ式で書けよ
270:デフォルトの名無しさん
17/09/05 19:46:23.71 TrOEk/+S.net
M式はちょっと……
271:デフォルトの名無しさん
17/09/06 01:28:28.10 WW7T+7Lh.net
modula-2 俺の青春の言語
272:デフォルトの名無しさん
17/09/06 03:52:49.27 rnSBO+ky.net
ジジイどころじゃねえ
273:デフォルトの名無しさん
17/09/07 15:58:59.27 vdNr6DhP.net
最近の新しい言語を覚える動機が
馬鹿がマウントしてくるので、コードを荒らされないようにするため
ってなことが増えてる。
悲しい話だよ。
274:あ
17/09/07 16:21:29.64 ibNR9uCU.net
>>273
マウントとの関連性がわからんのだが。ってかマウントがわからん。
自分のソースが荒らされる(≒自分では社内政治も含めて『直せない』)ほどの影響力ってマウントじゃ無くて、ついていけてない実力差であって、あんまりマウントマウント言うべき事で無い気がする。
現に、新しい言語を覚えるモチベーションになってるならなおさらでは？
275:デフォルトの名無しさん
17/09/07 17:38:43.93 z4erNFbZ.net
自分で言語作れば？
276:デフォルトの名無しさん
17/09/07 17:43:27.59 jz+hbF1i.net
人によって得意なことは違うので一概には言えない
277:あ
17/09/07 18:20:23.88 ibNR9uCU.net
自分で言語書くのはマジで勉強にはなるからな。
負債作るだけだから実務では余程求められない限りやるべきでは無いけど。
278:デフォルトの名無しさん
17/09/07 19:25:26.92 ehs8nExu.net
言語つくるよりは構文解析器作ったほうが小回り効いて良い
279:デフォルトの名無しさん
17/09/07 19:40:14.38 jz+hbF1i.net
すl良
280:デフォルトの名無しさん
17/09/08 01:23:14.96 NantPsUO.net
>>276
サーバルちゃんすこ
281:デフォルトの名無しさん
17/09/08 04:59:52.83 O5uSWJ/1.net
>>278
意味不明すぎる…
yacc的なのを言ってるなら既存ので十分すぎる
282:あ
17/09/08 13:12:52.58 nyqS04uZ.net
言語作ったらパーサーも勿論作るっしょ。
yacc要るほどの自作言語なら言語自作らんほうが幸せ。
セルフホストするときに苦労が増える。
283:デフォルトの名無しさん
17/09/08 15:08:47.22 O5uSWJ/1.net
>>282
何言ってんのこいつ
yaccは糞としても、今時構文解析に専用ツール使わねえ方がめんどいだろ
284:デフォルトの名無しさん
17/09/08 15:49:46.02 K6CZoP/b.net
パーサーとパーサージェネレータの違いがわかってないのが数名いるな
285:あ
17/09/08 16:44:10.33 nyqS04uZ.net
>>283
構文解析に専用ツール作るならわかるけど、少なくとも+++++の解釈が不能とかいや出来るとかくだらん事は考えたくないし、フルにそいつの機能使うわけでもないのに、ビルドするために依存したくはなくない？
そいつでコンパイルできるソースが出るパーサジェネレータが欲しい。それが面倒なぐらいなら、その言語で手書きできるパーサの範囲の言語にしろって事。
286:デフォルトの名無しさん
17/09/08 16:55:28.74 VL+fdMeQ.net
どうせ遊びと勉強のためなんだから手っ取り早く色々試せたほうがいいに決まってるだろ
BNF書くこと自体も勉強になる
パーサ手書きの練習なんぞ電卓レベルで一回やれば十分
あんなもんただの単純作業だ
287:デフォルトの名無しさん
17/09/08 17:14:50.03 3vC4jpKo.net
とにかく「あ」の文章は読みづらくて脳に入ってこない
他の人の書く文章と明らかに違う
そもそもの何かが違うとしか言えない
何が違うかは分からんが、とにかく違う
288:デフォルトの名無しさん
17/09/08 17:16:31.02 3vC4jpKo.net
そしていつもの事だけど、こいつが居るだけで話の論点がズレる
話を長引かせる能力だけは本当にすごい
289:あ
17/09/08 17:56:18.05 nyqS04uZ.net
>>287-288
そりゃお前だって2レスも(しかも無駄に)してるんだから長くなるんじゃねえの？
「何が間違ってるかわからないけど間違っているに違いない、なぜなら俺がそう思うから」みたいな感想文の代わりに建設的な否定でもすりゃ、早く話終わるんじゃねえの？
自分で論点ずらして話を長引かせる瞬間の>>287を書いて気付いてない無能にはそれは無理なの？
290:デフォルトの名無しさん
17/09/08 18:05:23.42 VL+fdMeQ.net
話の意図を汲めずこうやって短絡的に反応するのは典型的な発達障害でしょ
「あ」に忠告しておくが、君は特に>>289のように概念的な話をしようとすると本当に全く人に伝わらないから注意した方がいい
>>285のように具体的な物事に照らして話をしてくれれば、まだ少しは理解できる
291:デフォルトの名無しさん
17/09/08 22:23:20.42 1S/6tt8C.net
こいつ読み辛さを指摘されるとすぐ発狂するよな
これまで何度も指摘してやってんだから素直に認めて頑張って直せや
292:デフォルトの名無しさん
17/09/08 23:27:45.45 bVC6EyFy.net
単に知ったか自己弁護野郎だから
そいつつついても何の得もねえぞ
そいつはお前らに相手してもらうことだけを目的としてる
293:デフォルトの名無しさん
17/09/08 23:38:12.57 DSAbXTCl.net
情報工学の基礎すらしらん自称イット産業のニートよりかは
いくらかマシなレスしてるから許せるよ
294:デフォルトの名無しさん
17/09/08 23:52:01.34 wEpLuy5k.net
クダクダ言ってるが実用的にはDSLで十分
295:あ
17/09/09 00:58:11.59 8ScVmx1k.net
>>290
汲んでないのはそもそも汲もうとしてない。
書かれていることを書かれているように理解して、書かれていない事を推測しないのは基本じゃないの？
そんなとこ汲むから全員が思い込みで話して、散らかるんじゃないの？
具体的に照らせても無いのに否定してるやつにそれ言っといて。
>>291
理解できない馬鹿に合わせて説明屋になるつもり無いから。
土俵にも立ててない事をまず恥じてから書いてほしいと言う嫌味だとまで言わないといかんの？
296:デフォルトの名無しさん
17/09/09 01:39:10.30 v2NUYwU2.net
理解できない馬鹿と来たか。俺の言いたいことを理解出来てない馬鹿はお前だ
297:デフォルトの名無しさん
17/09/09 01:54:30.58 wvHXgSou.net
発達の相手すんな
298:デフォルトの名無しさん
17/09/09 05:17:03.57 wSgl3Z7X.net
>>295
あのさ、みんなが努力して君の言いたいことを汲んでくれてるから話が成り立ってるんだぞ?
このスレに限らず、おそらくリアルでもそうだと思う。
皆がその努力を放棄したら本当に君は誰にも理解されなくなってしまう。
最低でもその努力に対する感謝だけは忘れちゃいけない。君のことを思って言ってるんだ。
299:デフォルトの名無しさん
17/09/09 07:02:59.09 sfteO0rb.net
>>286
ほんとそれ
本格運用するでもない、自作言語の字句解析や構文解析を自前で実装とか、ムダもいいとこ
そういうのは流行ってからやるもんだし
300:デフォルトの名無しさん
17/09/09 07:21:40.69 sfteO0rb.net
>>289翻訳
2つも駄レスしてる奴がそれ言う？
理解しようともせずヘイト感想文撒くぐらいなら、しっかり否定できる意見書けばいいじゃん
ま、>>287-288みたいな自己矛盾したレスしちゃう無能には無理かな？
301:デフォルトの名無しさん
17/09/09 07:26:53.54 sfteO0rb.net
まあ、俺もこいつは恣意的に長文レスするからあんま好きじゃないが、
少なくとも知識もない上、中身の伴わない批判しかしない単発の糞よりはマシだと思うわ
302:デフォルトの名無しさん
17/09/09 08:25:01.45 5TYgeUeA.net
なんかもう話題が次世代というより辞世代
303:あ
17/09/09 09:39:36.25 Z2MHyKQu.net
>>298
それはわかっとるよ。
語弊があったな。「自分が理解できない事を『理解できていない』と認識できない」と言うわ。
なぜ理解出来ないのかヒントでも出してくれんと、なんともしようがない。
304:あ
17/09/09 09:46:03.17 Z2MHyKQu.net
>>299
自作言語で、新しい構文考えた時に、今まであった言語とは違う形でパースしたいとか、そういう事考えたら、パーサーは作ったほうがいいと思う。
行き着く先はどうせBNFと既存の色んなパーサジェネレータなんだろうけど、それが何故かを理解しないまま適当にパーサージェネレータ使うのは危ないと思うな。
まぁ、原動機の仕組みを知らんでも車には乗れると言えば言えるけど。
305:デフォルトの名無しさん
17/09/09 09:55:35.28 wvHXgSou.net
お前の書き込みのどこがマズイのか、1,2スレくらい前にさんざん教えてやっただろうが
まるでヒントを貰ってないような書き込みはやめろや
306:デフォルトの名無しさん
17/09/09 09:57:00.78 wvHXgSou.net
ガイジに構ってないで建設的な話をするべきだな
307:デフォルトの名無しさん
17/09/09 10:14:58.92 LZlw8NOw.net
ID:wvHXgSou ←発達ガイジwww
308:デフォルトの名無しさん
17/09/09 10:29:26.59 wvHXgSou.net
思わず統一性ない書き込みしたのはすまんやで
309:あ
17/09/09 10:47:25.31 eKVf9QIm.net
ほな俺は出張旅行いってくるわ！海外前ノリは毎回楽しみ。
ではー
310:デフォルトの名無しさん
17/09/09 13:40:11.92 nbIo0UBC.net
それをわざわざ報告する構ってちゃんっぷりよ
二度と帰ってくるなよ
311:デフォルトの名無しさん
17/09/09 17:40:28.33 h5yhjckw.net
それを構うやつが居るから居付いちゃうんだよ
みんなもうさすがに分かったと思うけど
312:デフォルトの名無しさん
17/09/09 21:28:03.09 3bqTNO9F.net
…わかった
この「あ」って人の書き方、頭に入ってこない感じに既視感があると思ったら、一昔前の専門書の和訳だ。
自分の言葉で表現し直すか、元の英文を想像するかしないと理解できないところがそっくり
多分日本人なんだろうけど、どういうプロセスでそういう文章になるのかね？
313:デフォルトの名無しさん
17/09/09 21:56:34.25 Mx1Qamh7.net
怪しいことを言って突っ込まれたら適宜解釈を変更できるように、分かりやすく具体的なことを言うのを避けてるだけだろ
314:デフォルトの名無しさん
17/09/09 21:56:54.45 xEPuJyU1.net
プログラム的に言えば、やたら細かいクラスに沢山分割されてて
しかもそれらが同一レベルで扱われてて
全体の流れが分からない、って感じか？
315:デフォルトの名無しさん
17/09/09 22:09:17.18 xEPuJyU1.net
多分一度に頭で扱える文章の長さが極端に短くて
継ぎはぎだらけになって読みにくいとか
そういうことだと思う
それプラス、オブジェクト指向のやりすぎで
文章の流れがおろそかになってるとか
例えば
>負債作るだけだから実務では余程求められない限りやるべきでは無いけど。
だと、普通なら
>負債作るだけだから余程求められない限り実務ではやらない方がいいけど。
だろう
「実務では」の位置がおかしいのと、「べき」の後ろに「無い」の否定は読みにくい
そういうのの積み重ねで読みにくくなってる
316:デフォルトの名無しさん
17/09/09 23:17:03.19 LZlw8NOw.net
句読点を入れろってだけだろ
馬鹿なのか？チョンか？ガイジか？
現役ニートはさすがだな
317:デフォルトの名無しさん
17/09/09 23:42:35.97 qAGs4qP5.net
脳内メモリ不足のADHDっぽいな
運動と瞑想すると軽減されるぞ
>>316
一歩間違うと読点過剰症候群に陥るんだよな
318:デフォルトの名無しさん
17/09/10 08:00:20.21 LIZz+c2t.net
よくわからんがとにかく結論を最初に書くとよいらしい
どうすれば改善するかダラダラ考えるより、改善は不可能って最初に書けばよい
319:デフォルトの名無しさん
17/09/10 13:09:30.62 XlugmfFW.net
なんでどの次世代言語も似たような機能ばっかりになっちゃうんだろう
もっと独自性出そうって思わないのかな？
320:デフォルトの名無しさん
17/09/10 13:37:48.84 jsz/Wx4o.net
独自性満載のペチプァでもやって、どうぞ
321:デフォルトの名無しさん
17/09/10 13:41:33.09 GVNmgcdo.net
作者が便利と思った機能は絶対載せるんだから自然とそうなるだろうよ
322:デフォルトの名無しさん
17/09/10 14:23:46.07 /LC/x3j3.net
c++ なんか明らかに他の言語にあるならおれんとこにも入れんと
みたいな発想だよな。
323:デフォルトの名無しさん
17/09/10 14:29:55.26 2pa6uG+z.net
chapelはどう？気になってるけど触ったことがない
324:デフォルトの名無しさん
17/09/10 15:26:12.99 ODr7u6re.net
Goとかは俺の思想感が強くて、むしろちょっと他の言語の真似して欲しいってなるの。ジェネリクスとか
325:デフォルトの名無しさん
17/09/10 16:29:21.95 dC7LVsZq.net
>>319
いい機会だからスレタイに入ってるやつ含めて、どれを次世代言語として想定してるか列挙したって。
326:デフォルトの名無しさん
17/09/10 16:49:55.51 ZBmzdD/d.net
次世代言語っていうからには、いつの「次世代」を想定しているのかも書いてね
まさか30年後には普及する、とか言わないよね
327:デフォルトの名無しさん
17/09/10 17:03:52.21 MqFyYcwH.net
smalltalkを次世代言語にしよう
328:デフォルトの名無しさん
17/09/10 17:46:05.67 G9GafT2A.net
SmalltalkのIDEは
次世代IDEのモデルになってもおかしくない
329:デフォルトの名無しさん
17/09/10 17:50:38.05 E1NtPZfm.net
それをモデルにして生まれた数々の分散オブジェクト指向技術はとっくの昔にことごとく爆死したよ
330:デフォルトの名無しさん
17/09/10 18:19:33.98 G9GafT2A.net
いやErlangなんかはSmalltalk（とProlog）に
影響を受けてるから全滅したわけじゃない
331:デフォルトの名無しさん
17/09/10 18:24:36.45 GVNmgcdo.net
影響を受けてたらいいのか……
332:デフォルトの名無しさん
17/09/10 18:50:40.92 jsz/Wx4o.net
影響を受けまくったPHPさんはどうなりましたか（漣声）
333:デフォルトの名無しさん
17/09/10 19:02:33.63 RsJHqjxK.net
プログラミングが義務教育化するみたいだけど、
どの言語でどのアプリケーションをネタに教えるんだろうね。
334:デフォルトの名無しさん
17/09/10 19:27:14.60 jsz/Wx4o.net
C→土方
Java→土方
PHP→ガイジ
JavaScript→土方
Pythonやろなぁ
335:デフォルトの名無しさん
17/09/10 19:29:40.18 ZU7MRPZN.net
scratchでしょ
高度なのは教師がついていけないし
336:デフォルトの名無しさん
17/09/10 19:29:53.32 LIZz+c2t.net
小学校って鶴亀算が正義で方程式はズルの異世界なんだろ
337:デフォルトの名無しさん
17/09/10 19:40:53.92 G9GafT2A.net
鶴亀算みたいな小学校算数の
独自の世界でだけ通用する
ガラパゴスなの嫌い
338:デフォルトの名無しさん
17/09/10 19:52:19.31 w1siUvvP.net
正直教育者の教育から始まるからなぁ。
javaとかなったら泣くわ。
Goも特殊すぎてないし。
やっぱりPythonじゃないかな。海外じゃ教育用としても使われてるんでしょ？
339:デフォルトの名無しさん
17/09/10 20:06:41.27 LIZz+c2t.net
教育者の教育
丸投げの丸投げ
お前らいつも丸投げしてるな
340:デフォルトの名無しさん
17/09/10 20:07:24.82 1ZuyAb/B.net
良い話かな
我々は曲がりなりにもプロなわけだし、家庭教師や個人授業で誰でも稼げるようになる
341:デフォルトの名無しさん
17/09/10 20:08:05.58 ZU7MRPZN.net
JavaだろうがPythonだろうが、現場の教師が対応できるわけないじゃん
しかも小学生やで
普通にScratchやって簡単なアルゴリズム作るまでで終わり
342:デフォルトの名無しさん
17/09/10 20:39:29.42 jsz/Wx4o.net
ガイジ教師が糞ポンコツ利権中華パッドのトラブル対応するだけで終わりそう
343:デフォルトの名無しさん
17/09/10 22:14:58.48 dC7LVsZq.net
pythonはヘビの絵があかんわ。
ヘビ嫌いの子がプログラミング嫌いになりかねない。
344:デフォルトの名無しさん
17/09/10 22:23:57.60 dC7LVsZq.net
30年後に普及する次世代言語Haskellがいいと思うよ。
実際彼らが活躍するのはそれくらいだろうし。
345:デフォルトの名無しさん
17/09/10 23:08:57.63 H/z7kJ7J.net
Haskellもうちょい速い処理系出ないかな……
346:デフォルトの名無しさん
17/09/10 23:49:55.76 CfAD8p5O.net
趣味でやるならともかく
義務教育として小学生がプログラミングを勉強する必要性って全くないよな
小学生の貴重な時間の無駄遣い
347:デフォルトの名無しさん
17/09/10 23:53:37.34 H/z7kJ7J.net
事務方とか、プログラムできたらもっと効率よく仕事できると思う
348:デフォルトの名無しさん
17/09/10 23:59:54.42 dC7LVsZq.net
スクラッチで書き捨てのを書けるようにするだけでだいぶ違うと思う。
349:デフォルトの名無しさん
17/09/11 00:07:44.64 wRb7h9Km.net
>>348
何がだいぶ違うの？
350:デフォルトの名無しさん
17/09/11 00:11:32.96 idFHJ0OR.net
そんなこと言ったら家庭科の授業もいらなくなるしな
PC触れない機会なんて絶対無いんだからやるのはいいことだろ
メインは理論的な思考を養うことだろうけどな
351:デフォルトの名無しさん
17/09/11 00:14:38.85 /+/7clo/.net
プログラミングを学んだ結果がそんな非論理的な主張しかできない人間なら、
必要性が無いに同意するわ
352:デフォルトの名無しさん
17/09/11 00:15:51.69 //vUn5WY.net
プログラミングっていうほど論理か？
ソリティアとかフリーセルでいいじゃん
パズルゲームこそ論理そのものだと思う
353:デフォルトの名無しさん
17/09/11 00:16:51.57 wRb7h9Km.net
PCの使い方やコンピュータやWebそのものについて勉強するのと
プログラミングの勉強をするのとじゃ意味が違うよね？
理論的な思考は小学生なら算数を中心に他の教科で勉強した方がいいでしょ
図画工作で物理的なものを作ってたりしたほうがよっぽど脳が発達すると思うわ
354:デフォルトの名無しさん
17/09/11 00:44:35.97 I3u+9T/v.net
実用性というなら、法律の授業でも設けたらどうだろうか、と俺は思う
あと、経済のことも全くやらないよね
で、結局、テレビで池上さんとかでしょ
どーなん
355:デフォルトの名無しさん
17/09/11 00:44:39.37 iCkxSQKi.net
正規表現使って一気にファイル編集するとか
そういうのは教えてもいいかもね。
それくらいやってくれって思うこと多いし。
356:デフォルトの名無しさん
17/09/11 00:54:23.27 npw21Fnm.net
頼むからプログラミングを学ばないでくれ
URLﾘﾝｸ(jp.techcrunch.com)
357:デフォルトの名無しさん
17/09/11 01:07:36.28 I3u+9T/v.net
プログラミングって専門的ではあるんだが
そのベースとなってる部分にあまり学術性が無いというか
例えば電気回路で言うところのオームの法則など
そういう学校で扱いやすい話題があまりない
疎結合やモジューラビリティー、テスト性とか
すぐにえらく専門的で現実的で「実技」な話に発展する
学校で扱いやすいのは、せいぜい論理演算などの離散数学ぐらいか
もともとやらせたいことを順番に並べて書いておけば
コンピュータが逐次実行してくれるってだけだし
そのような仕組み的概念など、一瞬で理解できてしまう
足し算よりも簡単な概念だ
ただし、コンピュータに、何を、どうやらせるか、の話になると難しいが
これは電子回路で言えば、理想素子など存在しない現実世界で
実際に回路を組む場合のノウハウの話であって、えらく専門的だ
それでも学校でプログラムをするなら
きっと目的に向けて手続きプランを立てる力を養うためなんだろう
358:デフォルトの名無しさん
17/09/11 01:16:30.25 I3u+9T/v.net
それか将来ソフトウェアエンジニアになるのを早期に諦めされる意味合いは有るか
例えば、もし音楽の授業が無ければ、俺は自分に才能が無いことに気づかず
ミュージシャンになりたいと思っていたかもしれないしな
そのような面はあるかもしれない、向き不向きがあるからな
359:デフォルトの名無しさん
17/09/11 01:29:19.38 //vUn5WY.net
>>357
特別に一回だけ教える
お前のレスは、このスレに不要
360:デフォルトの名無しさん
17/09/11 07:03:50.93 JLDhDRUg.net
>>354
現状のって話だと動きが速くて教育内容がすぐ陳腐化してしまうんじゃないか
361:デフォルトの名無しさん
17/09/11 07:13:43.47 VvF2iP9D.net
>>357
そうか？
アルゴリズムなんて数学に近いと思うが
362:デフォルトの名無しさん
17/09/11 10:08:22.10 DHXKOr7V.net
>>357
明らかに素人の戯言すぎる…
アルゴリズム云々置いておいても、
形式言語とか式の簡約とか、もろにプログラミングそのものを扱ってる分野なんていくらでもあるのに…
363:デフォルトの名無しさん
17/09/11 10:59:25.42 ZLduiCK4.net
話の筋がズレてるし、その元の話もスレ違い。他人をこき下ろすのに夢中になってるのは見苦しいです
364:デフォルトの名無しさん
17/09/11 11:26:09.84 09oj3uvE.net
子供向けでって言うとラズパイ使ってマインクラフトをカスタマイズするみたいな教育あったよね。
マインクラフトそんなに面白いんか
365:デフォルトの名無しさん
17/09/11 11:50:13.17 XW0rQ7er.net
＞もともとやらせたいことを順番に並べて書いておけば
＞コンピュータが逐次実行してくれるってだけだし
とりあえずこいつがコンピューター科学全く知らないで戯れ言ほざいてる下流コーダーなのはわかった
366:デフォルトの名無しさん
17/09/11 12:06:08.53 J+iRaHDS.net
自動運転で運転手を解雇するのに夢中になってるかと思えば
読書やゲームをするだけのために教師を雇う
この需要の乱高下が見苦しい
367:デフォルトの名無しさん
17/09/11 13:33:58.39 94wLBHZD.net
つまらない仕事はPythonにさせるための布石やぞ
368:デフォルトの名無しさん
17/09/11 13:34:35.42 I3u+9T/v.net
何か反論がいっぱいあるようだけど
小学生や中学生が理解できるか？って部分が抜け落ちてる
論理演算などの離散数学ぐらいならまぁなんとか
それ以上は難しいだろう
369:デフォルトの名無しさん
17/09/11 14:15:17.74 JLDhDRUg.net
教えたいのはもっとプログラミングの概念の基礎だろ
370:デフォルトの名無しさん
17/09/11 14:18:19.44 XW0rQ7er.net
>>368
お前にとって小中学生に理解できないことは「学術性がない」んだな
371:デフォルトの名無しさん
17/09/11 14:30:46.93 I3u+9T/v.net
そりゃ今は義務教育の話だからな
> 例えば電気回路で言うところのオームの法則など
> そういう学校で扱いやすい話題があまりない
の「学校」は小中学校を意味しているのは明らかだろ？
372:デフォルトの名無しさん
17/09/11 16:04:33.60 t4wV8ThU.net
プログラミングを教えて日本国民を論理的にしてしまうと
政府は国民を騙せなくなるから義務教育では教えないだろうな
373:デフォルトの名無しさん
17/09/11 16:36:47.25 XW0rQ7er.net
>>371
義務教育で扱える程度の内容に乏しいって意味で「学術性がない」なんて強い語を使うなよ紛らわしいわ
374:デフォルトの名無しさん
17/09/11 17:02:06.23 J+iRaHDS.net
>>372
歴史では昔の政府が国民を騙していたと教えてるんだろ
エビデンスを集めるのに数十年かかるようなので
エビデンス重視の教育では不確定な最新情報を教えるわけにはいかない
375:デフォルトの名無しさん
17/09/11 17:24:00.69 lPwceoCU.net
義務教育期間にプログラミングを教育するのなら、
問題に直面したときに次の3つの意志が自然に芽生えるよう教育してもらいたい。
1. 問題を直列に分けて考えようとする意志
Aを解決するにはBが必要、BにはCが必要・・・と考えること。
2. 問題を分割統治して考えようとする意志
平行して解ける小問題に分けることと、それらを合成すること。
3. 問題を状態遷移の観点で考えようとする意志
こういう意志が自然に芽生える子は、
プログラミング以外でも問題解決能力が高いと思う。
376:デフォルトの名無しさん
17/09/11 18:02:14.05 gBm4eJz0.net
そもそも、次世代言語に求められる
機能や概念みたいなのって何よ
377:デフォルトの名無しさん
17/09/11 18:15:43.63 J+iRaHDS.net
論理の対義語が多すぎて困る
物理
心理
データ
378:デフォルトの名無しさん
17/09/11 19:11:15.77 94wLBHZD.net
>>376
メンテナンスしやすいコードが少ない労力で書けること？
379:デフォルトの名無しさん
17/09/11 19:22:43.34 gBm4eJz0.net
>>378
でも、今の言語でも充分
メンテしやすいし、これ以上コードを書く労力を減らすなんて無理じゃない?
380:デフォルトの名無しさん
17/09/11 19:30:09.85 94wLBHZD.net
うーん。「今の言語」が何を指すのか良くわからんから同意も反対もしかねるなあ
381:デフォルトの名無しさん
17/09/11 20:21:25.04 GjBYU0fZ.net
じゃあ、例えば、深層学習やA.I.的なものを言語やIDEに組み込んで
ほとんど（全く）コードを書かないで半自動でプログラミングするとかって次世代？
382:デフォルトの名無しさん
17/09/11 20:36:15.84 JLDhDRUg.net
今までの世代交代ってどこだったの?
383:デフォルトの名無しさん
17/09/11 21:19:49.73 94wLBHZD.net
深層学習でそんなもん実装しようとしたら何を入力にすればいいのか良くわからんが、万一出来たら次世代。かなあ？
384:デフォルトの名無しさん
17/09/11 21:35:46.34 6w7ioxU3.net
>>360
違うよ
最も大事な近代史を教えないのは
衆愚政治をしやすくするためだよ
385:デフォルトの名無しさん
17/09/11 21:43:29.39 09oj3uvE.net
次世代というよりも今求められてるのは並行処理が簡単に実装できる仕組みを言語側で用意すること。
CPUのシングルコア性能が頭打ちになって後はマルチコア化するしか無いから。
次はGPUを勝手に使ってくれる言語とかかね。
386:デフォルトの名無しさん
17/09/11 21:59:37.77 OxYgv+JG.net
>>383
入力はクラウドからビッグデータ的なものとかランダムに垂れ流しに叩き込んで
そこから深層学習でパターン化できたものを
勝手にプログラム化するとか
387:デフォルトの名無しさん
17/09/11 22:14:12.68 J+iRaHDS.net
AIと小中学生に教えるのは完全情報ゲーム
次世代は不完全とか不完備とかいうのをやれば需要は確実にある
388:デフォルトの名無しさん
17/09/12 03:49:03.61 GMj2pr0d.net
政府が義務教育で国民に絶対教えたくないのは十分条件と必要条件だな。
これを教えないからマスコミを使って簡単に騙すことができる。
389:デフォルトの名無しさん
17/09/12 07:21:54.73 kvuESNKU.net
>>386
えーと。失礼ながら深層学習のご経験は？
ちょっと深層学習組んだことのある人の発言には見えなかったもので……
390:デフォルトの名無しさん
17/09/12 09:01:15.01 EOOe72TQ.net
○次受けが多いほど退場率が早くなる。高くなる
直受けの50万 客：いつまでもうちにいていいよ
3次受けの50万（客は90万払ってる) 客：短期延長していい？
5次受けの50万（客は150万払ってる) 客：作り終わったらとっと出てけ できなかったら即退場だ
長時間労働 高稼働 高スキル要求が多い
フリーランスサイトを運営している零細ITの自称エージェントは労働市場から流れてくる案件を転売してるだけだった。
労働市場に加入すれば誰でも案件に応募することができた。収入が40万50万台にならなくて済む
エンド - ユー子 - エージェント-JIET 公表価格 90~60 - エージェント×3 = 言い値50万以下
エンド - ユー子 - エージェント-JIET 公表価格 90~60 - エージェント×1 悪質な言い値で50万以下
エンド - ユー子 - エージェント-JIET 公表価格 90~60 - JIETに加入して公表価格で応募できる
eJobgo JIET JISA で検索
優良エージェント・優良サイト
首都圏IT(PE-BANK) クラウドテック プログラマーズ
391:デフォルトの名無しさん
17/09/12 10:30:07.06 VqXuokxt.net
>>384
それなら都合の良い解釈で教えた方がいいだろ
392:デフォルトの名無しさん
17/09/12 21:38:00.26 9b2dKLBo.net
>>391
江戸時代のミナトモノチンポコリンが紫式部とセックスしてひり出した国産みが、日本の始まりです。
君たちは十分勉強した。頑張った。
だから大学にいったらたくさん遊んで、頭クルッパーになるまで酒浴びて、友達とセックスして、
楽しい思い出たくさん作りましょう。
就職したら、よくわかんないけど税金と年金を払えば一生安泰。美しい日本をトラストミー。
これが中世ジャップランド土人村の教育方針。
そもそも、現代史の存在すら知らなくてよいのです。
393:デフォルトの名無しさん
17/09/12 22:25:24.83 VqXuokxt.net
なんだ教育どころか躾も受けなかったやつか
394:デフォルトの名無しさん
17/09/12 23:31:41.00 l9r9oGrF.net
これ陰謀論だからね
異常な言動をするのは、想定外なことをやらないと陰謀を阻止できないという理由だね
395:デフォルトの名無しさん
17/09/13 01:02:34.46 S8v0D06m.net
次世代言語の持つべき機能は何ぞや、と考えてもらちが明かない
その前に、次世代とは一体いつの事か、だろう
次世代はいつ到来するのか
到来しないなら意味が無い
来もしない架空の次世代を議論しているだけになる
かつて次世代言語と言われたD言語は普及する前に陳腐化して消えた
実際スレタイにもD言語は入ってないし、話題にも上がらない
例えば30年後じゃ遠すぎて議論する意味が無い
今現役の人は既に現場を退いているだろうし
今大学生で言語に興味がある人でも30年後じゃ50歳
30年後にメジャーになるなら25年後から学び始めても間に合う
今から30年前は1987年、30年は遠い
その前に30年後じゃスレタイに挙がってる言語も陳腐化しているかもしれない
なんで、次世代は5～10年後が妥当だろう、と俺は思う
今ある言語で5～10年後に普及してなかったら、その先もずっと普及しないんだろう
396:デフォルトの名無しさん
17/09/13 01:03:43.98 z86FxPe7.net
これほど中身のない長文レスも珍しい
397:デフォルトの名無しさん
17/09/13 01:09:18.00 S8v0D06m.net
ただやはり俺は問いたいんだよ
次世代とはいつの事なのか？
機能だけじゃなくて、ちゃんと時間軸があって
その中で流行り廃りがあってやってることだから
時間無視して機能だけ着目してもプランが見えないだろ
むしろ機能がどうであれ、5年後に普及している言語は
次世代言語と言えるだろう？正に一時代
当然今普及しているC#やC++だって貪欲に新しい機能を取り入れていくわけで
その中で5~10年後を目途に食い込んでいけるかどうかなんだよ
398:デフォルトの名無しさん
17/09/13 06:54:03.73 7a6JI6gZ.net
次世代ってのはそんな時間がどうしたこうしたとかの話じゃないよ
流行り廃りとかも関係無い
そう狭い視点で考えずにもっと広い視野をもった方がいいよ
399:デフォルトの名無しさん
17/09/13 08:25:22.48 E/jL69iK.net
そんな短いスパンにするんならPythonだわ
次スレからスレタイにPython入れとけ
400:デフォルトの名無しさん
17/09/13 09:04:59.56 Bb9COdO4.net
>>396
構うな、放置しろ
今度はコイツがここに居付こうとしてる
401:デフォルトの名無しさん
17/09/13 10:01:06.54 VzT/OXBr.net
次世代って機械学習になるんじゃない。
行列計算とかするときに勝手にクラウド経由で計算リソースを取ってこれるようになる。plan9ってそういうosだって聞いた。
402:デフォルトの名無しさん
17/09/13 12:20:47.70 9VP4KcZo.net
一行目と二行目以降が関係なくてワロタ
403:デフォルトの名無しさん
17/09/13 13:34:53.05 S8v0D06m.net
>>398
明日から本気出す
ってやつ？
404:デフォルトの名無しさん
17/09/13 14:05:16.19 K9O6G+Si.net
次世代はドメイン特化言語の時代になり、汎用言語は廃れます。
405:デフォルトの名無しさん
17/09/13 14:16:12.38 E2QhavqU.net
>>404
ドメイン毎に覚えなきゃならんのか
めんどくさい時代になりそうだな
406:デフォルトの名無しさん
17/09/13 14:21:30.33 zxtAcgsZ.net
勘違いしてるみたいだけど、エンタープライズITでいうDSLってのは
「専業エンジニアでなくてもビジネスドメインの専門家自身で使いこなせる言語」のことな
言語そのものは汎用言語でも構わない
407:デフォルトの名無しさん
17/09/13 19:36:23.72 sz/jAogc.net
次世代言語はプログラム開発言語じゃなくなるよ
口語で伝えればそれでプログラム組んでくれるように成る
「この前教えた利子計算の方法あるでしょ？ それでこれ計算しといて」
「都会の中にワーゲンビートルの車表示して、太陽光は七夕の東京あたりの午前10時の薄曇りって感じで、街は勝手に作っといて、あ、車は運転下手なおばさん設定で」
とかね
408:デフォルトの名無しさん
17/09/13 19:46:39.51 rpjhM8lZ.net
>>407
「自然言語でプログラミング」このたかだか12文字で表現できる主張に、何行かけているのやら。
お前がやると簡単な集計のために一日中PCとおしゃべりしてそうだなw
409:デフォルトの名無しさん
17/09/13 20:45:07.31 K9O6G+Si.net
>>405
今だって結局、現場ごとに複数言語覚えるんだから一緒だろ。
410:デフォルトの名無しさん
17/09/13 21:00:24.78 v9v9eHRu.net
CeylonがEclipse Ceylonに
URLﾘﾝｸ(www.infoq.com)
411:デフォルトの名無しさん
17/09/13 21:17:50.33 n1InxPaY.net
>>407の例はプログラミングと呼ぶのか？
単にプログラムを使ってるだけに思えるが
412:デフォルトの名無しさん
17/09/13 21:49:52.55 mKVOj1w7.net
>>409
うーんそんなにコロコロ現場変わらんしな
413:デフォルトの名無しさん
17/09/13 21:59:42.50 K9O6G+Si.net
>>412
なら次世代だろうと同じ言語でいいんでないの。
同じような仕事なら言語変える必要ないだろうし。
414:デフォルトの名無しさん
17/09/13 22:02:21.61 z86FxPe7.net
>>407
PHPみたいな冗長この上ない糞コードを永遠書く糞
>>408
適切な抽象化ができる糞
糞杉内
415:デフォルトの名無しさん
17/09/13 22:19:03.30 zq5Xcc85.net
>>411
運動会の「プログラム」とコンピュータの「プログラム」は同じことだよ。
式次第。次こうしてその次はああして…とつらつら書いてある。
それにしたがって動くのが人かコンピューターかというだけの違い。
人とコンピュータには違った特徴があるけどね。
人は融通が利くがコンピュータは違う(厳密)とか、人は単純計算が遅いとか…
要するにお前も毎日会社で上司のいい加減なプログラムを柔軟に解釈して実行してる計算の遅い手足のついてるポンコツコンピュータみたいなもんだ。
416:デフォルトの名無しさん
17/09/13 22:42:30.30 mKVOj1w7.net
>>413
現状はc#で充分だわ
417:デフォルトの名無しさん
17/09/13 22:43:48.95 jnRF1U52.net
Ceylonがeclipseに移管されたらideサポートはeclipseの方が充実するんだろうか。
ここに専用スレないし日本語の情報も少なくてまだマイナーだよね。Ceylon.
418:デフォルトの名無しさん
17/09/13 23:57:59.65 v9v9eHRu.net
>>417
IntelliJ IDEAのKotlin に対抗するためにEclipse が動いたんじゃね？
419:デフォルトの名無しさん
17/09/13 23:58:54.07 z86FxPe7.net
ScalaにもKotlinにもJava8にもなれなかったセイロンちゃん
420:デフォルトの名無しさん
17/09/14 07:53:14.18 Yd9ve2DW.net
>>415
式とお前さんが本来言いたい文じゃ、順序性の観点で全然違うんですが
最近この手の完全な門外漢がこのスレ出入りしまくってるのなんで？
どっかで流行ってるのこのスレ？
421:デフォルトの名無しさん
17/09/14 10:09:25.17 EBRBcItb.net
GUIプログラミングは次世代?
言語ではないかもだけど
次元が違うかな
422:デフォルトの名無しさん
17/09/14 10:53:40.29 lnoyJYPY.net
ここで求められているのはそういう次元の話ではないだろ
423:デフォルトの名無しさん
17/09/14 11:04:50.97 MFnw+s/0.net
口語で
GUIで
要は文字を使わなければいいと思ってるだろ
あとGPUみたいな回路にも文字がない
424:デフォルトの名無しさん
17/09/14 11:15:51.50 7r9rlLB3.net
ビジュアル的な資料からコードを生成してほしいね
425:デフォルトの名無しさん
17/09/14 13:56:14.47 1DVuzpHn.net
そんなもんできても
これこれのドット判定は信用が薄いからほにゃららの色に統一すべきとか
糞みたいな運用しだすだけだよｗ
426:デフォルトの名無しさん
17/09/14 14:08:32.92 emC4w7HW.net
言葉で説明されるより、疑似コードでも何でもいいから
コードで説明された方が分かりやすい場合も多いし
その時点で・・・
427:デフォルトの名無しさん
17/09/14 14:15:15.18 emC4w7HW.net
あと、科学的観点からみると、再現性が無ければならないというのもあるし
品質の面からみてもそうだし
再現性が無ければバグ取りも苦労するだろう
正確無慈悲なところがコンピュータの良さでもあるわけで
428:デフォルトの名無しさん
17/09/14 16:41:08.91 XVFgKdZv.net
GUIプログラミングじゃなくて
ビジュアルプログラミングのことだったか
それは言語というよりツールの話だね
429:デフォルトの名無しさん
17/09/14 20:57:30.44 yZdo78uI.net
昔prograph っていうビジュアルプログラミング言語があったな。
大昔の話だけどね。
430:デフォルトの名無しさん
17/09/14 21:11:31.27 SN8aCXbe.net
大昔っていつ？
室町時代頃？
431:デフォルトの名無しさん
17/09/14 21:14:30.08 NFYveb7q.net
Lisp すこ。common Lisp汚いから嫌い
432:デフォルトの名無しさん
17/09/15 00:31:39.36 0Kvdivx3.net
>>420
ちょｗｗｗ「式」次第だから式だと思ったってこと？
小学生かよw国語の勉強頑張れよー
433:デフォルトの名無しさん
17/09/15 02:42:30.32 ZHku/f/z.net
>>432
プログラムでは式と文は厳密に区別するものだよ
勉強になったな生ゴミ
434:デフォルトの名無しさん
17/09/15 02:52:14.36 ESgpb85E.net
>>433
で？ｗｗｗ
>>415のどこに式と文について書いてあるの？ｗｗｗ
あれ？ｗもしかして「式」次第だから式だと思ったってこと？
小学生かよw国語の勉強頑張れよー
435:デフォルトの名無しさん
17/09/15 02:52:22.07 ZHku/f/z.net
そもそも予定という意味のprogramme と手続きを記述したコードを混同して、
それを例えになってない例えにしてる時点で頭が悪いんだが、
まあそこは許してやろうか
436:デフォルトの名無しさん
17/09/15 02:57:43.05 ZHku/f/z.net
>>434
演目を集めたものが式という解釈では、
プログラムとはプログラム次第であるとかいう頭の悪い主張になるけどいいのかな？
あ、もしかしてそれすら理解できない？
437:デフォルトの名無しさん
17/09/15 03:51:32.65 ESgpb85E.net
>>435
そもそも？ｗｗｗ
式と文はどうなったんでちゅかー？ｗｗｗ
438:デフォルトの名無しさん
17/09/15 03:56:04.41 Xh3vGrxx.net
これマジか？
439:デフォルトの名無しさん
17/09/15 03:59:24.62 ESgpb85E.net
>>436
>演目を集めたものが式という解釈では、
ん？ｗ誰がどこを解釈してそうなったのかな？ｗｗｗ
とりあえずどこを解釈したのか引用して示してみ？
小学生のくせに藁人形論法使ってごまかしにかかるとかｗｗｗ
440:デフォルトの名無しさん
17/09/15 06:00:02.17 gy747Xnp.net
>>431
純Lispの原理はシンプルで良いけど
CLの実装がいろいろ汚いんだよな
特にこのスレだしClojureでいいと思う
441:デフォルトの名無しさん
17/09/15 07:13:24.68 ZHku/f/z.net
>>437
>>439
で結局語彙の乏しい雑な煽りには必死だが、何の説明と反論もできないと
お前病院でIQ測定して手帳もらってきた方がいいぞ、将来のためにも
442:あ
17/09/15 08:07:52.43 2tC+gtK2.net
ただいま。
>>407
それ、あんま良くわかってない(特に営業上がりの)PMがやってる事じゃない？
その下がPMの発言を汲み、そして纏まらなかったらメシ打ちで機嫌を取り、深堀してヒアリングさせて、なんとかごまかすという人間だけが出来る事をやって、
それでも死屍累々になる今よりもっと酷くなるかと。
443:デフォルトの名無しさん
17/09/15 08:25:16.27 RDFKPiHT.net
客の言ったことだけに基づいてシステムを作るのが不可能なのは当然でしょ
最も重要なのは客の言葉よりもアーキテクトやエンジニア自身の経験や常識だ
人間も結局、事例を学習して継ぎ接ぎしてるだけだよ
そう考えると、それが機械に置き換わるのは案外夢物語ではないよ
444:デフォルトの名無しさん
17/09/15 08:47:31.96 wLRyrMrR.net
Clojureはjavaの上にあるのが特色だけど、この特色がどうしても好きになれない。どうせならLLVMの上にでも乗せてくれれば良かったのにって思う
445:あ
17/09/15 08:52:44.26 2tC+gtK2.net
>>443
継ぎ接ぎで解決する部分と、研開で本気でやらなきゃいかん部分がどーしても出てくるかと。
うちも知財部はチェックはしてくれるけど、明細書は自分で書かにゃならんし、継ぎ接ぎではやっぱ拒絶査定食らうし、弁理士の得意分野なら「新規性に疑問を持たれるのでもうちょい頑張って」って言われて知財部からかえってくるよ。
446:デフォルトの名無しさん
17/09/15 09:06:38.50 0REmg3W0.net
>>441
何の説明も反論も出来ていないとは、まさにお前のことだな。自己紹介乙。
>>415
>運動会の「プログラム」とコンピュータの「プログラム」は同じことだよ。
>式次第。次こうしてその次はああして…とつらつら書いてある。
に対しお前は
>>420と>>433で式だ文だとトンチンカンなことを言っているが、
一体>>415のどこに式と文に関する記述が出てくるのか、まず発端のそこを説明しろよ。
いくら聞いても
>>435、>>436と下手なごまかし藁人形捏造して逃げてばかり。
「式」次第だから式だと思ったってこと？小学生かよw国語の勉強頑張れよー
447:デフォルトの名無しさん
17/09/15 09:41:01.53 wLRyrMrR.net
そのへんHaskellはバックエンド選び放題でいいよな
Win版はうざいけど
448:デフォルトの名無しさん
17/09/15 10:21:32.89 aCZyfKQz.net
副作用がガンガン使えるHaskellってつくれないのかな？
内部でモナドに変換してくれて解決してくれるようなんでいいから
人がそういうのをいちいち気にして
プログラミングしなきゃいけないってちょっと次世代的にダサくない？
449:あ
17/09/15 10:44:10.07 2tC+gtK2.net
プログラムと言う単語が悪いわな。
もう少し語源に近づいて「(ある目的のために)予め書かれたもの(pro(羅pre 前以て)-gamme(羅gram 書く))」とすると、運動会のプログラムも電算機のプログラムも同じものなんだが。
書かれた順に行うからプログラムでも無いよ。
紅組優勝の場合は○○、とか、もっと言っちゃえば午前中に雨が降った場合、午後のこの演目は土が乾くまで他の演目を先に行う、なんてのも運動会のプログラム。
それを読んで行う>>415の半分は「スケジュール」。ジョブスケジューラがやるべき事。
450:デフォルトの名無しさん
17/09/15 11:27:00.11 sIN/n6dF.net
>>448
それってHaskellの意味あるか？逆ならわかるけど
451:デフォルトの名無しさん
17/09/15 11:32:50.11 efiXKXYM.net
どっちにしろ式だの文だのは関係ない話やな。
452:デフォルトの名無しさん
17/09/15 11:53:54.90 mZUTGfgJ.net
F#に型クラスさえ導入されればHaskellなんて見向きもしないのに
453:デフォルトの名無しさん
17/09/15 12:09:58.95 LbVH6Dx6.net
>>452
コンピュテーション式あるだろ
454:デフォルトの名無しさん
17/09/15 12:12:03.29 LWf5nRni.net
>>448
ずっとIOかStateの中に居ればいいと思うよ
do記法が副作用すなわち手続きを自動的にモナドに変換してくれるよ
455:デフォルトの名無しさん
17/09/15 12:14:55.56 LbVH6Dx6.net
あれはモナドか
456:デフォルトの名無しさん
17/09/15 12:17:37.01 0MiV6Sa6.net
Haskellの型システムを理解できていたら副作用ガンガン使えるよ
型システムをいちいち気にしないやつはPythonを使えよ
457:デフォルトの名無しさん
17/09/15 12:24:26.12 dK0HzMbN.net
>>449
どうでもいいがラテン語かね？
普通ラテン語で、書く、となるとscribo、（略）、、scriptumじゃね？
458:あ
17/09/15 12:52:34.10 2tC+gtK2.net
>>457
ごめん、思い切り間違えた。希だな。
459:デフォルトの名無しさん
17/09/15 13:04:41.59 aCZyfKQz.net
>>454 >>456
そういうのを取っ払って使えるようにして欲しいのよ
型クラスとかdo記法も隠蔽してシステムの方で勝手に管理してくれればいいじゃん
460:デフォルトの名無しさん
17/09/15 13:56:26.77 Tu1mqslW.net
ぶっちゃけhaskell使ってどんくらい開発効率上がるか知りたい。
railsみたく10倍開発スピード上がるって文句のフレームワークでないのかな。
個人的にはgolangのgoaがそれに匹敵する気がする。
webpaiに特化したフレームワークでswagger.jsonも吐いてくれる。
クライアントライブラリまで自動生成できる。
461:デフォルトの名無しさん
17/09/15 14:59:35.94 Xh3vGrxx.net
プログラムを作る事と使う事の
区別が付かないやつ多数発見
462:デフォルトの名無しさん
17/09/15 15:34:36.71 aCZyfKQz.net
むしろ、作る事≒使う事になっていくだろうな
ある意味先祖返り的な感じだけど
分けることが意味が無い方向に進んでいくと思う
やりたいことを思いついたら、それでプログラム完了したと同じみたいな
463:デフォルトの名無しさん
17/09/15 15:51:54.65 Xh3vGrxx.net
>>462
それはもうプログラミングとは呼ばなくなるんだよ
すでに通ってきた道
作る事と使う事の境界線が時代とともに移動することはあっても
分ける事に意味が無くなることはない
概念に名前を付けるというのは分けることそのものだから
464:デフォルトの名無しさん
17/09/15 15:54:23.94 aCZyfKQz.net
概念に名前を付けるとか付けないとか、それ自体が意味が無くなるよ
465:あ
17/09/15 18:51:48.11 Or0Hv36R.net
人間は概念に名前がついてると、そいつの素性を知らなくてもなんとなく完璧に理解した気になるステキな特性を持っとるからな。
js界隈のFluxとか使い古しの技術の詰め合わせだし、disりの為の池沼、ガイジ、アスペらへんの言葉も同じ。
精神医学やら臨床心理学、障害者心理学やっても無いのになぁ、って思うわ。やった人間からすると。
466:デフォルトの名無しさん
17/09/15 19:22:38.65 aCZyfKQz.net
もう、それって古い考え方だよ
467:デフォルトの名無しさん
17/09/15 19:54:08.23 0MiV6Sa6.net
ユーザーが作者に文句を言うことができなくなっていく
使う人≒作る人だから
468:デフォルトの名無しさん
17/09/15 19:56:37.96 aCZyfKQz.net
意味がわかんない
使う人≒作る人だって、言えばいいじゃない
469:デフォルトの名無しさん
17/09/15 20:54:08.67 ZHku/f/z.net
>>446
ごまかしって、今お前がやってる下手くそな例えのポエムで自爆してる事？
文や式云々は確かに俺個人の解釈の一つだ
で、それで？
いつまでもまもな解釈を提示できない時点で、意味のないレスと自分で反復的に証明してる用なもんだぞ
ちゃんと理解できてるか？知恵遅れ
470:デフォルトの名無しさん
17/09/15 21:27:47.90 gy747Xnp.net
>>444
Javaのライブラリが使えるのが大きい
ClojureがLispの中で今一番流行してるのもそこ
471:デフォルトの名無しさん
17/09/15 21:30:03.12 gy747Xnp.net
>>460
関数型言語で開発効率は
言うほど上がらないよ
上がるならもっと採用されてる
472:デフォルトの名無しさん
17/09/15 22:07:36.31 sIN/n6dF.net
>>470
知ってる。知ってるけど、知った上で鬱陶しく感じてるんや色々と
473:デフォルトの名無しさん
17/09/15 23:06:38.84 7m1NmZ8+.net
言語で開発効率が上がるのではない
その言語を使いこなせるエンジニアだから開発効率が上がるのだ
流行に流されず手に馴染んだものを使いたまえ
474:デフォルトの名無しさん
17/09/15 23:15:03.10 klJRpzhS.net
それはちょっと違うな
言語の性質そのものが生産性を大きく向上させることはないのは同意するが、
その言語に習熟しているかどうかもそれほど重要ではない
最も重要なのは、学習コストを受け入れて生産性の向上を図ることのできるエンジニアは優秀なエンジニアである、ということだ
475:デフォルトの名無しさん
17/09/16 04:11:26.94 AcW1bn43.net
あと生産性については使い分けがあるな
関数型は記号処理が中心なら簡潔に書けるが
ゲームみたいな
状態遷移が中心の開発対象に向かない
あとCRUDとか定型的なアプリなら
ライブラリやフレームワークの方が
生産性の要素として大きい
結果メジャーなOO言語の方が使いやすい
476:デフォルトの名無しさん
17/09/16 08:18:11.68 8gG27N70.net
言語で効率に差はない君の主張は「HelloWorld程度なら」という前提らしいので真に受けてはいけない
477:デフォルトの名無しさん
17/09/16 09:11:09.54 F+TnbpuB.net
デマを真に受けるだけで効率100倍ぐらい悪化するよな
言語は変えてもせいぜい2倍程度だろう
だから言語の差は意味がないと考えられる
478:デフォルトの名無しさん
17/09/16 16:33:37.37 aqKyvOS6.net
oO（アセンブラでアプリケーション全部書くのからはC++2011でも100倍は確実だと思うけど）
479:デフォルトの名無しさん
17/09/16 18:14:46.05 kjHVa57h.net
お前らは気持ちよくかけるオナニー言語が欲しいんだろ
普及するのは入りやすくて変化の少ない言語だろ
なのでどっちみち生産性とか実用性は無視していいんじゃないか
480:デフォルトの名無しさん
17/09/16 19:05:55.59 j0p/1V2e.net
>>479
これなー
別にC/C++で実行速度も解決できるしほぼなんでもできるからな
言語で何をするかが重要なのであって案の定スレ開いてみたら言語の欠点じゃなくわけのわからんこと抜かしてるし
多分こいつら下の階層のプログラマーじゃないだろ
481:デフォルトの名無しさん
17/09/16 19:11:14.44 j0p/1V2e.net
というか下の階層にいたらこんなスレ開かないか
めんごめんご
482:デフォルトの名無しさん
17/09/16 20:48:37.37 AcW1bn43.net
>>477
>>478
100倍は大げさ
機械語と高級言語だったら100倍ありそうだけど
アセンブリとCで10倍くらいかな
アセンブリとC++で20倍くらい？
483:デフォルトの名無しさん
17/09/16 21:13:49.72 CDKitgfC.net
まあ確かに普段何のプログラム書いてんだよってのはかなり重要かな。
484:デフォルトの名無しさん
17/09/16 21:56:40.44 e/AIeMoG.net
アセンブリとRubyなら15倍くらいかな
485:デフォルトの名無しさん
17/09/16 22:16:18.09 j0p/1V2e.net
そもそも次世代ってどれも対して変わらんだろ。GUIでプログラミングとか今までにない要素ぶち込むならまだしもどれも劣化python/C++じゃん
java/kotlinなんか仮想化すんなら別に言語javaである必要はないしな
次世代取りたきゃandroidみたいにほぼ強制的にやらせればいい
486:デフォルトの名無しさん
17/09/16 22:21:07.30 j0p/1V2e.net
よってkotlinだろう
このスレは終わりである
完
487:デフォルトの名無しさん
17/09/16 22:23:39.18 G0kiNrp9.net
うぉおおおおおおお
議論スレの終わりを初めてみた!!!!
488:デフォルトの名無しさん
17/09/16 22:24:51.68 qNpzB8Gl.net
今北産業
489:デフォルトの名無しさん
17/09/16 22:26:15.80 oDIa36LP.net
>>488
次世代は
javaの進化系
スレ完
490:デフォルトの名無しさん
17/09/16 22:27:09.86 VQ/VXHVC.net
記念パピコ
491:デフォルトの名無しさん
17/09/16 22:27:31.65 j0p/1V2e.net
俺が自演してるみたいに思われるだろ
やめろ
492:デフォルトの名無しさん
17/09/16 22:48:18.22 luYdXLIJ.net
自演パピコ
493:デフォルトの名無しさん
17/09/17 00:49:41.17 WzljKSlU.net
>>485
＞今までにない要素ぶち込む
じゃVR/AR/MR or（amazon Echoみたいな）スピーカーデバイスだけで
プログラミングできる言語作れと？
確かに次世代っぽくはあるかもねｗ
494:デフォルトの名無しさん
17/09/17 02:58:00.79 A1VU6Oqu.net
どう考えても次世代はルーストだろう
495:デフォルトの名無しさん
17/09/17 08:32:15.30 msCJo3bN.net
他言語もそろそろRustのぱくりを考えているだろう
例えば参照カウントが2以上なら例外を投げるだけの機能
496:デフォルトの名無しさん
17/09/17 14:20:07.64 AD9s+d5U.net
Rustが色んな意味で新しい事は確かだ
497:あ
17/09/17 15:03:42.87 4luHVr+4.net
VRで作業は少しアリかもしれんけどな。単純に視野的に。
Oculus買ったけど、Unityでアプリのウィンドウをキャプチャしたものを浮かべてたくさんの仮想ディスプレイのようにして遊んだけど楽しかった。NASA感ある。
でもキーボードとトラックボール以上の入力装置は無いな。空間をつかむって思ってるより難しかったわ。
でも何より熱いのと、その仮想ディスプレイを浮かべる部分作る作業は酔う。
498:デフォルトの名無しさん
17/09/17 17:49:11.61 iL83YJ5L.net
キーを押した感覚とかフィードバックがないとな
タッチパネルの課題としても研究してる人いるけど
499:デフォルトの名無しさん
17/09/17 17:56:51.20 T71SjEGu.net
良く知らないんだけど、関数型の言語って関数を動的生成してるんだろうか？
C++のラムダはしてないけど
500:デフォルトの名無しさん
17/09/17 22:55:01.08 3VVJG3KB.net
そんなことしなくても推論したシグネチャ通りの関数をコンパイル時に生成すれば十分。
501:デフォルトの名無しさん
17/09/17 23:44:37.23 T71SjEGu.net
クロージャとか関数オブジェクトはそう簡単にはいかんくね？
C++だと結構ダイナミックに引数変更してくるし
502:デフォルトの名無しさん
17/09/18 01:25:42.89 +b1AQYPX.net
>>499
関数型言語の計算モデルであるラムダ計算モデルを単純に実装すると、
常に(「関数」ではなく)クロージャがヒープ上へ動的に生成され、
最終的にガーベジコレクションによって回収される
これはSICP本にあるような初歩的な関数型言語インタプリタ実装や
初期のLISP処理系実装で見ることができる
で、現在の最適化技術が反映された関数型言語処理系では
「クロージャ変換」と呼ばれる技術が使われていて、
単に束縛変数(いわゆる関数の仮引数)だけを参照する関数は
手続き型言語と同様にスタック上へ引数が割り当てられ、
本当に必要な時しかヒープを消費しないよう設計されている
その概略はTiger本に解説がある
なお、Haskellのような純粋関数型言語では「ラムダリフティング」と
呼ばれる技術によってクロージャ変換と同様な最適化が実現されているらしいけど、
自分は知らない
503:デフォルトの名無しさん
17/09/18 11:44:41.42 iZW012ea.net
>>502
知りたいことを過不足なく書いてくれた有能。感謝感激雨霰
504:デフォルトの名無しさん
17/09/18 12:25:46.18 /x8A7ZAN.net
それ最適化と呼ぶようなことなのか?
ラムダを普通の関数として実装するくらいのこと、静的言語だったら必ずやってるよね
静的言語の場合は単にそう実装するのが自然だからそうしてるだけで、最適化でも何でもないな
その程度のことにわざわざかっこいい名前をつけなきゃいけないほど動的な関数型言語の最適化技術は貧弱なのかなと思ってしまった
505:504
17/09/18 12:53:56.59 /x8A7ZAN.net
全ての名前をコンパイル時に解決する言語ではラムダは自由変数を参照してないのがデフォで、
静的解析時に自由変数の参照を発見したら例外として変数をヒープへリフティングする
名前を動的に解決する言語では、あえて静的解析を入れない限り基本的には常に自由変数の参照があると仮定する
という意識の違いがあるってことかな
506:デフォルトの名無しさん
17/09/18 13:07:29.67 DpRq8b6A.net
なーにいってだこいつ
動的型付けの言語は全部ゴミってもう証明済みだろ
507:デフォルトの名無しさん
17/09/18 13:22:40.50 aKawbEQ/.net
ID:/x8A7ZANが何言ってるのか良くわからんのだが、まず「動的な関数型言語」って何を指してんだ？
俺の認識では動的な関数型言語って言ったらErlang,Lisp,Schemeを指すんだがそれのことを言ってんのか？
俺は話を動的型付け言語に限定してないぞ
508:デフォルトの名無しさん
17/09/18 14:14:51.60 8XcvDR/h.net
c++ だと単純に実行コードのメモリ内容をヒープに置いてるだけかと思ってたよ。
509:デフォルトの名無しさん
17/09/18 14:46:46.94 /x8A7ZAN.net
>>507
名前解決を評価時に行う言語と考えてくれ
510:デフォルトの名無しさん
17/09/18 14:47:16.89 aKawbEQ/.net
C++はautoで持ってるかstd::functionで持ってるかでもう最適化の内容が変わるし、ラムダは普通の関数ポインタでは持てなかったりするし、autoで最適化したら環境の変数も引数として渡すことになってたりすることもあるし良くわからん
苦手や
511:あ
17/09/18 15:32:23.61 HvWrF9I2.net
なんか変な話だな。
ラムダをどう使いたいかの方が最適化では問題になるのでは？
インライン展開してしまうか、関数にするか、関数内関数にするかってことになるなら、関数ポインタとして呼びたいか条件分岐の方が良いのかとかそっちの観点が問題になるような。
それは石にもよって、armなんかだと再帰しないならインライン展開と条件実行の方が具合が良かったりすると思う。
512:デフォルトの名無しさん
17/09/18 15:47:47.30 vOYXlSBd.net
>>511
レイヤの違う問題。誰もそんな話はしていない。
インライン展開するにしても、前のプロセスで自由変数に依存しないラムダについては独立した関数への変換を予め済ませておけば、
インライン展開は容易になるだろう。
513:デフォルトの名無しさん
17/09/18 17:44:30.57 aKawbEQ/.net
>>509
ちょっと抽象的すぎんよぉ。Pythonとかか？それ
514:デフォルトの名無しさん
17/09/18 19:19:25.45 urldNTTh.net
型概念はリソース制限がきつかったころのレガシーなところはあるかもね
今わざわざunsignedにして1bit節約したい人はまずいない
20年後はchar?そんなのint(64bitだけど意識してない)でいいだろ？になるんじゃない？
515:デフォルトの名無しさん
17/09/18 19:57:06.67 7osjOZ8K.net
なんならdoubleで整数の計算してもいいですよ
516:あ
17/09/18 20:01:58.72 HvWrF9I2.net
>>512
「自由変数に依存していない」から、ラムダが変換出来る訳じゃないよ、って言ってんの。
レイヤの違う話ではなくて、地続きの話では？
その上、最適化と言う言葉は危険すぎると思うが。
517:デフォルトの名無しさん
17/09/18 21:37:53.46 Rs/BRyvp.net
突っかかり始めた
518:デフォルトの名無しさん
17/09/18 21:41:40.52 dU2P6lSN.net
なんか突っかかってることはわかるけど、読み辛すぎて読む気がしない。二行目でギブ（笑）
519:デフォルトの名無しさん
17/09/18 23:48:00.28 Wz+o0dZv.net
>>513
jsもそうだな。関数型じゃないけど。
大雑把に書くと
所謂var bindingされる宣言を評価->所謂let bindingされる宣言を評価->実行
だからvar bindingされた名前は一番最初に見えてる。
やろうと思えばIRの変換で出来ることは実行前に(JIT使わずに)できる。
型情報がないから役に立つのか分からんが。
520:デフォルトの名無しさん
17/09/19 02:02:55.32 jzE0vKua.net
わけのわからん理屈話されるよりこういう内容のほうがまだましだろ
521:デフォルトの名無しさん
17/09/19 03:04:41.27 NsD/KMp/.net
>>514
レイヤー次第だろうけどそれは無いと思う。
ネットワーク関連のバイナリプロトコルは思いっきりビット・バイト意識しまくりだし。
522:あ
17/09/19 06:53:09.32 GMytP/5k.net
なんで疑問に思えないんだろう。
523:デフォルトの名無しさん
17/09/19 07:36:33.77 L/k3HGkW.net
下手に最適化するとデバッグが困難なイメージを払拭できないどころか助長している
最適化しない動的言語のデバッグは容易な気がする
524:デフォルトの名無しさん
17/09/19 07:53:57.35 Rp+gHpgj.net
動的言語ってなんだよ
コンパイルしない言語のこと？
525:デフォルトの名無しさん
17/09/19 08:03:33.07 t8DbjZup.net
>>522
じゃあラムダが自由変数に依存してないのに独立した関数へ変換できないケース、
または、その変換を行うことにより最適化が適用しづらくなるケースの例を挙げてくれ
あDHDの主張はこのどちらかを反例として挙げることで裏付けられるというのが俺の理解だが、合ってるかな?
あと、自然言語で回答されても誰も理解できないと思うから必ず具体的なコードで頼む
526:デフォルトの名無しさん
17/09/19 09:30:28.30 B9qsqzra.net
>>525
こいつが言ってるのって、たぶん他の最適化如何でラムダ部分のコードそのものが変わるとか、そういう話じゃねえかな…
変換が何を指してるかは分からないから、完全否定はしないけど、反例の種類は対偶もあるだろよ
527:デフォルトの名無しさん
17/09/19 09:36:28.47 sbIiLP4m.net
あDHD（いいネーミングセンス）の言うことを真面目に読むのは疲れるし、読み人によって解釈が異なる上に詠み人は違う解釈でいる
おまえら良くやるわ
でもたしかに自然言語で描かれるよりコードか数学記号で主張してるほうが読みやすそうｗｗ
528:あ
17/09/19 18:24:32.47 ORpK0dfd.net
>>525
例えば、ARMだとインライン展開してしまえばADDEQとかADDNEみたいな条件付き命令でループ中でもストールさせずに飛ばしたり出来ちゃう時とか。
関数にしてjmpすると効率悪いコードになる時。
最適化では。
>>526
コードは変わらんよ。
529:デフォルトの名無しさん
17/09/19 18:52:46.88 PJTSF08k.net
>>528
だからインライン展開は変換後でもできると何回言われたら理解するのか
530:デフォルトの名無しさん
17/09/19 20:25:33.85 BJkNW1hw.net
コードで言われているのに自然言語で返すガイジ
Haskellの時に具体的に書いた結果無知を晒して大恥をかいたことがよほどトラウマになっているものと見える
531:デフォルトの名無しさん
17/09/19 21:17:03.18 OwH7JHtJ.net
前原も就任した後のTV出演で
モリカケ問題ばかりをやるきはないっていったそばから
モリカケ問題トーク始まったからなｗ
532:デフォルトの名無しさん
17/09/19 21:20:11.16 OwH7JHtJ.net
>>531
誤爆シマスタｗ
533:あ
17/09/19 22:09:51.81 ORpK0dfd.net
>>529
それは独立した関数が最適ではない、と言う話ではないか。
何が最適化なんだよ。
>>530
別に恥とは思っとらんよ。勉強にはなった。
しかし余程、自分は恥だと思うんだろうなぁ、他人に対してそういう風に「恥ずかしいに違いない」と断定的に言うところ見ると。
余程恥ずかしいな、その思考回路が。
534:デフォルトの名無しさん
17/09/19 22:37:12.49 iY7FO3NM.net
>>533
ウダウダ言い訳してないで言われた通りコードで書けよ
535:デフォルトの名無しさん
17/09/19 22:39:47.10 zY0OeQa1.net
>>533
いやあれは流石に恥ずかしすぎ。あれを恥ずかしいと思わない思考回路がまず恥ずかしい。
勉強になったとかじゃなくて、最低限の勉強すらせずしったかしてたのがバレただけだろ美化すんな
536:デフォルトの名無しさん
17/09/19 22:40:22.21 6tkowvmv.net
なんで最適化の話になってんだか。
javaのGraal使って人間がハンドアセンブルしたマシン語をJITに使える新時代くるで。
いちいちjava bytecode生成しなくて済むよ。TruffleRubyが速い。
537:デフォルトの名無しさん
17/09/19 23:17:20.17 y3g67zRP.net
あの人にボロクソに論破されて発狂して何とか揚げ足取りたいガイジがおるようやね
538:デフォルトの名無しさん
17/09/19 23:20:27.89 0Xd47I4v.net
具体的にコード書くとやっぱりいろいろ明確になる。
539:デフォルトの名無しさん
17/09/19 23:27:50.73 4ouvyY05.net
>>533
直行する問題だと言ってるんだよ
等価なものは同じものとして扱ったほうが最適化の実装は容易になるだろ
540:あ
17/09/20 07:03:02.13 0AKG+c7B.net
>>535
そーかー。
そら楽しかっただろうな、嗤うだけのお前はw
最適化の話は、話の発端>>502で、最初から言うとるぞ。
541:デフォルトの名無しさん
17/09/20 08:20:53.05 32CWNlSU.net
>>537
Haskellの件は擁護不可能だろ
こいつScalaとかOCamlとか関数型全般で知ったかしてたわけだし
542:デフォルトの名無しさん
17/09/20 08:21:44.46 32CWNlSU.net
ちな上で叩いてるやつとは別人だぞ
543:あ
17/09/20 08:32:31.84 0AKG+c7B.net
最適化を知ったかしてる人にヤイヤイ言われる程度の事っしょ。
間違ってたら正せば良いし、積極的に正されてるつもりだぞ。
「間違ってるウゥ！」って指差して笑い転げるのは中学生くらいで終わらせとけよ。。
544:あ
17/09/20 08:33:34.51 0AKG+c7B.net
>>530
ADDEQがどんな命令か知ってれば必要最低限のコードでは？
545:デフォルトの名無しさん
17/09/20 08:42:59.18 32CWNlSU.net
その文章のどこがコードなのか
自分が何言ってるか考えてからレスしろ
546:デフォルトの名無しさん
17/09/20 08:44:43.32 32CWNlSU.net
そして抽象度の異なる最適化という事さえ理解してない
547:あ
17/09/20 08:54:13.08 0AKG+c7B.net
>>545
オペコードはコードでない、と。
面白いな。
>>546
理解してないんじゃない。
着地点が定義されてない最適化なんぞ、どのレイヤであっても無意味。
末尾再帰を解釈できるコンパイラと関数呼び出しとしてしか解釈できないコンパイラの話をしないうちに、
ループの最適化の話しても無駄でしょ。
548:デフォルトの名無しさん
17/09/20 09:02:56.02 lnxmN51d.net
誰もループの最適化の話なんかしてないでしょ
今の論点は、
・クロージャ変換によりガベージの増加を低減できる
・インライン展開により関数呼び出しのコスト低減を図ることも実行速度の向上には効果的である
・クロージャ変換を行うことによりインライン展開などのより低レベルな最適化が行えなくなることはない
・したがって、両者は直行する問題であり、それらを相反するものとするあDHDの懸念は誤りである
これでいいだろ？
549:デフォルトの名無しさん
17/09/20 09:12:41.36 meNSbSun.net
>>540
嗤うだけっていうのはただのディスやね。決めつけはニート認定みたいで、頭悪そうなのでやめといたほうがいいと思うよ
少なくとも、めっちゃ読みづらい知ったかぶり長々書かれて全然楽しくなかったぞ
あの時からずっとおまえのレスは普通に邪魔
550:548
17/09/20 09:14:30.17 lnxmN51d.net
いやインライン展開を先にやっちゃったらクロージャ変換はできなくなるから正確には直行する問題ではないか
何事も負荷逆な操作をできるだけ後回しにするのは基本だよね
551:デフォルトの名無しさん
17/09/20 09:24:37.99 NK01lAwy.net
>>543
最適化知ったかぶりしてる奴って誰だよ
間違い自体は全然問題にされてなくて、Haskellの実装を知ってるとまで言っておきながら、その基本文法すらわかってなかった酷い知ったかぶりを責められてるのわかってる？
552:デフォルトの名無しさん
17/09/20 09:40:23.50 meNSbSun.net
あと全く知らないものを、まるで知ってるかのように振舞ってディスってたっていうのも問題だな
あんだけ散々ディスってたくせに知らんのんか～いって思った
あれ以来、こいつは知ったかぶりする傾向があるから動くコード書くまで信頼出来んと思ってる
553:デフォルトの名無しさん
17/09/20 09:43:04.73 yYGRyM8i.net
そいつは極度の知ったか自己弁護野郎だから、みんなよく観察するように。
554:デフォルトの名無しさん
17/09/20 09:53:58.35 qH6V6v7k.net
どっちもどっちだな
555:デフォルトの名無しさん
17/09/20 10:04:00.22 OlAvSaNc.net
Cのマクロは人でも読めるコードを生成してくれるから良かった
だがマクロよりインライン関数の方がすごいんだという謎のマウンティングが始まった
人にコードを見せる習慣がなくなったのはそういう歴史の影響があるんだろう
556:デフォルトの名無しさん
17/09/20 11:12:40.40 qH6V6v7k.net
インライン関数は展開されないときもあるからマクロの方つかっちゃうな
557:デフォルトの名無しさん
17/09/20 11:30:55.10 meNSbSun.net
展開されない時って、コンパイラ判断として展開しないほうが良い時なのでは……？
いやコンパイラに任せるより手動で最適化したほうが良いような実力者なら知らんけど
558:デフォルトの名無しさん
17/09/20 11:36:58.65 qH6V6v7k.net
コンパイラーの判断は機械的に判断するから間違ってることも多いからな。
559:デフォルトの名無しさん
17/09/20 11:47:06.69 OlAvSaNc.net
実力者になった後で手動にするか、手動にした後で実力者になるか
現金で買うのとカードで買うのはどちらが賢いかというのに似ている
560:デフォルトの名無しさん
17/09/20 11:49:12.59 meNSbSun.net
はえー。俺はコンパイラより正しい判断が出来る自信はないから全部コンパイラに任せてるわ
いやすごいな。-O0でコンパイルして-O3並みの速度出せたりすんの？
561:デフォルトの名無しさん
17/09/20 12:03:51.93 qH6V6v7k.net
コンパイラの最適化は速度を優先するかメモリを優先するかバランスとってるからね。
俺みたいな速度最優先の少数派のことなんか考えてくれてないから自分でやるだけ。
562:デフォルトの名無しさん
17/09/20 13:32:21.76 CdIs01F3.net
-Ofast は速度最優先だと思ってたけどそうでもないのか
563:デフォルトの名無しさん
17/09/20 14:02:50.79 32CWNlSU.net
>>547
詭弁もいいとこだな
どこがコードなんだよ
オペランドすら記述していない上に、
結局大部分を文章で説明している
それでも、すべて支離滅裂な文よりはいくらかマシだが
564:デフォルトの名無しさん
17/09/20 14:07:16.46 32CWNlSU.net
そしてオペコードをコードと言いながら>>528で、最適化でコードが変わる事ではないという言い草
恣意的にレスしてるのがまるわかり
565:デフォルトの名無しさん
17/09/20 14:50:54.31 rh0oGGav.net
あのー結局のところHaskellが良さそうだけどモナドっていうのが分からないとつかえないの？
それともモナドとか分からなくてもそこそこ普通に使えて、しばらく使ってたらモナドとかも雰囲気でなんとなく分かってくるものなの？
YouTuberで圏論の勉強会ビデオ四回目まで見たけどなんとなく理解はできたの
結局のところ集合と関数をより抽象化して記号化していろいろやってるんだよね？
566:デフォルトの名無しさん
17/09/20 15:00:39.54 f95dJFKd.net
モナドはまあ満たすべき性質ではあるけれど、別に理解してなくても問題ない。
コンパイラもモナド則をチェックするわけでもないし。
567:デフォルトの名無しさん
17/09/20 15:30:18.35 qH6V6v7k.net
俺はネットに無料で上がってる凄いH本よんだけど圏論何て一つもでてこなかったけど
モナドはわかったぞ。
568:あ
17/09/20 15:44:48.04 0AKG+c7B.net
テンションすげえな。水曜なのに。
569:デフォルトの名無しさん
17/09/20 17:03:51.19 66cdr9VM.net
モナドとか分からなくてもなんとかいけるんやー
ちょっとがんばっておぼえてみよーっと
ありがとー
570:デフォルトの名無しさん
17/09/20 18:09:54.14 66cdr9VM.net
Ryzenとか出てきてこれからは6コア、8コアあたりまえになったらマルチスレッドとか大切になるんだとおもうの
それでちょびっとぐぐったらどうも関数型プログラミング言語はどれもマルチスレッドが得意らしいの
だからやっぱり関数型プログラミング言語が流行よね
そんな気がするの
571:デフォルトの名無しさん
17/09/20 18:21:45.19 8NhAmDw4.net
もうみんなコテハンつけたら？
ここにいるのって、どうせいつも同じ人間じゃね？
572:デフォルトの名無しさん
17/09/20 18:29:38.52 eqHukz4h.net
Haskellの並列ってあんまりマルチスレッドって認識してなかったけど、たしかにマルチスレッドあるな
573:デフォルトの名無しさん
17/09/20 18:35:57.38 OlAvSaNc.net
関数型の入門書はパターンマッチができるデータ構造ばっかり教える
クロージャやモナドはパターンマッチができない構造なのに
574:デフォルトの名無しさん
17/09/20 19:12:54.78 meNSbSun.net
そういや、なんでこのスレOCamlいないんだっけ？
575:デフォルトの名無しさん
17/09/20 21:15:05.03 +ftcwVio.net
関数型全般はさておきHaskell自体は並列処理書きづらいイメージがあるんだけど気のせいか
576:デフォルトの名無しさん
17/09/20 21:36:57.21 meNSbSun.net
あんまり詳しくないんだけど、Haskellの並列だと、いくつかの関数をそれぞれ1スレッド（プロセスだったかも？）に割り当てて並列で計算するのが印象に残ってる。
えらい簡単に並列化出来るんだなって思った記憶ある
なんだっけなあのライブラリ
577:デフォルトの名無しさん
17/09/20 21:42:45.54 ej6oPx0l.net
純粋な関数は並列化簡単だからね
578:デフォルトの名無しさん
17/09/20 21:59:48.39 OlAvSaNc.net
インターネットとマルチスレッドを区別しないと
マルチスレッド派はガベコレ廃止してborrowチェックしないと
579:デフォルトの名無しさん
17/09/20 23:27:02.45 ocgI6/Nq.net
Kotlinの気に入らないところ
URLﾘﾝｸ(anopara.net)
580:デフォルトの名無しさん
17/09/20 23:43:37.21 XmuyR82X.net
>>576
HaskellだとControl.Parallel.Strategiesを使うと
map関数が容易に並列化できてお手軽だった
ちゃんと使おうとするとWHNF(Week Head Normal Form)だとかの理解を要求されるので
そういう敷居の高さはあるけど
581:デフォルトの名無しさん
17/09/21 01:50:38.06 QW6vwaf/.net
>>579
この人はScala大好きのようだが
同様に誰かにのScalaここが嫌だと言われそうなレベルの話で
ふーんでおしまいだなあ。
582:デフォルトの名無しさん
17/09/21 05:23:51.87 r0JkAuLO.net
{ "aaa" }
このラムダ式の凄さが分かって無いな。
ルビーでいうとブロックが何個でも持てるるのと同じことなのにな
583:デフォルトの名無しさん
17/09/21 06:47:08.30 aDCr5zcn.net
>>582
どういうことだってばよ？
584:デフォルトの名無しさん
17/09/21 07:06:13.16 r0JkAuLO.net
>>579
に言っている
585:デフォルトの名無しさん
17/09/21 07:08:49.84 r0JkAuLO.net
わかりやすくいうと
javascriptのcallbackのfunction()という邪魔な奴が消えて見やすくなるということ
586:デフォルトの名無しさん
17/09/21 08:36:52.83 q4h3VbHC.net
Kotlinのパターンマッチは確かにC#の最新版にすら抜かれたダメな子だが、
nullのくだりは全く同意できないな
そもそもScalaにnull safetyなんか無くね
587:デフォルトの名無しさん
17/09/21 09:32:12.51 5FG4CErg.net
>>586
c#のパターンマッチはまだ中途半端なのに、それに抜かれたとはヤバイな
588:デフォルトの名無しさん
17/09/21 12:19:06.27 xGEE8GqX.net
>>555
inlineの方がいいのは型チェックあるからだろ
589:デフォルトの名無しさん
17/09/21 12:30:12.98 r0JkAuLO.net
俺の場合引数が殆どdoubleかintだから型チェックは意味ないんだよな。
590:デフォルトの名無しさん
17/09/21 14:07:02.73 +Jhp3IyY.net
doubleかintしか使わないなら意味あるが、2つ使うなら意味あるだろ。
しかも、完全にじゃなくて殆どならなおさら。
型の意味わかってないだろ。
591:デフォルトの名無しさん
17/09/21 14:11:01.15 iqJkS7HX.net
JavaScript「型なんて飾りです」
592:デフォルトの名無しさん
17/09/21 15:01:32.35 gDFFhm4z.net
>>590
間違いやすくてかつ間違うと致命的なバグを生むからな
593:デフォルトの名無しさん
17/09/21 15:22:16.77 r0JkAuLO.net
一番間違えるのは引数の順番と数
594:デフォルトの名無しさん
17/09/21 15:43:39.40 SPES50ix.net
>>593
doubleとintの順番ミスったら大変だもんな
595:デフォルトの名無しさん
17/09/21 16:29:56.24 rIFSqMAF.net
C のデバッグしてると int -> double も明示的に変換するように設計されてりゃよかったのにと思うことが多い。
python3 の int と float をごっちゃにあえてしたのなんてありゃ失敗だろ。型を弱くしてどうすんだっていう。
596:デフォルトの名無しさん
17/09/21 18:44:57.78 V4ctP0WJ.net
次世代言語では、データとかを引数で渡すって方法に新たな工夫が欲しいね
597:デフォルトの名無しさん
17/09/21 20:03:14.13 1e+K8/4+.net
>>596
たとえば？
598:デフォルトの名無しさん
17/09/21 22:58:59.34 2mLwGNyW.net
doubleとintを間違える可能性は確かにあるけど
座標とかはdoubleとdoubleだったりintとintだったりするだろ
それを間違える可能性まで網羅しないと致命的じゃないか
型システムに都合の良い範囲を想定してしまったらかえって想定外の盲点が増えてしまう
599:デフォルトの名無しさん
17/09/22 01:01:11.41 yLA4yX5X.net
>>598
型システムがきちんとしてる言語であなたが考えてるような設計はしない
600:デフォルトの名無しさん
17/09/22 01:09:22.44 VcH/r1aN.net
intとdoubleを明確に区別するといえばOCamlだが、あれは流石にやりすぎと感じる。にわか感想だけど
601:デフォルトの名無しさん
17/09/22 03:19:07.10 g4HdW9MF.net
暗黙の型変換の邪悪さは経験積めばわかる
あとIntへの型変換はHaskellが一番ドイヒー
602:デフォルトの名無しさん
17/09/22 05:18:45.27 A2XKXMkJ.net
経験積めばわかる、ですむなら静的型いらねぇよ
603:デフォルトの名無しさん
17/09/22 05:39:47.03 g4HdW9MF.net
>>602
ソースの見通しが悪くなってバグの検出が難しくなる
604:デフォルトの名無しさん
17/09/22 07:53:43.74 eIMWXunI.net
IDE補完が効きまくるという点で静的型が好き。
phpStormとか使うとphpでも補完効きまくるようになるん？
605:デフォルトの名無しさん
17/09/22 08:34:49.37 ig88NjIH.net
>>601
10年以上Haskellメインで使ってますが、
あなたの言うIntへの型変換の「酷さ」が分かりません。
他言語と比べて何か問題あるのでしょうか。
606:デフォルトの名無しさん
17/09/22 09:10:52.08 eIMWXunI.net
>>605
Haskellメインの現場ってどういう環境です？研究職？
607:デフォルトの名無しさん
17/09/22 09:45:24.85 eeRMTLx0.net
Haskellみたいなのを研究に使っていたら逆にやう゛ぁいわ
メインはホビーだろ
608:デフォルトの名無しさん
17/09/22 09:49:39.95 Q4+Qj6om.net
まず初めに現場かホビーかの分岐があるのになぜ現場に限定するのか
609:デフォルトの名無しさん
17/09/22 11:00:09.62 g4HdW9MF.net
>>605
え？計算毎にいちいちNum経由にするのが酷くないって？
お前もしかしてHaskell使ったこと無いんじゃないの？
610:デフォルトの名無しさん
17/09/22 11:06:23.68 g4HdW9MF.net
Haskellメイン(仕事とは言ってない)
コンパイラとかの文字列処理や、モデルの妥当性検証とかに使うならまだしも、
数値計算でHaskellw
Repa位しか優位性ないだろ
611:デフォルトの名無しさん
17/09/22 11:40:01.90 ig88NjIH.net
>>609
Numは型ではなく型クラスです。
具体的には、どの型からInt型への変換が酷いのでしょうか。
Stream Fusion は働かないのでしょうか。
612:デフォルトの名無しさん
17/09/22 11:45:22.74 ig88NjIH.net
>>609
失礼、Stream Fusion と言うより、書き換え規則ですね。
書き換え規則が働けば、大抵の型変換は必要最小限のオーバーヘッドで行われる筈です。
613:デフォルトの名無しさん
17/09/22 11:47:26.66 g4HdW9MF.net
>>611
Numが型だとも型クラスでないとも言ってないし、
Stream Fusionだろうと変換はいるけど？
お前さっきから何知ったかぶってるの？
614:デフォルトの名無しさん
17/09/22 11:48:26.85 g4HdW9MF.net
>>612
「はずです」って、それ結局自分で書くだけだろ？
615:デフォルトの名無しさん
17/09/22 11:49:20.78 g4HdW9MF.net
こういう机上だけで語るクソ野郎がいるからHaskellは嫌い
616:デフォルトの名無しさん
17/09/22 12:01:58.15 Q4+Qj6om.net
例えばInt型の３って名前の関数をNumタイプクラスの３って名前の仮想関数に変換する関数で
変換してそれをDoubleを使う関数にいれるパターンだよな。
617:デフォルトの名無しさん
17/09/22 12:09:13.20 XD+YRvZx.net
だから具体的なコード書けって。変な勘違いしてるかもしれないんだから
618:デフォルトの名無しさん
17/09/22 12:33:30.94 A2XKXMkJ.net
仮想関数は酷いってのは常識になりつつある
オーバーロードはいいがオーバーライドは酷い
だがオーバーロードとオーバーライドを勘違いする非常識なやつもまだいっぱいいる
619:デフォルトの名無しさん
17/09/22 12:52:13.95 7Suyvrun.net
オーバーロードこそゴミだろ
型が柔軟になればなるほど邪魔になる
620:デフォルトの名無しさん
17/09/22 13:14:10.74 ig88NjIH.net
>>601
ある型の値をInt型の値へ変換する際にあなたにとって酷いことが起きる、
あるいはあなたにとって酷いプログラムコードになる、という話ですよね。
>>609
Int型への変換の話の中で「Numを経由する」という言い方を聞いて、
あなたが Num を型だと勘違いしていると思いました。
大変失礼しました。
ある型の値をInt型の値へ変換する際は一度Num型クラスのインスタンス型の値へ変換し、
それを改めてInt型の値へ変換しないといけない、
あるいはそういう型が多い。
あなたはそう思っているのでしょうか。
もしそのような場合でも、私書き換え規則があれば経由しないようにできると私は言いました。
標準ライブラリの中で定義されている型で、
頻繁にInt型への変換が必要と思われる型に対しては、
書き換え規則がライブラリ内に書かれています。
自分で書く場合も一度書けば済むだけみます。
これが酷いのでしょうか。
改めて聞きますが、具体的にはどの型の値をInt型の値へ変換する際に、
Num型クラスのどの型の値を経由しなければならないのでしょうか。
621:デフォルトの名無しさん
17/09/22 13:37:46.62 g4HdW9MF.net
>>620
>改めて聞きますが、具体的にはどの型の値をInt型の値へ変換する際に、
>Num型クラスのどの型の値を経由しなければならないのでしょうか。
だから全部自分で書いた話だろそれ
VanillaじゃIntとIntegerすら必要だろ
そんな事言ったら何らかの形で暗黙の型変換許してる言語全部そうだわ
お前マジで頭の病院行ったほうがいいんじゃねえの？
622:デフォルトの名無しさん
17/09/22 13:55:56.62 Q4+Qj6om.net
どっちもどっちだな。
両方病院言ったほうがいいかも。
623:デフォルトの名無しさん
17/09/22 14:14:32.59 A2XKXMkJ.net
言語の問題を医学部に丸投げするなよ
今ここで必要なのは法学部か文学部のような能力だという現実を受け入れろよ
624:デフォルトの名無しさん
17/09/22 14:19:32.05 ig88NjIH.net
>>621
Integer型の値をInt型へ変換する際に、
Num型クラスのどのインスタンス型にまず変換する必要があるのか、
その型を教えて頂けないでしょうか。
625:デフォルトの名無しさん
17/09/22 14:52:17.51 XD+YRvZx.net
具体的なコードを示せないのは、具体的なコードを示すとボロが出るからｗ
626:デフォルトの名無しさん
17/09/22 14:56:44.72 g4HdW9MF.net
>>624
はあ？Int側にするならNum Integer経由だろ？
お前さっきから関係ない話ばっかりじゃねーか
627:デフォルトの名無しさん
17/09/22 15:01:10.70 g4HdW9MF.net
>>625
書くまでもない気がするが一応な
URLﾘﾝｸ(ideone.com)
URLﾘﾝｸ(ideone.com)