<div>Shriram,</div> <div> </div> <div>looks like Sigrid have provided quite a great feedback already. </div> <div> </div> <div>I too found your book to be a gem and learned a lot in the proceses. As someone who is interested in functional programming extending into programming languages, it is just the right type of introductory material that gave me a lot of ah-ha moment. I especially like the fact that it is a journey book that took you through the process of discovery. And anyone who are already interested to learn more, I will heartily recommend them to read the book.<br> </div> <div>But as you said below, this is not a book designed for your everyday industrial developers who are just interested in the authoritative sound bytes on type systems. </div> <div> </div> <div class="gmail_quote">On Fri, Dec 11, 2009 at 7:34 AM, Shriram Krishnamurthi <span dir="ltr"><<a href="mailto:sk@cs.brown.edu" target="_blank">sk@cs.brown.edu</a>></span> wrote:<br> <blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">You also have a key insight, which is that the problem w/ that section<br>of PLAI is not what IS there but what isn't.<br> <br>What is there is, I think, a fairly useful *academic* introduction.<br>It was never intended for an industrial person to quickly get a gist<br>of what is going on. In a sense, it's written backwards: only after<br> you understand what is happening are you given told what does and<br>doesn't make sense, by which time (a) most people have stopped reading<br>and (b) a few like you who haven't are now not clear what's a tree and<br> what's the forest. It is conceivable that putting the back up front,<br>and then repeating it in technical detail, can have some value.</blockquote> <div> </div> <div>Unfortunately that's how most people consume information - they want the executive summary, and only if the summary is intereting enough will they dig deeper.</div> <div> </div> <div>Furthermore, given how developers these days just google for answers on sites like stackoverflow instead of buying books, the information will have to be much more modularized and accessible just to compete with other false information out there. A PDF download is nice as a book format but it doesn't easily allow deep links.</div> <div> </div> <div>Also, while authoritative definition about type system will be interesting to everyday developers, the other aspects of PL might not immediately intrigue them, so it will help to pull it out of the bigger context and make it an independent topic.</div> <div> </div> <div>Perhaps a site with a few pages summarizing what type systems are, what they do, what attributes describe them, and why strong typing makes no sense, and then link back to PLAI for more in-depth information? Of course, this is just an idea. </div> <div> </div> <div>Cheers,</div> <div>yc</div> <div> </div></div>