Drogulus, #5. (Zine Thing).Drogulus is, apparently, "An entity whose presence is unverifiable, because it has no physical effects." Well, this comic/'zine is verifiable, and I veritably say it is worth a couple shitters on the pot. It's mostly one-shot doodles combined with jokes, observations, words 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