Ceylon

Ceylon is a programming language for writing large programs in team environments. It is elegant, highly readable, extremely typesafe... [more on the site]

[Romain Linsolas @romaintaz]

Je vois passer toutes ces histoires de « 10x developer ».
Moi je suis un 2x developer !
Après tout, un développeur azerty en vaut deux non ?
#PasDeJourFeriePourLHumour

[Ross Tate @rossetate]

Fun project with @fmbck and @ceylonlang on how to easily and composably make subtyping systems with union and intersection types more powerful and yet still well-behaved and decidable!

[Ceylon @ceylonlang]

Paper exploring Ceylon's type system at OOPSLA 2018. Thanks, @rossetate!

https://t.co/Fm0MMWtfAL

[ᴊᴏʀᴅɪ ꜱᴏʟᴀ 𝕤𝕠𝕞𝕖𝕥𝕙𝟚𝕤𝕒𝕪 🇺🇦 @jordisola_]

@ThePracticalDev @ceylonlang because provide many features most likely to become the next standards for other languages

[Gavin King ⍼⍼⍼ @1ovthafew]

"Generated" value equality is a popular language feature, but I think it's surprisingly tricky, and I think that most languages that do it do it wrong. @ceylonlang

[Gavin King ⍼⍼⍼ @1ovthafew]

At the value level you have values, functions, and higher-order functions. At the type level you also have types, type function, and higher-order type functions. You need a higher-order type function to really correctly write down the signature of map().

https://t.co/a5Y0YYQOP4

[Gavin King ⍼⍼⍼ @1ovthafew]

Note that Ceylon doesn't have wildcard capture except for Java interop, because:

1. with reified generics, it would require some extra work at runtime, and
2. with declaration-site variance, it's essentially never needed.

[Gavin King ⍼⍼⍼ @1ovthafew]

I just implemented proper support for wildcard capture when calling Java from Ceylon, and fixed this asymmetry: wildcard capture happens automatically whenever Ceylon infers type arguments to a Java method or constructor.

[Mickael Istria (from @[email protected]) @mickaelistria]

@BrightMuppet @eclipse_che @java Actually, the very best thing I've seen is to not have null as a special but as a value-type and support union types to explicitely make a variable nullable. @ceylonlang has the most beatiful null-safe approach I've ever seen, but I believe there are other ones doing it well.

[Mael - Miguel Enriquez (On Hiatus) @eldermael]

@wbruce @ceylonlang not that obscure but the best designed programming language that I have seen, hands down.

[David Festal @dfatwork]

@nmajorov @ceylonlang To complement #thrillon with server-side #webdevelopment in @ceylonlang you can use:
- @gyokuronet : https://t.co/LnUeJtcq7c
- @vertx_project : https://t.co/ta71pVoxZT
- @springboot : https://t.co/NJZXs3VPU3
- @wildflyswarm : https://t.co/9yPzOuxvvp

[Mickael Istria (from @[email protected]) @mickaelistria]

@vogella @nbartlett @jodastephen @kotlin @dart_lang I'd vote for @ceylonlang and @typescriptlang .

[David Festal @dfatwork]

Enjoy typesafe and reative client-side #HTML development in @ceylonlang with the new #thrillon module: https://t.co/ppeaclZosd

[Bastien Jansen @BastienJansen]

The next version of @ceylonlang will be compatible with @springframework 5's support for Nullable autowired types! https://t.co/9FLqRfemfN

[Ceylon @ceylonlang]

#ceylonlang on @InfoQ — https://t.co/z1mBKdS9KI

[http406 @http406]

Jvm OO lang with flow typing and no empty-sequence errors? Go on... https://t.co/egWCOGja7F