Awesome
GRIN
The name GRIN is short for Graph Reduction Intermediate Notation, and it is an intermediate language for graph reduction. GRIN is the optimizer and code generator component of the GRIN Compiler project which includes language frontends for Haskell, Idris and Agda. To get the big picture of the project check the project website. For an overview of the optimizer read <a href="http://nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/The GRIN Project.pdf"> The GRIN Project </a> paper. To grasp the details take your time and read Urban Boquist's PhD thesis on <a href="http://nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf"> Code Optimisation Techniques for Lazy Functional Languages </a>.
Presentations
- We presented the core ideas of GRIN at Haskell Exchange 2018. slides video
- The Next-gen Haskell Compilation Techniques (2021) presentation gives a high-level overview of the project motivation. slides video
Read our paper A modern look at GRIN, an optimizing functional language back end (2019) to get an overview of GRIN related projects and other whole program compilers i.e. Boquist GRIN, UHC, JHC, LHC, HRC, MLton
Also check the GRIN transformation example from Boquist PhD and an example from our implementation.
Support
The project is supported by these awesome backers. Special thanks to our gold sponsors:
Sam Griffin
<a href="http://holmusk.com/"> <img width="30%" src="https://raw.githubusercontent.com/grin-compiler/grin-compiler.github.io/master/assets/holmusk/Holmusk_masterlogo_blue.svg" alt="Holmusk logo" /> </a>If you'd like to join them, please consider become a backer or sponsor on Patreon.
<a href="https://www.patreon.com/csaba_hruska"> <img src="https://c5.patreon.com/external/logo/become_a_patron_button.png" width="150"/> </a>GRIN IR
<a href="http://nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=41"> <img src="https://raw.githubusercontent.com/grin-compiler/grin/master/images/grin-syntax.png" width="500" > </a>Showcase
Setup
Installing LLVM
Homebrew
Example using Homebrew on macOS:
$ brew install llvm-hs/llvm/llvm-7
Debian/Ubuntu
For Debian/Ubuntu based Linux distributions, the LLVM.org website provides binary distribution packages. Check apt.llvm.org for instructions for adding the correct package database for your OS version, and then:
$ apt-get install llvm-7-dev
Nix
To get a nix shell with all the required dependencies do the following in the top level folder.
nix-shell
To run the example do the following from the top level folder.
(cd grin; cabal run grin -- grin/opt-stages-high-level/stage-00.grin)
To run a local Hoogle server with Haskell documentation do the following.
hoogle server --port 8087 1>/dev/null 2>/dev/null&
Build GRIN
stack setup
stack build
Usage
stack exec -- grin grin/grin/opt-stages-high-level/stage-00.grin
How to Contribute
See: Issues / Tasks for new contributors Keep it simple: We follow the fundamentals laid down in HaskellerZ - Feb 2018 - Getting things done in Haskell
Example Front-End
Read about how to <a href="http://nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=64">generate GRIN code</a> from a frontend language.
Also check the corresponding source code.
i.e.
- Lambda/Syntax.hs - front-end language defintion
- lambda-grin/test - directory including generated Lambda and GRIN code
Simplifying Transformations
| Transformation | Schema |
|---|---|
| vectorisation <br><br> source code: <br> Vectorisation2.hs | <img src="images/vectorisation.png" width="500"> |
| case simplification <br><br> source code: <br> CaseSimplification.hs | <img src="images/case-simplification.png" width="500"> |
| split fetch operation <br><br> source code: <br> SplitFetch.hs | <img src="images/split-fetch-operation.png" width="500"> |
| right hoist fetch operation <br><br> source code: <br> RightHoistFetch2.hs | <img src="images/right-hoist-fetch.png" width="500"> |
| register introduction <br><br> source code: <br> RegisterIntroduction.hs | <img src="images/register-introduction.png" width="500"> |