- 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ44【pl,rb,php,py】
750 ：デフォルトの名無しさん[sage]：2014/07/16(水) 22:43:35.47 ID:Bhu7oqpl - 動的型言語でも部分的に型推論を使うコンパイラもあるし、もう静的型とか動的型とかという
カテゴライズ自体が時代遅れになりつつあるね
| - 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ44【pl,rb,php,py】
753 ：デフォルトの名無しさん[sage]：2014/07/16(水) 22:47:16.97 ID:Bhu7oqpl - >>751
https://dev.mozilla.jp/2011/11/type-inference-to-firefox-beta/
| - 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ44【pl,rb,php,py】
755 ：デフォルトの名無しさん[sage]：2014/07/16(水) 22:55:46.05 ID:Bhu7oqpl - >>754
> 本当の意味の型推論
「本当の意味」ってなんじゃらほい？
型推論とは文字通り型を推論する機能であって、そこから派生する
> 型が矛盾するコードや曖昧になるコードを書けない
という部分とは何の関係もないよ
それは別の機能だ
| - 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ44【pl,rb,php,py】
758 ：デフォルトの名無しさん[sage]：2014/07/16(水) 23:07:39.06 ID:Bhu7oqpl - 型推論ってのは型を推論する機能であって、それ以上でもそれ以下でもない
> こっちは型推論があるからプログラマが楽になる。
これは型を書く煩わしさを減らして記述をいわゆる動的言語に近づけようというもの
> うまく書くと、コンパイラが推論して最適化してくれる。
これは型を書かないで済むメリットをいかしたまま速度をいわゆる静的言語に近づけようとするもの
どちらも型推論を使って似たような領域に近づいてきてるんだよね
ここでいう型推論自体に機能の差はない
それをコンパイルエラーにするか実行時エラーにするかは別の機能のお話
| - 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ44【pl,rb,php,py】
761 ：デフォルトの名無しさん[sage]：2014/07/16(水) 23:17:09.64 ID:Bhu7oqpl - >>759
> 内部で同じ技術を使っているだけで、
> 本質的には全くの別物。
いやいや、同じ技術なら同じものでしょうｗ
ユースケースが違うだけじゃないすか
| - 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ44【pl,rb,php,py】
762 ：デフォルトの名無しさん[sage]：2014/07/16(水) 23:18:10.39 ID:Bhu7oqpl - >>760
将来的にそういう機能も持った静的動的ハイブリッド言語ができるかもね
型推論でチェックできるところは実行前にエラーになるような、ね
| - 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ44【pl,rb,php,py】
763 ：デフォルトの名無しさん[sage]：2014/07/16(水) 23:21:58.16 ID:Bhu7oqpl - >>762
って、C#はすでにそんな感じの機能はあるか
イマイチ洗練されてない感じだが…
| - 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ44【pl,rb,php,py】
766 ：デフォルトの名無しさん[sage]：2014/07/16(水) 23:26:18.95 ID:Bhu7oqpl - >>764
> 静的型が型推論したからといって、動的型にはならない。
> また動的型が型推論したからといって、静的型にはならない。
型推論は両者を近づける技術であって、両者を同一にする技術じゃないんだから
そしてそれは静的型で使おうと動的型で使おうと型推論であることになんら違いはない
|
|