Rust 1.0 alpha is pretty exciting for @skylight. I can't wait for more fellow HLL compatriots to embrace their inner systems programmer!
@jonharrop @jordwalke @missingfaktor @skylight Are you upset that Rust implements a different algorithm? You want more global inference?
-
-
@jonharrop@jordwalke@missingfaktor This infers in Rust: let mut v = Vec::new(); v.push(1); What's the equivalent in Scala? -
@wycats@jordwalke@missingfaktor I have no idea but the equivalent in OCaml/F# is probably [|1|]
End of conversation
New conversation -
-
-
@wycats@jordwalke@missingfaktor@skylight The standard tried and tested core of type inference in most other languages would be preferable -
@jonharrop@jordwalke@missingfaktor@skylight Can you critique a particular feature or Rust's type inference that you don't like? -
@wycats@jordwalke@missingfaktor@skylight Verbosity. Algorithm W is part of the essence of what makes ML so productive. -
@jonharrop@jordwalke@missingfaktor@skylight Specifically what you're critiquing is that the algorithm isn't applied globally, right? -
@wycats@jordwalke@missingfaktor@skylight Well, I think its a completely different algorithm. I wouldn't even call it type inference. -
@jonharrop@jordwalke@missingfaktor Have you read http://smallcultfollowing.com/babysteps/blog/2014/07/09/an-experimental-new-type-inference-scheme-for-rust/ …? Rust started with HM and has moved towards Pierce & Turner. -
@jonharrop@jordwalke@missingfaktor Are you suggesting that the scope in which the algorithm is applied means it isn't the same algorithm? -
@wycats@jordwalke@missingfaktor So I'm guessing it isn't the same algorithm. - 5 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.