Re: [Haskell-cafe] Exploring Programming Language Theory

2012-12-09 Thread Sebastien Zany
Try http://lambda-the-ultimate.org/node/492 On Sat, Dec 8, 2012 at 2:41 PM, Danny Gratzer wrote: > Sorry for the multiple posts, last time I try to write any decent length > email from my phone... > > Anyways, and that was "a tutorial" not "an introduction". I am also > reading his "The Implemen

Re: [Haskell-cafe] Exploring Programming Language Theory

2012-12-09 Thread Johannes Waldmann
Stephen Tetley gmail.com> writes: > Also Franklyn Turbak and David Gifford's "Design Concepts for > Programming Languages" is very good (and new!) but huge. Yes! I like that book very much, and I use it for teaching semantics and compilation of programming languages. Semantics - by writing inte

Re: [Haskell-cafe] Exploring Programming Language Theory

2012-12-09 Thread Stephen Tetley
If you want compiling functional languages and can relax the requirement for "up to date": Antoni Diller's "Compiling Functional Languages" is good. It is short enough (<300 pages) that you could reasonably work through it and it includes the full source of a compiler in the appendix - written in

Re: [Haskell-cafe] Exploring Programming Language Theory

2012-12-08 Thread Danny Gratzer
Yes sorry, I followed the link off of his website so I generalized a little. On Sat, Dec 8, 2012 at 5:00 PM, Kim-Ee Yeoh wrote: > I should add that IFPL has important chapters written by authors other > than Simon. > > -- Kim-Ee > > > > On Sun, Dec 9, 2012 at 5:58 AM, Kim-Ee Yeoh wrote: > >> S

Re: [Haskell-cafe] Exploring Programming Language Theory

2012-12-08 Thread Kim-Ee Yeoh
I should add that IFPL has important chapters written by authors other than Simon. -- Kim-Ee On Sun, Dec 9, 2012 at 5:58 AM, Kim-Ee Yeoh wrote: > SPJ's IFPL is an excellent starting point to learn the innards of Haskell. > It allows a well-acculturated individual to grab the base of the trunk

Re: [Haskell-cafe] Exploring Programming Language Theory

2012-12-08 Thread Kim-Ee Yeoh
SPJ's IFPL is an excellent starting point to learn the innards of Haskell. It allows a well-acculturated individual to grab the base of the trunk and start climbing the branches, which means reading the research papers (SPJ's website, mainly though not exclusively), all the way to the leaves (readi

Re: [Haskell-cafe] Exploring Programming Language Theory

2012-12-08 Thread Danny Gratzer
Sorry for the multiple posts, last time I try to write any decent length email from my phone... Anyways, and that was "a tutorial" not "an introduction". I am also reading his "The Implementation of Functional Programming Languages". But in any case, I'm liking these books a lot! It's super intere

[Haskell-cafe] Exploring Programming Language Theory

2012-12-08 Thread Danny Gratzer
Hello, Sorry in advance for the soft question: Recently I have been studying more about how a lazy functional language is designed and compiled and have been reading Peyton-Jones's book "implementing functional languages: an introduction" ___ Haskell-Cafe