soirée ceylon avec stéphane epardaud

1

Introduction à CeylonStéphane Épardaud

Red Hat

2

Plan d´attaque

• Ceylon, c'est quoi?

• Pourquoi

• Petit tour

• Démo

• La communauté

• Statut

2

3

À propos de Stéphane Épardaud

• Projets Open-Source–RESTEasy, Ceylon

–jax-doclets, modules Play!, Stamps.js

• Contributeur Ceylon depuis…–13 mai 2011 (un mois après Ceylon sur SlashDot)

–compilo, ceylondoc, Herd

• Équipe Riviera JUG

• http://stephane.epardaud.fr

3

4

Origines de Ceylon

• Lancé et dirigé par Gavin King

• Résoudre les frustrations de Java

4

5

Qu´est-ce que Ceylon ! 

• Ceylon est–puissant, lisible, prédictible

• Ceylon a

–une plate-forme, modularité, outillage

5

6

Introduction à Ceylon

7

Une bête classe

• Ça vous rappelle quelque-chose ?

7

class Rectangle() {    Integer width = 0;    Integer height = 0;        Integer area() {        return width * height;    }}

8

Une vraie classe Ceylon

• Pas (trop) de surprise

8

shared class Rectangle(width, height) {

    shared Integer width;    shared Integer height;        shared Integer area() {        return width * height;    }}

9

Où est mon constructeur ?

• Dans le corps de la classe

9

shared class Rectangle(width, height) {    shared Integer width;    shared Integer height;

    // it is here!    if (width == 0 || height == 0) {

        throw;    }        shared Integer area() {        return width * height;    }}

10

Premières différences

• Règles d´accès plus simple–Pas de `protected`, `package`, `private`

–`shared` = quasi-public, sinon scope-privé

10

11

Attributs

• Immuable par défaut

11

class CircleFromMarseille() {    Integer scale = 1;    variable Integer radius := 2;    radius++;    Integer diameter {        return diameter * 2;    }    assign diameter {        radius := diameter / 2;     }}

12

Attributs

• Sauf si marqué variable

• Affecté avec :=

12

class CircleFromMarseille() {    Integer scale = 1;    variable Integer radius := 2;    radius++;    Integer diameter {        return radius * 2;    }    assign diameter {        radius := diameter / 2;     }}

13

Attributs

• Getter/setter sans le syndrôme du canal carpien

13

class CircleFromMarseille() {    Integer scale = 1;    variable Integer radius := 2;    radius++;    Integer diameter {        return radius * 2;    }    assign diameter {        radius := diameter / 2;     }}

14

Héritage

14

shared class Point(x, y) {    shared Integer x;    shared Integer y;}

shared class Point3D(x, y, z)        extends Point(x, y) {    shared Integer z;}

15

Abstractions

• Méthodes, attributs et classes peuvent être redéfinies–factory pattern

• On ne peut pas redéfinir sauf si–`default`: peut être redéfini, avec impl par défaut

–`formal`: doit être redéfini, sans impl par défaut

• `@Override` en Java => `actual` en Ceylon–Pas optionnel

15

16

Abstractions (exemple)

16

abstract class Shape() {    shared formal Integer area();    // magic: this is toString()    shared actual default String string {        return "Abstract area: " area.string " m2";    }}

class Square(Integer width) extends Shape() {    shared actual Integer area() {         return width * width;    }    shared actual String string  =         "Square area: " area.string " m2";}

17

Surcharge

• Pas de surcharge–WTF!?*

• La surcharge, c´est mal

* : Heing !?

17

18

La surcharge, ça sert pour

• Les paramètres optionnels–Ceylon les supporte–Même le passage par nom

• Pour travailler sur des (sous-)types différents–Pas solide si un nouveau sous-type est introduit

–Ceylon supporte les types unions et les switch par type

18

19

Paramètres optionnels Passage par nom

19

class Rectangle(Integer width = 2,                 Integer height = width * 2) {    shared Integer area() {        return width * height;    }}void makeRectangle() {    Rectangle rectangle = Rectangle();    Rectangle biggerRectangle = Rectangle {        height = 4;        width = 3;    };}

20

Switch par type

20

void workWithRectangle(Rectangle rect) {}void workWithCircle(Circle circle) {}void workWithShape(Shape shape) {}

shared void supportsSubTyping(Shape fig) {    switch(fig)    case(is Rectangle) {        workWithRectangle(fig);    }    case(is Circle) {        workWithCircle(fig);    }    else {        workWithShape(fig);    }}

21

Non aux répétitions

21

interface Figure3D {    shared formal Float area;    shared formal Float depth;    shared formal Float volume;}

class Cube(Float width) satisfies Figure3D {    shared actual Float area = width * width;    shared actual Float depth = width;    shared actual Float volume = area * depth;}

class Cylinder(Integer radius, depth)       satisfies Figure3D {    shared actual Float area = 3.14 * radius ** 2;    shared actual Float depth;    shared actual Float volume = area * depth;}

22

Interfaces avec implémentations

22

interface Figure3D {    shared formal Float area;    shared formal Float depth;    shared Float volume {        return area * depth;    }}

class Cube(Float width) satisfies Figure3D {    shared actual Float area = width * width;    shared actual Float depth = width;}

class Cylinder(Integer radius, depth)   satisfies Figure3D {    shared actual Float area = 3.14 * radius ** 2;    shared actual Float depth;}

23

Héritage multiple?! Arg…

23

• Pas d´état (initialisation)–Pas de problème de précédence–Une seule superclasse

• Redéfinir méthode en cas d'ambigüité

24

Ceylon est très régulier

Integer attribute = 1;Integer attribute2 { return 2; }void method() {}interface Interface {}

class Class(Integer x){    Integer attribute = x;    Integer attribute2 { return x; }    class InnerClass() {}    interface InnerInterface {}        void method(Integer y){        Integer attribute;        Integer attribute2 { return y; }        class LocalClass() {}        interface LocalInterface {}        void innerMethod() {}    }}

25

Structure hiérarchique

25

Table table = Table {    title = "Squares";    rows = 5;    border = Border {        padding = 2;        weight = 1;    };    Column {        heading = "x";        width = 10;        String content(Integer row) {            return row.string;        }    },    Column {        heading = "x*2";        width = 12;        String content(Integer row) {            return (row*2).string;        }    }};

26

Preuve mathématique formelle du système de type et d´effet

27

Sémantique 1/154

27

28

STOP!Hammer Time…

29

Types typiques

29

