3 ms·
That'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
by c-cube 4y ago
That'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.