LambdaConf's video: Jaroslaw Ratajski- ETA lang a Journey from Haskell via STG and Bytecode to Assembly Part 2- C 2019

This is a 3 video talk; Please see: Part 1: https://youtu.be/9Ty2nGZtPjg Part 3: https://youtu.be/y3aR3EcgmuQ Eta-lang is a GHC based Haskell implementation for the JVM. We will start from practical exercises showing how to combine Haskell with JVM languages. Then we will dig into details such as performance, jvm bytecode specifics (like JIT, GC) . Finally we will get into the eta compiler internals (fun!). At least two types of developers might be very interested in eta-lang: - those that work with Haskell /GHC and want (or have to) port their solution to JVM, - those that are familiar with JVM based languages (Scala/Kotlin/Java.. ) and want to learn/ try Haskell easier way, or possibly combine Haskell with existing code/libraries. In the first part ("What is eta-lang") I will try to present eta-lang from both perspectives and give the practical hints: - How to use existing Haskell code, - How to mix both worlds. There will be exercise (classical Conway's game of life) In the second part ("Important details") I will concentrate on potential problems: - GC impact, - JVM/ JIT specifics, - TCO and other optimizations, - performance, - profiling, The goal of this part is to give attendees the possibility to evaluate eta in their projects. JVM details should be also interesting for Scala, Kotlin, Clojure developers. Exercise here will be a JVM benchmark based on JMH framework. The last part ("Into the core") will be a show of eta compiler internals (partially applies to GHC/Haskell) : - STG, - Compiler Extensions, - Bytecode generation, Debugging and testing of the compiler. This part should be also interesting for people interested in developing their own languages. In this part we will try to resolve one of the issues from Eta-lang github (solution prepared before talk).