https://www.maestroalberto.it/2012/09/04/typing-io-sistema-per-imparare-i-linguaggi-di-programmazione-senza-sforzo/