Finally someone began to build this: Lambda based processor, which is perfect for FP languages: https://t.co/9egObqlGF3