grin-compiler/grin
1
1
Fork 0
mirror of https://github.com/grin-compiler/grin.git synced 2024-09-11 07:25:28 +03:00
Code Issues Projects Releases Wiki Activity

link to transformation description; links for good materials for recursion schemes

Browse Source
This commit is contained in:
Csaba Hruska 2017-09-10 12:04:09 +01:00
parent 495ddac6cb
commit a50dfbd0ef
2 changed files with 11 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Readings.md
View File

@ -1,3 +1,9 @@
# Readings
http://www.timphilipwilliams.com/posts/2013-01-16-fixing-gadts.html
https://medium.com/@jaredtobin/practical-recursion-schemes-c10648ec1c29
https://github.com/passy/awesome-recursion-schemes
Limits of recusrion schemes? Maybe a hylo can help to implement the list filter?
- https://stackoverflow.com/questions/18421926/list-filter-using-an-anamorphism

10
TODO.md
View File

@ -17,9 +17,9 @@
simplifaction transformations required by the codegen
- [ ] vectorisation
- [x] case simplification
- [x] split fetch operation
- [ ] right hoist fetch operation
- [x] register introduction
- [ ] <a href="http://nbviewer.jupyter.org/github/andorp/grin/blob/master/papers/boquist.pdf#page=113">vectorisation</a>
- [x] <a href="http://nbviewer.jupyter.org/github/andorp/grin/blob/master/papers/boquist.pdf#page=116">case simplification</a>
- [x] <a href="http://nbviewer.jupyter.org/github/andorp/grin/blob/master/papers/boquist.pdf#page=118">split fetch operation</a>
- [ ] <a href="http://nbviewer.jupyter.org/github/andorp/grin/blob/master/papers/boquist.pdf#page=123">right hoist fetch operation</a>
- [x] <a href="http://nbviewer.jupyter.org/github/andorp/grin/blob/master/papers/boquist.pdf#page=126">register introduction</a>