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