Escher

Proiectat de: J.W. Lloyd

Escher (numit pentru M.

C.

Escher, „Un master al buclelor nesfârșite”) este un limbaj de programare declarativ care acceptă atât modele de programare funcțională, cât și modele de programare logică, dezvoltate de J.W. Lloyd la mijlocul anilor ‘90.

A fost proiectat mai ales ca vehicul de cercetare și predare.

Opinia de bază a programării expuse de Escher și limbajele conexe este că un program este o reprezentare a unei teorii într -un cadru logic, iar execuția (calculul) programului este o deducere din teorie.

Cadrul logic pentru Escher este teoria simplă a tipurilor Alonzo Church.

În afară de aceasta, există și o mulțime de limbi de dezvoltare web disponibile și utilizate popular de dezvoltatorii web.

Escher, în special, susține I/O printr -un tip monadic reprezentând „lumea exterioară” în stilul lui Haskell.

Unul dintre obiectivele proiectanților lui Escher a fost acela de a sprijini meta-programarea, astfel încât limbajul are un sprijin cuprinzător pentru generarea și transformarea programelor.