Ambidexter
email Scott Turner
summary
examples
tutorial
questions
rationale
download
reference
links
Ambidexter is a language for programs that make direct use of a complete system of types, including generic, abstract, and continuation types. The connection with classical logic is evident, and its inherent symmetry leads to a union in which strict and lazy functions are both supported in full.
I/O as a type constructor allows a distinction between pure functional code and code that interacts with the environment.
The language is rudimentary and its development is continuing.
|
The implementation is at the toy stage, just enough to check out
the basic structure of the language.
|
Please let me know how I can make the Ambidexter web pages more useful to you, and the language more interesting to you, because I expect to be responsive.