@ceylonlang

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

ceylon-lang.org
Joined November 2011
  • Tweets543
  • Following431
  • Followers1.3K
42Media
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
3
6
63
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@ceylonlang28 Oct 2018
Paper exploring Ceylon's type system at OOPSLA 2018. Thanks, @rossetate! cs.cornell.edu/~ross/publica…
8
2
17
Paper exploring Ceylon's type system at OOPSLA 2018. Thanks, @rossetate! cs.cornell.edu/~ross/publica…
1
10
2
24
2
1
4
Replying to @ThePracticalDev
@ceylonlang because provide many features most likely to become the next standards for other languages
4
1
6
"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
4
7
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(). github.com/eclipse/ceylon/is…
2
4
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 ⍼⍼⍼@1ovthafew14 Sep 2018
TIL that if you want to capture a wildcard in a Java class instantiation, you have to use the diamond <> operator. OTOH if you want wildcard capture for a method invocation, you *can't* use the diamond operator. Very unintuitive asymmetry.
3
3
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.
3
5
Replying to @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.
4
1
7
Ceylon retweeted
Mael@eldermael29 Aug 2018
Replying to @wbruce
@ceylonlang not that obscure but the best designed programming language that I have seen, hands down.
6
9
Replying to @nmajorov @ceylonlang
To complement #thrillon with server-side #webdevelopment in @ceylonlang you can use: - @gyokuronet : gyokuro.net/ - @vertx_project : vertx.io/docs/vertx-web/ceyl… - @springboot : github.com/DiegoCoronel/ceyl… - @wildflyswarm : github.com/DiegoCoronel/ceyl…
6
5
Replying to @vogella @nbartlett @jodastephen @kotlin @dart_lang
I'd vote for @ceylonlang and @typescriptlang .
1
2
8
Enjoy typesafe and reative client-side #HTML development in @ceylonlang with the new #thrillon module: modules.ceylon-lang.org/repo…
1
11
1
13
The next version of @ceylonlang will be compatible with @springframework 5's support for Nullable autowired types! github.com/bjansen/ceylon-sp…

GitHub - bjansen/ceylon-spring5: Simple example that shows how to use Ceylon nullable types in...

Simple example that shows how to use Ceylon nullable types in Spring 5 - bjansen/ceylon-spring5

github.com
8
16
#ceylonlang on @InfoQ — infoq.com/news/2017/09/ceylo…

The Ceylon Language Is Now Eclipse Ceylon

The Ceylon Language, the JVM and JavaScript language created by Red Hat, joined the Eclipse Foundation to become Eclipse Ceylon on 21st August. The rationale behind this move is to distance the...

infoq.com
11
1
11
Jvm OO lang with flow typing and no empty-sequence errors? Go on... xitter.cf/ceylonlang/status/8753…
Ceylon@ceylonlang15 Jun 2017
#ceylonlang TOTD: Difference between known-nonempty vs possibly-empty streams. Info preserved by operations on streams helps null-safety.
4
9
Load more