gren-lang / gren-lang/compiler
Make curried transformation of kernel functions the compilers responsibility
Nobody has claimed this yet.
- Dominant language
- Haskell
- Stars
- 503
- Forks
- 29
- PR merge metrics
- No merged PRs in 30d
Description
When defining kernel code, it's the kernel code authors job to wrap the functions in a curry transformater, so that it can be called safely from compiled Elm code.
This transformation should rather be the job of the compiler, so that the compiler is more free to optimize function calls into kernel code.
Kernel code should be free to perform direct calls whenever it can.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
No files or tests are named. Start by tracing how the compiler currently handles calls to kernel functions and where the curry transformation is applied; compare that with the generated calls from compiled Gren code. Done means the compiler owns the transformation while kernel code can make direct calls when appropriate, with compiler tests covering both paths.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell
- Domain
- compilers
- Issue type
- Refactor
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 30/100