Да, котлин - это единственный язык, который правильно проектируют.
кстати, а серьёзно, если бы ты был главным проектировщиком языка (статически типизированного) он бы выглядел как котлин, или это было что-то другое, например нечто большее похожее на окамл, типизированный лисп или еще с более специфичными вкусами?