長期間メンテ可能なプログラミング言語。[[関数型プログラミング]]の象徴でもあり、[[モナド]]を筆頭に難易度も高い。