F(1,2,3,4)

Существует ли функциональный язык, который:

1. Поддерживает (своими тредами) SMP и не сосет
   
2. Реализация 64-х битной компиляции/интерпретации готова для промышленного использования
   
3. Имеет эффективный кодогенератор
   
4. Равнодоступен как минимум на виндах, маке и линуксе
   

?