Functional language for parallel programming