- 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ44【pl,rb,php,py】
744 ：デフォルトの名無しさん[sage]：2014/07/16(水) 21:59:24.95 ID:RPQ1qBu1 - LinuxはC言語、つまり静的言語なんだけどねｗ
|
- JavaScript 3
739 ：デフォルトの名無しさん[sage]：2014/07/16(水) 22:19:14.99 ID:RPQ1qBu1 - >>716は無駄があるので修正
var f=function(id){return function(){return id;};};
|
- 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ44【pl,rb,php,py】
752 ：デフォルトの名無しさん[sage]：2014/07/16(水) 22:45:19.51 ID:RPQ1qBu1 - ローカル変数は型を書くのが省略できた方がいいが、
関数の引数やクラス変数なんかは型があったほうがいいな。
どうせコメントで書くわけだしね。
ならコードに書いて、コメントの方を省略した方がいい。
|
- 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ44【pl,rb,php,py】
754 ：デフォルトの名無しさん[sage]：2014/07/16(水) 22:48:11.39 ID:RPQ1qBu1 - >>750が言ってる動的言語の型推論というのは、
型推論をして最適なコードを生成するって意味で、
型を推論して変数の型を一意に決定するとは別の話だよ。
型を推論して変数の型を一意に決定する本当の意味の型推論は
型が矛盾するコードや曖昧になるコードを書けない（コンパイルエラーになる）が
>>750が言っている奴は最適なコードが生成されないだけ。
根本的に違っている。
|
- 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ44【pl,rb,php,py】
756 ：デフォルトの名無しさん[sage]：2014/07/16(水) 23:00:34.22 ID:RPQ1qBu1 - > 「本当の意味」ってなんじゃらほい？
昔から言われている「型推論」のこと。
最近の機能じゃないんだよ？
「文脈上型が一意決まる。だけど書かないといけない」
というのを省略できるようにする型推論は昔からある。
こっちは型推論があるからプログラマが楽になる。
>>753がいったような最適化のための
型推論は最近の機能だけど。
こっちの型推論は最適化出来るようなコードを
プログラマが書かないといけない。
うまく書くと、コンパイラが推論して最適化してくれる。
本誌素敵に全くの別物。
|
- 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ44【pl,rb,php,py】
759 ：デフォルトの名無しさん[sage]：2014/07/16(水) 23:11:31.11 ID:RPQ1qBu1 - 内部で同じ技術を使っているだけで、
本質的には全くの別物。
一方はプログラマの生産性に関する違いが生まれるが
もう一方はパフォーマンスに影響する。
全く違う機能。
前者は、パフォーマンス的には最初から最適化されている。
なぜなら型があらかじめ決まっているから。
推論で省略できる場所も含めて型が決まってる。
後者はパフォーマンスが悪いものをどうにか
解決できないかという考えから生まれたもの。
|
- スレ立てるまでもない質問はここで 137匹目
462 ：デフォルトの名無しさん[sage]：2014/07/16(水) 23:16:14.31 ID:RPQ1qBu1 - ・プログラマ同士の会話でなら、宝石には「宝石の」と付ける
・非IT技術者との会話でなら、言語には「言語の」と付ける
「残念うさぎの」とつける場合を忘れているぞ。
|
- 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ44【pl,rb,php,py】
764 ：デフォルトの名無しさん[sage]：2014/07/16(水) 23:23:34.56 ID:RPQ1qBu1 - >>761
違う。
静的型が型推論したからといって、動的型にはならない。
（なぜなら、型が決まっている場合に"書くのを省略出来るだけ"だから）
また動的型が型推論したからといって、静的型にはならない。
（なぜなら、推論できなくてもパフォーマンスが悪いだけで動くから）
|
- 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ44【pl,rb,php,py】
767 ：デフォルトの名無しさん[sage]：2014/07/16(水) 23:26:38.99 ID:RPQ1qBu1 - >>760
> 動的言語の場合、型推論の過程で型チェックしてくれないの？
あちらこちらで「型推論できないからパフォーマンス悪いコードです」って
警告でまくるだけだぞｗ
俺はパフォーマンスが悪くならないように、型推論が完ぺきにできる
コードを書きますって言うなら話は別だが、それって動的使う意味ないから。
|