An Objective-Not-C with type inference might look like ...

type-infer.m

@implementation Logger
- (void) writeToLog: (NSString) message {
    NSLog("%@", message);
}
@end

/* infer the types */
val printer = ^(str) {
    [self writeToLog: str];
}

vs.

/* explicitly declare the types */
void (^printer)(NSString *) = ^(NSString *str) {
    [self writeToLog: str];
};