Algunos problemas comunes en sistemas de tipado estático, tomando Java como ejemplo, y cómo el sistema de tipos de Ceylon los resuelve.

1. Sistemas de tipos:
lo bueno, lo malo y lo feo
Enrique Zamudio
@chochosmx
github.com/chochos
@ceylonlang
#Ceylon

2. • Programando desde 1982
• Profesionalmente desde 1994
• En Java desde 2000
• Proyectos FOSS
• j8583
• jAlarms
• Ceylon

3. Sistemas de tipos
• Todos los lenguajes tienen uno
• Una característica más?
• Nótese el término: SISTEMA
• Consideración superficial

4. Static
Dynamic
Static
Dynamic

5. Ceylon
• Creado a partir de un sistema de tipos
• Es una de sus características principales
• Sintaxis, gramática, operadores obedecen al ST
• Arreglar problemas comunes y/o graves en el
sistema de tipos de Java

6. Java

7. null

8. ALGOL
1965

9. "I call it my billion-dollar
mistake"
Tony Hoare
2009

10. core dump

11. NullPointerException

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

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

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

15. Object
String Number Collection
Integer Float List Map
null

17. null

18. Object

19. Object Null

20. Object Null
Anything

21. Object Null
Anything
String Number

22. Object Null
Anything
String Number null

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

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

25. Unión de tipos:
Tipo unión

26. String | Integer
String | Null

27. String|Integer a = 1;
String|Integer b = "uno";
String|Null s1 = "s";
String|Null s2 = null;

28. String|Integer a = 1;
String|Integer b = "uno";
String? s1 = "s";
String? s2 = null;

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

30. Object Null
Anything
String Number null

31. Tipos algebraicos
(o enumerados)

32. class Anything
of Object|Null
class Null of null
object null extends Null

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

34. Usuario login(String username,
String password);

35. Usuario login(String username,
String password)
throws LoginException;

36. Usuario|Integer login(
String username,
String password);

37. casting

38. Object algo;
if (algo instanceof String) {
((String)algo).length();
}

39. Object algo;
if (algo instanceof String) {
//50 líneas
((Collection)algo).clear();
}

40. Object algo;
if (is String algo) {
algo.length();
}
Flow typing:
Tipado por flujo

41. String|Integer? algo;
if (exists algo) {
print(algo.hash);
if (is String algo) {
print(algo.uppercased);
} else {
print(algo/2);
}
}

42. Inferencia de tipos
(local)

43. value a = 1; //Integer
value b = "2"; //String
value c = login("a","b");
//Usuario|Integer
value d = a <=> 2; //Comparison

44. Intersección de tipos:
Tipo intersección

45. void enviar(Runnable r) {
if (r instanceof Serializable) {
stream.write((Serializable)r);
} else {
throw;
}
}

46. interface Runnalizable
extends Runnable, Serializable {
}
void enviar(Runnalizable r) {
stream.write(r);
}

47. void enviar(
Runnable & Serializable r) {
stream.write(r);
}
Tipos intersección

48. Tipos no
denotables

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

50. 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 ?

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

52. Otras cosas
• Reified generics
• Varianza en el sitio de declaración
• Covarianza y contravarianza
• Tuplas

53. ¿?

54. ceylon-lang.org
github.com/ceylon
@ceylonlang
enrique@ceylon-lang.org