Content deleted Content added
m Fixed typo and added comparative text |
→Type System: remove sentence about negation types – irrelevant, this article is about Ceylon, not Whiley |
||
Line 77:
One of the most novel aspects of Ceylon is its [[type system]]. Ceylon foregoes java's primitive types<ref>{{cite web|last1=King|first1=Gavin|title=Ceylon: Language Design FAQ|url=http://ceylon-lang.org/documentation/faq/language-design/}}</ref> and [[Object type|boxing]] in favor of a type system composed entirely of first-class objects. While this may cause boxing overhead in certain situations, it makes the type system more uniform.
Ceylon allows for union and intersection types, in a similar fashion to TypeScript, Whiley and Flow
Union types, written <code>A|B</code>, allow a variable to have more than one type.
| |||