Pure functional languages and parallelism