This is awesome. I look forward to following the progression.
Write You a Haskell: Building a modern functional compiler from first principles
21–30 of 48 posts
Re: Write You a Haskell: Building a modern functional compiler from first principles
#22It looks like the author of this (Stephen Diehl) is looking for a job in Boston. Maybe HN can help him out? https://twitter.com/smdiehl/status/538494839189700608
He surely must be getting headhunted a lot.
Re: Write You a Haskell: Building a modern functional compiler from first principles
#23It looks like the author of this (Stephen Diehl) is looking for a job in Boston. Maybe HN can help him out? https://twitter.com/smdiehl/status/538494839189700608
He surely must be getting headhunted a lot.
If this guy isn't getting headhunted, I have no idea what headhunting is. It's pretty rare for people to be able to write correct and easy-to-read guides to such low level concepts.
Re: Write You a Haskell: Building a modern functional compiler from first principles
#24Earlier quoted context omitted.
He surely must be getting headhunted a lot.
If this guy isn't getting headhunted, I have no idea what headhunting is. It's pretty rare for people to be able to write correct and easy-to-read guides to such low level concepts.
Finding a job is easy, finding the right job is hard for people like this.
Re: Write You a Haskell: Building a modern functional compiler from first principles
#25This is really cool! I'm excited to read the section on row polymorphism.
Re: Write You a Haskell: Building a modern functional compiler from first principles
#26It looks like the author of this (Stephen Diehl) is looking for a job in Boston. Maybe HN can help him out? https://twitter.com/smdiehl/status/538494839189700608
Huh, I just realized I inherited a JS codebase from him in a previous job. The code was ingenious, perhaps too ingenious to maintain.
Re: Write You a Haskell: Building a modern functional compiler from first principles
#27I was just looking at the fay compiler because i wanted to learn more how haskell is compiled. This looks awesome.
Re: Write You a Haskell: Building a modern functional compiler from first principles
#28On the subject of compiler tutorials, there's a really sweet tutorial I found a while back by Abdulaziz Ghoulom (http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
It simplifies some things (for example tiling while producing the final asm).
Re: Write You a Haskell: Building a modern functional compiler from first principles
#29Now this is very interesting! There are plenty of compiler writing tutorials for conservative, imperative programming languages with a straightforward static type system (like C). I did study a little bit of compilers for functional languages from Simon Peyton-Jones' old book "The Implementation of Functional Programming Languages" [0]. It predates the Haskell programming language and uses a contemporary research lan…
Note that SPJ's book (1987) pre-dates Wadler's popularization of monads (1992) by a good 5 years, and Moggi's idea to use monads to describe different notions of computation by 4 years^1. So they're missing for a reason. 1. http://www.cs.cmu.edu/afs/cs/user/crary/www/819-f09/Moggi91....
Don't forget that Simon Peyton Jones 2nd book on compiling functional languages written with PJ Lester is also out of print but available from him directly on the web and includes source code from the book. Way fun, if slightly dated stuff.
http://research.microsoft.com/en-us/um/people/simonpj/Papers...
Re: Write You a Haskell: Building a modern functional compiler from first principles
#30Very interested in seeing how he'll deal with lexing Haskell. It's a major pain, tools like Parsec are very good out of the box with whitespace insensitivity, but not whitespace sensitive stuff.