Call to Disorder."I will not make any more boring art," John Baldessari incited a group of Nova Scotian art students to write over and over on the walls of their school gallery in 1971. In like spirit, "Indiscipline" curators Barbara Vanderlinden and Jens Hoffmann invite Martha Rosler, Boris Groys, Carsten Holler, and others to ponder Ponder - A non-strict polymorphic, functional language by Jon Fairbairn Ponder's type system is unusual. It is more powerful than the Hindley-Milner type system used by ML and Miranda and extended by Haskell. Ponder adds extra recursive 'mu' types to those of Girard's System F, allowing more general recursion. Surprisingly, the type system and type inference algorithm are still not completely understood. ["Ponder and its Type System", J. |
|
||||||||||||||||||||

Printer friendly
Cite/link
Email
Feedback
Reader Opinion