El documento presenta Ceylon, un lenguaje de programación diseñado para superar las limitaciones de Java mediante un sistema de tipos mejorado. Destaca características como tipos de unión, tipos de intersección y soporte para la programación en múltiples plataformas. Además, se abordan problemas comunes en Java y se proponen soluciones efectivas a través de su sistema de tipos avanzado.

1. Superando las limitaciones de Java,
con el sistema de tipos de
Ceylon
Presenta:
Enrique Zamudio López

2. • Programando desde 1982
• Profesionalmente desde 1994
• Java desde 2000
• Proyectos FOSS:
• j8583
• jAlarms
• Ceylon
• Java Champion, 2015

3. Ceylon
• Lenguaje de programación orientado a
aplicaciones
• Proyectos grandes (50KLOC), equipos
grandes (10+ personas)
• Sistema de módulos integrado
• Multiplataforma: JVM, JavaScript, Dart, Android,
LLVM

4. Sistemas de tipos
• Todos los lenguajes tienen uno
• Tan sólo una característica más?
• Énfasis en SISTEMA
• La mayoría no piensa mucho al respecto

5. Ceylon
• El sistema de tipos es fundamental
• Una de sus características principales
• Sintaxis, gramática, operadores emanan del ST
• Arreglar problemas comunes y graves en el
sistema de tipos de Java y otros lenguajes

6. Ejemplos

7. Login

8. User login(String username,
String password);

9. • Devuelve un User si todo sale bien
• ¿Y si hay un error?
• Usuario no existe
• Password incorrecto
• Cuenta bloqueada
• Mantenimiento planeado
• Se cayó base de datos

10. User login(String username,
String password)
throws LoginException;

11. User login(String username,
String password)
throws LoginException;
✘

12. public class LoginResult {
public final User user;
public final int error;
}
LoginResult login(
String username,
String password);

13. abstract class LoginResult {}
class LoginSuccess
extends LoginResult {
final User user;
}
class LoginFailure
extends LoginResult {
final int error;
}

14. User|LoginError login(
String username,
String password);

15. User|LoginError login(
String username,
String password);
Tipo unión

16. if (is User r = login(u,p)) {
//es un usuario
print(r.username);
} else {
//es un error
print(r.reason);
}

17. Object obj = ...;
if (obj instanceof Foo) {
print(((Foo)obj).foo);
}

18. Object obj = ...;
if (obj instanceof Foo) {
print(((Bar)obj).bar);
}

19. Serializar
Runnables

20. void send(??? task) {
//Enviar tarea a otro proceso
//se ejecuta de manera remota
}

21. interface MiTarea
extends Runnable,
Serializable {}

22. void send(MiTarea task) {
//send task over the wire
//is run on the other side
}

23. class WeirdlyNamedApacheTask
implements Runnable,
Serializable {
...
}

24. class CumbersomeWrapper
implements MiTarea {
final WeirdlyNamedApacheTask
wrappedTask;
}

25. void send(
Runnable & Serializable task) {
//Exactamente lo que nos interesa
}

26. void send(
Runnable & Serializable task) {
//Los contratos que nos incumben
}
Tipo intersección

27. null

28. NullPointerException

29. try {
print(s.length());
} catch (NullPointerException ex) {
System.out.println("Yay");
}
String s = null;

30. Object o = null;
Integer i = null;
List<String> l = null;
PrintWriter p = null;
WorkerThreadFactory wtf = null;
String s = null;

31. ¿Cuál es el tipo
de null?

32. Object
String Number Collection
Integer Float List Map
null

34. null

35. Object

36. Object Null

37. Object Null
Anything

38. Object Null
Anything
String Number

39. Object Null
Anything
String Number null

40. String s = null;
Integer s = null;
Null n = null;

41. String s = null;
Integer s = null;
Null n = null;
✘

42. String | Integer
String | Null

43. String|Integer a = 1;
String|Integer b = "one";
String|Null s1 = "s";
String|Null s2 = null;

44. String|Integer a = 1;
String|Integer b = "one";
String? s1 = "s";
String? s2 = null;

45. String? s = foo();
print(s.size); //NO COMPILA
if (exists s) {
...
}

46. Object Null
Anything
String Number null

47. Tipos algebraicos (o
enumerados)

48. abstract class Anything
of Object|Null
class Null of null
object null extends Null

49. class Boolean
of true|false
class Comparison
of larger|smaller|equal

50. Object Null
Anything
String Number null

51. Tipo "fondo"

52. Object Null
Anything
Nothing
NumberString null

53. Iterable<String,Null>
Iterable<String,Nothing>
Object & Null
Nothing

54. Tipos no
denotables

55. private java.util.List<?> lista;
<T> void boom(java.util.List<T> l, T arg) {
lista = l;
lista.add(arg);
}

56. Demo.java:7: error: no suitable method found for add(T)
lista.add(arg);
^
method List.add(int,CAP#1) is not applicable
(actual and formal argument lists differ in length)
method List.add(CAP#1) is not applicable
(actual argument T cannot be converted to CAP#1 by method
invocation conversion)
method Collection.add(CAP#1) is not applicable
(actual argument T cannot be converted to CAP#1 by method
invocation conversion)
where T is a type-variable:
T extends Object declared in method <T>boom(List<T>,T)
where CAP#1 is a fresh type-variable:
CAP#1 extends Object from capture of ?

57. Resumen
• Tipos unión
• Tipos intersección
• Tipos enumerados
• Tipado por flujo / acotación de tipos
• Inferencia local
• Sólo tipos denotables

58. "one more thing"
• Parámetros de tipo reificados (Reified generics)
• Varianza en sitio de declaración
• Covarianza y contravarianza simples de
entender
• Tuplas

59. ¿?

60. Enrique Zamudio López
@chochosmx
@ceylonlang
enrique@ceylon-lang.org
ceylon-lang.org
try.ceylon-lang.org
github.com/ceylon