    Integer n = 10.times(2);     // no primitive types    String[] s = {"foo", "bar"}; // inference    Number[] r = 1..2;           // intervals

    // inference    function makeCube(Float width) {         return Cube(width);    }    value cube2 = makeCube(3.0);

30

À mort les NPEs

30

31

Typez en sécurité

31

    // optional?    Cube? cubeOrNoCube() { return null; }    Cube? cube = cubeOrNoCube();        print(cube.area.string); // compile error        if (exists cube) {        print(cube.area.string);    } else {        print("Got no cube");    }

32

Un peu de sucre ?

32

    // default value    Cube cube2 = cubeOrNoCube() ? Cube(3.0);    // nullsafe access    Float? area = cube?.area;    // nullsafe array access    Cube[]? maybeList = cubeList();    Cube? c = maybeList?[2];

33

Operations sur les listes

33

Integer[] numbers = {1,2,3};// slicesInteger[] subList = numbers[1..2];Integer[] rest = numbers[1...];// map/spreadInteger[] successors = numbers[].successor;

34

(un peu de) Typage

35

Type union

• Pour stoquer une valeur parmi une liste de types

• `TypeA|TypeB`

• On doit vérifier le vrai type avant de s´en servir

• `Type?` est un alias pour `Type|Nothing`

35

36

Exemple de type union

36

class Apple() {    shared void eat() {}}

class Garbage() {    shared void throwAway() {}}

void unions() {    Sequence<Apple|Garbage> boxes = { Apple(), Garbage() };    for (Apple|Garbage box in boxes) {        print(box.string);        if (is Apple box) {            apple.eat();        } else if (is Garbage box) {            box.throwAway();        }    }}

37

Type intersection

37

interface Food {    shared formal void eat(); }

interface Drink {    shared formal void drink(); }

class Guinness() satisfies Food & Drink {    shared actual void drink() {}    shared actual void eat() {}}

void intersections() {    Food & Drink specialStuff = Guinness();    specialStuff.drink();    specialStuff.eat();}

38

Beaucoup d´autres fonctionalités

• Paramètres de types

• Singletons et classes anonymes

• Introductions

• Références d´attribut et de méthode

38

• Clôtures

• Application partielle

• Annotations

• Alias de types

• Meta-modèle

• Interception

39

Modularité

• Intégré au langage

• Et dans les outils39

40

Herd

● Notre dépôt de modules « nouvelle génération »

● Sur http://modules.ceylon-lang.org− Déjà dispo, et utilisable par les

outils● Interface intuitive et jolie à la Github

− Collaboratif● Logiciel Libre

− Dépôts privés encouragés

41

Des mots…et démo !

Avec de vrais morceaux d´IDE

* Peut contenir des traces de Herd

42

Communauté

● Complètement ouverte● Des gens de JBoss/RedHat● Et de (très) actifs contributeurs

− Gary, Andrew, David (Serli), Ross, Tomáš, Sergej, Flavio…

● Et vous !

42

43

Un projet sympa

• Des gens sympas :)• Les meilleurs outils–github, ant, Eclipse, HTML5, Awestruct, Java, JavaScript, OpenShift, Play!

• De nombreux sous-projets–spec, typechecker, Java compiler, JavaScript compiler, Eclipse IDE, Web IDE, Herd, module system, ceylondoc, Ant/Maven plugins

43

44

Vers l´infini…

• Cinq étapes pour atteindre 1.0

• Quelques fonctionalités attendront 1.1

• M1 (finie)–Au minimum toutes les fonctionalités de Java

–Tous les outils (y-compris l´IDE)

• M2 (finie)–Interoperabilité avec Java

–Types énumérés

–Méthodes d´ordre supérieur44

45

…et au delà !

• M3–Fonctions

anonymes

–Modules IO, math–Héritage mixin

• M4–Classes

imbriquées–Alias de types

45

• M5 (Ceylon 1.0)–Annotations

–Génériques réifiés

–Metamodèle–Interception

46

Où nous trouver?

• Notre site : http://ceylon-lang.org–Blog, introduction, tour, référence, spec, API,

téléchargements–Herd : http://modules.ceylon-lang.org

• Dépôt [sic] de source–http://github.com/ceylon

• Listes de développeurs, utilisateurs–Google groups : ceylon-dev, ceylon-users

• Google+ : http://ceylon-lang.org/+• Twitter : @ceylonlang

46

47

Q&R

• Questions ! Réponses ?

• http://ceylon-lang.org

47