- 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ51【php,py,pl,rb】©2ch.net
514 ：デフォルトの名無しさん[sage]：2015/08/29(土) 08:51:51.59 ID:RbEmdOH8 - >>507
>静的型言語でも、実行時型情報ぐらいは持っているので、
>それを頼りに最適化したければすればよい
動的型と同じことは動的型の機能を使えば可能って反論になってない
| - 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ51【php,py,pl,rb】©2ch.net
515 ：デフォルトの名無しさん[sage]：2015/08/29(土) 09:05:06.78 ID:RbEmdOH8 - 散々貶しておいて動的言語を頼りにねえ？
String typingじゃないCを暗黙に仮定して、結局それ？
時間をかければ解決という前提を覆す仮定も全く意味ないね
型付けじゃなくて、実装が重要と言ってるようなもんだ
| - 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ51【php,py,pl,rb】©2ch.net
516 ：デフォルトの名無しさん[sage]：2015/08/29(土) 09:06:35.17 ID:RbEmdOH8 - StringじゃなくてStrongな
手癖か
| - 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ51【php,py,pl,rb】©2ch.net
520 ：デフォルトの名無しさん[sage]：2015/08/29(土) 11:24:28.66 ID:RbEmdOH8 - >>519
>静的型言語が静的型情報を、あえて使わなければ、動的型相当になる
違うだろ、動的型か型なしが基本なのだから、
静的型言語が動的な型情報を使用した時点で動的型相当になるんだよ
| - 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ51【php,py,pl,rb】©2ch.net
522 ：デフォルトの名無しさん[sage]：2015/08/29(土) 12:06:28.96 ID:RbEmdOH8 - >>521
別に否定はしていないよ
制約を付けるのが静的型で、制約が無い部分は静的型ではないだけで、
動的型相当ではない＝型なし
でも動的な型情報は動的型付けのものだから、動的型相当になる
| - 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ51【php,py,pl,rb】©2ch.net
525 ：デフォルトの名無しさん[sage]：2015/08/29(土) 13:08:41.35 ID:RbEmdOH8 - >>523
>動的な型情報も静的な型情報も、両方あれば、静的型であることも、お忘れなく
プログラマからしたらって、プログラマじゃなかったのか？
動的型の型アノテーションによる事前のチェックは、
あえて言わなくても間違いなく静的型付
>動的型情報はコンパイラが勝手にする事だし、
コンパイラがやるかは環境と言語によるし、静的型付けは実行時は関係がない
実行時に型を使えないんだから
>つまり、静的型言語は、動的型情報と静的型情報の両方を持っていてもかまわない
ただの無意味なデータとして持ってるのは確かに構わないけど、
使ったら静的じゃなくなるよ
その物言いは誤解を産むだけで全く意味がないね
>一方で、動的型言語は静的な型情報をもてない
いやいや、何度も言うが型の情報をもてないわけじゃないよ
型情報を持って実行時に型チェックしても、動的型としては問題ない
真に型情報を持ってないのは動的型じゃなく、型なし言語
むしろ静的型のが実行時には型を扱えないんだって
その動作そのものが動的型付けなんだから
| - 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ51【php,py,pl,rb】©2ch.net
528 ：デフォルトの名無しさん[sage]：2015/08/29(土) 14:16:31.43 ID:RbEmdOH8 - >>526
>>静的型言語が動的な型情報を使用した時点で動的型相当になるんだよ
>じゃあ、つまりこういうことだ。
>静的型言語は動的な型情報も使用できる。
それじゃ議論にならないよ
そうやって可換とするなら逆も同じになるから、
>両方使用できる静的型言語は 動的型専用言語よりも速い。
は矛盾するよ
| - 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ51【php,py,pl,rb】©2ch.net
538 ：デフォルトの名無しさん[sage]：2015/08/29(土) 20:59:42.00 ID:RbEmdOH8 - >>529
その動的な型情報を使うのは静的言語の機能ではないだろと
俺は散々そう主張してるわけで
一緒にして同列に語って結局何も言えてないのお前だろ
| - 【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ51【php,py,pl,rb】©2ch.net
540 ：デフォルトの名無しさん[sage]：2015/08/29(土) 23:41:32.73 ID:RbEmdOH8 - >>539
そして動的言語も…と続くと
そもそも 大抵の静的言語 という括りなら間違ってるけどね
|
|