hydraz

4 ms·

1. 1.▲
   Compositional Typing for ML(hydraz.semi.works)

   1 points by hydraz 8y ago|0 comments
2. 2.▲
   Amulet's New Type Checker(hydraz.semi.works)

   13 points by hydraz 9y ago|1 comments
3. 3.▲
   by hydraz 9y ago

   GHC doesn't actually perform stream fusion. Not by default, anyway: The default (by that I mean "ships with base", not that it's baked into the compiler) is something weaker, called build/foldr fusion, described b