Functional language with implicit parallelism by using function analysis