最近我一直在思考如何在 C 中进行函数式编程 (不是 C++)。显然，C 是一种过程式语言，原生并不支持函数式编程。
是否有任何编译器/语言扩展可以向语言中添加一些函数式编程结构？GCC 提供嵌套函数作为一种语言扩展；嵌套函数可以访问父堆栈帧中的变量，但这仍远远不足以成熟闭包。
例如，我认为在 C 中非常有用的一件事是，在任何期望函数指针的地方，您都可以传递 Lambda 表达式，创建一个衰减为函数指针的闭包。C++0x 将包括 Lambda 表达式（我认为这很棒）；但是，我正在寻找适用于纯 C 的工具。
[编辑] 澄清一下，我并不是想解决在 C 中更适合函数式编程的特定问题；我只是好奇有哪些工具可用于此。
你可以使用GCC的嵌套函数来模拟Lambda表达式，事实上我有一个宏可以帮助我完成这个过程：
#define lambda(return_type, function_body) \
({ \
return_type anon_func_name_ function_body \
anon_func_name_; \
})
使用方法如下：
int (*max)(int, int) = lambda (int, (int x, int y) { return x > y ? x : y; });
__fn__只是一个在块（{ }）内定义的函数的任意名称，而不是某个GCC扩展或预定义的宏？选择__fn__作为名称（看起来非常像GCC的定义）让我感到困惑，并且查找GCC文档没有任何好的效果。 - FooF函数式编程不是关于lambda，而是全部关于纯函数。因此，以下广泛推广函数式风格：
只使用函数参数，不使用全局状态。
尽量减少副作用，例如printf或任何IO。在所有函数中，返回描述IO的数据，可以执行这些数据，而不是直接导致副作用。
这可以在普通C语言中实现，无需魔法。
map规范有什么用处，如果没有传递函数的工具呢？ - Jonathan LeonardHartel & Muller 的书籍 Functional C 现在（2012年1月2日）可以在这里找到：http://eprints.eemcs.utwente.nl/1077/ （有PDF版本的链接）。
函数式编程风格的前提是要有一等公民函数。如果你能接受以下内容，那么它可以在可移植的C中模拟：
/*
* with constraints desribed above we could have
* good approximation of FP style in plain C
*/
int increment_int(int x) {
return x + 1;
}
WRAP_PLAIN_FUNCTION_TO_FIRST_CLASS(increment, increment_int);
map(increment, list(number(0), number(1)); // --> list(1, 2)
/* composition of first class function is also possible */
function_t* computation = compose(
increment,
increment,
increment
);
*(int*) call(computation, number(1)) == 4;
这样的代码可能运行时间很短，就像下面这个例子
struct list_t {
void* head;
struct list_t* tail;
};
struct function_t {
void* (*thunk)(list_t*);
struct list_t* arguments;
}
void* apply(struct function_t* fn, struct list_t* arguments) {
return fn->thunk(concat(fn->arguments, arguments));
}
/* expansion of WRAP_PLAIN_FUNCTION_TO_FIRST_CLASS */
void* increment_thunk(struct list_t* arguments) {
int x_arg = *(int*) arguments->head;
int value = increment_int(x_arg);
int* number = malloc(sizeof *number);
return number ? (*number = value, number) : NULL;
}
struct function_t* increment = &(struct function_t) {
increment_thunk,
NULL
};
/* call(increment, number(1)) expands to */
apply(increment, &(struct list_t) { number(1), NULL });
本质上，我们使用由功能/参数对以及一堆宏表示的闭包来模拟一等函数。完整的代码可以在这里找到。
看看Hartel＆Muller的书，Functional C
Felix语言可以编译成C++。如果你不介意使用C++，那么这可能是一个好的起点。