CVS commit: pkgsrc/lang/pict

["David A. Holland" <dholland%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   dholland
Date:           Wed Oct 28 06:13:40 UTC 2009

Update of /cvsroot/pkgsrc/lang/pict
In directory ivanova.netbsd.org:/tmp/cvs-serv29870

Log Message:
Initial import of Pict 4.1 into the NetBSD package system.

Pict is a language in the ML tradition, formed by adding a layer of
convenient syntactic sugar and a static type system to a tiny
core. The current release includes a Pict-to-C compiler, reference
manual, language tutorial, numerous libraries, and example programs.

The core language - an asynchronous variant of Milner, Parrow, and
Walker's pi-calculus - has been used as a theoretical foundation for a
broad class of concurrent computations. The goal in Pict is to
identify high-level idioms that arise naturally when these primitives
are used to build working programs - idioms such as basic data
structures, protocols for returning results, higher-order programming,
selective communication, and concurrent objects. The type system
integrates a number of features found in recent work on theoretical
foundations for typed object-oriented languages: higher-order
polymorphism, simple recursive types, subtyping, and a powerful
partial type inference algorithm.


Status:

Vendor Tag:     TNF
Release Tags:   pkgsrc-base
                
N pkgsrc/lang/pict/Makefile
N pkgsrc/lang/pict/DESCR
N pkgsrc/lang/pict/distinfo
N pkgsrc/lang/pict/PLIST
N pkgsrc/lang/pict/patches/patch-aa
N pkgsrc/lang/pict/patches/patch-ab
N pkgsrc/lang/pict/patches/patch-ac
N pkgsrc/lang/pict/patches/patch-ad
N pkgsrc/lang/pict/patches/patch-ae
N pkgsrc/lang/pict/patches/patch-af
N pkgsrc/lang/pict/patches/patch-ya
N pkgsrc/lang/pict/patches/patch-yb
N pkgsrc/lang/pict/patches/patch-yc
N pkgsrc/lang/pict/patches/patch-yd
N pkgsrc/lang/pict/patches/patch-ye
N pkgsrc/lang/pict/patches/patch-yf
N pkgsrc/lang/pict/patches/patch-yg
N pkgsrc/lang/pict/patches/patch-yh
N pkgsrc/lang/pict/patches/patch-yi
N pkgsrc/lang/pict/patches/patch-yj
N pkgsrc/lang/pict/patches/patch-yk
N pkgsrc/lang/pict/patches/patch-yl
N pkgsrc/lang/pict/patches/patch-ym

No conflicts created by this import