Felix Winkelmann, author of Chicken Scheme, has (sort of) released a
whole-program FP -> C compiler written in FP. It's not exactly
concatenative because it uses '.' to denote composition, but this is a
rather minor deviation. The language is point-free and makes extensive
use of the cleave combinator (called "construction" in FP). It's still
in an early state, but it's already bootstrapped and usable:
http://www.call-with-current-continuation.org/fp/
I believe Felix is now on the list, so presumably he'd be able to
comment should anyone have something to say.
- John