Да (по крайней мере, для любых стандартов совместимый компилятор C!)
От comp.lang.c FAQ:
Q: сокращенное сравнение указателя ''если (p)'' для тестирования на допустимых ненулевых указателей? Что, если внутреннее представление для нулевых указателей является ненулевым?
А: Это всегда допустимо.
В Функциональное программирование в реальном мире перечислено немало. С сайта:
Основным критерием реальности является то, что программа была написана в первую очередь для выполнения некоторой задачи, а не в первую очередь для экспериментов с функциональным программированием.
Гипервизор Xen находится в базе, реализован в OCAML; а Erlang используется в телефонных системах сверхвысокой надежности (тех, которые имеют нулевое время простоя в течение многих лет).
Одна реализация Perl 6, Pugs , написана на Haskell, но в значительной степени уступила место стандартной реализации Rakudo Perl.
Мои друзья используют Haskell каждый день для реализации финансовых алгоритмов.
На конференции Lang.NET был разговор о том, как они использовали F # для повышения производительности страхового приложения, которое происходит практически каждый день. Видео Silverlight , Видео WMV . Тем не менее, большая часть этого выступления сосредоточена на поддержке параллелизма в F #, а не на идиоматически функциональных аспектах языка.
Слышали ли вы раньше о Lisp-машинах ? Редактор emacs также широко использует Лисп.
Xmonad - это диспетчер окон X11 с динамической мозаикой, который написан и настроен на Haskell.
Функция чата Facebook интенсивно использует Erlang. http://www.facebook.com/note.php?note_id=14218138919&id=9445547199&index=0
Я бы сказал, что язык формул Lotus Notes является примером широко используемого реального функционального языка программирования.