Transpiling to GHC Core language

This page summarizes the projects mentioned and recommended in the original post on /r/haskell

Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
  • ghc-whole-program-compiler-project

    GHC Whole Program Compiler and External STG IR tooling

    You could use the GHC codegen and RTS via the external STG IR.

  • IdrisExtSTGCodegen

    There is a WIP Idris2 to Ext-STG compiler:

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  • typelevel-rewrite-rules

    rewrite rules for type-level equalities

    When writing a typechecker plugin, you can eliminate constraints from the user's program by providing an implementation of the corresponding dictionary. The way you provide that dictionary to ghc is by providing a core expression; for example, this evCast futureDict co expression has type EvTerm, whose first constructor takes an EvExpr, which is a synonym for CoreExpr.

  • tcplugins-zurihac2020

    ZuriHac 2020 GHC typechecker plugins project

    Therefore, one convoluted way to integrate your language into the ghc pipeline would be as follows. Define a magic typeclass:

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts