- 【Python】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ46【pl,rb,php,js】
356 ：デフォルトの名無しさん[sage]：2014/09/09(火) 20:26:37.15 ID:08f9kkEm - http://en.m.wikipedia.org/wiki/Smalltalk
> Smalltalk is an object-oriented, dynamically typed, reflective programming language.
dynamically typed
| - 【Python】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ46【pl,rb,php,js】
358 ：デフォルトの名無しさん[sage]：2014/09/09(火) 20:54:29.72 ID:08f9kkEm - このスレでは、オブジェクトがあるメソッドを持ってるか等を調べるのは
型検査に入らないという流儀なの？
変なの
| - 【Python】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ46【pl,rb,php,js】
360 ：デフォルトの名無しさん[sage]：2014/09/09(火) 21:10:13.17 ID:08f9kkEm - 型検査には、ある名前の型（のサブタイプ）かどうかを調べるNominal Subtyping(公称型)と、
あるメソッドを持ってるか等を調べるStructural Subtyping(構造的部分型)があるけど、
このスレでは前者だけが型検査ってこと？
|
|