2 ms·
to that point, traits themselves originated first in smalltalk correct??
by andrekandre 4y ago
to that point, traits themselves originated first in smalltalk correct??
- pjmlp 4y agoNot originally, but they were added after Smalltalk-80, one of the links above has the related paper. They exist now in Squeak and Pharo, both originally based on Xerox's Smalltalk-80 image.
- c-cube 4y agoThat's quite weird. These traits don't look like rust's traits, which really are a port of typeclasses from Haskell. I think the section about scala illustrates this well because scala's "traits" are an OO construct, but now scala 3 also" has typeclasses. So... Rust still isn't OO.
- pjmlp 4y agoAh, trying to go down that route? ECOOP 2009 proceedings paper from a certain Simon Peyton Jones. "Classes, Jim, But Not as We Know Them — Type Classes in Haskell: What, Why, and Whither" https://link.springer.com/chapter/10.1007/978-3-642-03013-0_1 https://link.springer.com/chapter/10.1007/978-3-642-03013-0_...
- c-cube 4y agoSadly it's paywalled. Care to enlighten me? If inspiration came from smalltalk and not prolog then great, you win.