Turbo Haskell (THC) es un compilador que toma el relevo después de que GHC termine el parsing, la comprobación de tipos, el desazucarado y la optimización de Core, compilando y ejecutando GHC Core a través de su propio runtime en Truffle y GraalVM. Implementa cada prim-op de GHC 9.14.1 y proporciona tanto compilación just-in-time (JIT) como ahead-of-time (AOT) mediante Native Image, permitiendo que los programas Haskell se conviertan en ejecutables independientes. Este diseño reutiliza el sofisticado front-end de GHC mientras apunta a la JVM como back-end.
THC ofrece una interfaz de función extranjera políglota (FFI) para Python, Ruby, R y JavaScript, habilitando la conversión sin copia entre el Data.Text de Haskell y las cadenas de Truffle para datos codificados en UTF-8, lo que permite que los programas Haskell llamen a bibliotecas de esos idiomas y lleven su salida directamente al código compilado JIT. Para cargas de trabajo numéricas, THC admite SIMD aprovechando el conjunto limitado de prim-ops SIMD de GHC y, a través de la API Vector JDK en incubación (jdk.incubator.vector), puede seleccionar un ancho de 'especies' SIMD en tiempo de ejecución y compilar JIT bucles que utilizan instrucciones vectoriales, proporcionando una vía para que el JIT obtenga ganancias de rendimiento en hardware adecuado.
THC evita los trampolines tradicionales para la optimización de llamadas en cola: las llamadas en cola calientes se transforman en bucles tipo bloque básico ajustados con salidas laterales, y un filtro de Bloom de 64 bits detecta llamadas en cola recursivas probables durante el modo de trazado. Cuando se encuentra un hit probable, una excepción de camino lento activa nodos Truffle personalizados que instruyen a Graal para remodelar el bucle de llamada en cola entre los cuerpos de las funciones en un solo bucle ajustado; los falsos positivos solo añaden trabajo adicional en el camino lento sin alterar los resultados. El runtime también admite tanto el threading convencional de Java como Project Loom, proporcionando hilos verdes al estilo de GHC ligeros con un ejecutor al estilo de HEC que hace que los primitivos tipo MVar sean económicos. En las pruebas iniciales, THC ejecutó Data.Map dentro de un rango de 3× más rápido a 3× más lento después del calentamiento, oscilando principalmente alrededor de un 10–20% más lento que GHC, aunque el desarrollo reciente ha mostrado regresiones de rendimiento que están siendo abordadas.