Tony Morris

@oxbow_lakes you know ceylon is a joke, so why bother?

@dibblego I think you are being unfair. It's interesting to see people grow a language. It has some interesting ideas

@oxbow_lakes I have yet to see anything more interesting than funny out of ceylon. Convince me. One thing.

@dibblego union types (incl how they implement Maybe), decidable type system (+ all types expressable in language itself)

@oxbow_lakes @dibblego I'm wondering: What will they do if their type system design choices fail to cover a useful set of programs?

@oxnrtr @dibblego I think we can at least be sure their type system will be improvement over java

@oxbow_lakes @oxnrtr I'm not so sure.

@dibblego @oxnrtr how could it be worse? Java haz teh 2 orthogonal type systems, covariant mutable structures, use-site variance, no bottom