<story><title>High-order Virtual Machine (HVM): Massively parallel, optimal functional runtime</title><url>https://github.com/Kindelia/HVM</url></story><parent_chain><item><author>yewenjie</author><text>So many new programming languages coming up with clever features that makes me wish I could mix and match their core features while using libraries from more popular languages.&lt;p&gt;Up and coming Languages I am excited about -&lt;p&gt;1. Roc - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;www.youtube.com&amp;#x2F;watch?v=vzfy4EKwG_Y&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;www.youtube.com&amp;#x2F;watch?v=vzfy4EKwG_Y&lt;/a&gt;&lt;p&gt;2. Zig - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;ziglang.org&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;ziglang.org&amp;#x2F;&lt;/a&gt;&lt;p&gt;3. Scopes - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;sr.ht&amp;#x2F;~duangle&amp;#x2F;scopes&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;sr.ht&amp;#x2F;~duangle&amp;#x2F;scopes&amp;#x2F;&lt;/a&gt;&lt;p&gt;4. Gleam - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;gleam.run&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;gleam.run&amp;#x2F;&lt;/a&gt;&lt;p&gt;5. Odin - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;odin-lang&amp;#x2F;Odin&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;odin-lang&amp;#x2F;Odin&lt;/a&gt;&lt;p&gt;6. Koka - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;koka-lang&amp;#x2F;koka&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;koka-lang&amp;#x2F;koka&lt;/a&gt;&lt;p&gt;7. Unison - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;unisonweb&amp;#x2F;unison&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;unisonweb&amp;#x2F;unison&lt;/a&gt;</text></item></parent_chain><comment><author>throwaway17_17</author><text>I have seen talks and&amp;#x2F;or papers on all of these except Scopes and Gleam. Out of the list the only one that does not provide something I am interested in is Unison. Given that your feelings for interesting language features seems to be at least marginally close to mine I am going to check out Scopes and Gleam just to see what they have that interested you.&lt;p&gt;Personally, from a conceptual level, I find that Koka and Roc provide some of the more interesting developments in PL design. For anyone wondering, as to Roc (which I don’t think has an implementation or even a full description yet) I am particularly interested in their concept and implementation of the ‘platform’&amp;#x2F;‘application’ layer idea. As to Koka, the papers the team has generated are almost all excellent. The paper describing Perseus, the GC&amp;#x2F;resource tracking system, and the compiler implementation review are stunning.</text></comment>
<story><title>High-order Virtual Machine (HVM): Massively parallel, optimal functional runtime</title><url>https://github.com/Kindelia/HVM</url></story><parent_chain><item><author>yewenjie</author><text>So many new programming languages coming up with clever features that makes me wish I could mix and match their core features while using libraries from more popular languages.&lt;p&gt;Up and coming Languages I am excited about -&lt;p&gt;1. Roc - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;www.youtube.com&amp;#x2F;watch?v=vzfy4EKwG_Y&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;www.youtube.com&amp;#x2F;watch?v=vzfy4EKwG_Y&lt;/a&gt;&lt;p&gt;2. Zig - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;ziglang.org&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;ziglang.org&amp;#x2F;&lt;/a&gt;&lt;p&gt;3. Scopes - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;sr.ht&amp;#x2F;~duangle&amp;#x2F;scopes&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;sr.ht&amp;#x2F;~duangle&amp;#x2F;scopes&amp;#x2F;&lt;/a&gt;&lt;p&gt;4. Gleam - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;gleam.run&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;gleam.run&amp;#x2F;&lt;/a&gt;&lt;p&gt;5. Odin - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;odin-lang&amp;#x2F;Odin&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;odin-lang&amp;#x2F;Odin&lt;/a&gt;&lt;p&gt;6. Koka - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;koka-lang&amp;#x2F;koka&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;koka-lang&amp;#x2F;koka&lt;/a&gt;&lt;p&gt;7. Unison - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;unisonweb&amp;#x2F;unison&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;unisonweb&amp;#x2F;unison&lt;/a&gt;</text></item></parent_chain><comment><author>arc776</author><text>Nim - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;nim-lang.org&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;nim-lang.org&amp;#x2F;&lt;/a&gt;&lt;p&gt;Lets you mix and match other libraries with their native ABI as it compiles to C, C++, ObjC and JS + has excellent FFI.</text></comment>