Poli oraio talk tou SPJ gia dynamic typing stin Haskell https://skillsmatter.com/skillscasts/8392-a-reflection-on-types-simon-peyton-jones-microsoft-research
Edo einai kai to paper https://www.seas.upenn.edu/~sweirich/papers/wadlerfest2016.pdf