<?xml version="1.0" encoding="UTF-8"?>
<urlset xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.sitemaps.org/schemas/sitemap/0.9 http://www.sitemaps.org/schemas/sitemap/0.9/sitemap.xsd" xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
<url>
<loc>https://typeinference.com/rust/2015/07/31/rust-ownership-part-i.html</loc>
<lastmod>2025-01-04T11:23:59+01:00</lastmod>
</url>
<url>
<loc>https://typeinference.com/oop/2015/08/17/anti_oop_design_patterns.html</loc>
<lastmod>2025-01-04T11:23:59+01:00</lastmod>
</url>
<url>
<loc>https://typeinference.com/typing/2015/10/05/type_inference.html</loc>
<lastmod>2025-01-04T11:23:59+01:00</lastmod>
</url>
<url>
<loc>https://typeinference.com/typing/2015/10/29/covariance_and_contravaciance.html</loc>
<lastmod>2025-01-04T11:23:59+01:00</lastmod>
</url>
<url>
<loc>https://typeinference.com/scala/2016/05/03/tdd-vs-static-typing.html</loc>
<lastmod>2025-01-04T11:03:41+01:00</lastmod>
</url>
<url>
<loc>https://typeinference.com/languages/2016/09/15/algebraic-types-and-rudimentary-coding.html</loc>
<lastmod>2016-09-15T00:00:00+02:00</lastmod>
</url>
<url>
<loc>https://typeinference.com/languages/2017/01/12/deeply-typed-programming-languages.html</loc>
<lastmod>2025-01-04T11:23:59+01:00</lastmod>
</url>
<url>
<loc>https://typeinference.com/categories/</loc>
<lastmod>2025-01-04T12:28:01+01:00</lastmod>
</url>
<url>
<loc>https://typeinference.com/tags/</loc>
<lastmod>2025-01-04T12:28:01+01:00</lastmod>
</url>
<url>
<loc>https://typeinference.com/archives/</loc>
<lastmod>2025-01-04T12:28:01+01:00</lastmod>
</url>
<url>
<loc>https://typeinference.com/about/</loc>
<lastmod>2025-01-04T12:28:01+01:00</lastmod>
</url>
<url>
<loc>https://typeinference.com/</loc>
</url>
<url>
<loc>https://typeinference.com/categories/rust/</loc>
</url>
<url>
<loc>https://typeinference.com/categories/oop/</loc>
</url>
<url>
<loc>https://typeinference.com/categories/typing/</loc>
</url>
<url>
<loc>https://typeinference.com/categories/languages/</loc>
</url>
</urlset>
