News for hackers. Stuff that matters.
Re:What is type safety? by mnarayan01 on Tuesday August 05, 2014 @04:47PM (#8139306)
The result of the #class method does not _fully_ encapsulate an object's type (e.g. #extend, #define_singleton_method, etc may have been used to modify the object's type) but every Ruby expression does have a type in exactly the sense as used when talking about static typing; the only difference is when you can (in general) determine that type. The #class method is not orthogonal to type, it is merely incomplete.
Re:What is type safety? by tel on Tuesday August 05, 2014 @05:07PM (#8139434)
Sure, but that's not really relevant. All of your "typing" occurs at runtime and thus is entwined in the language dynamics and not its statics.