Ningning Xie writes:
> Hi all,
>
> I was recently doing some GHC Core related stuff, and I found that it might
> be useful to have a theoretical understanding of the type system for
> writing better practical code. Therefore I started to read papers about GHC
> Core, or System FC, following the
to
understand each design choice involved in the type system.
I wrote a simple literature review that I think might be useful for people
like me. If you're thinking about learning System FC, you might find it
helpful:
https://github.com/xnning/GHC-Core-Literature-Review/blob/master/doc/doc.pdf