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.
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!
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 ...
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.
15 comments
[ 1.7 ms ] story [ 42.8 ms ] threadThe paper summarises well about current tech stack and bringing it to the University.
https://news.ycombinator.com/item?id=18638290