<story><title>Linear types are merged in GHC</title><url>https://www.tweag.io/blog/2020-06-19-linear-types-merged</url></story><parent_chain></parent_chain><comment><author>greg7mdp</author><text>Incredible work, congrats, the evolution of GHC is quite impressive. A better description of what linear types can be useful for is at &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;www.tweag.io&amp;#x2F;blog&amp;#x2F;2017-03-13-linear-types&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;www.tweag.io&amp;#x2F;blog&amp;#x2F;2017-03-13-linear-types&amp;#x2F;&lt;/a&gt;.</text></comment>
<story><title>Linear types are merged in GHC</title><url>https://www.tweag.io/blog/2020-06-19-linear-types-merged</url></story><parent_chain></parent_chain><comment><author>AnimalMuppet</author><text>This has been bugging me for a while:  Why are type names what they are?  I get why sum types and product types are named what they are.&lt;p&gt;But linear types?  A value can be used only once?  Cool.  We call that &amp;quot;linearity&amp;quot;?  Um, what?  What&amp;#x27;s &lt;i&gt;linear&lt;/i&gt; about that?</text></comment>