<story><title>Gleam 0.14 – Type-safe language for the Erlang VM</title><url>https://gleam.run/news/gleam-v0.14-released/</url></story><parent_chain></parent_chain><comment><author>dang</author><text>If curious see also&lt;p&gt;&lt;i&gt;Gleam: A statically typed language for the Erlang VM&lt;/i&gt; - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=22902462&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=22902462&lt;/a&gt; - April 2020 (109 comments)&lt;p&gt;&lt;i&gt;An interview with the creator of Gleam: an ML like language for the Erlang VM&lt;/i&gt; - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=19547418&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=19547418&lt;/a&gt; - April 2019 (0 comments)</text></comment>
<story><title>Gleam 0.14 – Type-safe language for the Erlang VM</title><url>https://gleam.run/news/gleam-v0.14-released/</url></story><parent_chain></parent_chain><comment><author>dnautics</author><text>it&amp;#x27;s cool that gleam emits typespecs.  After tooling around implementing type analysis in Elixir, I do have a personal take that dialyzer typespecs are broken, maybe we should convene a group in the erlef to coordinate towards improving the typesystem.</text></comment>