NPL语言 NPLNew Programming Language新编程语言是具有模式匹配和集合推导式的简单的纯函数式编程语言在年至年由爱丁堡大学的Rod Burstall英语Rod Burstall和John Darlington英语John Darlington在关于程序变换英语Program transformation的工作中设计并于年用POP实现