Ceylon is a programming language for writing large programs in team environments. It is elegant, highly readable, extremely typesafe... [more on the site]
- Tweets 543
- Following 431
- Followers 1,279
- Likes 154
Ceylon retweeted
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
Ceylon retweeted
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!
Paper exploring Ceylon's type system at OOPSLA 2018. Thanks, @rossetate!
cs.cornell.edu/~ross/publica…
8
17
Paper exploring Ceylon's type system at OOPSLA 2018. Thanks, @rossetate!
cs.cornell.edu/~ross/publica…
1
10
24
Ceylon retweeted
@ceylonlang because provide many features most likely to become the next standards for other languages
4
6
Ceylon retweeted
"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
Ceylon retweeted
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
Ceylon retweeted
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.
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
Ceylon retweeted
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
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
7
Ceylon retweeted
@ceylonlang not that obscure but the best designed programming language that I have seen, hands down.
6
9
Ceylon retweeted
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
I'd vote for @ceylonlang and @typescriptlang .
1
2
8
Ceylon retweeted
Enjoy typesafe and reative client-side #HTML development in @ceylonlang with the new #thrillon module: modules.ceylon-lang.org/repo…
1
11
13
Ceylon retweeted
The next version of @ceylonlang will be compatible with @springframework 5's support for Nullable autowired types! github.com/bjansen/ceylon-sp…
8
16
Ceylon retweeted
Jvm OO lang with flow typing and no empty-sequence errors? Go on...
#ceylonlang TOTD: Difference between known-nonempty vs possibly-empty streams. Info preserved by operations on streams helps null-safety.
4
9