Ponder

(redirected from ponders)
Also found in: Dictionary, Thesaurus, Idioms.

Ponder

A non-strict polymorphic, functional language by Jon Fairbairn <jf@cl.cam.ac.uk>.

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. Fairbairn, TR 31, Cambridge U Computer Lab, Nov 1982].

[J. Fairbairn, "Design and Implementation of a Simple Typed Language based on the Lambda-Calculus", Technical Report No. 75, Computer Laboratory, University of Cambridge, May 1985].

[J. Fairbairn, "A New Type-Checker for a Functional Language", Technical Report No. 53, Computer Laboratory, University of Cambridge, 1984].

[J. Fairbairn, "Some Types with Inclusion Properties in \forall, \rightarrow, \mu", Technical Report No. 171, Computer Laboratory, University of Cambridge, Jun 1989].

[Valeria C. V. de Paiva, "Subtyping in Ponder (Preliminary Report)", Technical Report No. 203, Computer Laboratory, University of Cambridge, Aug 1990].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
References in classic literature ?
"You are a sort of monster," I added audaciously, "a Caliban who has pondered Setebos, and who acts as you act, in idle moments, by whim and fancy."
And as he opened his eyes and urged his horse onward, he would ponder for the ten thousandth time how possibly he was ever to hold her when she was so wild and bird-like that she was bound to flutter out and away from under his hand.
Once upon a midnight dreary, while I pondered, weak and weary, Over many a quaint and curious volume of forgotten lore-- While I nodded, nearly napping, suddenly there came a tapping, As of some one gently rapping, rapping at my chamber door.
Ray Parks Jr.'s future remains a big question as the second overall pick in the Philippine Basketball Association (PBA) Draft ponders his next move after saying farewell to Alab Pilipinas.
Or was it the natural things that a new mother ponders? Like counting his fingers and toes.
It features a mutt which ponders the meaning of life while reincarnating.
| KFC Trainee Kim ponders a fast food career It's literally a dirty job, and someone's got to do it.
M2 EQUITYBITES-August 7, 2014-TricorBraun reportedly ponders USD1.3bn sale
Auto Business News-November 7, 2012--Toyota ponders new design for Prius(C)1994-2012 ENPublishing - http://www.enpublishing.co.uk
* Portland-based William Deresiewicz ponders being a Jew in the Pacific Northwest.
The Art of Uncontrolled Flight by Kim Ponders. HarperCollins Publishers (http://www.harpercollins.com), 10 East 53d Street, New York, New York 10022, 2005, 192 pages, $19.95 (hardcover); 2007, 208 pages, $13.95 (trade paperback).