I am a French computer science teacher and start to use Crystal for a (French) introduction to Object Oriented Programming. Crystal seems perfect to illustrate the interactions between static and dynamic type-checking with its powerful data-flow static type-checking based on a well-designed upper semi-lattice of types.