FLflubert·Nov 6, 2020
Maybe also add Idris?
https://github.com/chrrasmussen/Idris2-Erlang
In Why Typing Erlang is Hard: Standard Erlangchristian-public
Idris2-Erlang
Idris2020–2020
christian-public / Idris2-Erlang
Idris2-Erlang
Erlang code generator for Idris 2
2Distinct people
3Mentions
0Explicit recommenders
149GitHub stars
What to know before exploring
What it is
Erlang code generator for Idris 2
GitHub
Where it is used
No documented product use has been verified yet.
What people are saying
No recommendation phrase was found in the indexed comments.
No classified warning is attached to this page. Read the discussions before treating silence as approval.
Also in these discussions
No other repository is repeatedly linked in the same discussions.
This week on Hacker News
Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 5:04:57 PM UTC.
No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.
Mentions over time
HN mentions by week3 dated mentions
Observed mentions: 2020-09-28 18:57:15 UTC to 2020-11-06 23:11:10 UTC. Weeks start Monday, UTC.
Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.
View mention counts and date ranges
| Period | Start (UTC) | End (exclusive, UTC) | Mentions | Submissions | Comments |
|---|---|---|---|---|---|
| Sep 28 | 2020-09-28 00:00:00 UTC | 2020-10-05 00:00:00 UTC | 2 | 1 | 1 |
| Oct 5 | 2020-10-05 00:00:00 UTC | 2020-10-12 00:00:00 UTC | 0 | 0 | 0 |
| Oct 12 | 2020-10-12 00:00:00 UTC | 2020-10-19 00:00:00 UTC | 0 | 0 | 0 |
| Oct 19 | 2020-10-19 00:00:00 UTC | 2020-10-26 00:00:00 UTC | 0 | 0 | 0 |
| Oct 26 | 2020-10-26 00:00:00 UTC | 2020-11-02 00:00:00 UTC | 0 | 0 | 0 |
| Nov 2 | 2020-11-02 00:00:00 UTC | 2020-11-09 00:00:00 UTC | 1 | 0 | 1 |
What Hacker News says
3 sourcesI assume that you mean a code generator for Idris 2.
I think the easiest way to get going is to start from an existing code generator. Idris 2 currently supports: Chez Scheme, Racket, Gambit Scheme and JavaScript. Pick the language you are most familiar with.
The files that are relevant to the Chez Scheme code generator are located here (similar locations for the other code generators): https://github.com/idris-lang/Idris2/blob/master/src/Compile..., https://github.com/idris-lang/Idris2/blob/master/src/Compile..., https://github.com/idris-lang/Idris2/blob/master/support/che...
The current code generators are based on an intermediate representations called `NamedCExp`, defined here: https://github.com/idris-lang/Idris2/blob/master/src/Core/Co...
`NamedCExp` describe various forms an expression can take. These need to be translated into the
Read the rest
target language. For example `NmApp` represents calling a function with the given arguments. You don't need to implement everything to make a proof of concept.
The following document describe how to add a new code generator (It does not go into details of building it): https://idris2.readthedocs.io/en/latest/backends/custom.html
You can see an overview of the different intermediate representations here: https://github.com/chrrasmussen/Idris2-Erlang/blob/master/do...
(Note that ErlExpr and AbstractFormat is specific to the Erlang code generator)
If you have more questions, you are welcome to join the Idris community at any of the locations listed here: https://www.idris-lang.org
Show HN: Erlang code generator for Idris 2
98 points · Open discussion