a popular functional language from Bell Labs.