<story><title>Alpaca – Functional programming inspired by ML for the Erlang VM</title><url>https://github.com/alpaca-lang/alpaca/</url></story><parent_chain></parent_chain><comment><author>salimmadjd</author><text>Really hoping this project gets more traction.&lt;p&gt;I&amp;#x27;m learning Elm now and I&amp;#x27;m really liking the syntax to the level that other languages feel rather cluttered to me now.&lt;p&gt;The more I&amp;#x27;m playing with types and learning to leverage them, the more I appreciate their power (yes, I&amp;#x27;m late to the game) so making this statically typed is very interesting.&lt;p&gt;However, there seem to be a saturation of new languages and not sure if there is enough eyeballs left for a new language that does not have a large corporate backing (FB, Google, Apple) or happens not to arrive on a perfect time with the right set of answers. Maybe BEAM, ML&amp;#x2F;Elm syntax and static typing is what everyone else is looking for.&lt;p&gt;Edit: 
Video posted today of creator of Alpaca (Jeremy Pierre) giving a talk at Erlang Factory. It gives a nice overview of the state of the language -&lt;p&gt;&lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;www.youtube.com&amp;#x2F;watch?v=cljFpz_cv2E&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;www.youtube.com&amp;#x2F;watch?v=cljFpz_cv2E&lt;/a&gt;</text></comment>
<story><title>Alpaca – Functional programming inspired by ML for the Erlang VM</title><url>https://github.com/alpaca-lang/alpaca/</url></story><parent_chain></parent_chain><comment><author>platz</author><text>I continue to be believe even as a static typing fan that static types are fundamentally incompatible with OTP and it&amp;#x27;s goals.&lt;p&gt;Distributed systems just seem to too thorny for static types to subjugate&amp;#x2F;bend to their will.&lt;p&gt;Sure, you can declare global invariants ahead of time that your cluster must uphold, but it&amp;#x27;s a bit less &amp;quot;distributed&amp;quot; in a real sense then</text></comment>