Hacker Newsnew | comments | show | ask | jobs | submitlogin

The more I think about it the more I really like the whole "Jets" concept (although I'm not sold on the name, I'd love to learn that it's a known concept in the PL field with a nicer name). I'd like to see how such an approach would work out for optimizing something more "fundamental" like the Binary Lambda Calculus.



Haskell has rewrite rules which is how eg stream fusion is implemented.

http://www.haskell.org/ghc/docs/7.0.1/html/users_guide/rewri...

-----




Applications are open for YC Summer 2015

Guidelines | FAQ | Support | Lists | Bookmarklet | DMCA | Y Combinator | Apply | Contact

Search: