tag:blogger.com,1999:blog-273593670040001243.post7728113814651401414..comments2022-03-28T05:51:26.366-07:00Comments on Useless Factor: How to make ad-hoc polymorphism less ad hoc in FactorAnonymoushttp://www.blogger.com/profile/00902922561603041049noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-273593670040001243.post-78418918814718499402007-07-31T04:58:00.000-07:002007-07-31T04:58:00.000-07:00Oh yeah, I forgot. Well, that meaning of 'type' is...Oh yeah, I forgot. Well, that meaning of 'type' is really low-level and the programmer doesn't have to worry about it. We could call it "primitive type" or something else instead, if this sort of terminology is adopted. Thanks for the link.Anonymoushttps://www.blogger.com/profile/00902922561603041049noreply@blogger.comtag:blogger.com,1999:blog-273593670040001243.post-41169314786165634672007-07-30T22:39:00.000-07:002007-07-30T22:39:00.000-07:00Dan, in Factor, a 'type' is an internal representa...Dan, in Factor, a 'type' is an internal representation of an object. There is only a fixed number of them and corresponding to each type is a built-in class. Classes can be defined by the user. So the two concepts are not interchangeable.<BR/><BR/>Ed's object system can be found in extra/mortar in darcs.Slava Pestovhttps://www.blogger.com/profile/02768382790667979877noreply@blogger.com