Random variables as types | MIT Computational Thinking Spring 2021 | Lecture 11