Scala编译时递归？

在C中,可以使用模板特化实现编译时递归.我经常对boost元组进行操作,像Scala / Haskell一样,HLists是通过多次组合泛型’cons’类型构建的,每个相关类型一次并以null_type结束.所以这：

boost::tuple<int,std::string,float>

在引擎盖下实施：

cons<int,cons<std::string,cons<float,null_type> > >

然后,我们可以编写一对在编译时通过此结构递归的函数,当第二个更专用的函数与最终的cons类型匹配时终止.一个简单的例子,计算元素的数量如下所示：

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,const std::vector<std::string>& vals )
{
    return 1;
}

至关重要的是,这种模式通常用于你想为每种元组元素类型做一些不同的事情(我的例子中没有说明)：在C编译时递归是必不可少的,因为一旦代码运行,类型信息就会丢失用于所有有用的目的.

我的问题是,与Scala HList有类似的可能性,例如：

val example = 1 :: 2.0 :: "Hello" :: "World" :: HNil

我知道在JVM上运行的Scala具有反射功能 – 因此可以使用运行时递归和使用清单和模式匹配的函数来实现.但是我有兴趣知道是否有可能使用编译时递归来做类似于C的例子？