We present Babel-17, the first programming language for purely functional
structured programming (PFSP). Earlier work illustrated PFSP in the framework
of a toy research language. Babel-17 takes this earlier work to a new level by
showing how PFSP can be combined with pattern matching, object oriented
programming, and features like concurrency, lazy evaluation, memoization and
support for lenses

Obua, Steven

English

arXiv

We present Babel-17, the first programming language for purely functionalstructured programming (PFSP). Earlier work illustrated PFSP in the frameworkof a toy research language. Babel-17 takes this earlier work to a new level byshowing how PFSP can be combined with pattern matching, object orientedprogramming, and features like concurrency, lazy evaluation, memoization andsupport for lenses. <br/

Syntax and Semantics of Babel-17

Abstract

Similar works

Full text

Available Versions

Edinburgh Research Explorer