@wycats @jordwalke @missingfaktor @skylight Type inference. Specifically, algorithm W. https://github.com/wh5a/Algorithm-W-Step-By-Step …
-
-
Replying to @jonharrop
@jonharrop@jordwalke@missingfaktor@skylight Are you upset that Rust implements a different algorithm? You want more global inference?2 replies 0 retweets 0 likes -
Replying to @wycats
@wycats@jordwalke@missingfaktor@skylight The standard tried and tested core of type inference in most other languages would be preferable1 reply 0 retweets 0 likes -
Replying to @jonharrop
@jonharrop@jordwalke@missingfaktor@skylight Can you critique a particular feature or Rust's type inference that you don't like?3 replies 0 retweets 0 likes -
Replying to @wycats
@wycats@jordwalke@missingfaktor@skylight Verbosity. Algorithm W is part of the essence of what makes ML so productive.1 reply 0 retweets 0 likes -
Replying to @jonharrop
@jonharrop@jordwalke@missingfaktor@skylight Specifically what you're critiquing is that the algorithm isn't applied globally, right?1 reply 0 retweets 0 likes -
Replying to @wycats
@wycats@jordwalke@missingfaktor@skylight Well, I think its a completely different algorithm. I wouldn't even call it type inference.1 reply 0 retweets 0 likes -
Replying to @jonharrop
@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.2 replies 0 retweets 0 likes -
Replying to @wycats
@jonharrop@jordwalke@missingfaktor Are you suggesting that the scope in which the algorithm is applied means it isn't the same algorithm?2 replies 0 retweets 0 likes -
Replying to @wycats
@wycats@jordwalke@missingfaktor If you only apply it locally I'm not sure you need non-generalized type variables.3 replies 0 retweets 0 likes
@jonharrop @jordwalke @missingfaktor Maybe you think that would be very pleasant. I don't.
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.