编程语言 - 在编译时迭代类型的成员

Question

是否有任何静态类型的强类型编译语言提供了在编译时迭代类型成员并为每个成员生成模板化代码的功能？例如，它可能类似于：

// in pseudo-C#
public static void AddParameter(string parameterName, object value) { /* ... */ }
public static void AddParameters<T>(T parameters) {
    // Of course, the memberof(T), membersof(T), membername(<member>)
    // and membervalue(<member>, object) operators would be valid
    // inside a "compile for" block only
    compile for (memberof(T) member in membersof(T))
        AddParameter(membername(member), membervalue(member, parameters));
    /* If this were actual C#, the "compile for" block could even have a where clause */
}

因此，如果进行了以下调用：

StaticClass.AddParameters(new { UserID = "eleon", Password = "Gu3$$17" });

然后AddParameters的特定实例化将被展开到

public static void AddParameters(InternalNameOfTheAnonymousType parameters) {
    AddParameters("UserID",   parameters.UserID);
    AddParameters("Password", parameters.Password);
}

在编译时（如果它是IL到本机编译时的实际C#）

Answer 1

您可以使用Nemerle来完成。

Answer 2

这里的句法结构很厚，所以我很难看出你在说什么，但我认为Haskell的《报废锅炉板》可能足够强大。它当然能够进行一些令人惊叹的编译时通用元编程。