lambda.m

// cc lambda.m -o lambda -framework Foundation -fobjc-arc && ./lambda
#import <Foundation/Foundation.h>

// use it like lambda(…args…)(…return value…)
#define lambda(...) \
^ (__VA_ARGS__) _lambda_body

#define _lambda_body(...) \
{ return __VA_ARGS__; }

/// I-Combinator
typeof(id(^)(id)) I() {
	return lambda(id x)(x);
}

/// K-Combinator
typeof(id(^)(id)) K(id x) {
	return lambda(id y)(x);
}

/// S-Combinator
typeof(typeof(id(^)(id))(^)(id)) S(typeof(id(^)(id))(^x)(id)) {
	return lambda(id(^y)(id))(lambda(id z)(x(z)(y(z))));
}

/// Y-Combinator
typeof(typeof(id(^)(id))(^)(id)) Y(id(^z)(id)) {
	return lambda(typeof(id(^)(id))(^f)(id))(lambda(id(^x)(id))((id(^)(id))f(x(x))))(lambda(id(^t)(id))(z));
}

help

help

HELP ME BEFORE IT'S TOO LATE

And I’ll look down and whisper, “No.”