Live educacional com um pouco de história de linguagens de programação, teoria computacional e finalizando com um pouco de teoria de tipos.
— Eduardo Rafael (@TheEduardoRFS) September 27, 2021
Bora entender o que significa uma linguagem ser "sound" e por que o lambda calculus é considerado unsound.https://t.co/BXZwClSvVH pic.twitter.com/SS4shLjz9N