<?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 (michielbuddingh)</title>
    <link>https://pinboard.in/u:michielbuddingh/public/</link>
    <description>recent bookmarks from michielbuddingh</description>
    <items>
      <rdf:Seq>	<rdf:li rdf:resource="https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/"/>
	<rdf:li rdf:resource="http://news.ycombinator.com/item?id=1154338"/>
	<rdf:li rdf:resource="http://code.google.com/p/unconstrained-melody/"/>
      </rdf:Seq>
    </items>
  </channel><item rdf:about="https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/">
    <title>No, dynamic type systems are not inherently more open</title>
    <dc:date>2020-01-20T10:24:34+00:00</dc:date>
    <link>https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/</link>
    <dc:creator>michielbuddingh</dc:creator><description><![CDATA[“ ... The two comments focus primarily on illustrating how static type systems can’t process data of an unknown shape, but they simultaneously advance an implicit belief: that dynamically typed languages can process data of an unknown shape. As we’ll see, this belief is misguided ... ”]]></description>
<dc:subject>programming types typing haskell dynamic</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:michielbuddingh/b:cf96b650342c/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:michielbuddingh/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:michielbuddingh/t:types"/>
	<rdf:li rdf:resource="https://pinboard.in/u:michielbuddingh/t:typing"/>
	<rdf:li rdf:resource="https://pinboard.in/u:michielbuddingh/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:michielbuddingh/t:dynamic"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://news.ycombinator.com/item?id=1154338">
    <title>Hacker News | I'm missing the basics for this one. Why does ++[[]][+[]] == 1?</title>
    <dc:date>2010-03-05T14:35:13+00:00</dc:date>
    <link>http://news.ycombinator.com/item?id=1154338</link>
    <dc:creator>michielbuddingh</dc:creator><description><![CDATA[An explanation of object coercion in javascript]]></description>
<dc:subject>javascript programming typing</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:michielbuddingh/b:a6ef3551a893/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:michielbuddingh/t:javascript"/>
	<rdf:li rdf:resource="https://pinboard.in/u:michielbuddingh/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:michielbuddingh/t:typing"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://code.google.com/p/unconstrained-melody/">
    <title>unconstrained-melody - Project Hosting on Google Code</title>
    <dc:date>2010-02-27T10:58:20+00:00</dc:date>
    <link>http://code.google.com/p/unconstrained-melody/</link>
    <dc:creator>michielbuddingh</dc:creator><description><![CDATA[" ... There are various useful things that can be done with generic methods/classes where there's a type constraint of "T : enum" or "T : delegate" - but unfortunately, those are prohibited in C#.

This utility library works around the prohibitions using ildasm/ilasm, by building the code with "fake" constraints and then rewriting the constraints afterwards. The resulting binary is usable from "normal" C#; the C# compiler understands the constraints just fine, even if it won't let you express them. ... "]]></description>
<dc:subject>csharp generics typing</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:michielbuddingh/b:acc99cfd253a/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:michielbuddingh/t:csharp"/>
	<rdf:li rdf:resource="https://pinboard.in/u:michielbuddingh/t:generics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:michielbuddingh/t:typing"/>
</rdf:Bag></taxo:topics>
</item>
</rdf:RDF>