Como resultado de algunas respuestas útiles a una pregunta que publiqué ayer sobre tuplas en Scala, he estado buscando en Scala HLists. Me gustaría volver a hash un ejemplo de C++ a partir de esa pregunta para preguntar a otro:¿Recursión en tiempo de compilación Scala?
En C++ se puede implementar la recursión en tiempo de compilación terminada mediante especialización de plantilla. A menudo he hecho esto operando en tuplas boost que, como Scala/Haskell HLists se construyen componiendo el tipo genérico 'contras' varias veces, una para cada tipo relevante y terminando con null_type. Así que esto:
boost::tuple<int, std::string, float>
se implementa bajo el capó:
cons<int, cons<std::string, cons<float, null_type> > >
Podemos entonces escribir un par de funciones que recursivo en tiempo de compilación sobre esta estructura, que termina cuando el segundo, más especializado la función coincide con el tipo de contras final. Un simple ejemplo, el recuento se muestra a continuación el número de elementos:
template<typename T1, typename T2>
void countTupleElements(boost::tuples::cons<T1, T2>& tupleRec, int index, const std::vector<std::string>& vals)
{
return 1 + countTupleElements(tupleRec.tail);
}
template<typename T>
void countTupleElements(boost::tuples::cons<T, boost::tuples::null_type>& tupleRec, int index, const std::vector<std::string>& vals)
{
return 1;
}
Fundamentalmente este patrón se utiliza a menudo en circunstancias en las que quieres hacer algo diferente para cada uno de los diferentes tipos de elementos tupla (no ilustrados en mi ejemplo) : en C++ la recursión en tiempo de compilación es esencial ya que una vez que se ejecuta el código, la información del tipo se pierde para todos los fines útiles.
Mi pregunta es, ¿es posible algo similar con una Scala HList, p.
val example = 1 :: 2.0 :: "Hello" :: "World" :: HNil
Soy consciente de que Scala, que se ejecuta en la JVM, tiene la reflexión - y por lo que presumiblemente esto podría implementarse utilizando la recursividad de tiempo de ejecución de una función utilizando los manifiestos y la coincidencia de patrones. Pero me interesa saber si es posible hacer algo similar al ejemplo de C++, utilizando la recursión en tiempo de compilación.
No estoy seguro de lo que se pregunta aquí. Pero dada la tendencia general de sus preguntas, me pregunto si ha consultado los blogs sobre los números de la Iglesia en el sistema de tipo Scala. ¿O cálculo de SKI en el sistema de tipo Scala? –
Gracias Daniel. Sus diversas sugerencias están demostrando ser muy útiles. También he estado hurgando en la fuente de ScalaQuery en busca de inspiración. –
¿Podría agregar un ejemplo del tipo de caso más interesante "en el que desea hacer algo diferente para cada uno de los diversos tipos de elementos de tupla"? –