可扩展语言中的可扩展模式匹配
摘要:模式匹配是函数式语言中广泛使用的技术,尤其是在ML和Haskell传统中,它是语义的核心。相比之下,在Lisp传统中的语言中,模式匹配通常是通过使用宏构建的库来实现的。我们介绍了一种名为match的复杂模式匹配器,它是作为Racket语言扩展实现的。该系统支持新颖且广泛使用的模式匹配形式,并且本身是可扩展的。match的可扩展性是通过一种通用的技术来创建可扩展的语言扩展实现的。
作者:Sam Tobin-Hochstadt
论文ID:1106.2578
分类:Programming Languages
分类简称:cs.PL
提交时间:2011-06-15