Transpiling to GHC Core language

• ghc-whole-program-compiler-project

  9 115 8.8 Haskell

  GHC Whole Program Compiler and External STG IR tooling

  

You could use the GHC codegen and RTS via the external STG IR. https://github.com/grin-compiler/ghc-whole-program-compiler-project

• IdrisExtSTGCodegen

  6 24 0.0 Idris

There is a WIP Idris2 to Ext-STG compiler: https://github.com/andorp/IdrisExtSTGCodegen

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• typelevel-rewrite-rules

  4 61 1.2 Haskell

  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

  2 19 0.0 HTML

  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:

Suggest a related project