@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. -
@jonharrop@jordwalke@missingfaktor It's not *precisely* algorithm W because it's not *precisely* 1970 anymore. -
@wycats@jordwalke@missingfaktor Sure but making "let swap(a,b) = (b,a)" require several times more code is quite a big difference. -
@jonharrop@jordwalke@missingfaktor That example is old. You can do it in a single line for a while now. http://is.gd/8ndQj0 - 2 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.