tcplugins-zurihac2020
ZuriHac 2020 GHC typechecker plugins project (by nfrisby)
| tcplugins-zurihac2020 | IdrisExtSTGCodegen | |
|---|---|---|
| 2 | 6 | |
| 19 | 24 | |
| - | - | |
| 0.0 | 0.0 | |
| over 3 years ago | over 2 years ago | |
| HTML | Idris | |
| - | GNU General Public License v3.0 or later |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
tcplugins-zurihac2020
Posts with mentions or reviews of tcplugins-zurihac2020.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-04-30.
-
CoercibleStrings toy GHC extension
[1] https://github.com/nfrisby/tcplugins-zurihac2020/blob/master/outline.md [2] https://www.youtube.com/watch?v=sE1qWyQWWVY
-
Transpiling to GHC Core language
Therefore, one convoluted way to integrate your language into the ghc pipeline would be as follows. Define a magic typeclass:
IdrisExtSTGCodegen
Posts with mentions or reviews of IdrisExtSTGCodegen.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-05-19.
-
is dependent haskell still a thing?
In practice we will probably have an STG backend for Idris2 before a dependent Haskell, then at least you could link together Haskell and Idris code
-
What are you hyped about today?
I write an Idris2 backend which compiles to STG, yesterday we achieved to run the HelloWorld using functions from GHC.Base :) https://github.com/andorp/IdrisExtSTGCodegen/commit/0150510a7d6160806a85d799768d39f9acc65d30#diff-a15cf9e0e0625f8260bb7b91a4f4ca8e4f4558acf37d4cc834acd2e8a4cdf89aR6
-
Transpiling to GHC Core language
There is a WIP Idris2 to Ext-STG compiler: https://github.com/andorp/IdrisExtSTGCodegen
-
BOB 2021 Andor Penzes - STG Backend for Idris2
Ah, the repo also has the slides of the talk, which are a nice first step to video-less content.
-
Next-gen Haskell Compilation Techniques
| The Idris language versions have always supported easy and modular code generation. I am working on the Idris-ExtSTG backend closely collaborating with Csaba. The progress can be followed here: https://github.com/andorp/IdrisExtSTGCodegen . I am going to give a talk about my experiences at BobKonf 2021: https://bobkonf.de/2021/penzes.html
What are some alternatives?
When comparing tcplugins-zurihac2020 and IdrisExtSTGCodegen you can also consider the following projects:
ghc-whole-program-compiler-project - GHC Whole Program Compiler and External STG IR tooling
typelevel-rewrite-rules - rewrite rules for type-level equalities
Idris2 - A purely functional programming language with first class types
idris2-pack
manual-stg-experiment - Manually constructed STG programs compiled with the standard GHC codegen backend.