Il y a peut-être des idées à prendre au langage D en matière de
programmation statique, notamment pour Scool (pour plus tard) :
http://www.digitalmars.com/d/templates-revisited.html
Je n'ai parcouru cette page que brièvement, mais des bouts de code
comme
template factorial(int n)
{
static if (n == 1)
const factorial = 1;
else
const factorial = n * factorial!(n-1);
}
ou
void test()
{
typedef int fp(int);
assert( is(fp == function) );
}
font fichtrement penser à des constructions de Scool !
