Today is the second day of SIGPL at Chungnam University in Daejeon.
Atsusi Igarashi who is the most famous researcher in the gradual typing area had a talk in SIGPL.
I have enjoyed his talk about the gradual typing, but I am confused between gradual typing and polymorphism.
I am thirsty for knowledge now!