functional language lecture 12 6585456