arrows pointing right and left

Ambidexter


email Scott Turner
home
bio
Ambidexter
harmonograph
photos
programming
math
outdoors


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.
  • No libraries are specified.
  • A facility for modules and separate compilation has not been designed.
  • Several aspects of the syntax are slated for review and possible revision.

The implementation is at the toy stage, just enough to check out the basic structure of the language.
  • There are no true libraries; only some built-in functions.

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.

Support open standards!  
Valid XHTML 1.0!