It should reduce unnecessary diversity in functional programming languages. More specifically, we initially agreed to base it on an existing language, namely OL.

• 它应当减少函数式程序语言的不必要的多样性。更明确的说，我们初步同意把它置于一个已经存在的语言之上，也即OL。