Una perspectiva del uso de tuplas en Groovy!

Muy buen post!

No hay mucho detalle en la página que describe la asignación múltiple, pero haciendo un par de pruebas es notorio que una vez declarando un tipo, las variables siguientes tomarán ese tipo específico, a menos de que se declare otro.

class java.lang.Integer
class java.lang.String
class java.lang.String
class java.lang.String
class java.lang.String

El tipo de las variables se mantiene a partir de String s y aunque se le asignen valores de otro tipo (en el caso de t, u, v que reciben un int) serán convertidos hacia el tipo String.

Orale muy buena observación Benek, gracias también me aventé un par de pruebas y estoy de acuerdo con lo que dices. Gracias y saludos mi estimado. : )

Lo que no entiendo es, qué tanto sentido tienen las tuplas de esta forma en un lenguaje de tipado dinámico? Más allá de servir como conveniencia para multi-asignaciones...

Exacto, programar con tipos de variables es muy Java, a Groovy eso no le importa... pero se puede.

Tal ves pudieran ser útiles cuando se usa la notación @TypeChecked con tipos más complejos que un String o Integer.

En sistemas de tipado estático, una tupla es un contenedor indexado donde cada elemento puede tener un tipo distinto y se conoce en tiempo de compilación, de tal modo que sabes que   es un entero y   es un String, etc.

En Groovy pueden tener la misma utilidad que tendrían en Java si se usan tipos, y obviamente pueden servir para interoperabilidad. Un uso muy común de tuplas es para poder definir métodos o funciones que retornan dos o más valores. Pueden también ser útiles si se usan en conjunto con un ORM simple, o alguna herramienta para interactuar con una base de datos, que devuelva tuplas como resultado de una consulta, y es un mapeo directo de las tuplas de una tabla en una base de datos relacional a las tuplas del lenguaje que se está usando.

Incluso se me ocurre que para algún tipo de proveedor de mensajería, en Groovy podría servir ya que el consumidor del mensaje podría estar seguro de los tipos que esta recibiendo, añadiendo el plus de la inmutabilidad.

Ah sí? Pues en Scala puedes usar elegantemente hasta 22 tuplas!!!! >>

pinches tuplas de Scala jajajaj son un parche horrendo. Pero no es "hasta 22 tuplas", realmente es tuplas de hasta 22 elementos. Igual que puedes tener funciones hasta de 22 parámetros.

Ahí sí la verdad mis respetos para Gavin, el diseño que se aventó de tuplas en Ceylon es una chingonería y sólo es posible gracias a los tipos unión (y al sistema de tipos de Ceylon en general). Pueden soportar cualquier cantidad de elementos, ya que es simplemente una definición recursiva:  . Y al agregar un poco de azúcar sintáctica entonces puedes definir por ejemplo una tupla de 3 elementos simplemente como   (a nivel declaración de tipos) y crear una con una expresión  . Lo anterior va a crear una tupla de este tipo:

Cómo funciona? Pues la primera tupla sabe que su primer elemento es tipo  , porque eso indica su segundo parámetro de tipo. Su segundo elemento es el primer elemento de la segunda tupla; el primer elemento de la segunda tupla es tipo   y el tercer elemento es el primer elemento de la tercera tupla, que es un  . Es decir a fin de cuentas es una cadena de tuplas donde cada una sabe el tipo de su primer elemento; obtener elementos por índice no es muy eficiente por el momento, pero para eso ya haremos luego optimizaciones en el código, pero lo importante es que se tiene una definición elegante, simple y poderosa de una tupla fuertemente tipada, aprovechando los tipos unión (y otras cosas, como por ejemplo que la tupla misma satisface la interface  , que es una colección inmutable que no puede estar vacía).

Eso está muy chingón, lo explicó en las #OpenTalks.

Ah, y en Scala sí puedes usar "hasta 22 tuplas", porque hay 22 clases!! jaja

Lo de las tuplas no lo pudo haber explicado en las opentalks porque todavía no existían... las hizo apenas en Octubre del año pasado.

wow .. sin ser avezado en ceylon por lo que comenta ezamudio las tuplas solo son una lista enlazada. Tecnicamente se puede crear "tuplas" con culquier lenguaje que tengar recursion aunque entre la tupla y la lista hay una pequeña diferencia teorica

Efectivamente son listas enlazadas, la diferencia es que puedes determinar el tipo de cada elemento de la lista en tiempo de compilación.