lang/pict/DESCR

   1 Pict is a language in the ML tradition, formed by adding a layer of
   2 convenient syntactic sugar and a static type system to a tiny
   3 core. The current release includes a Pict-to-C compiler, reference
   4 manual, language tutorial, numerous libraries, and example programs.
   5
   6 The core language - an asynchronous variant of Milner, Parrow, and
   7 Walker's pi-calculus - has been used as a theoretical foundation for a
   8 broad class of concurrent computations. The goal in Pict is to
   9 identify high-level idioms that arise naturally when these primitives
  10 are used to build working programs - idioms such as basic data
  11 structures, protocols for returning results, higher-order programming,
  12 selective communication, and concurrent objects. The type system
  13 integrates a number of features found in recent work on theoretical
  14 foundations for typed object-oriented languages: higher-order
  15 polymorphism, simple recursive types, subtyping, and a powerful
  16 partial type inference algorithm.