<story><title>An Experimental New Type Inference Scheme for Rust</title><url>http://smallcultfollowing.com/babysteps/blog/2014/07/09/an-experimental-new-type-inference-scheme-for-rust/</url></story><parent_chain></parent_chain><comment><author>pcwalton</author><text>My colleague zwarich aptly said that &amp;quot;this changes our type inference algorithm from a master&amp;#x27;s thesis to a blog post&amp;quot;. As we approach 1.0, language simplifications like this are really valuable; the fact that it doesn&amp;#x27;t break existing code is even better.</text></comment>
<story><title>An Experimental New Type Inference Scheme for Rust</title><url>http://smallcultfollowing.com/babysteps/blog/2014/07/09/an-experimental-new-type-inference-scheme-for-rust/</url></story><parent_chain></parent_chain><comment><author>rayiner</author><text>I really appreciate Niko&amp;#x27;s efforts into blogging about this sort of thing. It&amp;#x27;s really neat to watch Rust evolve in a fairly public manner. I&amp;#x27;m not sure if there is any other language where these sorts of relatively early design decisions have been played out publicly before.&lt;p&gt;I also found this article really interesting: &lt;a href=&quot;http://smallcultfollowing.com/babysteps/blog/2014/05/13/focusing-on-ownership&quot; rel=&quot;nofollow&quot;&gt;http:&amp;#x2F;&amp;#x2F;smallcultfollowing.com&amp;#x2F;babysteps&amp;#x2F;blog&amp;#x2F;2014&amp;#x2F;05&amp;#x2F;13&amp;#x2F;focu...&lt;/a&gt;.</text></comment>