<story><title>Intel Haskell Research Compiler</title><url>https://github.com/IntelLabs/flrc</url></story><parent_chain></parent_chain><comment><author>tetrep</author><text>In essence, a big reason why the Intel team was able to do this was because they&amp;#x27;re getting optimized IR from GHC&amp;#x27;s front-end[0], and then applying further optimizations with their compiler (HRC) and then converting it into yet another IR (MIL) used by yet another compiler (FLRC), designed by Intel for arbitrary functional programming languages, for some further optimizations and ultimately into C where Intel&amp;#x27;s C compiler does the rest of the work.&lt;p&gt;It&amp;#x27;s interesting that HRC makes relatively significantly optimized programs (up to 2x), but that GHC&amp;#x27;s runtime (which HRC is not using) is so well optimized that the performance of HRC programs is roughly on par with those from GHC, despite the programs themselves being more performant.&lt;p&gt;I find stuff like this to be a testament to the practicality of great design in functional programming language ecosystems: Even the compilers are composable!&lt;p&gt;[0]: For those unfamiliar with what GHC does&amp;#x2F;how it&amp;#x27;s designed, this talk gives a great overview of the Core language that is the optimized IR of GHC: &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;www.youtube.com&amp;#x2F;watch?v=uR_VzYxvbxg&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;www.youtube.com&amp;#x2F;watch?v=uR_VzYxvbxg&lt;/a&gt;</text></comment>
<story><title>Intel Haskell Research Compiler</title><url>https://github.com/IntelLabs/flrc</url></story><parent_chain></parent_chain><comment><author>georgewsinger</author><text>For context, here&amp;#x27;s a quote from an abstract elsewhere on the web:&lt;p&gt;&amp;gt; The Intel Labs Haskell Research Compiler uses GHC as a frontend, but provides a new whole-program optimizing backend by compiling the GHC intermediate representation to a relatively generic functional language compilation platform.&lt;p&gt;and later:&lt;p&gt;&amp;gt; For certain classes of programs, our platform provides substantial performance benefits over GHC alone, performing 2x faster than GHC with the LLVM backend on selected modern performance-oriented benchmarks; for other classes of programs, the benefits of GHC&amp;#x27;s tuned virtual machine continue to outweigh the benefits of more aggressive whole program optimization. Overall we achieve parity with GHC with the LLVM backend.&lt;p&gt;Source: &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;www.semanticscholar.org&amp;#x2F;paper&amp;#x2F;The-Intel-labs-Haskell-research-compiler-Liu-Glew&amp;#x2F;d90a018d01c5865f57db29bfb8d80ae46e7fcd61&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;www.semanticscholar.org&amp;#x2F;paper&amp;#x2F;The-Intel-labs-Haskell...&lt;/a&gt;</text></comment>