Ceylon's Union and Intersection Types: Practical Static Typing on the JVM
Ceylon's union and intersection types enable precise modeling of heterogeneous data on the JVM while maintaining static type safety and exhaustive pattern matching.
Loading…
ReadMeFeed / Community knowledge
Real questions. Useful conversations. Find the people who know your stack.
Ceylon's union and intersection types enable precise modeling of heterogeneous data on the JVM while maintaining static type safety and exhaustive pattern matching.