grin/docs/Readings.md

Readings

http://www.timphilipwilliams.com/posts/2013-01-16-fixing-gadts.html

GHC

Core getting started

• Dive into GHC: Pipeline
• Dive into GHC: Intermediate Forms
• Dive into GHC: Targeting Core

Internals

• GHC (STG,Cmm,asm) illustrated for hardware persons
• GHC Simplifier: Compilation by transformation for non-strict functional languages

LLVM-HS

• Calling External Functions from JIT-compiled LLVM Modules using llvm-hs

GRIN

• Sharing Analysis + EVAL inlining + Unboxing = Deforestation

Recursion schemes

Resources for learning and using recursion schemes.

https://github.com/passy/awesome-recursion-schemes

Thoughts

Limits of recusrion schemes? Maybe a hylo can help to implement the list filter?

• https://stackoverflow.com/questions/18421926/list-filter-using-an-anamorphism
• http://newartisans.com/2018/04/win-for-recursion-schemes

Articles

• Recursion Schemes: A Field Guide (Redux) - List of various recursion schemes with code samples.
• Catamorphisms - Definition on the Haskell Wiki.
• Catamorphisms - Short definition with code on School of Haskell by Edward Kmett.
• Rotating Squares - Using a hylomorphism to rotate a quadtree by Jared Tobin.
• Promorphisms, Pre and Post - Pratical examples of pre- and postpromorphisms by Jared Tobin.
• Time Traveling Recursion Schemes - Exploring histo and futu by example by Jared Tobin.
• Correcting the Visitor pattern - Showing that the Visitor pattern implements an f-algebra for use with a catamorphism (in Java).
• https://stackoverflow.com/questions/36851766/histomorphisms-zygomorphisms-and-futumorphisms-specialised-to-lists

Cheat Sheet

http://b-studios.de/blog/2016/02/21/the-hitchhikers-guide-to-morphisms/

Recursion schemes

Algebras