<story><title>Koka: Strongly typed functional-style language with effect types and handlers</title><url>https://koka-lang.github.io/koka/doc/index.html</url></story><parent_chain></parent_chain><comment><author>dang</author><text>Related. Others?&lt;p&gt;&lt;i&gt;Koka: A fast functional programming language with algebraic effects&lt;/i&gt; - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=38421003&quot;&gt;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=38421003&lt;/a&gt; - Nov 2023 (2 comments)&lt;p&gt;&lt;i&gt;The Koka Programming Language&lt;/i&gt; - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=28335043&quot;&gt;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=28335043&lt;/a&gt; - Aug 2021 (2 comments)&lt;p&gt;&lt;i&gt;Koka: A Functional Language with Effects&lt;/i&gt; - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=27710267&quot;&gt;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=27710267&lt;/a&gt; - July 2021 (12 comments)&lt;p&gt;&lt;i&gt;A Tour of Koka (an elegant programming language with Algebraic Effects)&lt;/i&gt; - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=26292411&quot;&gt;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=26292411&lt;/a&gt; - Feb 2021 (1 comment)&lt;p&gt;&lt;i&gt;An Introduction to the Koka Programming Language&lt;/i&gt; - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=14647415&quot;&gt;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=14647415&lt;/a&gt; - June 2017 (1 comment)&lt;p&gt;&lt;i&gt;Koka – A function-oriented programming language&lt;/i&gt; - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=10131071&quot;&gt;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=10131071&lt;/a&gt; - Aug 2015 (10 comments)&lt;p&gt;&lt;i&gt;Koka a function oriented language with effect inference&lt;/i&gt; - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=4407415&quot;&gt;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=4407415&lt;/a&gt; - Aug 2012 (1 comment)</text></comment>
<story><title>Koka: Strongly typed functional-style language with effect types and handlers</title><url>https://koka-lang.github.io/koka/doc/index.html</url></story><parent_chain></parent_chain><comment><author>jitl</author><text>&amp;gt; Effect handlers let you define advanced control abstractions, like exceptions, async&amp;#x2F;await, iterators, parsers, ambient state, or probabilistic programs, as a user library in a typed and composable way.&lt;p&gt;&amp;gt; Perceus is an advanced compilation method for reference counting. This lets Koka compile directly to C code without needing a garbage collector or runtime system! This also gives Koka excellent performance in practice.&lt;p&gt;Effectful functional language that compiles to C? Sounds great.</text></comment>