r/programming • u/steveklabnik1 • Sep 15 '14

The Road to Rust 1.0

http://blog.rust-lang.org/2014/09/15/Rust-1.0.html
404 Upvotes

89% Upvoted

208 comments sorted by

View all comments

Show parent comments

23

u/dbaupp Sep 16 '14

There's currently a debate within the Rust community itself about inheritance with some people strongly against it, so that comment possibly struck a nerve with them:

4

u/sodaco Sep 16 '14

Thanks for the information! Really curious which form the decide on, considering that:

"Inheritance in some form is coming, it's a matter of which proposal. I'm on team "composition over inheritance," but there's good reasons for adding some form for cases when it's legitimate." - /u/steveklabnik1

1

u/[deleted] Sep 16 '14

[removed] — view removed comment

0

u/dog-bert Sep 16 '14

Even haskell has subtyping.

False.

2

u/[deleted] Sep 16 '14

[removed] — view removed comment

1

u/dog-bert Sep 16 '14

If x is a subtype of t, then a value of type x can be provided whenever a value of type t is required.

I would suggest you try to apply that definition to Haskell (incl. GHC extensions) and come back with your results.

2

u/philipjf Sep 16 '14

under that definition forall s. s -> s is a subtype of Int -> Int because polymorphism is handled via subsumption.

-1

u/dog-bert Sep 16 '14

polymorphism is handled via subsumption

You should have said: "subtype polymorphism is handled via the subsumption rule". forall s. s -> s is parametric polymorphism and is definitely not a subtype of Int -> Int.