From Theory to Systems: A Grounded Approach to Programming Language Education

https://arxiv.org/abs/1904.06750

by furcyd • 7 years ago

130 14 7 years ago

wcrichton5• 7 years ago

Hi, author of the paper here, happy to answer any questions.

tindleaj2• 7 years ago

Any PL related material you'd recommend as a prerequisite for these materials? I don't have a formal CS background, but I do have a few years' professional experience.

wcrichton5• 7 years ago

The only prerequisites are basic discrete math (first-order logic, sets, etc.) and computer systems (C, memory management, threading) knowledge.

primitivesuave• 7 years ago

This is a great trend I'm seeing in college-level CS education, where (generally younger) people are bringing real-world ideas into the classroom and presenting them by their underlying theory - this will certainly be useful knowledge for your students and I thank you for doing so!

wcrichton5• 7 years ago

Thanks for the kind words!

rahulrrixe• 7 years ago

Is the course content available online? Do you have any community around it?

The paper summarises well about current tech stack and bringing it to the University.

wcrichton5• 7 years ago

Yes, the content is on the course website: http://cs242.stanford.edu/f18/

YorkshireSeason• 7 years ago

How did the students react to session types? They are awkward to use in practise (communication topology is usually data dependent) and Rust is awkward, so both together should be really clunky ...

aouk2• 7 years ago

https://news.ycombinator.com/item?id=18638290 is it part of what you want to achieve ?

tindleaj2• 7 years ago

Awesome for the author to post course material online! The use of Rust and Webassembly seem really interesting. Definitely something I'll check out.

765785• 7 years ago

I am interested in this sort of work. Where in industry can you get hired for this sort of stuff?

aouk2• 7 years ago

This can be helpful and interesting for the ones who are interested in this stuff. I think that it is part of what the author want to achieve, correct me if i am wrong, thank you.

https://news.ycombinator.com/item?id=18638290

From Theory to Systems: A Grounded Approach to Programming Language Education

Related Stories