Will Crichton on Twitter: "Curious if y’all have thoughts on Harper’s PFPL? That was my undergrad, for better out for worse. I always found TAPL more approachable.… https://t.co/PBCO76aW6U"

Country	Code	For customers of
United States	40404	(any)
Canada	21212	(any)
United Kingdom	86444	Vodafone, Orange, 3, O2
Brazil	40404	Nextel, TIM
Haiti	40404	Digicel, Voila
Ireland	51210	Vodafone, O2
India	53000	Bharti Airtel, Videocon, Reliance
Indonesia	89887	AXIS, 3, Telkomsel, Indosat, XL Axiata
Italy	4880804	Wind
3424486444	Vodafone
» See SMS short codes for other countries

sofía celi‏ @claucece 18 May 2020

I'm currently reading 'Mastering Go', 'Programming Language Pragmatics' and 'Compilers: Principles, Techniques, and Tools'. I'm loving them.. any other suggestions for someone learning programming language design and compilers? @pati_gallardo @johnregehr

24 replies 22 retweets 181 likes

John Regehr‏ @johnregehr 18 May 2020

Replying to @claucece @pati_gallardo

I like "Engineering a Compiler" by Cooper and Torczon quite a bit better than the dragon book alas I don't know enough about PL design to have a good recommendation, but I did quite enjoy "Structure and Interpretation of Computer Programs" when I read it some time ago

3 replies 1 retweet 41 likes

John Regehr‏ @johnregehr 18 May 2020

Replying to @johnregehr @claucece @pati_gallardo

perhaps @samth or @ShriramKMurthi has a recommendation or two?

1 reply 0 retweets 3 likes

ShriramKrishnamurthi‏ @ShriramKMurthi 19 May 2020

Replying to @johnregehr @claucece and

Definitely second Cooper and Torczon. I studied compilers from them pre-book and they're definitely the people I'd want to learn about compilers from. The Dragon Book is a historical artifact now and should not be taken seriously as an educational tool. »

2 replies 3 retweets 26 likes

ShriramKrishnamurthi‏ @ShriramKMurthi 19 May 2020

Replying to @ShriramKMurthi @johnregehr and

For PL design, I have a very simple take: I do not believe there is actually a decent book about PL *design*. Some of the older (70s) books actually tried to talk about design but are really limited in their scope and weak in their methods. We just don't do "design" books. »

2 replies 1 retweet 16 likes

ShriramKrishnamurthi‏ @ShriramKMurthi 19 May 2020

Replying to @ShriramKMurthi @johnregehr and

But three books worth reading: Essentials of Programming Languages. Any edition, but I am especially fond of the *1st* edition: its objects material is awful but everything else is great for a PL geek. I used to lug it everywhere as a late-ugrad/early-PhD. »

1 reply 1 retweet 14 likes

ShriramKrishnamurthi‏ @ShriramKMurthi 19 May 2020

Replying to @ShriramKMurthi @johnregehr and

Second: The canonical book to learn about types is Types and Programming Languages by Pierce. There's no point even discussing this. »

3 replies 2 retweets 17 likes

ShriramKrishnamurthi‏ @ShriramKMurthi 19 May 2020

Replying to @ShriramKMurthi @johnregehr and

Third: I immodestly suggest my own Programming Languages: Application and Interpretation [https://www.plai.org/ ], which is my take on fixing the flaws of EoPL and also informed by having worked with types and objects (especially 2nd ed). It's free and on-line.

3 replies 3 retweets 24 likes

Sam Tobin-Hochstadt‏ @samth 19 May 2020

Replying to @ShriramKMurthi @johnregehr and

I will agree with Shriram on all points, except that not having to be modest, I will recommend his book first. It's the best book to start with if you're just learning PL. If you want a second course, TaPL or Semantics Engineering by Felleisen et al are good options.

1 reply 0 retweets 16 likes

Sam Tobin-Hochstadt‏ @samth 19 May 2020

Replying to @samth @ShriramKMurthi and

But good second courses will depend on what you want to do, whether it's read PL papers, learn about dependent types, prove theorems, or something else.

1 reply 0 retweets 2 likes

Will Crichton‏ @wcrichton 19 May 2020

Replying to @samth @ShriramKMurthi and

Curious if y’all have thoughts on Harper’s PFPL? That was my undergrad, for better out for worse. I always found TAPL more approachable.

8:56 AM - 19 May 2020

1 Like

1 reply 0 retweets 1 like

1. Sam Tobin-Hochstadt‏ @samth 19 May 2020
  Replying to @wcrichton @ShriramKMurthi and
  
  For me, I don't know of a situation where I'd recommend PFPL, except for a few of the chapters (say, on Algol or parallel algorithms). For general uses, there's typically something that's more approachable or focused. That would change if I had Bob's taste in doing PL research.
  
  3 likes
  Thanks. Twitter will use this to make your timeline better. Undo
  
  Undo

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

Tweets

Will Crichton

@wcrichton

Tweets

Loading seems to be taking a while.

false

Saved searches

Tweets

Will Crichton

@wcrichton

Tweets

Go to a person's profile

Saved searches

Promote this Tweet

Block

Tweet with a location

Your lists

Create a new list

Copy link to Tweet

Embed this Tweet

Embed this Video

Preview

Why you're seeing this ad

Log in to Twitter

Sign up for Twitter

Not on Twitter? Sign up, tune into the things you care about, and get updates as they happen.

Two-way (sending and receiving) short codes:

Confirmation

Welcome home!

Tweets not working for you?

Say a lot with a little

Spread the word

Join the conversation

Learn the latest

Get more of what you love

Find what's happening

Never miss a Moment

Loading seems to be taking a while.

Promoted Tweet

false