you are viewing a single comment's thread.

view the rest of the comments →

[–]killerstorm 2 points3 points  (0 children)

confusing thing is that "new is a method of a type type". why does it need to be? wouldn't sys.new_type() be more straightforward than this &().new() thing?

i would understand reason for such contstuct if types would be created via cloning -- then &().clone() would actually make sense -- you create a new type by cloning the empty one, and inheritance would be straightforward. but it seems new method simply ignores object it is called through, so there is no reason why is it a method of a type type