Escher (programming language): Difference between revisions

Revision as of 22:35, 25 May 2010

Revision as of 09:46, 19 July 2010

Line 17:

| file_ext =

}}

'''Escher''' is a [[declarative programming|declarative]] [[programming language]] that supports both [[functional programming]] and [[logic programming]] models, developed by J.W. Lloyd in the mid-1990s. It was designed mostly as a research and teaching vehicle. The basic view of programming exhibited by Escher and related languages is thethat a program is a representation of a theory in some [[logic framework]], and the program's execution (computation) is a deduction from the theory. The logic framework for Escher is [[Alonzo Church]]'s [[simple theory of types]].

Escher, notably, supports I/O through a [[monadic type]] representing the 'outside world', in the style of [[Haskell (programming language)|Haskell]].