Ceylon was an object-oriented, strongly statically typed programming language with an emphasis on immutability, created by Red Hat.

Ceylon programs run on the Java virtual machine (JVM), and could be compiled to JavaScript.

[6][7] The language design focuses on source code readability, predictability, toolability, modularity, and metaprogrammability.

[14] Ceylon is heavily influenced by Java's syntax, but adds many new features.

While this may cause boxing overhead in some situations, it makes the type system more uniform.