>>24
Don't be too quick with that "no?"
Every second compiler is bootstrapped in the ML family these days. Xen uses it. The acclaimed FFTW uses it. haXe uses it. It was of great importance to early work in Perl 6. Microsoft uses it. Most code/theorem provers seem to use it (suck my Coq.) Facebook uses it (check their github.) Jane Street uses it.
It's also at least as close to lambda calculus as Lisp is. I have even had success in representing the untyped calculus in the type system.
Thanks for trolling. This wasn't for your shitposting benefit, but for anyone who might find it interesting.