中文

Babel-17的语法与语义

编程语言 2011-08-16 v4

摘要

我们提出Babel-17,这是第一种用于纯函数式结构化编程(PFSP)的编程语言。先前的工作在玩具研究语言的框架中展示了PFSP。Babel-17将先前的工作提升到了一个新的水平,展示了如何将PFSP与模式匹配、面向对象编程以及并发、惰性求值、记忆化和对透镜的支持等特性相结合。

关键词

引用

@article{arxiv.1012.2294,
  title  = {Syntax and Semantics of Babel-17},
  author = {Steven Obua},
  journal= {arXiv preprint arXiv:1012.2294},
  year   = {2011}
}