@wycats @jordwalke @missingfaktor @skylight Verbosity. Algorithm W is part of the essence of what makes ML so productive.
-
-
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 So I'm guessing it isn't the same algorithm.1 reply 0 retweets 0 likes -
Replying to @jonharrop
@jonharrop@jordwalke@missingfaktor It's not *precisely* algorithm W because it's not *precisely* 1970 anymore.1 reply 0 retweets 1 like -
Replying to @wycats
@wycats@jordwalke@missingfaktor Sure but making "let swap(a,b) = (b,a)" require several times more code is quite a big difference.1 reply 0 retweets 0 likes -
Replying to @jonharrop
@jonharrop@jordwalke@missingfaktor That example is old. You can do it in a single line for a while now. http://is.gd/8ndQj01 reply 0 retweets 0 likes -
Replying to @wycats
@wycats@jonharrop@missingfaktor which single line in that example?4 replies 0 retweets 0 likes
@jonharrop @jordwalke @missingfaktor I appreciate the back-and-forth :)
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.