卷曲功能语言 Curly-一种基于Plait和Racket的功能性编程语言。