Your link is broke. Here it is fixed: https://modules.ceylon-lang.org/modules/ceylon.language/1.0.0/doc https://modules.ceylon-lang.org/modules/ceylon.language/

Your link is broke. Here it is fixed: https://modules.ceylon-lang.org/modules/ceylon.language/1.0.0/doc https://modules.ceylon-lang.org/modules/ceylon.language/1.0.... Very cool type annotations. As a mostly Java developer, I wish API's had this level of documentation, to have it built into the language and type system is wonderful. As a curiosity, is there any tooling to infer or generate the type annotations for methods? I imagine that would make it easier to learn for those who have never worked with a powerful type system before (as you say, even Java's can be confusing).