<?xml version="1.0" encoding="UTF-8"?>
 <rdf:RDF xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://web.resource.org/cc/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:admin="http://webns.net/mvcb/">
  <channel rdf:about="http://pinboard.in">
    <title>Pinboard (rtlechow)</title>
    <link>https://pinboard.in/u:rtlechow/public/</link>
    <description>recent bookmarks from rtlechow</description>
    <items>
      <rdf:Seq>	<rdf:li rdf:resource="https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/"/>
	<rdf:li rdf:resource="http://dry-rb.org/gems/dry-types/"/>
	<rdf:li rdf:resource="http://danluu.com/empirical-pl/"/>
	<rdf:li rdf:resource="http://blog.lab49.com/archives/3011"/>
	<rdf:li rdf:resource="http://gbracha.blogspot.com/2011/06/types-are-anti-modular.html"/>
      </rdf:Seq>
    </items>
  </channel><item rdf:about="https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/">
    <title>Parse, don’t validate</title>
    <dc:date>2020-01-20T15:21:58+00:00</dc:date>
    <link>https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/</link>
    <dc:creator>rtlechow</dc:creator><dc:subject>programming parsing functional types</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:rtlechow/b:28be65318c4a/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:rtlechow/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:rtlechow/t:parsing"/>
	<rdf:li rdf:resource="https://pinboard.in/u:rtlechow/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:rtlechow/t:types"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://dry-rb.org/gems/dry-types/">
    <title>dry-rb - dry-types - Introduction</title>
    <dc:date>2016-10-11T12:56:49+00:00</dc:date>
    <link>http://dry-rb.org/gems/dry-types/</link>
    <dc:creator>rtlechow</dc:creator><dc:subject>types ruby</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:rtlechow/b:58e6cad5bfee/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:rtlechow/t:types"/>
	<rdf:li rdf:resource="https://pinboard.in/u:rtlechow/t:ruby"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://danluu.com/empirical-pl/">
    <title>Static vs. dynamic languages: a literature review</title>
    <dc:date>2015-12-02T15:06:18+00:00</dc:date>
    <link>http://danluu.com/empirical-pl/</link>
    <dc:creator>rtlechow</dc:creator><dc:subject>programming productivity research type types</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:rtlechow/b:a4fe30e2ce8d/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:rtlechow/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:rtlechow/t:productivity"/>
	<rdf:li rdf:resource="https://pinboard.in/u:rtlechow/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:rtlechow/t:type"/>
	<rdf:li rdf:resource="https://pinboard.in/u:rtlechow/t:types"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://blog.lab49.com/archives/3011">
    <title>The Algebra of Data, and the Calculus of Mutation » Lab49 Blog</title>
    <dc:date>2012-02-05T16:13:11+00:00</dc:date>
    <link>http://blog.lab49.com/archives/3011</link>
    <dc:creator>rtlechow</dc:creator><dc:subject>algebra functional haskell programming types</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:rtlechow/b:2bfeddc7485d/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:rtlechow/t:algebra"/>
	<rdf:li rdf:resource="https://pinboard.in/u:rtlechow/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:rtlechow/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:rtlechow/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:rtlechow/t:types"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://gbracha.blogspot.com/2011/06/types-are-anti-modular.html">
    <title>Room 101: Types are Anti-Modular</title>
    <dc:date>2011-06-06T13:00:03+00:00</dc:date>
    <link>http://gbracha.blogspot.com/2011/06/types-are-anti-modular.html</link>
    <dc:creator>rtlechow</dc:creator><dc:subject>programming software types modularity</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:rtlechow/b:d1cd5d4757b7/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:rtlechow/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:rtlechow/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:rtlechow/t:types"/>
	<rdf:li rdf:resource="https://pinboard.in/u:rtlechow/t:modularity"/>
</rdf:Bag></taxo:topics>
</item>
</rdf:RDF>