Principles of Programming Languages (2011)

#1

Post by Chesco_ » Sat, Dec 24, 2016, 11:16 PM UTC

Principles of Programming Languages (2011)
feederio.com

Re: Principles of Programming Languages (2011)

#2

Post by Nekorosu » Sun, Dec 25, 2016, 1:07 AM UTC

Another good book on this subject http://papl.cs.brown.edu/2014/ It's less profound but easier to understand. Good fit for PLT beginners.

Re: Principles of Programming Languages (2011)

#3

Post by lachm » Sun, Dec 25, 2016, 4:37 AM UTC

A newer version is available elsewhere.

http://pl.cs.jhu.edu/pl/book/dist/book/book.pdf

Re: Principles of Programming Languages (2011)

#4

Post by opvasger » Sun, Dec 25, 2016, 9:22 AM UTC

Not even a mention of functional programming? Makes me wonder

Re: Principles of Programming Languages (2011)

#5

Post by thesnowdog » Sun, Dec 25, 2016, 10:48 AM UTC

opvasger wrote: post #4

Not even a mention of functional programming? Makes me wonder

"Fb is a shunk (flattened) pure functional programming language."

Re: Principles of Programming Languages (2011)

#6

Post by kwhitefoot » Sun, Dec 25, 2016, 11:09 AM UTC

opvasger wrote: post #4

Not even a mention of functional programming? Makes me wonder

How do come to that conclusion? The bulk of the book uses OCaml for examples and defines a simple language called F-flat:

--------------------- 2.3 The F[ Programming Language Now that we have seen how to define and understand operational semantics, we will begin to study our first programming language: F[.

F[ is a shrunk (flattened) pure functional programming language. ---------------------

Sorry about the missing flat symbol, it didn't survive copy and paste from the pdf.