<story><title>Irken Language – A Scheme with parametric polymorphism</title><url>http://nightmare.com/rushing/irken/irken/lang.html</url></story><parent_chain></parent_chain><comment><author>bachmeier</author><text>Is it really Scheme if it&amp;#x27;s statically typed? I could see type hints or the like, but&lt;p&gt;&amp;gt; Expressions like &amp;#x27;(1 &amp;quot;two&amp;quot; three) will not pass the type checker. All lists must be monomorphic, i.e., a list of ints, or a list of bools, etc...&lt;p&gt;seems to me to be such a big change as to mean it&amp;#x27;s not Scheme.&lt;p&gt;Don&amp;#x27;t get me wrong, I love the idea of statically-typed Scheme, and will look carefully at it. I just think it&amp;#x27;s odd to claim it&amp;#x27;s Scheme.</text></comment>
<story><title>Irken Language – A Scheme with parametric polymorphism</title><url>http://nightmare.com/rushing/irken/irken/lang.html</url></story><parent_chain></parent_chain><comment><author>tel</author><text>Nice that they have both (row) polymorphic records and polymorphic variants... but weird that you only implicitly state the variables in data declarations---it outlaws phantoms!</text></comment>