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 !